Trace number 3281606

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.52 1203.73

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark144.2
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 4 threads
0.29/0.10	c This is CryptoMiniSat 3.0.0
0.29/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.29/0.10	c Reading file 'HOME/instance-3281606-1304028697.cnf'
0.29/0.10	c -- header says num vars:         433601
0.29/0.10	c -- header says num clauses:     1291714
4.58/1.60	c -- clauses added:            0 learnts,      1291714 normals,            0 xors
4.58/1.60	c -- vars added     433601
4.58/1.60	c Parsing time:  0.56 s
4.58/1.60	c  N st     0         0    433601    430571    861142         0   3013997         0   no data   no data
4.98/1.74	c asymm  cl-useful: 0/24048/430570 lits-rem:0 time: 0.70
82.59/21.45	c Flit:  1587 Blit:  14472 bXBeca:    0 bXProp: 18653 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 19.45
82.99/21.51	c Cleaning up after failed var search:     0.06 s 
83.39/21.64	c Replacing    18653 vars Replaced   382785 lits Time:     0.12 s 
84.18/21.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
84.18/21.87	c bin-w-bin subsume rem          521 bins  time:  0.08 s
84.98/22.08	c subs with bin:      132  lits-rem:       129  v-fix:    0  time:  0.20 s
88.15/22.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130432 time:  0.71 s
88.94/23.01	c Removed useless bin:      71  fixed:     0  props:  20.00M  time:  0.21 s
94.10/24.34	c lits-rem:        23  cl-subs:      315  v-elim: 132156  v-fix:    0  time:  1.25 s
94.48/24.42	c Finding binary XORs  T:     0.08 s  found:     611
94.88/24.50	c Replacing      611 vars Replaced     8991 lits Time:     0.07 s 
95.67/24.76	c Finding non-binary XORs:     0.18 s (found:    9823, avg size: 3.0)
95.67/24.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     4 time:   0.07
96.07/24.80	c calculated reachability. Time: 0.01
96.07/24.84	c Calc default polars -  time:   0.04 s pos:   94019 undec:  170182 neg:  169400
96.07/24.84	c =========================================================================================
96.07/24.84	c types(t): F = full restart, N = normal restart
96.07/24.84	c types(t): S = simplification begin/end, E = solution found
96.07/24.84	c restart types(rt): st = static, dy = dynamic
96.07/24.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
96.07/24.84	c  B st     0         0    263701    315000    545231         0   2225667         0   no data   no data
114.43/29.45	c  N dy    18      4028    263536    315000    545303      3585   2225667     57295      7.81      8.46
134.00/34.31	c  N dy    41      8094    262339    315000    546239      7126   2225665    114003      7.82      8.25
151.57/38.75	c  N dy    62     12354    262339    315000    546266     10778   2225664    172503      7.84      8.84
169.53/43.29	c  N dy    84     16437    262164    315000    546416     14361   2225663    226064      7.80      8.30
190.71/48.53	c  N dy   107     20682    262162    315000    548288      9268   2225663     64228      7.88      8.38
209.47/53.28	c  N dy   133     24876    262140    315000    548370     12787   2225661    117977      7.94      8.68
210.26/53.49	c  F st   135     25002    262140    315000    548370     12897   2225661    119570      7.94   no data
211.05/53.61	c Replacing       46 vars Replaced      692 lits Time:     0.08 s 
359.97/90.90	c Finding binary XORs  T:     0.08 s  found:    2694
359.97/90.99	c Replacing     2694 vars Replaced    53777 lits Time:     0.08 s 
365.99/92.43	c  N dy   141     30000    259400    310064    536658     17351   2186644    234480      7.94   no data
365.99/92.43	c  S st   141     30000    259400    310064    536658     17351   2186644    234480      7.94   no data
369.17/93.29	c  S st   141     30501    259393    310064    536692     17802   2186644    239373      7.94   no data
369.57/93.37	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:     58 locsubst:     0 time:   0.08
448.23/113.03	c Flit:   119 Blit:    313 bXBeca:    0 bXProp: 2058 Bins:  43564 BRemL:   5979 BRemN:     29 P: 167.8M T: 19.52
448.23/113.03	c Cleaning up after failed var search:     0.00 s 
448.63/113.17	c Replacing     2058 vars Replaced    67610 lits Time:     0.13 s 
449.03/113.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
449.44/113.35	c bin-w-bin subsume rem         6905 bins  time:  0.06 s
449.84/113.49	c subs with bin:      887  lits-rem:      1195  v-fix:    0  time:  0.14 s
452.22/114.04	c Subs w/ non-existent bins:    330 l-rem:   1335 v-fix:     0 done: 128009 time:  0.54 s
453.41/114.32	c Removed useless bin:     325  fixed:     0  props:  20.00M  time:  0.28 s
460.19/116.00	c lits-rem:       284  cl-subs:     1093  v-elim: 170832  v-fix:    0  time:  1.59 s
460.19/116.07	c subs with bin:      263  lits-rem:       922  v-fix:    0  time:  0.04 s
460.99/116.24	c lits-rem:       612  cl-subs:      868  v-elim:      0  v-fix:    0  time:  0.12 s
462.60/116.70	c asymm  cl-useful: 594/17497/365100 lits-rem:895 time: 0.46
463.00/116.73	c calculated reachability. Time: 0.00
463.00/116.73	c  N dy   141     30501     85417    365094     99943     10920   1706576    132301      7.94   no data
463.00/116.78	c Finding binary XORs  T:     0.04 s  found:     121
470.57/118.63	c  N dy   162     34572     85364    365094    108580     14245   1706576    201374      7.98     10.68
477.73/120.44	c  N dy   182     38607     85364    365094    111032     17489   1706576    255683      7.95      9.09
479.33/120.80	c Finding binary XORs  T:     0.04 s  found:      79
484.54/122.13	c  N dy   202     42693     85364    364557    110315     10672   1702797     90173      7.91      8.36
489.33/123.32	c  S st   221     45751     85364    364557    110320     13231   1702797    134697      7.97   no data
490.51/123.60	c  S st   221     46252     85364    364557    110344     13697   1702797    140729      7.97   no data
490.51/123.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     96 locsubst:     0 time:   0.06
510.05/128.59	c Flit:    25 Blit:     27 bXBeca:    0 bXProp:  869 Bins: 125899 BRemL:  76872 BRemN:    143 P: 26.8M T:  4.92
510.45/128.70	c Replacing     1070 vars Replaced    52611 lits Time:     0.10 s 
510.86/128.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
511.26/128.84	c bin-w-bin subsume rem         9928 bins  time:  0.04 s
511.64/128.92	c subs with bin:     1307  lits-rem:      1407  v-fix:    0  time:  0.08 s
512.04/129.04	c Subs w/ non-existent bins:    267 l-rem:   2159 v-fix:     0 done:  84082 time:  0.11 s
512.44/129.11	c Removed useless bin:     205  fixed:     0  props:   2.54M  time:  0.07 s
514.43/129.61	c lits-rem:       299  cl-subs:     1250  v-elim:   9479  v-fix:    0  time:  0.49 s
514.43/129.67	c subs with bin:       58  lits-rem:       251  v-fix:    0  time:  0.04 s
515.25/129.86	c lits-rem:       353  cl-subs:      397  v-elim:      0  v-fix:    0  time:  0.12 s
516.82/130.29	c asymm  cl-useful: 284/15626/361754 lits-rem:306 time: 0.43
517.22/130.32	c calculated reachability. Time: 0.01
517.22/130.32	c  N dy   221     46252     74603    361754     90980     12502   1715981    143801      7.97   no data
517.22/130.36	c Finding binary XORs  T:     0.04 s  found:       0
523.61/131.91	c  N dy   244     50268     74571    361754     96178     15824   1715981    209332      8.01     16.10
529.61/133.44	c  N dy   266     54371     74571    361754     96185     19209   1715981    261156      8.03      8.51
532.82/134.23	c Finding binary XORs  T:     0.04 s  found:      71
536.00/135.02	c  N dy   296     58544     74558    360655    119335     22683   1709953    367554      8.12      8.66
542.78/136.70	c  N dy   321     62625     74558    360655    119432     26088   1709953    426162      8.14      8.64
548.77/138.29	c  N dy   347     66792     74558    360655    119434     15731   1709953    198012      8.17      8.64
552.37/139.14	c  S st   360     69378     74558    360655    119442     17816   1709953    228484      8.15      6.99
553.57/139.43	c  S st   360     69878     74558    360655    119455     18291   1709953    233783      8.15   no data
553.57/139.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    134 locsubst:    10 time:   0.06
569.93/143.53	c Flit:     4 Blit:      3 bXBeca:    0 bXProp:   36 Bins:   8450 BRemL:  37233 BRemN:     57 P: 16.8M T:  4.03
570.33/143.63	c Replacing      111 vars Replaced     8684 lits Time:     0.09 s 
570.73/143.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
570.73/143.77	c bin-w-bin subsume rem         6647 bins  time:  0.03 s
571.13/143.84	c subs with bin:      647  lits-rem:      1549  v-fix:    0  time:  0.07 s
571.53/143.94	c Subs w/ non-existent bins:    574 l-rem:   1080 v-fix:     0 done:  74294 time:  0.09 s
571.53/144.00	c Removed useless bin:      85  fixed:     0  props:   1.55M  time:  0.06 s
573.12/144.33	c lits-rem:        68  cl-subs:      909  v-elim:    666  v-fix:    0  time:  0.33 s
573.52/144.40	c subs with bin:       35  lits-rem:       277  v-fix:    0  time:  0.04 s
574.32/144.61	c lits-rem:       513  cl-subs:      650  v-elim:      0  v-fix:    0  time:  0.14 s
575.92/145.08	c asymm  cl-useful: 127/98226/356771 lits-rem:244 time: 0.47
576.32/145.11	c calculated reachability. Time: 0.00
576.32/145.11	c  N dy   360     69878     73628    356732     82109     17595   1691912    152356      8.15   no data
576.32/145.16	c Finding binary XORs  T:     0.04 s  found:       0
582.71/146.70	c  N dy   381     74539     73620    356732     98294     21415   1691912    239965      8.10      8.61
586.69/147.73	c Finding binary XORs  T:     0.04 s  found:      19
590.31/148.67	c  N dy   409     79396     73620    356625    101793     25401   1691278    307626      8.08      8.66
598.28/150.64	c  N dy   434     84480     73620    356625    101794     29584   1691278    377174      8.11      8.56
603.49/151.95	c  F st   449     87500     73614    356625    101880     32175   1691278    423344      8.12   no data
603.87/152.04	c Replacing       19 vars Replaced     3049 lits Time:     0.06 s 
609.46/153.48	c  N st   454     90795     73595    356455    101749     18623   1690110    188459      8.12   no data
613.45/154.48	c Finding binary XORs  T:     0.04 s  found:      68
618.24/155.61	c  N dy   477     96653     73591    356391    112334     23639   1689659    333281      8.12      8.87
628.63/158.24	c  N dy   520    102895     73591    356391    112377     29042   1689659    430637      8.19     17.04
632.21/159.14	c  S st   533    104818     73591    356391    112377     30695   1689659    458514      8.19      6.33
633.41/159.42	c  S st   533    105320     73591    356391    112385     31180   1689659    465409      8.19   no data
633.41/159.48	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:     22 locsubst:    98 time:   0.06
650.59/163.73	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   73 Bins:  11130 BRemL:  29783 BRemN:     70 P: 22.9M T:  4.26
650.99/163.84	c Replacing      155 vars Replaced    13002 lits Time:     0.09 s 
651.40/163.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
651.40/163.97	c bin-w-bin subsume rem         5432 bins  time:  0.03 s
651.80/164.04	c subs with bin:      266  lits-rem:       467  v-fix:    0  time:  0.07 s
652.18/164.14	c Subs w/ non-existent bins:    232 l-rem:    430 v-fix:     0 done:  73410 time:  0.09 s
652.57/164.20	c Removed useless bin:      35  fixed:     0  props:   1.53M  time:  0.06 s
653.77/164.50	c lits-rem:        24  cl-subs:      660  v-elim:    225  v-fix:    0  time:  0.30 s
654.17/164.61	c subs with bin:      117  lits-rem:       596  v-fix:    0  time:  0.08 s
654.97/164.90	c lits-rem:      1249  cl-subs:     1233  v-elim:      0  v-fix:    0  time:  0.21 s
656.96/165.38	c asymm  cl-useful: 248/37030/354997 lits-rem:742 time: 0.48
657.36/165.41	c calculated reachability. Time: 0.01
657.36/165.41	c  N dy   533    105320     73185    354750     86178     29778   1682635    390494      8.19   no data
657.36/165.46	c Finding binary XORs  T:     0.04 s  found:       1
668.55/168.25	c  N dy   564    112047     73183    354750     93549     35554   1682635    505584      8.21     13.10
676.13/170.17	c Finding binary XORs  T:     0.04 s  found:      41
678.92/170.80	c  N dy   596    119480     73173    354526     99991     25079   1681444    241502      8.20      8.77
691.33/173.90	c  N dy   635    127419     73173    354526     99998     31914   1681444    352403      8.18      8.75
700.88/176.31	c  N dy   666    135584     73173    354526    100012     38988   1681444    464078      8.13      8.83
714.86/179.82	c  N dy   711    144244     73173    354526    100104     29360   1681444    270010      8.15      9.19
728.83/183.35	c  N dy   755    153657     73173    354526    100113     37550   1681444    413471      8.17      8.61
736.02/185.19	c  S st   782    157981     73173    354526    100155     41307   1681443    476086      8.17   no data
737.62/185.51	c  S st   782    158484     73173    354526    100159     41797   1681443    484309      8.17   no data
737.62/185.57	c x-sub:    32 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   538 time:   0.06
754.79/189.80	c Flit:     3 Blit:     21 bXBeca:    0 bXProp:   11 Bins:   5882 BRemL:  12677 BRemN:    122 P: 22.6M T:  4.23
755.19/189.91	c Replacing      167 vars Replaced     8164 lits Time:     0.10 s 
755.59/190.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
755.59/190.05	c bin-w-bin subsume rem         4483 bins  time:  0.03 s
755.99/190.13	c subs with bin:      389  lits-rem:       436  v-fix:    0  time:  0.08 s
756.38/190.22	c Subs w/ non-existent bins:     35 l-rem:    169 v-fix:     0 done:  72973 time:  0.09 s
756.38/190.28	c Removed useless bin:      10  fixed:     0  props:   1.49M  time:  0.06 s
757.58/190.58	c lits-rem:         4  cl-subs:      137  v-elim:    282  v-fix:    0  time:  0.30 s
758.38/190.70	c subs with bin:      114  lits-rem:       812  v-fix:    0  time:  0.07 s
759.17/190.98	c lits-rem:      1877  cl-subs:     1787  v-elim:      0  v-fix:    0  time:  0.21 s
761.59/191.51	c asymm  cl-useful: 23/27351/353102 lits-rem:69 time: 0.53
761.59/191.54	c calculated reachability. Time: 0.01
761.59/191.54	c  N dy   782    158484     72691    353079     87855     39589   1674386    426043      8.17   no data
761.59/191.58	c Finding binary XORs  T:     0.04 s  found:       0
778.34/195.75	c  N dy   839    168609     72691    353079     91663     30021   1674386    206177      8.16      9.09
795.52/200.05	c  N dy   887    179373     72691    353079    101891     39536   1674386    372031      8.13      8.74
795.92/200.13	c Finding binary XORs  T:     0.04 s  found:      64
814.31/204.75	c  N dy   951    190902     72670    352536    101770     49504   1671702    542526      8.14     10.61
833.45/209.57	c  N dy  1020    203122     72670    352536    101788     41483   1671701    379708      8.16     10.16
855.81/215.15	c  N dy  1081    216177     72670    352536    106155     52942   1671701    579741      8.16     12.85
857.00/215.41	c Finding binary XORs  T:     0.04 s  found:       6
879.36/221.02	c  N dy  1154    230119     72661    352407    105408     44533   1670419    378780      8.18      8.66
892.95/224.43	c  S st  1190    237728     72661    352407    105414     51129   1670419    483767      8.18   no data
894.14/224.77	c  S st  1190    238230     72661    352407    105419     51617   1670419    490663      8.18   no data
894.54/224.84	c x-sub:   116 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    18 time:   0.07
911.70/229.16	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    8 Bins:   5943 BRemL:  13878 BRemN:     22 P: 25.0M T:  4.32
912.10/229.28	c Replacing       83 vars Replaced     7261 lits Time:     0.10 s 
912.49/229.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
912.89/229.42	c bin-w-bin subsume rem         2325 bins  time:  0.04 s
913.29/229.50	c subs with bin:      146  lits-rem:       254  v-fix:    0  time:  0.08 s
913.70/229.60	c Subs w/ non-existent bins:     28 l-rem:     76 v-fix:     0 done:  72573 time:  0.10 s
913.70/229.66	c Removed useless bin:      17  fixed:     0  props:   1.49M  time:  0.06 s
914.91/229.98	c lits-rem:         6  cl-subs:      267  v-elim:    209  v-fix:    0  time:  0.32 s
915.69/230.10	c subs with bin:      234  lits-rem:      1388  v-fix:    0  time:  0.07 s
916.49/230.38	c lits-rem:      1838  cl-subs:     2005  v-elim:      0  v-fix:    0  time:  0.22 s
918.49/230.88	c asymm  cl-useful: 40/20125/351540 lits-rem:120 time: 0.50
918.89/230.91	c calculated reachability. Time: 0.00
918.89/230.91	c  N dy  1190    238230     72364    351500     94360     49263   1666688    443640      8.18   no data
918.89/230.96	c Finding binary XORs  T:     0.04 s  found:       0
935.25/235.08	c Finding binary XORs  T:     0.04 s  found:      99
947.24/238.09	c  N dy  1266    253579     72342    350964    101803     41555   1663981    270317      8.18      8.67
979.57/246.19	c  N dy  1365    269811     72342    350964    101895     55853   1663981    519911      8.21      8.78
1012.72/254.49	c  N dy  1457    287070     72341    350964    101962     49314   1663981    354394      8.21      8.73
1047.08/263.01	c  N dy  1569    305479     72339    350964    102012     65523   1663981    662947      8.26      9.53
1048.66/263.43	c  F st  1577    306250     72339    350964    102012     66215   1663981    680427      8.27   no data
1049.06/263.54	c Replacing       99 vars Replaced     8324 lits Time:     0.06 s 
1087.79/273.21	c  N dy  1661    325015     72240    350649    101606     59831   1662435    479351      8.29      8.80
1131.32/284.10	c  N dy  1779    345077     72240    350649    101671     77582   1662435    792439      8.32      8.82
1156.49/290.43	c  S st  1859    357346     72240    350649    101690     65093   1662435    522499      8.34      8.04
1157.67/290.79	c  S st  1859    357846     72240    350649    101694     65558   1662435    530369      8.34   no data
1158.07/290.85	c x-sub:     9 x-cut:      0 vfix:      0 v-elim:     13 locsubst:    34 time:   0.06
1176.05/295.36	c Flit:     3 Blit:      3 bXBeca:    0 bXProp:   72 Bins:  13606 BRemL:  12319 BRemN:     33 P: 28.4M T:  4.51
1176.45/295.47	c Replacing       89 vars Replaced     4662 lits Time:     0.10 s 
1176.84/295.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1177.24/295.62	c bin-w-bin subsume rem         3639 bins  time:  0.03 s
1177.64/295.70	c subs with bin:      128  lits-rem:       301  v-fix:    0  time:  0.08 s
1178.04/295.80	c Subs w/ non-existent bins:     36 l-rem:     23 v-fix:     0 done:  72129 time:  0.10 s
1178.04/295.86	c Removed useless bin:       5  fixed:     0  props:   1.52M  time:  0.06 s
1179.63/296.20	c lits-rem:        12  cl-subs:      297  v-elim:    153  v-fix:    0  time:  0.34 s
1180.03/296.33	c subs with bin:      253  lits-rem:      1271  v-fix:    0  time:  0.07 s
1181.23/296.63	c lits-rem:      1341  cl-subs:     2013  v-elim:      0  v-fix:    0  time:  0.24 s
1183.25/297.13	c asymm  cl-useful: 12/25611/349584 lits-rem:36 time: 0.50
1183.25/297.16	c calculated reachability. Time: 0.00
1183.25/297.17	c  N dy  1859    357846     71976    349572     98318     62934   1657655    499216      8.34   no data
1183.63/297.21	c Finding binary XORs  T:     0.04 s  found:       1
1204.40/302.47	c Finding binary XORs  T:     0.05 s  found:       0
1225.15/307.60	c  N dy  1974    378101     71970    349572    113172     80997   1657654    851889      8.36      9.19
1225.55/307.74	c Finding binary XORs  T:     0.04 s  found:       4
1264.28/317.43	c  N dy  2092    398236     71970    349402    114196     73456   1656563    661714      8.40      8.96
1268.28/318.48	c Finding binary XORs  T:     0.04 s  found:      86
1309.41/328.76	c Finding binary XORs  T:     0.04 s  found:       1
1309.81/328.84	c  N dy  2227    418257     71953    348869    130421     65673   1654269    483867      8.44     13.24
1353.60/340.47	c  N dy  2357    438443     71949    348869    132850     83582   1654269    822940      8.47      8.94
1360.39/342.11	c Finding binary XORs  T:     0.04 s  found:      41
1403.91/353.07	c  N dy  2493    459407     71946    348617    132935     76098   1652649    619799      8.51      8.96
1449.05/364.31	c  N dy  2610    479447     71945    348617    132981     94036   1652649    953395      8.53      8.99
1499.35/376.96	c  N dy  2744    499636     71939    348617    133012     84552   1652649    694129      8.55      9.38
1546.86/388.89	c  N dy  2869    519698     71939    348617    133075    102645   1652649   1040090      8.57     12.98
1583.20/397.99	c  S st  2974    536771     71938    348617    133100     90134   1652649    748131      8.59   no data
1585.21/398.42	c  S st  2974    537273     71938    348617    133101     90625   1652649    756771      8.59   no data
1585.21/398.48	c x-sub:    17 x-cut:      0 vfix:      0 v-elim:     51 locsubst:    14 time:   0.06
1604.36/403.22	c Flit:     4 Blit:      2 bXBeca:    0 bXProp:  146 Bins:   6998 BRemL:  24988 BRemN:     21 P: 33.2M T:  4.74
1604.76/403.34	c Replacing      285 vars Replaced    12268 lits Time:     0.11 s 
1605.16/403.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1605.16/403.50	c bin-w-bin subsume rem         5285 bins  time:  0.04 s
1605.56/403.58	c subs with bin:      145  lits-rem:       581  v-fix:    0  time:  0.08 s
1605.96/403.68	c Subs w/ non-existent bins:     20 l-rem:     86 v-fix:     0 done:  71592 time:  0.10 s
1606.36/403.74	c Removed useless bin:      23  fixed:     0  props:   1.54M  time:  0.06 s
1607.57/404.10	c lits-rem:        21  cl-subs:      595  v-elim:    262  v-fix:    0  time:  0.35 s
1608.35/404.26	c subs with bin:      381  lits-rem:      1640  v-fix:    0  time:  0.10 s
1609.95/404.63	c lits-rem:      1975  cl-subs:     2941  v-elim:      0  v-fix:    0  time:  0.30 s
1611.96/405.14	c asymm  cl-useful: 27/13394/346514 lits-rem:81 time: 0.51
1611.96/405.17	c calculated reachability. Time: 0.01
1611.96/405.18	c  N dy  2974    537273     71330    346487    108112     87012   1642891    675754      8.59   no data
1612.33/405.22	c Finding binary XORs  T:     0.04 s  found:       0
1642.71/412.82	c Finding binary XORs  T:     0.04 s  found:       1
1657.07/416.40	c  N dy  3086    557325     71330    346487    112642    105049   1642890   1019363      8.60      9.16
1707.37/429.07	c  N dy  3226    577607     71329    346487    112677     92434   1642890    715282      8.65      9.16
1752.52/440.32	c  N dy  3330    597743     71329    346487    112718    110398   1642890   1032193      8.65      9.45
1802.81/452.98	c  N dy  3460    618058     71329    346487    112734     99110   1642890    761596      8.68      9.18
1855.52/466.17	c  N dy  3593    638122     71329    346487    112775    116959   1642888   1110244      8.71      9.35
1907.83/479.22	c  N dy  3713    658217     71328    346487    112819    104469   1642888    770245      8.72      9.23
1959.73/492.29	c  N dy  3835    678224     71327    346487    112853    122625   1642888   1125420      8.74     10.37
2008.86/504.57	c  N dy  3969    698371     71327    346487    112865    109091   1642888    809681      8.78      9.90
2011.66/505.21	c Finding binary XORs  T:     0.04 s  found:      22
2061.96/517.85	c  N dy  4104    718447     71322    346205    121090    127192   1641174   1200438      8.80      9.27
2084.32/523.44	c Finding binary XORs  T:     0.05 s  found:       5
2117.09/531.61	c  N dy  4229    738542     71322    346205    121117    112692   1641174    816371      8.83     12.65
2171.36/545.21	c  N dy  4375    758639     71322    346205    121135    130788   1641173   1170044      8.85     11.50
2224.48/558.51	c  N dy  4510    778702     71315    346205    121250    115617   1641173    804055      8.87      9.61
2278.39/572.00	c  N dy  4648    798703     71307    346205    121278    133470   1641173   1151564      8.90      9.37
2295.96/576.41	c  S st  4693    805910     71306    346205    121282    139970   1641173   1285805      8.91      8.65
2297.56/576.89	c  S st  4693    806410     71306    346205    121283    140450   1641173   1295617      8.91   no data
2297.96/576.96	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:     50 locsubst:     0 time:   0.07
2317.52/581.83	c Flit:     3 Blit:      3 bXBeca:    0 bXProp:  125 Bins:   3816 BRemL:  10873 BRemN:     28 P: 37.0M T:  4.87
2317.92/581.97	c Replacing      153 vars Replaced    11134 lits Time:     0.13 s 
2318.32/582.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2318.73/582.12	c bin-w-bin subsume rem         2674 bins  time:  0.04 s
2319.13/582.20	c subs with bin:      155  lits-rem:       536  v-fix:    0  time:  0.08 s
2319.51/582.31	c Subs w/ non-existent bins:      8 l-rem:     84 v-fix:     0 done:  71097 time:  0.10 s
2319.51/582.38	c Removed useless bin:      29  fixed:     0  props:   1.58M  time:  0.06 s
2321.11/582.75	c lits-rem:         8  cl-subs:      408  v-elim:    133  v-fix:    0  time:  0.37 s
2322.30/583.02	c subs with bin:      429  lits-rem:      2372  v-fix:    0  time:  0.17 s
2324.70/583.68	c lits-rem:      3707  cl-subs:     5482  v-elim:      0  v-fix:    0  time:  0.59 s
2327.10/584.22	c asymm  cl-useful: 15/22242/344904 lits-rem:45 time: 0.53
2327.10/584.25	c calculated reachability. Time: 0.00
2327.10/584.25	c  N dy  4693    806410     70964    344889    110078    133965   1634493   1198971      8.91   no data
2327.10/584.30	c Finding binary XORs  T:     0.05 s  found:       0
2365.42/593.86	c Finding binary XORs  T:     0.04 s  found:      64
2379.40/597.36	c  N dy  4820    826447     70944    344601    113945    116322   1633019    757774      8.93      9.82
2400.17/602.53	c Finding binary XORs  T:     0.04 s  found:      65
2429.70/609.95	c  N dy  4946    846613     70938    344323    124367    134649   1632061   1145293      8.95      9.62
2443.69/613.47	c Finding binary XORs  T:     0.05 s  found:       4
2485.21/623.85	c  N dy  5082    866676     70937    344323    135583    117732   1632061    741207      8.97     11.21
2531.13/635.31	c Finding binary XORs  T:     0.05 s  found:      19
2540.31/637.64	c  N dy  5221    886692     70934    344236    133655    135996   1631619   1120198      8.99      9.62
2596.61/651.75	c  N dy  5354    906754     70922    344236    133737    153986   1631618   1491209      9.01     11.79
2650.11/665.16	c  N dy  5462    926755     70642    344236    134105    135939   1631616    985949      9.01      9.50
2708.82/679.89	c  N dy  5568    947252     70641    344236    134416    154215   1631615   1321307      9.01      9.60
2769.11/694.90	c  N dy  5690    967253     70632    344236    134731    137122   1631610    937122      9.02      9.71
2774.70/696.31	c Finding binary XORs  T:     0.05 s  found:    3347
2775.51/696.51	c Replacing     3499 vars Replaced   298131 lits Time:     0.20 s 
2823.01/708.47	c  N dy  5802    987411     67137    338726    126637    142173   1602944   1176446      9.03      9.81
2880.92/722.92	c  N dy  5912   1007614     67136    338726    126873    123537   1602942    729952      9.03      9.57
2919.64/732.61	c Finding binary XORs  T:     0.05 s  found:     278
2942.42/738.38	c  N dy  6025   1027640     67136    338726    127166    141543   1602930   1069051      9.03      9.71
3004.69/753.90	c  N dy  6161   1047686     67135    338726    127444    159533   1602930   1423074      9.04     10.40
3062.18/768.33	c  N dy  6270   1067755     67134    338726    127701    140751   1602927    957930      9.04     11.38
3077.36/772.11	c  F st  6297   1071875     67134    338726    127765    144378   1602927   1026924      9.04   no data
3077.76/772.24	c Replacing      279 vars Replaced    17532 lits Time:     0.08 s 
3122.89/783.57	c  N dy  6366   1087789     66854    338660    127384    158448   1602242   1350515      9.05      9.55
3164.41/793.97	c Finding binary XORs  T:     0.05 s  found:     420
3191.15/800.66	c  N dy  6486   1107862     66853    338655    127651    138399   1602168    830888      9.06     12.13
3241.08/813.14	c  N dy  6576   1128021     66852    338655    127850    156925   1602165   1178979      9.05      9.65
3304.17/828.91	c  N dy  6697   1148112     66852    338655    128029    174871   1602165   1506140      9.05     10.40
3371.64/845.88	c  N dy  6833   1168190     66846    338655    128231    153132   1602165   1025131      9.06      9.65
3435.53/861.80	c  N dy  6955   1188256     66844    338655    128428    171283   1602163   1388277      9.08     11.33
3452.69/866.12	c Finding binary XORs  T:     0.05 s  found:    1320
3453.09/866.26	c Replacing     1740 vars Replaced   132395 lits Time:     0.13 s 
3490.63/875.66	c Finding binary XORs  T:     0.05 s  found:      39
3496.63/877.16	c  N dy  7084   1208365     65063    337047    190219    147910   1593216    972732      9.09      9.57
3500.23/878.05	c  S st  7093   1209615     65063    337047    190223    149015   1593216    992413      9.09   no data
3502.61/878.63	c  S st  7093   1210116     65063    337047    190225    149502   1593216    999365      9.09   no data
3503.01/878.70	c x-sub:  1545 x-cut:      0 vfix:      0 v-elim:    167 locsubst:   114 time:   0.07
3524.17/884.00	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   81 Bins:  20210 BRemL:  34369 BRemN:     35 P: 54.9M T:  5.30
3524.57/884.14	c Replacing      171 vars Replaced    30473 lits Time:     0.13 s 
3524.97/884.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3525.77/884.40	c bin-w-bin subsume rem        44730 bins  time:  0.14 s
3526.17/884.50	c subs with bin:     2482  lits-rem:      3662  v-fix:    0  time:  0.10 s
3526.59/884.62	c Subs w/ non-existent bins:    359 l-rem:    672 v-fix:     0 done:  64721 time:  0.12 s
3526.59/884.69	c Removed useless bin:     389  fixed:     0  props:   1.78M  time:  0.06 s
3529.77/885.48	c lits-rem:       235  cl-subs:    11590  v-elim:   4295  v-fix:    0  time:  0.79 s
3530.57/885.64	c subs with bin:     1847  lits-rem:      6065  v-fix:    0  time:  0.08 s
3532.95/886.29	c lits-rem:      4034  cl-subs:    21328  v-elim:      0  v-fix:    0  time:  0.58 s
3533.75/886.46	c asymm  cl-useful: 4/4461/305611 lits-rem:12 time: 0.17
3533.75/886.49	c calculated reachability. Time: 0.00
3533.75/886.49	c  N dy  7093   1210116     60426    305607    101316    121942   1460394    692699      9.09   no data
3534.15/886.54	c Finding binary XORs  T:     0.04 s  found:       0
3556.12/892.06	c Finding binary XORs  T:     0.04 s  found:      65
3594.85/901.72	c  N dy  7213   1230126     60425    305606    106359    140127   1460356   1051658      9.09      9.59
3657.15/917.33	c  N dy  7335   1250337     60424    305606    106542    158169   1460355   1400640      9.10      9.59
3715.46/931.93	c  N dy  7448   1270368     60424    305606    106646    176463   1460355   1774533      9.11      9.64
3773.34/946.49	c  N dy  7584   1290473     60423    305606    106790    136626   1460354    856133      9.12      9.65
3826.05/959.64	c  N dy  7685   1310686     60420    305606    106934    154929   1460350   1185638      9.12      9.79
3882.36/973.73	c  N dy  7803   1330723     60419    305606    107100    173172   1460347   1539011      9.13      9.68
3940.64/988.38	c  N dy  7922   1350773     60418    305606    107214    149463   1460347   1005195      9.14      9.84
3953.42/991.50	c Finding binary XORs  T:     0.04 s  found:     360
4002.53/1003.86	c  N dy  8042   1370868     60418    305589    107270    167530   1460271   1345127      9.14     15.53
4008.92/1005.49	c Finding binary XORs  T:     0.05 s  found:     197
4009.32/1005.59	c Replacing      622 vars Replaced    42540 lits Time:     0.10 s 
4060.83/1018.44	c  N dy  8155   1391015     59786    305452    120459    185460   1459163   1722610      9.15      9.84
4102.38/1028.88	c Finding binary XORs  T:     0.04 s  found:      93
4124.34/1034.34	c  N dy  8283   1411431     59785    305452    120612    160686   1459154   1144192      9.16      9.83
4179.81/1048.22	c  N dy  8394   1431506     59784    305452    120736    178960   1459153   1487726      9.16      9.81
4235.33/1062.14	c  N dy  8521   1451544     59779    305452    120834    153191   1459152    917706      9.17     12.07
4298.41/1077.99	c  N dy  8655   1471717     59773    305452    120986    171552   1459151   1286151      9.18      9.94
4358.31/1092.92	c  N dy  8773   1491754     59773    305452    121114    189932   1459149   1650393      9.18     10.06
4419.79/1108.33	c  N dy  8909   1511820     59768    305452    121243    162978   1459148   1015459      9.19      9.84
4479.29/1123.26	c  N dy  9056   1531868     59768    305452    121355    181174   1459147   1404197      9.21     10.02
4518.44/1133.01	c Finding binary XORs  T:     0.05 s  found:     331
4544.39/1139.52	c  N dy  9190   1551983     59766    305253    121580    199185   1457709   1783374      9.22      9.89
4605.48/1154.80	c  N dy  9307   1572063     59760    305253    121716    171356   1457709   1074540      9.22      9.79
4669.76/1170.92	c  N dy  9440   1592129     59759    305253    121791    189509   1457706   1435520      9.23      9.75
4734.47/1187.16	c  N dy  9572   1612268     59758    305253    121908    207829   1457705   1810105      9.24      9.83
4799.54/1203.46	c  N dy  9701   1632313     59758    305253    121988    179702   1457705   1148759      9.24     14.79

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281606-1304028697/watcher-3281606-1304028697 -o /tmp/evaluation-result-3281606-1304028697/solver-3281606-1304028697 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3281606-1304028697.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 18136
/proc/meminfo: memFree=25286320/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 409 0 0 0 0 0 0 0 18 0 4 0 514469443 52441088 348 33554432000 4194304 4627427 140736049180592 18446744073709551615 47926357346226 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18136/statm: 12803 348 299 106 0 7774 0
[pid=18136/tid=18137] ppid=18134 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 514469443 52441088 348 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 514469443 52441088 348 33554432000 4194304 4627427 140736049180592 18446744073709551615 47926357346216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 514469443 52441088 348 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.102194 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 18136
/proc/meminfo: memFree=25286320/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=182284 CPUtime=0.29 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) D 18134 18136 18108 0 -1 4202496 439 0 0 0 29 0 0 0 20 0 4 0 514469443 186658816 366 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664463344 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18136/statm: 40110 368 312 106 0 35081 0
[pid=18136/tid=18137] ppid=18134 vsize=160440 CPUtime=0.09 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) S 18134 18136 18108 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 4 0 514469443 164290560 368 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664913390 0 0 4096 2 18446604443616901888 0 0 -1 6 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=116748 CPUtime=0.09 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) D 18134 18136 18108 0 -1 4202560 12 0 0 0 9 0 0 0 20 0 4 0 514469443 119549952 369 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=116748 CPUtime=0.04 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 4 0 0 0 4 0 0 0 21 0 4 0 514469443 119549952 392 33554432000 4194304 4627427 140736049180592 18446744073709551615 4455456 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 182284

