Trace number 3281608

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-1-mt? (TO) 4800.26 1202.04

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3281608-1304032563.cnf'
0.00/0.00	c -- header says num vars:         433601
0.00/0.00	c -- header says num clauses:     1291714
3.42/1.10	c -- clauses added:            0 learnts,      1291714 normals,            0 xors
3.42/1.10	c -- vars added     433601
3.42/1.10	c Parsing time:  2.12 s
3.42/1.10	c  N st     0         0    433601    430571    861142         0   3013997         0   no data   no data  --
4.20/1.25	c asymm  cl-useful: 0/24048/430570 lits-rem:0 time: 1.56
65.34/16.55	c Flit:  1587 Blit:  14472 bXBeca:    0 bXProp: 18653 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 60.80
65.72/16.61	c Cleaning up after failed var search:     0.24 s 
66.12/16.78	c Replacing    18653 vars Replaced   382785 lits Time:     0.57 s 
67.23/17.04	c bin-w-bin subsume rem          521 bins  time:  0.26 s
68.03/17.23	c subs with bin:      132  lits-rem:       129  v-fix:    0  time:  0.72 s
72.42/18.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130432 time:  4.27 s
73.21/18.58	c Removed useless bin:      71  fixed:     0  props:  20.00M  time:  0.97 s
79.49/20.17	c lits-rem:         2  cl-subs:      308  v-elim: 132156  v-fix:    0  time:  5.98 s
79.90/20.26	c Finding binary XORs  T:     0.35 s  found:    4341
80.29/20.34	c Replacing     4341 vars Replaced    39890 lits Time:     0.33 s 
81.49/20.69	c Finding non-binary XORs:     1.04 s (found:     176, avg size: 3.0)
81.49/20.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.32
81.89/20.77	c Calc default polars -  time:   0.20 s pos:   71037 undec:  176008 neg:  186556
81.89/20.77	c =========================================================================================
81.89/20.77	c types(t): F = full restart, N = normal restart
81.89/20.77	c types(t): S = simplification begin/end, E = solution found
81.89/20.77	c restart types(rt): st = static, dy = dynamic
81.89/20.77	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
81.89/20.77	c  B st     0         0    259971    414441    470177         0   2404503         0   no data   no data  --
93.46/23.66	c  N dy    12      4043    258391    414441    470291      3853   2404503     50537      6.27      7.33  --
105.05/26.55	c  N dy    36      8128    258319    414441    471322      7849   2404503    109172      7.25      7.69  --
113.46/28.65	c  N dy    60     12196    258319    414441    471338     11859   2404503    173417      7.59     10.23  --
123.42/31.15	c  N dy    81     16326    258265    414441    471495     15932   2404503    228879      7.60      8.51  --
137.00/34.53	c  N dy   106     20458    258212    414441    472831     10236   2404503     63947      7.65      8.16  --
148.61/37.47	c  N dy   123     24489    258212    414441    473615     14199   2404503    117260      7.52      8.38  --
149.78/37.77	c  F st   128     25001    258104    414441    473619     14706   2404503    125714      7.54   no data  --
240.48/60.46	c  N dy   134     30001    258104    409306    470264     19514   2379933    232295      7.54   no data  --
240.48/60.46	c  S st   134     30001    258104    409306    470264     19514   2379933    232295      7.54   no data  --
242.86/61.01	c  S st   134     30503    258075    409306    470420     19961   2379933    237657      7.54   no data  --
242.86/61.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.30
319.56/80.26	c Flit:   153 Blit:    309 bXBeca:    0 bXProp: 6350 Bins:  19307 BRemL:   4854 BRemN:   1331 P: 183.5M T: 76.30
319.56/80.27	c Cleaning up after failed var search:     0.00 s 
320.35/80.43	c Replacing     6351 vars Replaced   141655 lits Time:     0.59 s 
321.14/80.68	c bin-w-bin subsume rem         4538 bins  time:  0.22 s
321.94/80.83	c subs with bin:     1128  lits-rem:      3285  v-fix:    0  time:  0.62 s
323.14/81.19	c Subs w/ non-existent bins:     46 l-rem:   1349 v-fix:     0 done:  33531 time:  1.39 s
324.35/81.43	c Removed useless bin:      36  fixed:     0  props:  20.00M  time:  0.95 s
336.71/84.59	c lits-rem:      1903  cl-subs:    21763  v-elim: 167002  v-fix:    0  time: 12.57 s
336.71/84.59	c Added XOR as norm:175
338.70/85.09	c asymm  cl-useful: 1375/18519/418504 lits-rem:3223 time: 1.94
339.10/85.12	c  N dy   134     30503     83501    418424     89355      1154   1970143     18695      7.54   no data  --
339.10/85.16	c Finding binary XORs  T:     0.18 s  found:      45
343.48/86.26	c  N dy   157     34790     83501    418424     89368      4714   1970143     70318      7.66      8.09  --
347.48/87.28	c  N dy   175     38922     83234    418424     90287      8179   1970143    114672      7.63      8.17  --
352.65/88.54	c  N dy   202     43091     83234    418424     91462     11704   1970143    168108      7.70      8.17  --
356.25/89.43	c  S st   221     45755     83234    418424     91464     13938   1970142    199867      7.73   no data  --
357.45/89.73	c  S st   221     46257     83189    418424     91492     14398   1970142    203424      7.73   no data  --
357.45/89.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
386.57/97.03	c Flit:     8 Blit:    108 bXBeca:    0 bXProp:  711 Bins:  14284 BRemL:   3579 BRemN:    348 P: 33.6M T: 28.75
386.57/97.03	c Cleaning up after failed var search:     0.00 s 
386.97/97.16	c Replacing      756 vars Replaced    23653 lits Time:     0.48 s 
387.77/97.36	c bin-w-bin subsume rem         1662 bins  time:  0.11 s
388.17/97.46	c subs with bin:     2495  lits-rem:      4540  v-fix:    0  time:  0.40 s
388.57/97.58	c Subs w/ non-existent bins:    209 l-rem:   1470 v-fix:     0 done:  40121 time:  0.48 s
388.97/97.68	c Removed useless bin:     137  fixed:     0  props:   4.80M  time:  0.37 s
398.15/99.93	c lits-rem:      1820  cl-subs:     8043  v-elim:  18028  v-fix:    0  time:  8.98 s
399.74/100.39	c asymm  cl-useful: 486/35551/395252 lits-rem:618 time: 1.84
400.14/100.42	c  N dy   221     46257     64267    395251     73482      8251   1948787    130201      7.73   no data  --
400.14/100.46	c Finding binary XORs  T:     0.17 s  found:       0
404.54/101.51	c  N dy   243     50343     64239    395251     74104     11688   1948786    178549      7.77      9.65  --
407.35/102.24	c  N dy   255     54427     64239    395251     74106     15176   1948786    219145      7.70      8.89  --
410.94/103.15	c  N dy   277     58529     64190    395251     75474     18687   1948786    266864      7.69      8.10  --
414.53/104.05	c  N dy   297     62570     64190    395251     75475     22119   1948786    312240      7.72     10.58  --
418.92/105.11	c  N dy   322     66612     64190    395251     75482     13160   1948786    108298      7.75      9.03  --
420.53/105.58	c  S st   333     69386     64190    395251     75570     15500   1948786    133915      7.72   no data  --
421.71/105.84	c  S st   333     69886     64189    395251     75587     15973   1948786    138606      7.72   no data  --
422.11/105.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.23
441.68/110.81	c Flit:    18 Blit:      0 bXBeca:    0 bXProp:   99 Bins:   2821 BRemL:   1395 BRemN:     84 P: 22.7M T: 19.56
442.08/110.91	c Replacing       99 vars Replaced     5179 lits Time:     0.36 s 
442.49/111.07	c bin-w-bin subsume rem          766 bins  time:  0.09 s
442.90/111.15	c subs with bin:     1011  lits-rem:      1866  v-fix:    0  time:  0.30 s
443.28/111.25	c Subs w/ non-existent bins:    698 l-rem:   2093 v-fix:     0 done:  35070 time:  0.40 s
443.68/111.32	c Removed useless bin:      59  fixed:     0  props:   3.41M  time:  0.28 s
448.87/112.60	c lits-rem:      1562  cl-subs:     2799  v-elim:    238  v-fix:    0  time:  5.11 s
449.27/112.74	c vivif2 --  cl tried   391482 cl shrink     2121 lits rem       3397 time: 0.55
449.27/112.75	c vivif2 --  cl tried    13698 cl shrink      481 lits rem        635 time: 0.04
451.28/113.20	c asymm  cl-useful: 486/29092/391398 lits-rem:848 time: 1.80
451.28/113.25	c calculated reachability. Time: 0.09
451.28/113.25	c  N dy   333     69886     63810    391370     75019     13695   1922568    121476      7.72   no data  --
454.86/114.15	c Finding binary XORs  T:     0.26 s  found:     107
456.45/114.50	c  N dy   347     74532     63650    390531     75309     17701   1917420    174678      7.67      8.09  --
461.65/115.89	c  N dy   366     79373     63609    390531     75357     21924   1917420    231803      7.62      8.12  --
468.45/117.55	c  N dy   396     84480     63603    390531     75372     26427   1917420    298214      7.62      8.04  --
472.04/118.48	c  F st   407     87501     63603    390531     75379     29057   1917420    331462      7.59      6.80  --
472.44/118.58	c Replacing      107 vars Replaced     6299 lits Time:     0.25 s 
476.43/119.50	c  N st   412     90797     63497    389910     74681     16337   1912975    119348      7.59   no data  --
483.62/121.34	c  N dy   436     96717     63427    389910     75454     21540   1912974    249696      7.58      8.09  --
491.23/123.26	c  N dy   465    102904     63426    389910     75471     26930   1912974    326813      7.56     10.12  --
494.01/123.90	c  S st   475    104829     63423    389910     75478     28637   1912974    349232      7.55   no data  --
494.81/124.14	c  S st   475    105330     63423    389910     75484     29115   1912974    354137      7.55   no data  --
494.81/124.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
495.22/124.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
515.18/129.24	c Flit:     5 Blit:     16 bXBeca:    0 bXProp:  137 Bins:   2784 BRemL:   3742 BRemN:     88 P: 24.9M T: 20.11
515.58/129.36	c Replacing      137 vars Replaced    10534 lits Time:     0.44 s 
516.38/129.55	c bin-w-bin subsume rem          289 bins  time:  0.09 s
516.77/129.64	c subs with bin:      757  lits-rem:      3092  v-fix:    0  time:  0.37 s
517.19/129.74	c Subs w/ non-existent bins:     52 l-rem:    622 v-fix:     0 done:  32049 time:  0.38 s
517.59/129.82	c Removed useless bin:      58  fixed:     0  props:   3.47M  time:  0.32 s
524.36/131.50	c lits-rem:      2501  cl-subs:     4788  v-elim:    599  v-fix:    0  time:  6.71 s
524.76/131.65	c vivif2 --  cl tried   384874 cl shrink      879 lits rem       1073 time: 0.60
524.76/131.69	c vivif2 --  cl tried    25699 cl shrink     1491 lits rem       2769 time: 0.12
526.75/132.18	c asymm  cl-useful: 452/18920/384827 lits-rem:503 time: 1.99
527.15/132.23	c calculated reachability. Time: 0.10
527.15/132.24	c  N dy   475    105330     62592    384815     71746     25694   1887804    309791      7.55   no data  --
527.55/132.30	c Finding binary XORs  T:     0.28 s  found:       0
535.17/134.23	c  N dy   503    112105     62591    384815     73275     31619   1887804    393293      7.51      8.16  --
543.55/136.37	c  N dy   531    119357     62540    384815     73639     20372   1887804    154962      7.49     10.31  --
552.33/138.53	c  N dy   559    127190     62538    384815     73656     27279   1887804    245734      7.45      7.85  --
563.50/141.39	c  N dy   593    135615     62535    384815     73692     34685   1887804    341708      7.41      7.97  --
576.29/144.58	c  N dy   640    144463     62532    384815     73740     23220   1887802    180464      7.42      7.82  --
577.89/145.00	c Finding binary XORs  T:     0.26 s  found:      42
588.67/147.64	c  N dy   682    153800     62532    384321     73532     31532   1883632    299313      7.42      7.81  --
593.47/148.84	c  S st   701    157995     62440    384321     73569     35248   1883632    350083      7.40      6.88  --
594.66/149.11	c  S st   701    158495     62439    384321     73574     35733   1883632    355712      7.40   no data  --
594.66/149.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
594.66/149.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
615.03/154.23	c Flit:     5 Blit:      6 bXBeca:    0 bXProp:  157 Bins:   2220 BRemL:   3655 BRemN:     61 P: 26.5M T: 20.16
615.42/154.35	c Replacing      199 vars Replaced    11067 lits Time:     0.42 s 
616.22/154.53	c bin-w-bin subsume rem          136 bins  time:  0.09 s
616.62/154.62	c subs with bin:      759  lits-rem:      2076  v-fix:    0  time:  0.36 s
617.03/154.71	c Subs w/ non-existent bins:    106 l-rem:   1097 v-fix:     0 done:  26463 time:  0.34 s
617.03/154.78	c Removed useless bin:      31  fixed:     0  props:   3.23M  time:  0.29 s
623.41/156.33	c lits-rem:      2196  cl-subs:     5076  v-elim:    538  v-fix:    0  time:  6.21 s
623.81/156.48	c vivif2 --  cl tried   379084 cl shrink      531 lits rem        826 time: 0.59
624.21/156.52	c vivif2 --  cl tried    31947 cl shrink     1923 lits rem       4389 time: 0.14
626.21/157.01	c asymm  cl-useful: 343/29210/379062 lits-rem:413 time: 1.95
626.21/157.05	c calculated reachability. Time: 0.09
626.21/157.05	c  N dy   701    158495     61570    379042     68253     31941   1858400    299929      7.40   no data  --
639.00/160.24	c  N dy   743    168894     61518    379042     68900     41147   1858400    428159      7.37      7.91  --
639.40/160.35	c Finding binary XORs  T:     0.29 s  found:      28
653.40/163.85	c  N dy   783    179778     61518    378706     68651     30252   1855350    254903      7.34      7.73  --
666.16/167.08	c  N dy   832    191390     61518    378706     68678     40537   1855350    404472      7.33      7.83  --
682.13/171.09	c  N dy   881    203641     61518    378706     68711     29528   1855350    232164      7.30      7.96  --
700.11/175.57	c  N dy   950    216643     61471    378706     69598     41025   1855350    398312      7.30     10.07  --
720.48/180.62	c  N dy  1022    230536     61430    378706     69770     32523   1855349    251411      7.29      7.83  --
723.28/181.32	c Finding binary XORs  T:     0.28 s  found:      47
730.47/183.16	c  S st  1065    237742     61429    378101     69482     38935   1851521    345300      7.29   no data  --
731.66/183.45	c  S st  1065    238245     61429    378101     69484     39421   1851521    352473      7.29   no data  --
732.06/183.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.23
732.06/183.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
751.63/188.49	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   50 Bins:    887 BRemL:   1370 BRemN:     49 P: 26.5M T: 19.84
752.44/188.61	c Replacing      125 vars Replaced     5977 lits Time:     0.41 s 
752.84/188.79	c bin-w-bin subsume rem          238 bins  time:  0.09 s
753.24/188.88	c subs with bin:      661  lits-rem:      2357  v-fix:    0  time:  0.36 s
753.63/188.97	c Subs w/ non-existent bins:    144 l-rem:   1294 v-fix:     0 done:  15548 time:  0.35 s
754.03/189.05	c Removed useless bin:      19  fixed:     0  props:   3.13M  time:  0.29 s
760.42/190.62	c lits-rem:      1850  cl-subs:     3617  v-elim:    399  v-fix:    0  time:  6.27 s
760.82/190.78	c vivif2 --  cl tried   374688 cl shrink      238 lits rem        322 time: 0.64
761.22/190.82	c vivif2 --  cl tried    36062 cl shrink     1901 lits rem       3634 time: 0.16
763.23/191.34	c asymm  cl-useful: 117/44008/374678 lits-rem:204 time: 2.06
763.23/191.39	c calculated reachability. Time: 0.10
763.23/191.39	c  N dy  1065    238245     60818    374649     67154     36053   1834430    315017      7.29   no data  --
786.38/197.19	c  N dy  1156    253538     60814    374649     67306     26800   1834430    160825      7.31      9.21  --
810.75/203.23	c  N dy  1256    269721     60813    374649     67351     41230   1834430    387946      7.34      7.73  --
829.92/208.07	c Finding binary XORs  T:     0.29 s  found:       8
836.31/209.62	c  N dy  1366    287059     60801    374565     67313     33847   1833782    240645      7.36      7.77  --
861.87/216.03	c  N dy  1480    305419     60800    374565     67342     50231   1833782    493303      7.38      7.81  --
863.08/216.36	c  F st  1487    306251     60800    374565     67343     50991   1833782    505163      7.38      7.38  --
863.48/216.46	c Replacing        8 vars Replaced     1632 lits Time:     0.25 s 
889.45/222.98	c  N dy  1563    325133     60790    374533     67348     43879   1833588    358149      7.38      7.94  --
919.80/230.54	c  N dy  1691    345232     60790    374533     67377     37667   1833587    235867      7.40      8.03  --
936.18/234.69	c  S st  1761    357367     60790    374533     68093     48460   1833587    400303      7.41   no data  --
937.78/235.04	c  S st  1761    357869     60790    374533     68093     48951   1833587    407616      7.41   no data  --
937.78/235.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
938.18/235.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
957.74/240.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bins:    526 BRemL:    726 BRemN:     39 P: 28.2M T: 19.76
958.14/240.16	c Replacing       15 vars Replaced     1863 lits Time:     0.40 s 
958.94/240.35	c bin-w-bin subsume rem          136 bins  time:  0.09 s
959.34/240.44	c subs with bin:      425  lits-rem:      1113  v-fix:    0  time:  0.36 s
959.75/240.56	c Subs w/ non-existent bins:     64 l-rem:    527 v-fix:     0 done:  38641 time:  0.45 s
960.15/240.63	c Removed useless bin:       9  fixed:     0  props:   3.02M  time:  0.29 s
966.13/242.14	c lits-rem:      2024  cl-subs:     3294  v-elim:     41  v-fix:    0  time:  6.02 s
966.94/242.30	c vivif2 --  cl tried   373839 cl shrink       62 lits rem         92 time: 0.64
966.94/242.35	c vivif2 --  cl tried    45788 cl shrink     2385 lits rem       5265 time: 0.19
968.93/242.81	c asymm  cl-useful: 31/14580/373835 lits-rem:66 time: 1.84
968.93/242.86	c calculated reachability. Time: 0.10
968.93/242.86	c  N dy  1761    357869     60734    373819     67604     45775   1829751    374781      7.41   no data  --
969.33/242.93	c Finding binary XORs  T:     0.28 s  found:       1
998.88/250.38	c  N dy  1877    378044     60733    373819     67977     63988   1829751    658267      7.41      7.83  --
1030.84/258.34	c  N dy  1998    398112     60733    373819     68632     55662   1829751    504529      7.43      8.27  --
1057.62/265.09	c Finding binary XORs  T:     0.30 s  found:      26
1062.02/266.11	c  N dy  2113    418179     60733    373811     68640     47319   1829508    339212      7.44      7.91  --
1090.76/273.37	c  N dy  2222    438258     60720    373811     68674     65408   1829508    620353      7.44     10.28  --
1121.12/280.93	c  N dy  2324    458439     60720    373811     68706     56774   1829508    448006      7.44      7.93  --
1154.70/289.38	c  N dy  2445    478448     60720    373811     68761     74778   1829508    741060      7.45     10.02  --
1188.22/297.75	c  N dy  2569    498591     60720    373811     68789     64934   1829508    549179      7.46      7.88  --
1222.17/306.27	c  N dy  2687    518725     60720    373811     68815     54221   1829508    337917      7.47      7.97  --
1251.74/313.63	c  S st  2795    536803     60720    373811     68826     70577   1829508    603389      7.48   no data  --
1252.94/313.97	c  S st  2795    537304     60720    373811     68828     71069   1829508    611457      7.48   no data  --
1253.34/314.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.24
1253.34/314.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1274.50/319.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   17 Bins:    758 BRemL:   1392 BRemN:     17 P: 32.3M T: 21.01
1274.90/319.42	c Replacing       44 vars Replaced     4215 lits Time:     0.42 s 
1275.70/319.63	c bin-w-bin subsume rem          149 bins  time:  0.10 s
1276.10/319.74	c subs with bin:      374  lits-rem:      1549  v-fix:    0  time:  0.42 s
1276.50/319.85	c Subs w/ non-existent bins:     31 l-rem:    926 v-fix:     0 done:  31356 time:  0.43 s
1276.90/319.93	c Removed useless bin:      26  fixed:     0  props:   3.01M  time:  0.32 s
1284.10/321.75	c lits-rem:      2839  cl-subs:     4815  v-elim:     74  v-fix:    0  time:  7.26 s
1284.90/321.92	c vivif2 --  cl tried   373033 cl shrink       88 lits rem        113 time: 0.70
1285.30/322.01	c vivif2 --  cl tried    66441 cl shrink     3599 lits rem       8745 time: 0.33
1286.89/322.48	c asymm  cl-useful: 20/12209/373026 lits-rem:60 time: 1.89
1287.29/322.53	c calculated reachability. Time: 0.10
1287.29/322.54	c  N dy  2795    537304     60602    373006     67547     66438   1825754    560091      7.48   no data  --
1287.69/322.61	c Finding binary XORs  T:     0.30 s  found:       0
1319.65/330.66	c  N dy  2913    557361     60602    373006     67628     84850   1825754    872602      7.49      9.77  --
1353.19/339.09	c  N dy  3029    577382     60600    373006     67646     71047   1825754    596576      7.50     10.64  --
1390.75/348.48	c  N dy  3150    597743     60598    373006     67666     59077   1825754    359195      7.50      8.02  --
1423.10/356.55	c  N dy  3266    617923     60595    373006     67696     77425   1825754    657043      7.51      7.98  --
1460.66/365.97	c  N dy  3377    637982     60595    373006     67733     63955   1825753    399985      7.52     13.08  --
1495.41/374.61	c  N dy  3502    658009     60595    373006     67749     82211   1825753    701962      7.53      9.14  --
1531.35/383.68	c  N dy  3631    678069     60595    373006     67775     68029   1825753    429385      7.55      9.10  --
1566.90/392.59	c  N dy  3741    698086     60594    373006     68111     86246   1825753    723527      7.55      8.15  --
1606.46/402.49	c  N dy  3860    718164     60594    373006     68128     71155   1825753    439748      7.56      8.49  --
1642.80/411.57	c  N dy  3989    738331     60594    373006     68147     89528   1825753    744241      7.57      7.97  --
1675.96/419.88	c Finding binary XORs  T:     0.30 s  found:      38
1683.14/421.69	c  N dy  4113    758457     60593    372949     68528     73789   1825446    439702      7.57      8.06  --
1719.90/430.84	c  N dy  4220    778575     60593    372949     68541     92046   1825445    724558      7.58      8.03  --
1759.84/440.83	c  N dy  4347    798780     60593    372949     69370    110394   1825445   1040331      7.59      8.04  --
1774.61/444.55	c  S st  4399    805956     60593    372949     69385     82077   1825445    538026      7.59   no data  --
1776.22/444.95	c  S st  4399    806459     60593    372949     69386     82576   1825445    546856      7.59   no data  --
1776.62/445.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.24
1776.62/445.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
1798.18/450.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:    867 BRemL:   1433 BRemN:     11 P: 35.1M T: 21.54
1798.58/450.50	c Replacing       45 vars Replaced     4961 lits Time:     0.28 s 
1799.38/450.72	c bin-w-bin subsume rem          262 bins  time:  0.10 s
1799.78/450.81	c subs with bin:      442  lits-rem:      1611  v-fix:    0  time:  0.38 s
1800.19/450.92	c Subs w/ non-existent bins:     24 l-rem:    528 v-fix:     0 done:  24171 time:  0.43 s
1800.19/451.00	c Removed useless bin:       7  fixed:     0  props:   3.05M  time:  0.30 s
1806.97/452.68	c lits-rem:      2219  cl-subs:     5295  v-elim:     80  v-fix:    0  time:  6.70 s
1807.77/452.86	c vivif2 --  cl tried   372146 cl shrink      137 lits rem        198 time: 0.74
1808.17/452.94	c vivif2 --  cl tried    77309 cl shrink     1622 lits rem       3434 time: 0.32
1810.17/453.47	c asymm  cl-useful: 9/14480/372139 lits-rem:27 time: 2.08
1810.57/453.52	c calculated reachability. Time: 0.11
1810.57/453.52	c  N dy  4399    806459     60468    372130     67892     77294   1821440    505390      7.59   no data  --
1810.97/453.60	c Finding binary XORs  T:     0.32 s  found:       0
1849.72/463.36	c  N dy  4521    826472     60468    372130     67962     95594   1821440    815869      7.60      8.05  --
1890.86/473.69	c  N dy  4641    846528     60468    372130     67994    113894   1821440   1122747      7.61      9.14  --
1931.20/483.70	c  N dy  4770    866590     60468    372130     68011     92165   1821440    706945      7.62      8.75  --
1969.95/493.41	c  N dy  4880    886608     60468    372130     68027    110343   1821439    997124      7.62      8.95  --
2011.11/503.71	c  N dy  5000    906795     60468    372130     68036     92406   1821439    648127      7.62      8.27  --
2051.83/513.92	c  N dy  5131    927009     60468    372130     68060    110859   1821439    959613      7.63      8.06  --
2093.78/524.43	c  N dy  5263    947202     60468    372130     68077     91727   1821439    600553      7.64      8.42  --
2134.14/534.58	c  N dy  5391    967293     60468    372130     68085    110148   1821439    905663      7.65      8.10  --
2174.46/544.67	c  N dy  5508    987351     60468    372130     68098    128592   1821439   1218460      7.65      8.14  --
2212.82/554.21	c  N dy  5621   1007462     60468    372130     68121    108414   1821439    842531      7.66      8.13  --
2253.96/564.57	c  N dy  5751   1027467     60455    372130     68136    126848   1821439   1159149      7.67     12.66  --
2295.90/575.09	c  N dy  5876   1047525     60455    372130     68165    105473   1821439    739469      7.67      8.39  --
2339.04/585.86	c  N dy  6011   1067536     60455    372130     68177    123835   1821439   1066133      7.68      9.01  --
2347.03/587.88	c  F st  6035   1071876     60455    372130     68179    127847   1821439   1136014      7.68      7.56  --
2376.99/595.30	c  N dy  6096   1087841     60455    371934     68268    101951   1820576    621594      7.68      8.15  --
2418.14/605.66	c  N dy  6213   1108268     60455    371934     68299    120634   1820576    933966      7.68      8.14  --
2461.68/616.53	c  N dy  6342   1128329     60455    371934     68315    139014   1820576   1259324      7.69      8.70  --
2506.42/627.73	c  N dy  6473   1148420     60455    371934     68336    116300   1820576    818898      7.70      9.59  --
2546.76/637.82	c  N dy  6584   1168454     60455    371934     68348    134745   1820576   1123543      7.70      8.31  --
2592.69/649.31	c  N dy  6708   1188460     60455    371934     68367    111377   1820575    680968      7.71      8.15  --
2607.87/653.11	c Finding binary XORs  T:     0.30 s  found:      73
2637.43/660.50	c  N dy  6838   1208538     60455    371934     69014    129901   1820575   1013186      7.72      8.25  --
2640.23/661.25	c  S st  6847   1209688     60455    371934     69014    130950   1820575   1030671      7.72   no data  --
2642.22/661.76	c  S st  6847   1210193     60455    371934     69014    131442   1820575   1038581      7.72   no data  --
2642.62/661.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.26
2642.62/661.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.04
2665.00/667.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    400 BRemL:    856 BRemN:     18 P: 39.4M T: 22.22
2665.40/667.54	c Replacing       73 vars Replaced    10208 lits Time:     0.51 s 
2666.59/667.81	c bin-w-bin subsume rem           76 bins  time:  0.10 s
2666.99/667.94	c subs with bin:      592  lits-rem:      2699  v-fix:    0  time:  0.54 s
2667.40/668.05	c Subs w/ non-existent bins:      3 l-rem:    960 v-fix:     0 done:  20090 time:  0.41 s
2667.79/668.13	c Removed useless bin:      22  fixed:     0  props:   2.93M  time:  0.33 s
2677.78/670.61	c lits-rem:      3277  cl-subs:     9023  v-elim:     94  v-fix:    0  time:  9.91 s
2678.58/670.80	c vivif2 --  cl tried   370876 cl shrink       51 lits rem         61 time: 0.76
2678.99/670.97	c vivif2 --  cl tried   122450 cl shrink     5347 lits rem      14409 time: 0.63
2680.97/671.48	c asymm  cl-useful: 7/9836/370870 lits-rem:21 time: 2.07
2681.37/671.54	c calculated reachability. Time: 0.11
2681.37/671.54	c  N dy  6847   1210193     60287    370863     67952    122438   1815114    949465      7.72   no data  --
2722.52/681.89	c  N dy  6958   1230195     60287    370863     68276    140838   1815114   1266736      7.72      8.24  --
2725.31/682.55	c Finding binary XORs  T:     0.31 s  found:      18
2768.45/693.32	c  N dy  7080   1250263     60287    370863     68617    110495   1815114    680969      7.72      8.18  --
2811.99/704.26	c  N dy  7215   1270540     60287    370863     68634    129154   1815114   1011797      7.73      8.23  --
2857.93/715.70	c  N dy  7333   1290611     60287    370863     68654    147645   1815114   1333834      7.74      9.13  --
2901.88/726.79	c  N dy  7448   1310684     60287    370863     68678    122398   1815113    821995      7.74      8.20  --
2947.03/738.06	c  N dy  7583   1330806     60287    370863     68712    140985   1815113   1159507      7.75      8.26  --
2993.75/749.74	c  N dy  7712   1350859     60287    370863     68724    159385   1815113   1476891      7.75      8.37  --
3038.09/760.85	c  N dy  7836   1370957     60287    370863     68741    133126   1815113    968749      7.76      8.21  --
3084.03/772.37	c  N dy  7962   1391015     60287    370863     68752    151585   1815113   1292232      7.76      8.35  --
3133.16/784.65	c  N dy  8086   1411210     60287    370863     68760    124728   1815112    757675      7.77      8.32  --
3178.30/795.95	c  N dy  8208   1431262     60287    370863     68771    143180   1815112   1081977      7.77      8.18  --
3226.23/807.93	c  N dy  8349   1451291     60275    370863     68796    161759   1815112   1418876      7.78      8.28  --
3273.77/819.85	c  N dy  8473   1471418     60049    370863     68836    133568   1815112    858251      7.78      8.32  --
3320.10/831.43	c  N dy  8587   1491554     60049    370863     68913    152132   1815111   1173947      7.78      8.21  --
3368.86/843.66	c  N dy  8706   1511722     60049    370863     68978    170583   1815111   1494745      7.79      8.32  --
3418.37/856.04	c  N dy  8831   1531796     60049    370863     69059    142493   1815110    939743      7.79      8.50  --
3467.50/868.36	c  N dy  8952   1552159     60049    370863     69130    161208   1815108   1254895      7.79      8.22  --
3516.23/880.53	c  N dy  9072   1572261     60048    370863     69202    179747   1815107   1581056      7.80      8.31  --
3565.78/892.93	c  N dy  9186   1592430     60043    370863     69286    150747   1815105   1014224      7.80      8.21  --
3595.33/900.30	c Finding binary XORs  T:     0.32 s  found:    1158
3596.13/900.50	c Replacing     1176 vars Replaced   226793 lits Time:     0.81 s 
3613.71/904.92	c  N dy  9300   1612653     58864    364282     69767    161423   1779919   1261772      7.80      8.34  --
3664.44/917.63	c Finding binary XORs  T:     0.32 s  found:     229
3664.83/917.77	c  N dy  9422   1632654     58862    364100     70435    179792   1779303   1573050      7.80      8.65  --
3716.77/930.73	c  N dy  9552   1652689     58862    364100     70522    150317   1779301   1012934      7.81      8.47  --
3735.94/935.52	c Finding binary XORs  T:     0.32 s  found:     204
3765.50/942.91	c  N dy  9669   1672692     58844    363988     73809    168683   1778774   1341404      7.81     10.38  --
3814.23/955.11	c  N dy  9804   1692694     58844    363988     73868    187123   1778773   1672494      7.82      8.41  --
3826.61/958.23	c Finding binary XORs  T:     0.32 s  found:     125
3858.17/966.16	c  S st  9905   1710195     58842    363977     75252    153960   1778704   1024196      7.82      6.57  --
3860.56/966.72	c  S st  9905   1710696     58842    363977     75255    154451   1778704   1031326      7.82   no data  --
3860.56/966.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.27
3860.56/966.79	c Cache  BProp: 2 Set: 1 BXProp: 0 T: 0.04
3888.53/973.75	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:  264 Bins:   2118 BRemL:   5359 BRemN:    174 P: 61.4M T: 27.78
3889.33/973.94	c Replacing      822 vars Replaced    70576 lits Time:     0.69 s 
3890.52/974.20	c bin-w-bin subsume rem         1884 bins  time:  0.10 s
3890.92/974.35	c subs with bin:     5382  lits-rem:     13079  v-fix:    0  time:  0.59 s
3891.33/974.46	c Subs w/ non-existent bins:    308 l-rem:   1425 v-fix:     0 done:  26028 time:  0.42 s
3891.74/974.53	c Removed useless bin:     106  fixed:     0  props:   3.10M  time:  0.29 s
3902.91/977.33	c lits-rem:      4571  cl-subs:    34131  v-elim:   3612  v-fix:    0  time: 11.16 s
3903.71/977.52	c vivif2 --  cl tried   336226 cl shrink     1878 lits rem       2539 time: 0.78
3904.11/977.68	c vivif2 --  cl tried   125510 cl shrink     4913 lits rem       8733 time: 0.64
3906.50/978.20	c asymm  cl-useful: 2/13348/336146 lits-rem:6 time: 2.05
3906.50/978.25	c calculated reachability. Time: 0.12
3906.50/978.26	c  N dy  9905   1710696     54406    336144     62726    125361   1644697    814108      7.82   no data  --
3906.90/978.35	c Finding binary XORs  T:     0.38 s  found:       2
3952.45/989.71	c  N dy 10011   1730697     54398    336144     63551    143772   1644697   1119317      7.82      8.29  --
3989.59/999.03	c Finding binary XORs  T:     0.35 s  found:      85
3998.78/1001.39	c  N dy 10118   1750894     54398    336117     63572    162278   1644541   1432360      7.82      8.38  --
4045.11/1012.90	c  N dy 10229   1770904     54398    336117     63676    180584   1644539   1735753      7.82      8.25  --
4094.65/1025.38	c  N dy 10343   1790927     54398    336117     63755    129284   1644539    779608      7.82      8.29  --
4141.78/1037.12	c  N dy 10450   1810961     54398    336117     63830    147756   1644538   1080244      7.82      9.83  --
4187.71/1048.61	c  N dy 10561   1830978     54396    336117     63913    166045   1644538   1399039      7.83      8.30  --
4235.25/1060.51	c  N dy 10667   1851011     54395    336117     63995    133662   1644538    793472      7.83      9.10  --
4279.59/1071.64	c  N dy 10784   1871081     54395    336117     64049    152147   1644537   1109682      7.83      8.48  --
4326.75/1083.46	c  N dy 10895   1891153     54395    336117     64116    170706   1644537   1424579      7.83      8.40  --
4376.66/1095.90	c  N dy 11006   1911165     54393    336117     64198    189054   1644536   1733392      7.83      8.53  --
4422.60/1107.48	c  N dy 11121   1931245     54393    336117     64264    155819   1644533   1100609      7.83      8.41  --
4470.93/1119.51	c  N dy 11241   1951339     54393    336117     64332    174151   1644533   1399548      7.83      9.27  --
4522.07/1132.34	c  N dy 11364   1971476     54393    336117     64430    192728   1644533   1727193      7.83      8.29  --
4525.66/1133.24	c Finding binary XORs  T:     0.34 s  found:     274
4573.59/1145.20	c  N dy 11477   1991479     54393    336068     64535    158664   1644231   1068112      7.84      8.31  --
4619.54/1156.74	c  N dy 11579   2011553     54393    336068     64589    177164   1644231   1375110      7.84      8.28  --
4668.67/1169.03	c  N dy 11682   2031683     54389    336068     64680    195603   1644231   1676185      7.84      8.26  --
4718.59/1181.56	c  N dy 11810   2051782     54389    336068     64783    160871   1644229   1054882      7.84      8.39  --
4770.13/1194.40	c  N dy 11934   2071832     54389    336068     64869    179434   1644229   1372845      7.84      8.33  --

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-3281608-1304032563/watcher-3281608-1304032563 -o /tmp/evaluation-result-3281608-1304032563/solver-3281608-1304032563 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3281608-1304032563.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: 3.77 6.40 7.30 5/180 26161
/proc/meminfo: memFree=24353864/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 514854136 52465664 352 33554432000 4194304 4650419 140736850298160 18446744073709551615 47426858334128 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 12809 352 303 112 0 7774 0
[pid=26161/tid=26162] ppid=26159 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 514854136 52465664 352 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 514854136 52465664 352 33554432000 4194304 4650419 140736850298160 18446744073709551615 212699472950 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 514854136 52465664 352 33554432000 4194304 4650419 140736850298160 18446744073709551615 47426858334124 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0508841 s]
/proc/loadavg: 3.77 6.40 7.30 5/180 26161
/proc/meminfo: memFree=24353864/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=369584 CPUtime=0.14 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 11552 0 0 0 10 4 0 0 17 0 4 0 514854136 378454016 9471 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 92396 9617 344 112 0 87361 0
[pid=26161/tid=26162] ppid=26159 vsize=369584 CPUtime=0.03 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) S 26159 26161 25696 0 -1 4202560 2840 0 0 0 2 1 0 0 17 0 4 0 514854136 378454016 9655 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 18446604453931185088 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=369584 CPUtime=0.03 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 2883 0 0 0 2 1 0 0 18 0 4 0 514854136 378454016 9728 33554432000 4194304 4650419 140736850298160 18446744073709551615 4305679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=369584 CPUtime=0.03 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) S 26159 26161 25696 0 -1 4202560 2804 0 0 0 3 0 0 0 18 0 4 0 514854136 378454016 10013 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 369584

[startup+0.109595 s]
/proc/loadavg: 3.77 6.40 7.30 5/180 26161
/proc/meminfo: memFree=24353864/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=395308 CPUtime=0.35 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) S 26159 26161 25696 0 -1 4202496 24260 0 0 0 25 10 0 0 17 0 4 0 514854136 404795392 20019 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 98827 20145 344 112 0 93792 0
[pid=26161/tid=26162] ppid=26159 vsize=395308 CPUtime=0.08 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) S 26159 26161 25696 0 -1 4202560 5920 0 0 0 5 3 0 0 17 0 4 0 514854136 404795392 20257 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=395308 CPUtime=0.08 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 6198 0 0 0 6 2 0 0 17 0 4 0 514854136 404795392 20377 33554432000 4194304 4650419 140736850298160 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=395308 CPUtime=0.09 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 5952 0 0 0 7 2 0 0 17 0 4 0 514854136 404795392 20681 33554432000 4194304 4650419 140736850298160 18446744073709551615 4306902 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 395308

[startup+0.306647 s]
/proc/loadavg: 3.77 6.40 7.30 5/180 26161
/proc/meminfo: memFree=24353864/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=498788 CPUtime=1.01 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 74560 0 0 0 74 27 0 0 17 0 4 0 514854136 510758912 57450 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780383 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 124697 57679 344 112 0 119662 0
[pid=26161/tid=26162] ppid=26159 vsize=498788 CPUtime=0.24 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) S 26159 26161 25696 0 -1 4202560 18694 0 0 0 17 7 0 0 17 0 4 0 514854136 510758912 57868 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 18446604453931185088 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=498788 CPUtime=0.24 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 18311 0 0 0 18 6 0 0 17 0 4 0 514854136 510758912 58082 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=498788 CPUtime=0.26 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 19009 0 0 0 20 6 0 0 17 0 4 0 514854136 510758912 58279 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687343857 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 498788