[startup+0.202415 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 18136
/proc/meminfo: memFree=25286320/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=316496 CPUtime=0.45 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 20709 0 0 0 40 5 0 0 17 0 4 0 514469443 324091904 17194 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664913439 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18136/statm: 79244 17279 339 106 0 74215 0
[pid=18136/tid=18137] ppid=18134 vsize=317456 CPUtime=0.13 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3875 0 0 0 12 1 0 0 17 0 4 0 514469443 325074944 17282 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=317456 CPUtime=0.11 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) S 18134 18136 18108 0 -1 4202560 4903 0 0 0 11 0 0 0 17 0 4 0 514469443 325074944 17287 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664913390 0 0 4096 2 18446604443616901888 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=317456 CPUtime=0.09 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) S 18134 18136 18108 0 -1 4202560 5968 0 0 0 7 2 0 0 17 0 4 0 514469443 325074944 17301 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664913390 0 0 4096 2 18446604443616901888 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 316496

[startup+0.305499 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 18136
/proc/meminfo: memFree=25286320/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=359564 CPUtime=0.66 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 40690 0 0 0 54 12 0 0 17 0 4 0 514469443 368193536 32336 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664505536 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 89891 32360 339 106 0 84862 0
[pid=18136/tid=18137] ppid=18134 vsize=359564 CPUtime=0.18 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) S 18134 18136 18108 0 -1 4202560 9836 0 0 0 15 3 0 0 17 0 4 0 514469443 368193536 32373 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664913390 0 0 4096 2 18446604443616901888 0 0 -1 6 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=359564 CPUtime=0.17 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) S 18134 18136 18108 0 -1 4202560 9834 0 0 0 15 2 0 0 17 0 4 0 514469443 368193536 32387 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664913390 0 0 4096 2 18446604443616901888 0 0 -1 2 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=359564 CPUtime=0.14 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) S 18134 18136 18108 0 -1 4202560 10492 0 0 0 11 3 0 0 17 0 4 0 514469443 368193536 32400 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664913390 0 0 4096 2 18446604443616901888 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 359564