[startup+0.700456 s]
/proc/loadavg: 3.77 6.40 7.30 5/180 26161
/proc/meminfo: memFree=24353864/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=801624 CPUtime=2.28 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) S 26159 26161 25696 0 -1 4202496 163090 0 0 0 171 57 0 0 17 0 4 0 514854136 820862976 128689 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 200406 128691 344 112 0 195371 0
[pid=26161/tid=26162] ppid=26159 vsize=801624 CPUtime=0.56 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 39603 0 0 0 41 15 0 0 17 0 4 0 514854136 820862976 128692 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687342554 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=801624 CPUtime=0.56 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) S 26159 26161 25696 0 -1 4202560 38729 0 0 0 43 13 0 0 17 0 4 0 514854136 820862976 128692 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 18446604453931185088 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=801624 CPUtime=0.58 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) S 26159 26161 25696 0 -1 4202560 42155 0 0 0 45 13 0 0 17 0 4 0 514854136 820862976 128692 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687780334 0 0 4096 2 18446604453931185088 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 801624

[startup+1.50032 s]
/proc/loadavg: 3.77 6.40 7.30 10/184 26165
/proc/meminfo: memFree=23662160/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=940752 CPUtime=5.4 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 208340 0 0 0 467 73 0 0 18 0 4 0 514854136 963330048 165457 33554432000 4194304 4650419 140736850298160 18446744073709551615 4244776 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 235188 165457 373 112 0 230153 0
[pid=26161/tid=26162] ppid=26159 vsize=940752 CPUtime=1.33 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 51636 0 0 0 114 19 0 0 18 0 4 0 514854136 963330048 165457 33554432000 4194304 4650419 140736850298160 18446744073709551615 4369942 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=940752 CPUtime=1.33 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 51750 0 0 0 115 18 0 0 18 0 4 0 514854136 963330048 165457 33554432000 4194304 4650419 140736850298160 18446744073709551615 4369920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=940752 CPUtime=1.36 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 49698 0 0 0 120 16 0 0 18 0 4 0 514854136 963330048 165457 33554432000 4194304 4650419 140736850298160 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 940752

[startup+3.10102 s]
/proc/loadavg: 3.77 6.40 7.30 9/184 26165
/proc/meminfo: memFree=23626200/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=940752 CPUtime=11.8 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 208462 0 0 0 1106 74 0 0 21 0 4 0 514854136 963330048 165579 33554432000 4194304 4650419 140736850298160 18446744073709551615 4243866 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 235188 165579 373 112 0 230153 0
[pid=26161/tid=26162] ppid=26159 vsize=940752 CPUtime=2.92 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 51657 0 0 0 273 19 0 0 21 0 4 0 514854136 963330048 165579 33554432000 4194304 4650419 140736850298160 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=940752 CPUtime=2.93 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 51794 0 0 0 275 18 0 0 21 0 4 0 514854136 963330048 165579 33554432000 4194304 4650419 140736850298160 18446744073709551615 4244948 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=940752 CPUtime=2.96 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 49727 0 0 0 280 16 0 0 21 0 4 0 514854136 963330048 165579 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (KiB) 940752

[startup+6.30044 s]
/proc/loadavg: 4.19 6.44 7.31 9/184 26165
/proc/meminfo: memFree=23566604/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=940752 CPUtime=24.57 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 208872 0 0 0 2382 75 0 0 25 0 4 0 514854136 963330048 165989 33554432000 4194304 4650419 140736850298160 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 235188 165989 373 112 0 230153 0
[pid=26161/tid=26162] ppid=26159 vsize=940752 CPUtime=6.11 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 51790 0 0 0 592 19 0 0 25 0 4 0 514854136 963330048 165989 33554432000 4194304 4650419 140736850298160 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=940752 CPUtime=6.13 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 51861 0 0 0 595 18 0 0 25 0 4 0 514854136 963330048 165989 33554432000 4194304 4650419 140736850298160 18446744073709551615 4370045 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=940752 CPUtime=6.16 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 49834 0 0 0 600 16 0 0 25 0 4 0 514854136 963330048 165989 33554432000 4194304 4650419 140736850298160 18446744073709551615 4316034 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 940752