[startup+0.701076 s]
/proc/loadavg: 0.00 0.00 0.00 2/170 18136
/proc/meminfo: memFree=25286320/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=739584 CPUtime=1.53 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 133652 0 0 0 110 43 0 0 17 0 4 0 514469443 757334016 108202 33554432000 4194304 4627427 140736049180592 18446744073709551615 4229264 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 184896 108247 339 106 0 179867 0
[pid=18136/tid=18137] ppid=18134 vsize=739584 CPUtime=0.36 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 33051 0 0 0 25 11 0 0 17 0 4 0 514469443 757334016 108271 33554432000 4194304 4627427 140736049180592 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=739584 CPUtime=0.36 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 29651 0 0 0 26 10 0 0 17 0 4 0 514469443 757334016 108297 33554432000 4194304 4627427 140736049180592 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=739584 CPUtime=0.31 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 34791 0 0 0 19 12 0 0 17 0 4 0 514469443 757334016 108315 33554432000 4194304 4627427 140736049180592 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 739584

[startup+1.50094 s]
/proc/loadavg: 0.00 0.00 0.00 6/174 18140
/proc/meminfo: memFree=24633428/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=1039468 CPUtime=4.18 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 197992 0 0 0 346 72 0 0 17 0 4 0 514469443 1064415232 162839 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 259867 162839 364 106 0 254838 0
[pid=18136/tid=18137] ppid=18134 vsize=1039468 CPUtime=0.99 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 50473 0 0 0 80 19 0 0 17 0 4 0 514469443 1064415232 162839 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=1039468 CPUtime=0.99 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 47802 0 0 0 81 18 0 0 17 0 4 0 514469443 1064415232 162839 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=1039468 CPUtime=0.95 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 49275 0 0 0 76 19 0 0 17 0 4 0 514469443 1064415232 162839 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 1039468

[startup+3.10066 s]
/proc/loadavg: 0.00 0.00 0.00 6/174 18140
/proc/meminfo: memFree=24604040/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=1042936 CPUtime=10.55 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 206624 0 0 0 982 73 0 0 20 0 4 0 514469443 1067966464 170656 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 260734 170656 367 106 0 255705 0
[pid=18136/tid=18137] ppid=18134 vsize=1042936 CPUtime=2.59 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 52728 0 0 0 240 19 0 0 20 0 4 0 514469443 1067966464 170656 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=1042936 CPUtime=2.58 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 49982 0 0 0 239 19 0 0 20 0 4 0 514469443 1067966464 170656 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=1042936 CPUtime=2.54 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 51242 0 0 0 235 19 0 0 20 0 4 0 514469443 1067966464 170656 33554432000 4194304 4627427 140736049180592 18446744073709551615 4324696 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 1042936

[startup+6.30109 s]
/proc/loadavg: 0.32 0.07 0.02 5/174 18140
/proc/meminfo: memFree=24600056/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=1043400 CPUtime=22.28 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 208210 0 0 0 2142 86 0 0 25 0 4 0 514469443 1068441600 171036 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308996 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 260850 171036 367 106 0 255821 0
[pid=18136/tid=18137] ppid=18134 vsize=1043400 CPUtime=5.77 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 52768 0 0 0 557 20 0 0 25 0 4 0 514469443 1068441600 171036 33554432000 4194304 4627427 140736049180592 18446744073709551615 4238977 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=1043400 CPUtime=5.64 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 50018 0 0 0 538 26 0 0 25 0 4 0 514469443 1068441600 171036 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=1043400 CPUtime=5.09 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 52691 0 0 0 485 24 0 0 25 0 4 0 514469443 1068441600 171036 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 1043400