[startup+12.7003 s]
/proc/loadavg: 4.57 6.49 7.32 9/184 26165
/proc/meminfo: memFree=23477064/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=961080 CPUtime=50.13 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 215006 0 0 0 4937 76 0 0 25 0 4 0 514854136 984145920 172123 33554432000 4194304 4650419 140736850298160 18446744073709551615 4245532 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 240270 172123 374 112 0 235235 0
[pid=26161/tid=26162] ppid=26159 vsize=961080 CPUtime=12.47 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 52037 0 0 0 1228 19 0 0 25 0 4 0 514854136 984145920 172123 33554432000 4194304 4650419 140736850298160 18446744073709551615 4243824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=961080 CPUtime=12.53 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 52077 0 0 0 1235 18 0 0 25 0 4 0 514854136 984145920 172123 33554432000 4194304 4650419 140736850298160 18446744073709551615 4244299 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=961080 CPUtime=12.55 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 55294 0 0 0 1239 16 0 0 25 0 4 0 514854136 984145920 172123 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364590 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.13
Current children cumulated vsize (KiB) 961080

[startup+25.5009 s]
/proc/loadavg: 5.11 6.51 7.32 9/184 26195
/proc/meminfo: memFree=22911200/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=1619992 CPUtime=101.05 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 340012 0 0 0 9962 143 0 0 25 0 4 0 514854136 1658871808 286995 33554432000 4194304 4650419 140736850298160 18446744073709551615 4303936 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 404998 286995 394 112 0 399963 0
[pid=26161/tid=26162] ppid=26159 vsize=1619992 CPUtime=25.14 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 94822 0 0 0 2468 46 0 0 25 0 4 0 514854136 1658871808 286995 33554432000 4194304 4650419 140736850298160 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=1619992 CPUtime=25.29 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 90847 0 0 0 2492 37 0 0 25 0 4 0 514854136 1658871808 286995 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=1619992 CPUtime=25.34 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 55717 0 0 0 2518 16 0 0 25 0 4 0 514854136 1658871808 286995 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.05
Current children cumulated vsize (KiB) 1619992

[startup+51.1003 s]
/proc/loadavg: 6.10 6.63 7.33 9/184 26196
/proc/meminfo: memFree=22317116/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=1426640 CPUtime=203.31 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 3142584 0 0 0 19738 593 0 0 25 0 4 0 514854136 1460879360 280824 33554432000 4194304 4650419 140736850298160 18446744073709551615 212687336481 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 356660 280844 395 112 0 351625 0
[pid=26161/tid=26162] ppid=26159 vsize=1426640 CPUtime=50.6 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1062879 0 0 0 4858 202 0 0 25 0 4 0 514854136 1460879360 280857 33554432000 4194304 4650419 140736850298160 18446744073709551615 4258561 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=1426640 CPUtime=50.88 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 693778 0 0 0 4957 131 0 0 25 0 4 0 514854136 1460879360 280873 33554432000 4194304 4650419 140736850298160 18446744073709551615 4258561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=1426640 CPUtime=50.93 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 60638 0 0 0 5076 17 0 0 25 0 4 0 514854136 1460879360 280890 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.31
Current children cumulated vsize (KiB) 1426640

[startup+102.307 s]
/proc/loadavg: 7.17 6.84 7.37 9/184 26197
/proc/meminfo: memFree=21166336/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=2519628 CPUtime=407.75 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5104515 0 0 0 39810 965 0 0 25 0 4 0 514854136 2580099072 515547 33554432000 4194304 4650419 140736850298160 18446744073709551615 4366270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 629907 515547 395 112 0 624872 0
[pid=26161/tid=26162] ppid=26159 vsize=2519628 CPUtime=101.5 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1632289 0 0 0 9836 314 0 0 25 0 4 0 514854136 2580099072 515547 33554432000 4194304 4650419 140736850298160 18446744073709551615 4245504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=2519628 CPUtime=102.07 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1386890 0 0 0 9947 260 0 0 25 0 4 0 514854136 2580099072 515547 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=2519628 CPUtime=102.11 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 174417 0 0 0 10167 44 0 0 25 0 4 0 514854136 2580099072 515547 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.75
Current children cumulated vsize (KiB) 2519628

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.02 7.87 7.67 9/184 26213
/proc/meminfo: memFree=19716292/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=2945128 CPUtime=2804.41 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5642224 0 0 0 279352 1089 0 0 25 0 4 0 514854136 3015811072 650087 33554432000 4194304 4650419 140736850298160 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 736282 650087 395 112 0 731247 0
[pid=26161/tid=26162] ppid=26159 vsize=2945128 CPUtime=698.21 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1741865 0 0 0 69480 341 0 0 25 0 4 0 514854136 3015811072 650087 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=2945128 CPUtime=702.01 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1507539 0 0 0 69912 289 0 0 25 0 4 0 514854136 3015811072 650087 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=2945128 CPUtime=702.11 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 365836 0 0 0 70129 82 0 0 25 0 4 0 514854136 3015811072 650087 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.41
Current children cumulated vsize (KiB) 2945128