[startup+12.701 s]
/proc/loadavg: 0.69 0.15 0.05 6/176 18145
/proc/meminfo: memFree=24570280/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=1063728 CPUtime=47.85 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 213814 0 0 0 4697 88 0 0 25 0 4 0 514469443 1089257472 176640 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 265932 176640 368 106 0 260903 0
[pid=18136/tid=18137] ppid=18134 vsize=1063728 CPUtime=12.13 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 52872 0 0 0 1193 20 0 0 25 0 4 0 514469443 1089257472 176640 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308213 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=1063728 CPUtime=12.04 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 50175 0 0 0 1178 26 0 0 25 0 4 0 514469443 1089257472 176640 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=1063728 CPUtime=11.49 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 57912 0 0 0 1124 25 0 0 25 0 4 0 514469443 1089257472 176640 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.85
Current children cumulated vsize (KiB) 1063728

[startup+25.5007 s]
/proc/loadavg: 2.42 0.55 0.18 9/182 18154
/proc/meminfo: memFree=23710292/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=1518724 CPUtime=98.87 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 341145 0 0 0 9771 116 0 0 19 0 4 0 514469443 1555173376 288357 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308345 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18136/statm: 379681 288357 388 106 0 374652 0
[pid=18136/tid=18137] ppid=18134 vsize=1518724 CPUtime=24.86 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 94955 0 0 0 2454 32 0 0 23 0 4 0 514469443 1555173376 288357 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=1518724 CPUtime=24.81 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 89049 0 0 0 2448 33 0 0 21 0 4 0 514469443 1555173376 288357 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=1518724 CPUtime=24.25 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 58217 0 0 0 2400 25 0 0 25 0 4 0 514469443 1555173376 288357 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.87
Current children cumulated vsize (KiB) 1518724

[startup+51.1003 s]
/proc/loadavg: 4.38 1.16 0.39 9/182 18155
/proc/meminfo: memFree=23502072/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=1452032 CPUtime=201.07 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 542646 0 0 0 19971 136 0 0 25 0 4 0 514469443 1486880768 281771 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18136/statm: 363008 281771 390 106 0 357979 0
[pid=18136/tid=18137] ppid=18134 vsize=1452032 CPUtime=50.43 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 177753 0 0 0 5003 40 0 0 25 0 4 0 514469443 1486880768 281771 33554432000 4194304 4627427 140736049180592 18446744073709551615 4252697 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=1452032 CPUtime=50.4 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 200127 0 0 0 4996 44 0 0 25 0 4 0 514469443 1486880768 281662 33554432000 4194304 4627427 140736049180592 18446744073709551615 274664506336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=1452032 CPUtime=49.85 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 62955 0 0 0 4959 26 0 0 25 0 4 0 514469443 1486880768 281668 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 201.07
Current children cumulated vsize (KiB) 1452032

[startup+102.3 s]
/proc/loadavg: 6.49 2.23 0.79 9/182 18156
/proc/meminfo: memFree=23079156/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=1933200 CPUtime=405.52 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13173599 0 0 0 38725 1827 0 0 25 0 4 0 514469443 1979596800 378242 33554432000 4194304 4627427 140736049180592 18446744073709551615 4237488 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18136/statm: 483300 378242 391 106 0 478271 0
[pid=18136/tid=18137] ppid=18134 vsize=1933200 CPUtime=101.62 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 4919505 0 0 0 9501 661 0 0 25 0 4 0 514469443 1979596800 378242 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=1933200 CPUtime=101.58 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3605035 0 0 0 9658 500 0 0 25 0 4 0 514469443 1979596800 378242 33554432000 4194304 4627427 140736049180592 18446744073709551615 4341520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=1933200 CPUtime=101.03 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 133928 0 0 0 10057 46 0 0 25 0 4 0 514469443 1979596800 378242 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 405.52
Current children cumulated vsize (KiB) 1933200