[startup+762.307 s]
/proc/loadavg: 8.01 7.89 7.69 9/184 26215
/proc/meminfo: memFree=19695296/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3011264 CPUtime=3044.1 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5662218 0 0 0 303316 1094 0 0 25 0 4 0 514854136 3083534336 658467 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 752816 658467 395 112 0 747781 0
[pid=26161/tid=26162] ppid=26159 vsize=3011264 CPUtime=757.89 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1743608 0 0 0 75447 342 0 0 25 0 4 0 514854136 3083534336 658467 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3011264 CPUtime=762.01 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1515637 0 0 0 75910 291 0 0 25 0 4 0 514854136 3083534336 658467 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365020 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3011264 CPUtime=762.12 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 371403 0 0 0 76128 84 0 0 25 0 4 0 514854136 3083534336 658467 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.1
Current children cumulated vsize (KiB) 3011264

[startup+822.301 s]
/proc/loadavg: 8.00 7.91 7.70 9/184 26216
/proc/meminfo: memFree=19671720/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3039032 CPUtime=3283.76 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5684730 0 0 0 327275 1101 0 0 25 0 4 0 514854136 3111968768 660588 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 759758 660588 395 112 0 754723 0
[pid=26161/tid=26162] ppid=26159 vsize=3039032 CPUtime=817.57 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1747601 0 0 0 81414 343 0 0 25 0 4 0 514854136 3111968768 660588 33554432000 4194304 4650419 140736850298160 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3039032 CPUtime=822 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1521870 0 0 0 81907 293 0 0 25 0 4 0 514854136 3111968768 660588 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3039032 CPUtime=822.12 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 377893 0 0 0 82127 85 0 0 25 0 4 0 514854136 3111968768 660588 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.76
Current children cumulated vsize (KiB) 3039032

[startup+882.301 s]
/proc/loadavg: 8.04 7.94 7.73 9/184 26218
/proc/meminfo: memFree=19665128/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3039524 CPUtime=3523.43 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5696200 0 0 0 351236 1107 0 0 25 0 4 0 514854136 3112472576 658790 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364823 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 759881 658790 395 112 0 754846 0
[pid=26161/tid=26162] ppid=26159 vsize=3039524 CPUtime=877.24 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1749471 0 0 0 87380 344 0 0 25 0 4 0 514854136 3112472576 658790 33554432000 4194304 4650419 140736850298160 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3039524 CPUtime=881.99 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1529398 0 0 0 87903 296 0 0 25 0 4 0 514854136 3112472576 658790 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3039524 CPUtime=882.12 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 378138 0 0 0 88126 86 0 0 25 0 4 0 514854136 3112472576 658790 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.43
Current children cumulated vsize (KiB) 3039524

[startup+942.301 s]
/proc/loadavg: 8.10 7.98 7.75 9/184 26220
/proc/meminfo: memFree=19610904/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3040568 CPUtime=3763.11 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5739838 0 0 0 375194 1117 0 0 25 0 4 0 514854136 3113541632 673898 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 760142 673898 395 112 0 755107 0
[pid=26161/tid=26162] ppid=26159 vsize=3040568 CPUtime=936.91 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1757406 0 0 0 93345 346 0 0 25 0 4 0 514854136 3113541632 673898 33554432000 4194304 4650419 140736850298160 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3040568 CPUtime=941.99 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1553371 0 0 0 93899 300 0 0 25 0 4 0 514854136 3113541632 673898 33554432000 4194304 4650419 140736850298160 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3040568 CPUtime=942.13 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 383184 0 0 0 94125 88 0 0 25 0 4 0 514854136 3113541632 673898 33554432000 4194304 4650419 140736850298160 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.11
Current children cumulated vsize (KiB) 3040568

[startup+1002.3 s]
/proc/loadavg: 8.11 8.01 7.77 9/184 26221
/proc/meminfo: memFree=19550736/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3155052 CPUtime=4002.78 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5782067 0 0 0 399151 1127 0 0 25 0 4 0 514854136 3230773248 679515 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 788763 679515 395 112 0 783728 0
[pid=26161/tid=26162] ppid=26159 vsize=3155052 CPUtime=996.59 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1766970 0 0 0 99310 349 0 0 25 0 4 0 514854136 3230773248 679515 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3155052 CPUtime=1001.99 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1559858 0 0 0 99896 303 0 0 25 0 4 0 514854136 3230773248 679515 33554432000 4194304 4650419 140736850298160 18446744073709551615 4304241 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3155052 CPUtime=1002.12 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 400632 0 0 0 100122 90 0 0 25 0 4 0 514854136 3230773248 679515 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.78
Current children cumulated vsize (KiB) 3155052

[startup+1062.3 s]
/proc/loadavg: 8.11 8.03 7.79 9/184 26223
/proc/meminfo: memFree=19580600/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3095784 CPUtime=4242.45 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5787755 0 0 0 423116 1129 0 0 25 0 4 0 514854136 3170082816 670252 33554432000 4194304 4650419 140736850298160 18446744073709551615 4310834 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 773946 670252 395 112 0 768911 0
[pid=26161/tid=26162] ppid=26159 vsize=3095784 CPUtime=1056.27 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1768883 0 0 0 105277 350 0 0 25 0 4 0 514854136 3170082816 670252 33554432000 4194304 4650419 140736850298160 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3095784 CPUtime=1061.98 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1562116 0 0 0 105895 303 0 0 25 0 4 0 514854136 3170082816 670252 33554432000 4194304 4650419 140736850298160 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3095784 CPUtime=1062.13 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 401642 0 0 0 106122 91 0 0 25 0 4 0 514854136 3170082816 670252 33554432000 4194304 4650419 140736850298160 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.45
Current children cumulated vsize (KiB) 3095784

[startup+1122.3 s]
/proc/loadavg: 8.08 8.04 7.81 9/184 26224
/proc/meminfo: memFree=19499608/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3161320 CPUtime=4482.12 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5806102 0 0 0 447078 1134 0 0 25 0 4 0 514854136 3237191680 687170 33554432000 4194304 4650419 140736850298160 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 790330 687170 395 112 0 785295 0
[pid=26161/tid=26162] ppid=26159 vsize=3161320 CPUtime=1115.94 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1775013 0 0 0 111242 352 0 0 25 0 4 0 514854136 3237191680 687170 33554432000 4194304 4650419 140736850298160 18446744073709551615 4336412 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3161320 CPUtime=1121.98 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1567235 0 0 0 111894 304 0 0 25 0 4 0 514854136 3237191680 687170 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3161320 CPUtime=1122.12 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 401757 0 0 0 112121 91 0 0 25 0 4 0 514854136 3237191680 687170 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.12
Current children cumulated vsize (KiB) 3161320

[startup+1182.3 s]
/proc/loadavg: 8.14 8.06 7.83 9/184 26226
/proc/meminfo: memFree=19504780/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3188152 CPUtime=4721.8 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5814361 0 0 0 471040 1140 0 0 25 0 4 0 514854136 3264667648 682579 33554432000 4194304 4650419 140736850298160 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 797038 682579 395 112 0 792003 0
[pid=26161/tid=26162] ppid=26159 vsize=3188152 CPUtime=1175.61 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1775746 0 0 0 117209 352 0 0 25 0 4 0 514854136 3264667648 682579 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364539 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3188152 CPUtime=1181.98 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1573195 0 0 0 117891 307 0 0 25 0 4 0 514854136 3264667648 682579 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3188152 CPUtime=1182.12 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 401769 0 0 0 118121 91 0 0 25 0 4 0 514854136 3264667648 682579 33554432000 4194304 4650419 140736850298160 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.8
Current children cumulated vsize (KiB) 3188152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.16 8.07 7.84 9/184 26227
/proc/meminfo: memFree=19511600/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=3188152 CPUtime=4800.11 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) R 26159 26161 25696 0 -1 4202496 5815025 0 0 0 478871 1140 0 0 25 0 4 0 514854136 3264667648 683243 33554432000 4194304 4650419 140736850298160 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 797038 683243 395 112 0 792003 0
[pid=26161/tid=26162] ppid=26159 vsize=3188152 CPUtime=1195.1 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1775752 0 0 0 119158 352 0 0 25 0 4 0 514854136 3264667648 683243 33554432000 4194304 4650419 140736850298160 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26161/tid=26163] ppid=26159 vsize=3188152 CPUtime=1201.58 cores=0,2,4,6
/proc/26161/task/26163/stat : 26163 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 1573853 0 0 0 119851 307 0 0 25 0 4 0 514854136 3264667648 683243 33554432000 4194304 4650419 140736850298160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26161/tid=26164] ppid=26159 vsize=3188152 CPUtime=1201.73 cores=0,2,4,6
/proc/26161/task/26164/stat : 26164 (strangenight1-m) R 26159 26161 25696 0 -1 4202560 401769 0 0 0 120082 91 0 0 25 0 4 0 514854136 3264667648 683243 33554432000 4194304 4650419 140736850298160 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 3188152

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

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

[startup+1202.01 s]
/proc/loadavg: 8.16 8.07 7.84 9/184 26227
/proc/meminfo: memFree=19511600/32951124 swapFree=67111524/67111528
[pid=26161] ppid=26159 vsize=0 CPUtime=4800.23 cores=0,2,4,6
/proc/26161/stat : 26161 (strangenight1-m) Z 26159 26161 25696 0 -1 4203548 5815025 0 0 0 478873 1150 0 0 25 0 2 0 514854136 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26161/statm: 0 0 0 0 0 0 0
[pid=26161/tid=26162] ppid=26159 vsize=0 CPUtime=1195.21 cores=0,2,4,6
/proc/26161/task/26162/stat : 26162 (strangenight1-m) R 26159 26161 25696 0 -1 4203588 1775752 0 0 0 119159 362 0 0 25 0 2 0 514854136 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.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.04
CPU time (s): 4800.26
CPU user time (s): 4788.73
CPU system time (s): 11.5262
CPU usage (%): 399.344
Max. virtual memory (cumulated for all children) (KiB): 3188152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.73
system time used= 11.5262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5815025
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= 63840
involuntary context switches= 22451

runsolver used 1.9647 second user time and 4.6133 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 01:16:04
IDJOB=3281608
IDBENCH=69591
IDSOLVER=1588
FILE ID=node139/3281608-1304032563
RUNJOBID= node139-1304032563-26137
PBS_JOBID= 13170313
Free space on /tmp= 72520 MiB

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

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=1662220190

node139.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.852
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.70
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.852
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.852
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.74
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.852
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.852
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	: 5321.49
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.852
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.852
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.82
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.852
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:     32951124 kB
MemFree:      24355384 kB
Buffers:       2014540 kB
Cached:        5874092 kB
SwapCached:          4 kB
Active:         864140 kB
Inactive:      7213768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24355384 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           39620 kB
Writeback:           8 kB
AnonPages:      188768 kB
Mapped:          15048 kB
Slab:           453304 kB
PageTables:       4608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   410512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72500 MiB
End job on node139 at 2011-04-29 01:36:08