[startup+162.301 s]

################
# More data... #
################


[startup+702.3 s]
/proc/loadavg: 8.12 7.33 4.26 9/182 18202
/proc/meminfo: memFree=22307336/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2751448 CPUtime=2798.65 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13804346 0 0 0 277894 1971 0 0 25 0 4 0 514469443 2817482752 599951 33554432000 4194304 4627427 140736049180592 18446744073709551615 4299707 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 687862 599951 391 106 0 682833 0
[pid=18136/tid=18137] ppid=18134 vsize=2751448 CPUtime=700.41 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5063534 0 0 0 69343 698 0 0 25 0 4 0 514469443 2817482752 599951 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2751448 CPUtime=700.86 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3733924 0 0 0 69555 531 0 0 25 0 4 0 514469443 2817482752 599951 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2751448 CPUtime=696.2 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 335858 0 0 0 69533 87 0 0 25 0 4 0 514469443 2817482752 599951 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2798.65
Current children cumulated vsize (KiB) 2751448

[startup+762.301 s]
/proc/loadavg: 8.10 7.46 4.50 9/182 18204
/proc/meminfo: memFree=22323432/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2726480 CPUtime=3038.23 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13826185 0 0 0 301846 1977 0 0 25 0 4 0 514469443 2791915520 602225 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 681620 602225 391 106 0 676591 0
[pid=18136/tid=18137] ppid=18134 vsize=2726480 CPUtime=760.4 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5069601 0 0 0 75341 699 0 0 25 0 4 0 514469443 2791915520 602225 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2726480 CPUtime=760.77 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3739117 0 0 0 75544 533 0 0 25 0 4 0 514469443 2791915520 602225 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2726480 CPUtime=755.88 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 340866 0 0 0 75500 88 0 0 25 0 4 0 514469443 2791915520 602225 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3038.23
Current children cumulated vsize (KiB) 2726480

[startup+822.301 s]
/proc/loadavg: 8.13 7.59 4.73 9/182 18205
/proc/meminfo: memFree=22182672/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2777912 CPUtime=3277.8 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13849228 0 0 0 325796 1984 0 0 25 0 4 0 514469443 2844581888 602546 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 694478 602546 391 106 0 689449 0
[pid=18136/tid=18137] ppid=18134 vsize=2777912 CPUtime=820.39 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5075278 0 0 0 81338 701 0 0 25 0 4 0 514469443 2844581888 602546 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2777912 CPUtime=820.68 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3744609 0 0 0 81532 536 0 0 25 0 4 0 514469443 2844581888 602546 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2777912 CPUtime=815.56 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 345807 0 0 0 81466 90 0 0 25 0 4 0 514469443 2844581888 602546 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3277.8
Current children cumulated vsize (KiB) 2777912

[startup+882.301 s]
/proc/loadavg: 8.08 7.67 4.93 9/182 18207
/proc/meminfo: memFree=22133044/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2844448 CPUtime=3517.38 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13876419 0 0 0 349746 1992 0 0 25 0 4 0 514469443 2912714752 610099 33554432000 4194304 4627427 140736049180592 18446744073709551615 4237488 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 711112 610099 391 106 0 706083 0
[pid=18136/tid=18137] ppid=18134 vsize=2844448 CPUtime=880.39 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5087653 0 0 0 87336 703 0 0 25 0 4 0 514469443 2912714752 610099 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2844448 CPUtime=880.58 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3749835 0 0 0 87520 538 0 0 25 0 4 0 514469443 2912714752 610099 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2844448 CPUtime=875.24 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 348352 0 0 0 87433 91 0 0 25 0 4 0 514469443 2912714752 610099 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.38
Current children cumulated vsize (KiB) 2844448

[startup+942.301 s]
/proc/loadavg: 8.14 7.76 5.13 11/182 18208
/proc/meminfo: memFree=22136368/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2884136 CPUtime=3756.96 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13905840 0 0 0 373695 2001 0 0 25 0 4 0 514469443 2953355264 608052 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18136/statm: 721034 608052 391 106 0 716005 0
[pid=18136/tid=18137] ppid=18134 vsize=2884136 CPUtime=940.38 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5092631 0 0 0 93333 705 0 0 25 0 4 0 514469443 2953355264 608052 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2884136 CPUtime=940.5 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3755112 0 0 0 93510 540 0 0 25 0 4 0 514469443 2953355264 608052 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2884136 CPUtime=934.9 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 353407 0 0 0 93398 92 0 0 25 0 4 0 514469443 2953355264 608052 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3756.96
Current children cumulated vsize (KiB) 2884136

[startup+1002.3 s]
/proc/loadavg: 8.12 7.82 5.32 9/182 18210
/proc/meminfo: memFree=22075700/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2902952 CPUtime=3996.55 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13931951 0 0 0 397646 2009 0 0 25 0 4 0 514469443 2972622848 621930 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18136/statm: 725738 621930 391 106 0 720709 0
[pid=18136/tid=18137] ppid=18134 vsize=2902952 CPUtime=1000.38 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5097682 0 0 0 99332 706 0 0 25 0 4 0 514469443 2972622848 621930 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2902952 CPUtime=1000.42 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3764305 0 0 0 99500 542 0 0 25 0 4 0 514469443 2972622848 621930 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2902952 CPUtime=994.58 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 363635 0 0 0 99363 95 0 0 25 0 4 0 514469443 2972622848 621930 33554432000 4194304 4627427 140736049180592 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.55
Current children cumulated vsize (KiB) 2902952

[startup+1062.3 s]
/proc/loadavg: 8.11 7.86 5.49 9/182 18212
/proc/meminfo: memFree=22037500/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2915892 CPUtime=4236.13 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13949774 0 0 0 421596 2017 0 0 25 0 4 0 514469443 2985873408 627563 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18136/statm: 728973 627563 391 106 0 723944 0
[pid=18136/tid=18137] ppid=18134 vsize=2915892 CPUtime=1060.38 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5099382 0 0 0 105330 708 0 0 25 0 4 0 514469443 2985873408 627563 33554432000 4194304 4627427 140736049180592 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2915892 CPUtime=1060.41 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3769228 0 0 0 105497 544 0 0 25 0 4 0 514469443 2985873408 627563 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2915892 CPUtime=1054.26 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 369278 0 0 0 105329 97 0 0 25 0 4 0 514469443 2985873408 627563 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.13
Current children cumulated vsize (KiB) 2915892

[startup+1122.31 s]
/proc/loadavg: 8.04 7.89 5.64 9/182 18213
/proc/meminfo: memFree=21979556/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=3006732 CPUtime=4475.72 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13963329 0 0 0 445547 2025 0 0 25 0 4 0 514469443 3078893568 641118 33554432000 4194304 4627427 140736049180592 18446744073709551615 4310689 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18136/statm: 751683 641118 391 106 0 746654 0
[pid=18136/tid=18137] ppid=18134 vsize=3006732 CPUtime=1120.38 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5104606 0 0 0 111328 710 0 0 25 0 4 0 514469443 3078893568 641118 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=3006732 CPUtime=1120.42 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3770816 0 0 0 111496 546 0 0 25 0 4 0 514469443 3078893568 641118 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=3006732 CPUtime=1113.94 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 370791 0 0 0 111296 98 0 0 25 0 4 0 514469443 3078893568 641118 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.72
Current children cumulated vsize (KiB) 3006732

[startup+1182.3 s]
/proc/loadavg: 8.05 7.92 5.79 9/182 18215
/proc/meminfo: memFree=21972708/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2900856 CPUtime=4715.28 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13972037 0 0 0 469496 2032 0 0 25 0 4 0 514469443 2970476544 638218 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308307 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18136/statm: 725214 638218 391 106 0 720185 0
[pid=18136/tid=18137] ppid=18134 vsize=2900856 CPUtime=1180.37 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5106010 0 0 0 117326 711 0 0 25 0 4 0 514469443 2970476544 638218 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2900856 CPUtime=1180.41 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3776041 0 0 0 117492 549 0 0 25 0 4 0 514469443 2970476544 638218 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2900856 CPUtime=1173.61 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 371283 0 0 0 117263 98 0 0 25 0 4 0 514469443 2970476544 638218 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.28
Current children cumulated vsize (KiB) 2900856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.03 7.92 5.85 9/182 18215
/proc/meminfo: memFree=21927072/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=2900856 CPUtime=4800.37 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) R 18134 18136 18108 0 -1 4202496 13973030 0 0 0 478004 2033 0 0 25 0 4 0 514469443 2970476544 639211 33554432000 4194304 4627427 140736049180592 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18136/statm: 725214 639211 391 106 0 720185 0
[pid=18136/tid=18137] ppid=18134 vsize=2900856 CPUtime=1201.68 cores=0,2,4,6
/proc/18136/task/18137/stat : 18137 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 5106045 0 0 0 119457 711 0 0 25 0 4 0 514469443 2970476544 639211 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18136/tid=18138] ppid=18134 vsize=2900856 CPUtime=1201.73 cores=0,2,4,6
/proc/18136/task/18138/stat : 18138 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 3776656 0 0 0 119623 550 0 0 25 0 4 0 514469443 2970476544 639211 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=2900856 CPUtime=1194.79 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4202560 371286 0 0 0 119381 98 0 0 25 0 4 0 514469443 2970476544 639211 33554432000 4194304 4627427 140736049180592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 2900856

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1203.72 s]
/proc/loadavg: 8.03 7.92 5.85 9/182 18215
/proc/meminfo: memFree=21927072/32951132 swapFree=67111524/67111528
[pid=18136] ppid=18134 vsize=0 CPUtime=4800.5 cores=0,2,4,6
/proc/18136/stat : 18136 (strangenight2-m) Z 18134 18136 18108 0 -1 4203548 13973030 0 0 0 478007 2043 0 0 25 0 2 0 514469443 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18136/statm: 0 0 0 0 0 0 0
[pid=18136/tid=18139] ppid=18134 vsize=0 CPUtime=1194.9 cores=0,2,4,6
/proc/18136/task/18139/stat : 18139 (strangenight2-m) R 18134 18136 18108 0 -1 4203588 371286 0 0 0 119382 108 0 0 25 0 2 0 514469443 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.73
CPU time (s): 4800.52
CPU user time (s): 4780.07
CPU system time (s): 20.4499
CPU usage (%): 398.802
Max. virtual memory (cumulated for all children) (KiB): 3031928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4780.07
system time used= 20.4499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13973030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47254
involuntary context switches= 32630

runsolver used 1.9947 second user time and 4.5783 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 00:11:38
IDJOB=3281606
IDBENCH=69591
IDSOLVER=1586
FILE ID=node131/3281606-1304028697
RUNJOBID= node131-1304028687-18126
PBS_JOBID= 13170321
Free space on /tmp= 71364 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281606-1304028697/watcher-3281606-1304028697 -o /tmp/evaluation-result-3281606-1304028697/solver-3281606-1304028697 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3281606-1304028697.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=901166023

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      25286600 kB
Buffers:        931936 kB
Cached:        6180892 kB
SwapCached:          4 kB
Active:         172860 kB
Inactive:      7005892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      25286600 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           29580 kB
Writeback:           0 kB
AnonPages:       65376 kB
Mapped:          14684 kB
Slab:           423208 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   187348 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71348 MiB
End job on node131 at 2011-04-29 00:31:44