Trace number 3367231

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 (fixed)? (TO) 4800.46 1203.02

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.06	c This is CryptoMiniSat 3.0.0
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3367231-1305388906.cnf'
0.00/0.06	c -- header says num vars:         164158
0.00/0.06	c -- header says num clauses:      730719
1.20/0.49	c -- clauses added:            0 learnts,       730719 normals,            0 xors
1.20/0.49	c -- vars added     164158
1.20/0.49	c Parsing time:  0.22 s
1.20/0.49	c  N st     0         0    164158    118150    599287         0   1645964         0   no data   no data
2.79/0.88	c asymm  cl-useful: 0/1189/94810 lits-rem:0 time: 0.38
49.89/12.64	c Flit:  1284 Blit:   8997 bXBeca:    0 bXProp: 15316 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 11.65
49.89/12.68	c Cleaning up after failed var search:     0.03 s 
50.29/12.71	c Replacing    15316 vars Replaced   270530 lits Time:     0.03 s 
50.29/12.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.29/12.76	c bin-w-bin subsume rem         7845 bins  time:  0.01 s
50.68/12.80	c subs with bin:      154  lits-rem:      6011  v-fix:    0  time:  0.04 s
71.84/18.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  26699 time:  5.31 s
73.04/18.43	c Removed useless bin:    3709  fixed:     0  props:  20.01M  time:  0.27 s
74.26/18.73	c lits-rem:       671  cl-subs:     6606  v-elim:  20703  v-fix:    0  time:  0.29 s
74.26/18.77	c Finding binary XORs  T:     0.03 s  found:   12895
74.26/18.80	c Replacing    12895 vars Replaced   171918 lits Time:     0.03 s 
74.62/18.82	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
74.62/18.82	c calculated reachability. Time: 0.00
74.62/18.83	c Calc default polars -  time:   0.01 s pos:    6390 undec:  136668 neg:   21100
74.62/18.83	c =========================================================================================
74.62/18.83	c types(t): F = full restart, N = normal restart
74.62/18.83	c types(t): S = simplification begin/end, E = solution found
74.62/18.83	c restart types(rt): st = static, dy = dynamic
74.62/18.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
74.62/18.83	c  B st     0         0     28513     64285    105990         0    446299         0   no data   no data
83.04/20.99	c  N dy    13      4212     28511     64285    106019      4100    446299   1142751     34.09     36.08
90.99/22.91	c  N dy    32      8563     28461     64285    106799      8345    446298   1953892     34.49     37.33
99.77/25.10	c  N dy    52     12600     28454     64285    117796     12274    446298   2773660     34.28     41.41
100.18/25.29	c Finding binary XORs  T:     0.02 s  found:      43
114.13/28.76	c  N dy    73     19108     28387     64063    116796     18581    442812   4655501     32.24     34.50
124.50/31.36	c  N dy    93     23441     28353     64063    117512     13098    442812   1963638     32.83     36.95
127.70/32.11	c  F st   100     25003     28347     64063    117543     14602    442812   2215647     32.51     19.82
127.70/32.16	c Replacing       43 vars Replaced     1516 lits Time:     0.03 s 
136.47/34.36	c  N st   105     28300     28223     63953    116907     17785    441085   2968138     32.51   no data
140.46/35.38	c  S st   106     30001     27856     62829    114532     18752    432445   3240417     32.51   no data
142.46/35.85	c  S st   106     30502     27854     62829    114572     19206    432445   3280540     32.51   no data
142.46/35.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
205.53/51.62	c Flit:  1001 Blit:    255 bXBeca:    0 bXProp:  825 Bins: 172740 BRemL:   3667 BRemN:     16 P: 200.0M T: 15.45
205.53/51.65	c Cleaning up after failed var search:     0.03 s 
206.30/51.80	c Replacing      825 vars Replaced    67783 lits Time:     0.14 s 
206.30/51.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
206.30/51.85	c bin-w-bin subsume rem        13154 bins  time:  0.03 s
206.30/51.89	c subs with bin:     1571  lits-rem:      7608  v-fix:    0  time:  0.04 s
209.92/52.72	c Subs w/ non-existent bins:   1646 l-rem:    546 v-fix:     0 done:  25241 time:  0.82 s
210.69/52.93	c Removed useless bin:    5246  fixed:     0  props:  20.01M  time:  0.21 s
211.09/53.08	c lits-rem:        12  cl-subs:     1333  v-elim:   2729  v-fix:    0  time:  0.14 s
211.50/53.13	c subs with bin:       83  lits-rem:       429  v-fix:    0  time:  0.04 s
211.50/53.16	c lits-rem:        55  cl-subs:      235  v-elim:      0  v-fix:    0  time:  0.03 s
213.49/53.60	c asymm  cl-useful: 347/3445/60081 lits-rem:436 time: 0.44
213.89/53.70	c calculated reachability. Time: 0.09
213.89/53.70	c  N dy   106     30502     22512     60081    210273      2654    363998    332643     32.51   no data
215.48/54.12	c Finding binary XORs  T:     0.41 s  found:     106
223.09/56.05	c  N dy   110     34999     22119     58697    188587      6923    354158    992709     30.21     32.35
231.45/58.16	c  N dy   111     40112     22119     58697    188606     11951    354158   1681282     28.31     29.88
238.63/59.92	c  N dy   119     44210     22109     58697    194279      9383    354158   1220519     27.34     29.68
240.65/60.47	c  S st   120     45753     22109     58697    194286     10915    354158   1483028     26.52      9.36
242.22/60.81	c  S st   120     46254     22108     58697    210279     11353    354158   1539400     26.52   no data
242.22/60.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
280.16/70.31	c Flit:    48 Blit:      5 bXBeca:    0 bXProp:  239 Bins:  34465 BRemL:   7761 BRemN:     37 P: 139.5M T:  9.39
280.16/70.38	c Replacing      345 vars Replaced    19069 lits Time:     0.05 s 
280.16/70.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
280.57/70.42	c bin-w-bin subsume rem         5913 bins  time:  0.02 s
280.57/70.46	c subs with bin:      641  lits-rem:      2716  v-fix:    0  time:  0.04 s
282.53/70.98	c Subs w/ non-existent bins:    101 l-rem:     36 v-fix:     0 done:  20883 time:  0.52 s
283.33/71.18	c Removed useless bin:    2396  fixed:     0  props:  20.00M  time:  0.19 s
283.73/71.28	c lits-rem:         0  cl-subs:     1561  v-elim:   1326  v-fix:    0  time:  0.10 s
284.13/71.36	c subs with bin:       27  lits-rem:        95  v-fix:    0  time:  0.07 s
284.54/71.41	c lits-rem:       223  cl-subs:       62  v-elim:      0  v-fix:    0  time:  0.03 s
284.96/71.58	c vivif2 --  cl tried    55911 cl shrink     1302 lits rem       1440 time: 0.17
285.32/71.60	c vivif2 --  cl tried     3635 cl shrink      917 lits rem       4433 time: 0.02
286.92/72.02	c asymm  cl-useful: 14/1932/55381 lits-rem:16 time: 0.42
286.92/72.09	c calculated reachability. Time: 0.06
286.92/72.09	c  N dy   120     46254     19557     55381    206995      3426    323305    403221     26.52   no data
288.12/72.36	c Finding binary XORs  T:     0.27 s  found:       0
301.69/75.74	c  N dy   121     55673     19557     55381    207029     12601    323305   1112803     23.86     26.01
302.88/76.07	c Finding binary XORs  T:     0.22 s  found:     127
323.24/81.16	c  N dy   124     69383     19395     54793    285086     16005    318589   1673199     21.52     16.57
323.24/81.17	c  S st   124     69383     19395     54793    285086     16005    318589   1673199     21.52     16.57
324.47/81.49	c  S st   124     69883     19394     54793    287464     16471    318589   1717818     21.52   no data
324.83/81.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
357.56/89.76	c Flit:    55 Blit:     10 bXBeca:    0 bXProp:    0 Bins:  18450 BRemL:  13206 BRemN:      7 P: 128.2M T:  8.18
357.96/89.80	c Replacing      127 vars Replaced    24635 lits Time:     0.04 s 
357.96/89.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
357.96/89.86	c bin-w-bin subsume rem        40210 bins  time:  0.04 s
358.36/89.90	c subs with bin:      250  lits-rem:       167  v-fix:    0  time:  0.04 s
359.95/90.30	c Subs w/ non-existent bins:     94 l-rem:     42 v-fix:     0 done:  19194 time:  0.38 s
360.35/90.48	c Removed useless bin:    1531  fixed:     0  props:  19.76M  time:  0.18 s
360.75/90.56	c lits-rem:         7  cl-subs:     1112  v-elim:    543  v-fix:    0  time:  0.08 s
361.95/90.82	c subs with bin:      451  lits-rem:       299  v-fix:    0  time:  0.23 s
362.75/91.04	c lits-rem:       168  cl-subs:     1283  v-elim:      0  v-fix:    0  time:  0.21 s
363.15/91.18	c vivif2 --  cl tried    54153 cl shrink      351 lits rem        382 time: 0.14
363.98/91.31	c vivif2 --  cl tried     9696 cl shrink     2700 lits rem      34653 time: 0.12
365.54/91.77	c asymm  cl-useful: 249/2913/54015 lits-rem:267 time: 0.46
365.94/91.83	c calculated reachability. Time: 0.05
365.94/91.83	c  N dy   124     69883     18651     54011    236354      9692    309574    806407     21.52   no data
366.74/92.07	c Finding binary XORs  T:     0.24 s  found:       1
373.52/93.78	c  N dy   127     74669     18649     54011    236384     14365    309574   1387386     20.86     22.47
376.73/94.56	c Finding binary XORs  T:     0.20 s  found:       0
383.10/96.15	c  N dy   139     79997     18630     53898    306949     17223    309151   2283818     20.64     21.73
391.48/98.26	c  N dy   157     85181     18629     53898    320895     22324    309151   2997643     20.43     27.45
395.06/99.10	c Finding binary XORs  T:     0.20 s  found:       0
396.26/99.42	c  F st   165     87501     18629     53888    320893     24610    309123   3402952     20.43     11.17
396.26/99.45	c Replacing        1 vars Replaced       18 lits Time:     0.03 s 
402.25/100.92	c  N st   170     90798     18594     53888    335433     15256    309121   1845573     20.43   no data
413.83/103.80	c  N dy   175     98703     18594     53888    335446     23027    309121   2786341     20.04     21.62
414.63/104.03	c Finding binary XORs  T:     0.20 s  found:       9
424.21/106.41	c  S st   177    104824     18592     53666    333703     29014    308268   3620163     19.65     13.14
425.44/106.78	c  S st   177    105332     18591     53666    333755     29497    308268   3662242     19.65   no data
425.80/106.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
460.14/115.47	c Flit:    19 Blit:      1 bXBeca:    0 bXProp:    0 Bins:   2626 BRemL:  12672 BRemN:     15 P: 131.8M T:  8.58
460.56/115.54	c Replacing        9 vars Replaced     1927 lits Time:     0.06 s 
460.56/115.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
460.56/115.59	c bin-w-bin subsume rem        13751 bins  time:  0.03 s
460.92/115.63	c subs with bin:      110  lits-rem:         4  v-fix:    0  time:  0.04 s
462.11/115.99	c Subs w/ non-existent bins:     41 l-rem:     23 v-fix:     0 done:  18561 time:  0.37 s
462.91/116.15	c Removed useless bin:     362  fixed:     0  props:  16.67M  time:  0.15 s
463.31/116.23	c lits-rem:         4  cl-subs:      391  v-elim:    100  v-fix:    0  time:  0.08 s
470.49/118.09	c subs with bin:       21  lits-rem:      1621  v-fix:    0  time:  1.73 s
476.49/119.56	c lits-rem:       785  cl-subs:     1764  v-elim:      0  v-fix:    0  time:  1.45 s
477.29/119.70	c vivif2 --  cl tried    53295 cl shrink      338 lits rem        347 time: 0.14
478.47/120.06	c vivif2 --  cl tried    24178 cl shrink     8051 lits rem     294548 time: 0.35
480.47/120.54	c asymm  cl-useful: 142/2334/53278 lits-rem:142 time: 0.48
480.87/120.60	c calculated reachability. Time: 0.05
480.87/120.60	c  N dy   177    105332     18461     53278    304984     24164    305179   2315592     19.65   no data
498.03/124.98	c  N dy   179    116534     18460     53278    305027     18965    305179   1818772     18.65     19.63
520.39/130.52	c  N dy   184    130995     18437     53278    305569     33270    305179   3919998     18.01     19.54
532.76/133.65	c Finding binary XORs  T:     0.22 s  found:       5
536.35/134.58	c  N dy   202    139683     18436     53162    304840     20489    304711   1856487     17.87     18.94
569.90/142.99	c  N dy   203    157998     18436     53162    304849     38672    304711   4451855     17.12     10.42
569.90/142.99	c  S st   203    157998     18436     53162    304849     38672    304711   4451855     17.12     10.42
571.47/143.31	c Finding binary XORs  T:     0.21 s  found:       2
573.07/143.74	c  S st   203    158498     18418     53129    431072     39119    304338   4730198     17.12   no data
573.07/143.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
609.41/152.87	c Flit:     7 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3443 BRemL:   8676 BRemN:      7 P: 138.9M T:  9.01
609.82/152.95	c Replacing        7 vars Replaced     1061 lits Time:     0.07 s 
609.82/152.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
610.18/153.02	c bin-w-bin subsume rem        20282 bins  time:  0.05 s
610.18/153.07	c subs with bin:      114  lits-rem:        37  v-fix:    0  time:  0.05 s
611.78/153.44	c Subs w/ non-existent bins:     15 l-rem:     12 v-fix:     0 done:  18403 time:  0.36 s
612.18/153.57	c Removed useless bin:     176  fixed:     0  props:  14.22M  time:  0.13 s
612.58/153.67	c lits-rem:         0  cl-subs:      271  v-elim:     44  v-fix:    0  time:  0.09 s
620.56/155.68	c subs with bin:        1  lits-rem:      3696  v-fix:    0  time:  1.83 s
633.33/158.89	c lits-rem:       378  cl-subs:      728  v-elim:      0  v-fix:    0  time:  3.17 s
634.13/159.04	c vivif2 --  cl tried    52770 cl shrink      176 lits rem        185 time: 0.15
636.51/159.69	c vivif2 --  cl tried    38018 cl shrink    16475 lits rem     359634 time: 0.64
638.52/160.19	c asymm  cl-useful: 157/1638/52734 lits-rem:163 time: 0.50
638.92/160.26	c calculated reachability. Time: 0.05
638.92/160.26	c  N dy   203    158498     18359     52732    403237     38000    301617   4183336     17.12   no data
639.72/160.49	c Finding binary XORs  T:     0.23 s  found:       3
684.45/171.66	c  N dy   208    178528     18359     52732    403245     35374    301617   3592990     16.53     17.50
725.52/181.93	c  N dy   216    201812     18341     52732    404633     33687    301616   3197872     15.89     17.06
726.32/182.19	c Finding binary XORs  T:     0.22 s  found:      10
751.06/188.31	c  N dy   231    214961     18334     52622    405349     46707    301052   5184734     15.63     16.46
786.58/197.27	c  N dy   243    235715     18334     52622    405368     40989    301052   3918139     15.18     16.00
790.57/198.28	c  S st   245    237748     18334     52622    405371     42985    301052   4178461     15.13      8.79
792.17/198.65	c  S st   245    238249     18334     52622    405396     43461    301052   4218595     15.13   no data
792.17/198.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
831.29/208.42	c Flit:     5 Blit:      1 bXBeca:    0 bXProp:    1 Bins:  23323 BRemL:  12566 BRemN:     11 P: 150.9M T:  9.65
831.29/208.48	c Replacing       14 vars Replaced     1323 lits Time:     0.06 s 
831.68/208.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
831.68/208.54	c bin-w-bin subsume rem         1073 bins  time:  0.03 s
831.68/208.59	c subs with bin:       76  lits-rem:        34  v-fix:    0  time:  0.05 s
833.30/208.96	c Subs w/ non-existent bins:     18 l-rem:      6 v-fix:     0 done:  18314 time:  0.36 s
833.71/209.08	c Removed useless bin:     100  fixed:     0  props:  12.62M  time:  0.12 s
834.07/209.18	c lits-rem:         0  cl-subs:      291  v-elim:     48  v-fix:    0  time:  0.09 s
842.08/211.19	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  1.85 s
855.25/214.45	c lits-rem:      1017  cl-subs:     3169  v-elim:      0  v-fix:    0  time:  3.22 s
856.02/214.60	c vivif2 --  cl tried    52282 cl shrink      106 lits rem        112 time: 0.15
858.02/215.14	c vivif2 --  cl tried    39466 cl shrink    10575 lits rem     583127 time: 0.54
860.05/215.66	c asymm  cl-useful: 128/1895/52264 lits-rem:158 time: 0.51
860.41/215.72	c calculated reachability. Time: 0.05
860.41/215.73	c  N dy   245    238249     18266     52254    412870     39454    299126   3449288     15.13   no data
861.21/215.96	c Finding binary XORs  T:     0.23 s  found:       1
899.93/225.65	c  N dy   253    256965     18258     52254    427059     30972    299126   2755481     14.78     15.59
901.13/225.91	c Finding binary XORs  T:     0.23 s  found:       0
932.66/233.83	c  N dy   270    273747     18256     52231    432673     47458    298997   4969221     14.56     15.77
966.57/242.35	c  N dy   291    292554     18255     52231    432714     37826    298997   3492579     14.34     15.38
992.91/248.92	c  F st   325    306250     18255     52231    432776     51328    298997   5218889     14.29      8.75
992.91/248.98	c Replacing        1 vars Replaced       47 lits Time:     0.04 s 
1003.69/251.66	c  N dy   331    311444     18254     52201    432647     54354    298909   5960452     14.29   no data
1040.04/260.76	c  N dy   391    331332     18254     52201    432703     45763    298909   5451813     14.30     15.15
1062.76/266.41	c Finding binary XORs  T:     0.23 s  found:      11
1087.11/272.58	c  N dy   434    354050     18246     52153    434593     38337    298741   3375264     14.18     14.99
1093.49/274.14	c  S st   448    357374     18246     52153    434601     41619    298741   3786635     14.18   no data
1094.69/274.47	c  S st   448    357877     18246     52153    434616     42104    298741   3848407     14.18   no data
1095.09/274.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1134.20/284.33	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    7 Bins:   1432 BRemL:   5962 BRemN:      6 P: 150.6M T:  9.73
1134.20/284.39	c Replacing       18 vars Replaced     5796 lits Time:     0.06 s 
1134.60/284.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1134.60/284.45	c bin-w-bin subsume rem         7705 bins  time:  0.04 s
1135.00/284.50	c subs with bin:      158  lits-rem:        63  v-fix:    0  time:  0.06 s
1136.21/284.89	c Subs w/ non-existent bins:      2 l-rem:     13 v-fix:     0 done:  18226 time:  0.37 s
1136.99/285.00	c Removed useless bin:      76  fixed:     0  props:  11.17M  time:  0.11 s
1136.99/285.09	c lits-rem:         2  cl-subs:      255  v-elim:     20  v-fix:    0  time:  0.09 s
1145.00/287.05	c subs with bin:       91  lits-rem:        27  v-fix:    0  time:  1.83 s
1152.16/288.83	c lits-rem:       392  cl-subs:      577  v-elim:      0  v-fix:    0  time:  1.76 s
1152.56/288.98	c vivif2 --  cl tried    51753 cl shrink      146 lits rem        146 time: 0.15
1154.94/289.50	c vivif2 --  cl tried    40774 cl shrink    10774 lits rem     419272 time: 0.50
1156.95/290.02	c asymm  cl-useful: 112/1796/51718 lits-rem:115 time: 0.52
1156.95/290.08	c calculated reachability. Time: 0.05
1156.95/290.08	c  N dy   448    357877     18206     51717    421872     40767    296687   3260704     14.18   no data
1219.21/305.64	c  N dy   471    390165     18204     51717    422306     41728    296687   3705509     13.90     14.67
1256.72/315.02	c  N dy   491    411744     18201     51717    422574     62982    296687   5958599     13.74     14.83
1299.42/325.75	c  N dy   531    434192     18199     51717    422615     52925    296687   5052817     13.62     14.50
1339.73/335.83	c  N dy   540    454206     18194     51717    422631     39245    296687   3071880     13.47     22.44
1379.65/345.82	c  N dy   600    474251     18191     51717    422671     59089    296687   5598919     13.42     14.35
1419.56/355.80	c  N dy   640    494566     18190     51717    422705     44616    296687   3601193     13.34     14.07
1463.05/366.79	c  N dy   671    515091     18190     51717    422749     64876    296687   6539267     13.24     13.94
1502.57/376.64	c  N dy   719    535146     18188     51717    422784     49167    296687   4139184     13.18     13.99
1505.75/377.44	c  S st   726    536815     18188     51717    422789     50799    296687   4308789     13.18     10.02
1507.35/377.84	c  S st   726    537316     18187     51717    422818     51270    296687   4363846     13.18   no data
1507.35/377.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1548.47/388.11	c Flit:    11 Blit:      6 bXBeca:    0 bXProp:    3 Bins:   6884 BRemL:   1144 BRemN:      0 P: 156.9M T: 10.15
1548.47/388.18	c Replacing        3 vars Replaced      891 lits Time:     0.06 s 
1548.88/388.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1548.88/388.25	c bin-w-bin subsume rem          499 bins  time:  0.04 s
1548.88/388.30	c subs with bin:       39  lits-rem:       157  v-fix:    0  time:  0.05 s
1550.45/388.69	c Subs w/ non-existent bins:      6 l-rem:      4 v-fix:     0 done:  18131 time:  0.38 s
1550.85/388.79	c Removed useless bin:     123  fixed:     0  props:  10.41M  time:  0.10 s
1551.25/388.89	c lits-rem:         0  cl-subs:      242  v-elim:     76  v-fix:    0  time:  0.10 s
1559.23/390.84	c subs with bin:      151  lits-rem:        44  v-fix:    0  time:  1.80 s
1568.81/393.29	c lits-rem:       631  cl-subs:      764  v-elim:      0  v-fix:    0  time:  2.42 s
1569.61/393.43	c vivif2 --  cl tried    50855 cl shrink       94 lits rem         96 time: 0.15
1571.61/393.95	c vivif2 --  cl tried    45345 cl shrink     9791 lits rem     556510 time: 0.51
1573.61/394.49	c asymm  cl-useful: 14/2051/50787 lits-rem:36 time: 0.54
1574.00/394.56	c calculated reachability. Time: 0.05
1574.00/394.56	c  N dy   726    537316     18055     50776    415130     45336    293503   3540628     13.18   no data
1574.80/394.80	c Finding binary XORs  T:     0.24 s  found:       9
1615.51/404.91	c  N dy   764    557328     18055     50776    416419     65160    293503   6054534     13.12     23.06
1653.82/414.54	c  N dy   800    578382     18055     50776    416445     51942    293503   4781896     13.05     14.06
1690.53/423.70	c Finding binary XORs  T:     0.23 s  found:       3
1700.51/426.29	c  N dy   842    599647     18043     50668    434717     36647    293182   2703940     13.00     13.73
1742.46/436.79	c  N dy   895    621024     18043     50668    434879     57750    293182   5097995     12.96     13.88
1784.33/447.29	c  N dy   973    641098     18039     50668    436450     39716    293182   2886066     12.94     14.58
1825.04/457.42	c  N dy   994    662099     18038     50668    436463     60344    293182   5238587     12.86     13.56
1872.52/469.35	c  N dy  1056    685013     18037     50668    436502     43811    293182   2975487     12.82     13.67
1911.24/479.07	c  N dy  1131    705030     18037     50668    436534     63610    293182   5347937     12.83     15.77
1963.12/492.09	c  N dy  1177    730322     18036     50668    436567     48218    293182   3280924     12.77     13.50
1977.09/495.54	c Finding binary XORs  T:     0.23 s  found:       1
2004.23/502.39	c  N dy  1262    750483     18030     50568    437945     67824    292873   5469752     12.78     13.46
2050.53/513.98	c  N dy  1311    771834     18030     50568    437962     47714    292873   3307587     12.76     13.61
2105.60/527.70	c  N dy  1353    800126     18029     50568    437998     75601    292873   6350239     12.69     13.50
2118.77/531.03	c  S st  1386    805978     18028     50568    438018     81395    292873   7042035     12.70     10.96
2120.36/531.43	c  S st  1386    806481     18028     50568    438039     81884    292873   7100582     12.70   no data
2120.36/531.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2165.07/542.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4930 BRemL:  11985 BRemN:      9 P: 180.3M T: 11.11
2165.47/542.76	c Replacing       13 vars Replaced     2068 lits Time:     0.08 s 
2165.47/542.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2165.87/542.82	c bin-w-bin subsume rem         4535 bins  time:  0.04 s
2165.87/542.87	c subs with bin:       61  lits-rem:        18  v-fix:    0  time:  0.06 s
2167.46/543.25	c Subs w/ non-existent bins:      4 l-rem:      7 v-fix:     0 done:  18015 time:  0.37 s
2167.88/543.35	c Removed useless bin:     111  fixed:     0  props:   8.73M  time:  0.09 s
2168.29/543.46	c lits-rem:         0  cl-subs:       33  v-elim:     18  v-fix:    0  time:  0.11 s
2176.66/545.53	c subs with bin:       78  lits-rem:      2410  v-fix:    0  time:  1.80 s
2193.40/549.77	c lits-rem:      2291  cl-subs:     3534  v-elim:      0  v-fix:    0  time:  4.21 s
2194.22/549.93	c vivif2 --  cl tried    50482 cl shrink      356 lits rem        356 time: 0.15
2199.03/551.17	c vivif2 --  cl tried    77068 cl shrink    25749 lits rem    1457483 time: 1.22
2201.39/551.71	c asymm  cl-useful: 14/1172/50476 lits-rem:42 time: 0.54
2201.39/551.78	c calculated reachability. Time: 0.05
2201.39/551.78	c  N dy  1386    806481     17997     50462    425289     77050    291800   5215289     12.70   no data
2202.59/552.02	c Finding binary XORs  T:     0.24 s  found:       0
2268.85/568.64	c  N dy  1441    836891     17997     50462    425372     65203    291800   4640526     12.65     13.47
2335.87/585.45	c  N dy  1486    865583     17993     50462    426366     50424    291800   3010217     12.58     13.28
2374.63/595.13	c  N dy  1596    885660     17993     50462    426402     70273    291800   5477037     12.63     13.35
2416.49/605.65	c  N dy  1653    905798     17993     50462    426440     46055    291800   2727675     12.62     13.32
2454.81/615.23	c  N dy  1745    925804     17991     50462    426479     65753    291800   4922850     12.64     13.69
2499.11/626.30	c  N dy  1816    945888     17991     50462    426501     85502    291800   7073651     12.64     13.33
2540.22/636.68	c  N dy  1937    965924     17990     50462    426533     60148    291800   4604754     12.68     16.25
2583.32/647.45	c  N dy  2038    986024     17990     50462    426570     79955    291800   7015651     12.70     14.59
2625.22/657.94	c  N dy  2095   1006138     17990     50462    426597     53476    291800   3330227     12.69     13.36
2666.33/668.27	c  N dy  2165   1027127     17989     50462    426629     74084    291800   5510754     12.69     13.46
2713.42/680.09	c  N dy  2239   1047214     17989     50462    426665     93953    291800   7967301     12.70     14.20
2740.96/686.94	c Finding binary XORs  T:     0.23 s  found:       0
2756.92/690.91	c  N dy  2328   1068648     17985     50386    431471     64928    291213   4724547     12.71     13.65
2762.92/692.48	c  F st  2339   1071877     17985     50386    431471     68109    291213   5059069     12.71     12.69
2802.02/702.23	c  N dy  2403   1088684     17985     50386    431485     84676    291213   7169300     12.72     15.77
2823.17/707.54	c Finding binary XORs  T:     0.24 s  found:      10
2845.53/713.10	c  N dy  2484   1110247     17980     50367    435670     58999    291041   3789380     12.73     13.42
2887.85/723.73	c  N dy  2576   1130389     17979     50367    435701     78875    291041   5970041     12.74     13.45
2938.12/736.39	c  N dy  2679   1153710     17979     50367    435737     53277    291041   2975062     12.76     13.52
2978.03/746.31	c  N dy  2719   1174186     17978     50367    435744     73528    291041   5468499     12.73     13.41
3021.12/757.16	c  N dy  2787   1194482     17976     50367    437221     93525    291041   7631877     12.72     13.60
3054.68/765.55	c  S st  2865   1209721     17975     50367    437559     58611    291041   3492389     12.74   no data
3056.25/765.95	c  S st  2865   1210224     17975     50367    437567     59106    291041   3546967     12.74   no data
3056.25/765.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3100.15/776.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  25252 BRemL:  29013 BRemN:      1 P: 163.5M T: 10.84
3100.15/777.00	c Replacing       12 vars Replaced     3099 lits Time:     0.07 s 
3100.55/777.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3100.55/777.05	c bin-w-bin subsume rem         2035 bins  time:  0.04 s
3100.95/777.11	c subs with bin:       87  lits-rem:        73  v-fix:    0  time:  0.06 s
3102.15/777.48	c Subs w/ non-existent bins:     11 l-rem:     12 v-fix:     0 done:  17963 time:  0.37 s
3102.55/777.56	c Removed useless bin:      70  fixed:     0  props:   6.77M  time:  0.08 s
3102.97/777.67	c lits-rem:         0  cl-subs:      214  v-elim:     48  v-fix:    0  time:  0.10 s
3110.53/779.53	c subs with bin:      457  lits-rem:       151  v-fix:    0  time:  1.76 s
3116.91/781.12	c lits-rem:      1187  cl-subs:     1243  v-elim:      0  v-fix:    0  time:  1.56 s
3117.31/781.27	c vivif2 --  cl tried    50153 cl shrink      159 lits rem        192 time: 0.15
3119.72/781.84	c vivif2 --  cl tried    54260 cl shrink     8857 lits rem     214137 time: 0.56
3122.10/782.42	c asymm  cl-useful: 13/1283/50091 lits-rem:39 time: 0.57
3122.10/782.49	c calculated reachability. Time: 0.05
3122.10/782.49	c  N dy  2865   1210224     17915     50078    427719     54242    289590   2944053     12.74   no data
3123.30/782.73	c Finding binary XORs  T:     0.24 s  found:       0
3145.65/788.31	c Finding binary XORs  T:     0.24 s  found:       0
3166.40/793.56	c  N dy  2965   1230419     17908     49981    439599     74084    289337   5396928     12.76     13.55
3211.50/804.88	c  N dy  3049   1250670     17908     49981    439639     94076    289337   7550100     12.78     13.48
3258.19/816.53	c  N dy  3156   1271435     17908     49981    439661     65122    289337   4387718     12.81     13.52
3302.89/827.79	c  N dy  3260   1291511     17908     49981    439712     84988    289337   6843135     12.84     23.99
3349.98/839.54	c  N dy  3348   1311565     17907     49981    439737     53378    289337   2822506     12.85     13.70
3389.10/849.37	c  N dy  3418   1331655     17907     49981    439763     73154    289337   4849590     12.85     23.60
3435.40/860.96	c  N dy  3491   1352179     17906     49981    439802     93273    289337   7066109     12.86     13.57
3478.90/871.84	c  N dy  3557   1372299     17905     49981    439820     60429    289337   3972919     12.85     13.55
3521.60/882.53	c  N dy  3658   1392891     17905     49981    439847     80733    289337   6417565     12.89     13.75
3567.90/894.19	c  N dy  3756   1412901     17905     49981    439894    100505    289337   9087592     12.92     13.68
3624.57/908.31	c  N dy  3816   1438291     17904     49981    439937     71570    289337   4513319     12.90     14.67
3675.25/921.09	c  N dy  3935   1459508     17903     49981    439975     92561    289337   7746814     12.96     13.96
3723.54/933.16	c  N dy  4002   1479550     17903     49981    440010     57150    289337   3070270     12.97     32.19
3768.24/944.32	c  N dy  4087   1500341     17902     49981    440050     77783    289337   6315642     12.99     13.78
3816.93/956.58	c  N dy  4183   1520447     17898     49981    442070     97635    289337   9349479     13.03     13.88
3869.22/969.62	c  N dy  4286   1540520     17898     49981    442119     61176    289337   3364205     13.07     14.07
3915.55/981.21	c  N dy  4391   1560525     17898     49981    442148     81000    289337   6642050     13.11     15.46
3937.07/986.64	c Finding binary XORs  T:     0.24 s  found:      11
3966.19/993.96	c  N dy  4496   1580642     17880     49869    514072     92222    288406   9811696     13.16     13.86
4017.28/1006.76	c  N dy  4615   1600697     17880     49869    514106     59127    288406   4101187     13.21     23.99
4064.81/1018.66	c  N dy  4751   1620763     17879     49869    514130     79035    288406   7305789     13.27     40.65
4119.85/1032.48	c  N dy  4881   1641026     17879     49869    514156     99133    288406  10676251     13.33     14.04
4146.59/1039.12	c Finding binary XORs  T:     0.24 s  found:       2
4175.72/1046.42	c  N dy  4979   1661096     17875     49822    521818     62766    288263   4229204     13.38     14.19
4226.41/1059.19	c  N dy  5075   1681593     17875     49822    521850     83023    288263   7285840     13.41     14.14
4279.91/1072.51	c  N dy  5186   1701673     17875     49822    521872    102958    288263  10881701     13.46     24.21
4300.23/1077.64	c  S st  5208   1710226     17875     49822    521880    111343    288263  12155315     13.46   no data
4302.21/1078.19	c  S st  5208   1710735     17875     49822    521899    111832    288263  12213051     13.46   no data
4302.62/1078.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4352.92/1090.88	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4234 BRemL: 102205 BRemN:      7 P: 200.0M T: 12.53
4353.71/1091.05	c Replacing       13 vars Replaced     5632 lits Time:     0.17 s 
4353.71/1091.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4354.13/1091.12	c bin-w-bin subsume rem         3588 bins  time:  0.04 s
4354.13/1091.18	c subs with bin:      118  lits-rem:        70  v-fix:    0  time:  0.06 s
4355.70/1091.54	c Subs w/ non-existent bins:     10 l-rem:      7 v-fix:     0 done:  17860 time:  0.36 s
4356.10/1091.61	c Removed useless bin:     163  fixed:     0  props:   5.94M  time:  0.07 s
4356.50/1091.74	c lits-rem:         4  cl-subs:      104  v-elim:     63  v-fix:    0  time:  0.14 s
4366.08/1094.19	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  2.01 s
4395.61/1101.57	c lits-rem:      3831  cl-subs:     2756  v-elim:      0  v-fix:    0  time:  7.31 s
4396.41/1101.73	c vivif2 --  cl tried    49725 cl shrink       85 lits rem         99 time: 0.15
4403.20/1103.46	c vivif2 --  cl tried   102362 cl shrink    43420 lits rem    2823407 time: 1.71
4405.60/1104.01	c asymm  cl-useful: 8/787/49668 lits-rem:24 time: 0.55
4405.60/1104.09	c calculated reachability. Time: 0.06
4405.60/1104.09	c  N dy  5208   1710735     17797     49660    417141    102317    287194   7236131     13.46   no data
4406.81/1104.35	c Finding binary XORs  T:     0.25 s  found:       0
4455.51/1116.55	c  N dy  5278   1730917     17796     49660    418521     67445    287194   4289756     13.46     14.18
4506.56/1129.32	c  N dy  5384   1751436     17796     49660    418540     87762    287194   7296612     13.48     14.33
4558.45/1142.36	c  N dy  5455   1771735     17796     49660    418568    107874    287194  10120050     13.48     14.36
4607.94/1154.72	c  N dy  5535   1791750     17794     49660    418581     69547    287194   4337118     13.48     17.91
4658.62/1167.42	c  N dy  5595   1813249     17794     49660    418595     90779    287193   6815341     13.47     14.19
4710.49/1180.47	c  N dy  5650   1833284     17794     49660    418609    110637    287193   9518525     13.46     26.48
4763.98/1193.88	c  N dy  5739   1854518     17794     49660    418625     71393    287193   4312154     13.46     14.19

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: 961)

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-3367231-1305388906/watcher-3367231-1305388906 -o /tmp/evaluation-result-3367231-1305388906/solver-3367231-1305388906 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367231-1305388906.cnf 

running on 4 cores: 1,3,5,7

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.18 3.82 3.81 2/288 3607
/proc/meminfo: memFree=16825472/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 4 0 650493428 52396032 347 33554432000 4194304 4580107 140733994918768 18446744073709551615 47577179953072 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3607/statm: 12792 347 299 95 0 7774 0
[pid=3607/tid=3608] ppid=3605 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 650493428 52396032 347 33554432000 4194304 4580107 140733994918768 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 650493428 52396032 347 33554432000 4194304 4580107 140733994918768 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 650493428 52396032 347 33554432000 4194304 4580107 140733994918768 18446744073709551615 47577179953074 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0825499 s]
/proc/loadavg: 3.18 3.82 3.81 2/288 3607
/proc/meminfo: memFree=16825472/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=294112 CPUtime=0.21 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) S 3605 3607 3572 0 -1 4202496 8015 0 0 0 20 1 0 0 21 0 4 0 650493428 301170688 6756 33554432000 4194304 4580107 140733994918768 18446744073709551615 218371062254 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3607/statm: 73528 6756 337 95 0 68510 0
[pid=3607/tid=3608] ppid=3605 vsize=294112 CPUtime=0.05 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 2734 0 0 0 5 0 0 0 18 0 4 0 650493428 301170688 6756 33554432000 4194304 4580107 140733994918768 18446744073709551615 218370613205 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=294112 CPUtime=0.06 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) D 3605 3607 3572 0 -1 4202560 2447 0 0 0 6 0 0 0 18 0 4 0 650493428 301170688 6756 33554432000 4194304 4580107 140733994918768 18446744073709551615 218370983018 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=294112 CPUtime=0.06 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 719 0 0 0 6 0 0 0 18 0 4 0 650493428 301170688 6756 33554432000 4194304 4580107 140733994918768 18446744073709551615 218370654408 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 294112

[startup+0.102578 s]
/proc/loadavg: 3.18 3.82 3.81 2/288 3607
/proc/meminfo: memFree=16825472/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=309328 CPUtime=0.24 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 13696 0 0 0 22 2 0 0 20 0 4 0 650493428 316751872 11380 33554432000 4194304 4580107 140733994918768 18446744073709551615 218370618401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3607/statm: 77332 11397 337 95 0 72314 0
[pid=3607/tid=3608] ppid=3605 vsize=309328 CPUtime=0.08 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 5551 0 0 0 7 1 0 0 18 0 4 0 650493428 316751872 11400 33554432000 4194304 4580107 140733994918768 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=309328 CPUtime=0.07 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 4878 0 0 0 7 0 0 0 18 0 4 0 650493428 316751872 11411 33554432000 4194304 4580107 140733994918768 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=309328 CPUtime=0.06 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) S 3605 3607 3572 0 -1 4202560 1038 0 0 0 6 0 0 0 18 0 4 0 650493428 316751872 11421 33554432000 4194304 4580107 140733994918768 18446744073709551615 218371062254 0 0 4096 2 18446604459331879232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 309328

[startup+0.301081 s]
/proc/loadavg: 3.18 3.82 3.81 2/288 3607
/proc/meminfo: memFree=16825472/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=482548 CPUtime=0.84 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 66909 0 0 0 69 15 0 0 18 0 4 0 650493428 494129152 55700 33554432000 4194304 4580107 140733994918768 18446744073709551615 4252911 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 120637 55703 338 95 0 115619 0
[pid=3607/tid=3608] ppid=3605 vsize=482548 CPUtime=0.23 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 18224 0 0 0 18 5 0 0 18 0 4 0 650493428 494129152 55705 33554432000 4194304 4580107 140733994918768 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=482548 CPUtime=0.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 18868 0 0 0 21 4 0 0 18 0 4 0 650493428 494129152 55707 33554432000 4194304 4580107 140733994918768 18446744073709551615 4353225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=482548 CPUtime=0.22 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 17016 0 0 0 19 3 0 0 18 0 4 0 650493428 494129152 55709 33554432000 4194304 4580107 140733994918768 18446744073709551615 4511029 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 482548

[startup+0.701014 s]
/proc/loadavg: 3.18 3.82 3.81 2/288 3607
/proc/meminfo: memFree=16825472/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=504184 CPUtime=2.39 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 82132 0 0 0 211 28 0 0 18 0 4 0 650493428 516284416 70697 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293258 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 126046 70697 360 95 0 121028 0
[pid=3607/tid=3608] ppid=3605 vsize=504184 CPUtime=0.62 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 21267 0 0 0 54 8 0 0 18 0 4 0 650493428 516284416 70697 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=504184 CPUtime=0.63 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 21340 0 0 0 58 5 0 0 18 0 4 0 650493428 516284416 70697 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=504184 CPUtime=0.61 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 23242 0 0 0 54 7 0 0 18 0 4 0 650493428 516284416 70697 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 504184

[startup+1.50087 s]
/proc/loadavg: 3.18 3.82 3.81 11/298 3620
/proc/meminfo: memFree=16121580/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=508060 CPUtime=5.58 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 86130 0 0 0 529 29 0 0 19 0 4 0 650493428 520253440 74063 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 127015 74063 361 95 0 121997 0
[pid=3607/tid=3608] ppid=3605 vsize=508060 CPUtime=1.42 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 22206 0 0 0 134 8 0 0 19 0 4 0 650493428 520253440 74063 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=508060 CPUtime=1.43 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 22268 0 0 0 138 5 0 0 19 0 4 0 650493428 520253440 74063 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=508060 CPUtime=1.41 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 24430 0 0 0 134 7 0 0 19 0 4 0 650493428 520253440 74063 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 508060

[startup+3.10059 s]
/proc/loadavg: 3.18 3.82 3.81 9/298 3620
/proc/meminfo: memFree=16100508/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=574568 CPUtime=11.97 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 87456 0 0 0 1167 30 0 0 22 0 4 0 650493428 588357632 75389 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 143642 75389 361 95 0 138624 0
[pid=3607/tid=3608] ppid=3605 vsize=574568 CPUtime=3.02 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 22330 0 0 0 294 8 0 0 22 0 4 0 650493428 588357632 75389 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=574568 CPUtime=3.03 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 22284 0 0 0 298 5 0 0 23 0 4 0 650493428 588357632 75389 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=574568 CPUtime=3.01 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 25499 0 0 0 293 8 0 0 23 0 4 0 650493428 588357632 75389 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 574568

[startup+6.30102 s]
/proc/loadavg: 3.57 3.89 3.83 9/298 3620
/proc/meminfo: memFree=16076744/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=607848 CPUtime=24.74 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 91762 0 0 0 2443 31 0 0 25 0 4 0 650493428 622436352 79695 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293971 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 151962 79695 362 95 0 146944 0
[pid=3607/tid=3608] ppid=3605 vsize=607848 CPUtime=6.22 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 22505 0 0 0 614 8 0 0 25 0 4 0 650493428 622436352 79695 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294182 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=607848 CPUtime=6.23 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 22344 0 0 0 618 5 0 0 25 0 4 0 650493428 622436352 79695 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=607848 CPUtime=6.21 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 29377 0 0 0 611 10 0 0 25 0 4 0 650493428 622436352 79695 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 607848

[startup+12.7009 s]
/proc/loadavg: 3.92 3.96 3.85 9/298 3621
/proc/meminfo: memFree=16041372/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=685272 CPUtime=50.29 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 101433 0 0 0 4993 36 0 0 25 0 4 0 650493428 701718528 89366 33554432000 4194304 4580107 140733994918768 18446744073709551615 4254534 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 171318 89366 372 95 0 166300 0
[pid=3607/tid=3608] ppid=3605 vsize=685272 CPUtime=12.62 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 25802 0 0 0 1253 9 0 0 25 0 4 0 650493428 701718528 89366 33554432000 4194304 4580107 140733994918768 18446744073709551615 4427964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=685272 CPUtime=12.63 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 25598 0 0 0 1257 6 0 0 25 0 4 0 650493428 701718528 89366 33554432000 4194304 4580107 140733994918768 18446744073709551615 4515212 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=685272 CPUtime=12.61 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 32347 0 0 0 1249 12 0 0 25 0 4 0 650493428 701718528 89366 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 685272

[startup+25.5006 s]
/proc/loadavg: 4.83 4.16 3.92 9/298 3621
/proc/meminfo: memFree=15645392/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=837636 CPUtime=101.35 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 210495 0 0 0 10082 53 0 0 25 0 4 0 650493428 857739264 110826 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 209409 110826 379 95 0 204391 0
[pid=3607/tid=3608] ppid=3605 vsize=837636 CPUtime=25.42 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 32082 0 0 0 2532 10 0 0 25 0 4 0 650493428 857739264 110826 33554432000 4194304 4580107 140733994918768 18446744073709551615 4322575 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=837636 CPUtime=25.43 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 30484 0 0 0 2535 8 0 0 25 0 4 0 650493428 857739264 110826 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=837636 CPUtime=25.4 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 118049 0 0 0 2516 24 0 0 25 0 4 0 650493428 857739264 110826 33554432000 4194304 4580107 140733994918768 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 837636

[startup+51.1011 s]
/proc/loadavg: 5.97 4.48 4.03 9/298 3622
/proc/meminfo: memFree=14428584/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=1541944 CPUtime=203.51 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 412993 0 0 0 20246 105 0 0 25 0 4 0 650493428 1578950656 273045 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 385486 273045 380 95 0 380468 0
[pid=3607/tid=3608] ppid=3605 vsize=1541944 CPUtime=51.02 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 87427 0 0 0 5079 23 0 0 25 0 4 0 650493428 1578950656 273045 33554432000 4194304 4580107 140733994918768 18446744073709551615 4228100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=1541944 CPUtime=51.03 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 64944 0 0 0 5087 16 0 0 25 0 4 0 650493428 1578950656 273045 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=1541944 CPUtime=51.01 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 177902 0 0 0 5063 38 0 0 25 0 4 0 650493428 1578950656 273045 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.51
Current children cumulated vsize (KiB) 1541944

[startup+102.311 s]
/proc/loadavg: 7.22 5.05 4.25 9/298 3625
/proc/meminfo: memFree=13818896/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=1756712 CPUtime=407.88 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 546081 0 0 0 40645 143 0 0 25 0 4 0 650493428 1798873088 358141 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 439178 358141 380 95 0 434160 0
[pid=3607/tid=3608] ppid=3605 vsize=1756712 CPUtime=102.22 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 107688 0 0 0 10193 29 0 0 25 0 4 0 650493428 1798873088 358141 33554432000 4194304 4580107 140733994918768 18446744073709551615 4305503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=1756712 CPUtime=102.24 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 99334 0 0 0 10199 25 0 0 25 0 4 0 650493428 1798873088 358141 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=1756712 CPUtime=102.22 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 234275 0 0 0 10168 54 0 0 25 0 4 0 650493428 1798873088 358141 33554432000 4194304 4580107 140733994918768 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.88
Current children cumulated vsize (KiB) 1756712

[startup+162.3 s]

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

Current children cumulated CPU time (s) 2562.98
Current children cumulated vsize (KiB) 2628184

[startup+702.3 s]
/proc/loadavg: 8.06 7.69 6.08 9/298 3642
/proc/meminfo: memFree=12938512/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2697324 CPUtime=2802.42 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1178430 0 0 0 279856 386 0 0 25 0 4 0 650493428 2762059776 523310 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 674331 523310 380 95 0 669313 0
[pid=3607/tid=3608] ppid=3605 vsize=2697324 CPUtime=702.23 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 277640 0 0 0 70128 95 0 0 25 0 4 0 650493428 2762059776 523310 33554432000 4194304 4580107 140733994918768 18446744073709551615 4416719 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2697324 CPUtime=702.24 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 220915 0 0 0 70148 76 0 0 25 0 4 0 650493428 2762059776 523310 33554432000 4194304 4580107 140733994918768 18446744073709551615 4316574 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2697324 CPUtime=702.2 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 392758 0 0 0 70105 115 0 0 25 0 4 0 650493428 2762059776 523310 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.42
Current children cumulated vsize (KiB) 2697324

[startup+762.312 s]
/proc/loadavg: 8.18 7.79 6.21 10/298 3644
/proc/meminfo: memFree=13030496/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2534144 CPUtime=3041.92 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1227184 0 0 0 303784 408 0 0 25 0 4 0 650493428 2594963456 506127 33554432000 4194304 4580107 140733994918768 18446744073709551615 4325657 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 633536 506127 380 95 0 628518 0
[pid=3607/tid=3608] ppid=3605 vsize=2534144 CPUtime=762.24 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 290346 0 0 0 76124 100 0 0 25 0 4 0 650493428 2594963456 506127 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2534144 CPUtime=762.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 227516 0 0 0 76146 79 0 0 25 0 4 0 650493428 2594963456 506127 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2534144 CPUtime=762.22 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 407574 0 0 0 76099 123 0 0 25 0 4 0 650493428 2594963456 506127 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3041.92
Current children cumulated vsize (KiB) 2534144

[startup+822.301 s]
/proc/loadavg: 8.27 7.88 6.34 9/298 3645
/proc/meminfo: memFree=13019060/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2575664 CPUtime=3281.34 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1276560 0 0 0 327703 431 0 0 25 0 4 0 650493428 2637479936 500425 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293720 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 643916 500425 380 95 0 638898 0
[pid=3607/tid=3608] ppid=3605 vsize=2575664 CPUtime=822.24 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 305469 0 0 0 82118 106 0 0 25 0 4 0 650493428 2637479936 500425 33554432000 4194304 4580107 140733994918768 18446744073709551615 4306008 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2575664 CPUtime=822.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 238241 0 0 0 82140 85 0 0 25 0 4 0 650493428 2637479936 500425 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2575664 CPUtime=822.2 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 419131 0 0 0 82091 129 0 0 25 0 4 0 650493428 2637479936 500425 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.34
Current children cumulated vsize (KiB) 2575664

[startup+882.3 s]
/proc/loadavg: 8.21 7.93 6.45 9/298 3647
/proc/meminfo: memFree=12982304/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2577300 CPUtime=3520.8 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1325854 0 0 0 351626 454 0 0 25 0 4 0 650493428 2639155200 506582 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 644325 506582 380 95 0 639307 0
[pid=3607/tid=3608] ppid=3605 vsize=2577300 CPUtime=882.23 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 320992 0 0 0 88111 112 0 0 25 0 4 0 650493428 2639155200 506582 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2577300 CPUtime=882.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 248900 0 0 0 88136 89 0 0 25 0 4 0 650493428 2639155200 506582 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2577300 CPUtime=882.21 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 429315 0 0 0 88086 135 0 0 25 0 4 0 650493428 2639155200 506582 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.8
Current children cumulated vsize (KiB) 2577300

[startup+942.301 s]
/proc/loadavg: 8.18 7.97 6.56 9/298 3648
/proc/meminfo: memFree=12976196/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2601840 CPUtime=3760.26 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1382102 0 0 0 375550 476 0 0 25 0 4 0 650493428 2664284160 499916 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 650460 499916 380 95 0 645442 0
[pid=3607/tid=3608] ppid=3605 vsize=2601840 CPUtime=942.24 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 336307 0 0 0 94107 117 0 0 25 0 4 0 650493428 2664284160 499916 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2601840 CPUtime=942.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 259823 0 0 0 94131 94 0 0 25 0 4 0 650493428 2664284160 499916 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2601840 CPUtime=942.2 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 440580 0 0 0 94080 140 0 0 25 0 4 0 650493428 2664284160 499916 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.26
Current children cumulated vsize (KiB) 2601840

[startup+1002.3 s]
/proc/loadavg: 8.16 8.00 6.65 9/298 3650
/proc/meminfo: memFree=12916164/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2601200 CPUtime=3999.71 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1429849 0 0 0 399473 498 0 0 25 0 4 0 650493428 2663628800 510913 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 650300 510913 380 95 0 645282 0
[pid=3607/tid=3608] ppid=3605 vsize=2601200 CPUtime=1002.24 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 348443 0 0 0 100103 121 0 0 25 0 4 0 650493428 2663628800 510913 33554432000 4194304 4580107 140733994918768 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2601200 CPUtime=1002.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 271715 0 0 0 100125 100 0 0 25 0 4 0 650493428 2663628800 510913 33554432000 4194304 4580107 140733994918768 18446744073709551615 4319038 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2601200 CPUtime=1002.2 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 446483 0 0 0 100077 143 0 0 25 0 4 0 650493428 2663628800 510913 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.71
Current children cumulated vsize (KiB) 2601200

[startup+1062.3 s]
/proc/loadavg: 8.14 8.03 6.75 9/298 3652
/proc/meminfo: memFree=12872740/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2639804 CPUtime=4239.18 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1493953 0 0 0 423393 525 0 0 25 0 4 0 650493428 2703159296 514671 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 659951 514671 380 95 0 654933 0
[pid=3607/tid=3608] ppid=3605 vsize=2639804 CPUtime=1062.23 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 363422 0 0 0 106097 126 0 0 25 0 4 0 650493428 2703159296 514671 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2639804 CPUtime=1062.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 285045 0 0 0 106121 104 0 0 25 0 4 0 650493428 2703159296 514671 33554432000 4194304 4580107 140733994918768 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2639804 CPUtime=1062.21 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 462100 0 0 0 106070 151 0 0 25 0 4 0 650493428 2703159296 514671 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4239.18
Current children cumulated vsize (KiB) 2639804

[startup+1122.3 s]
/proc/loadavg: 8.10 8.04 6.83 9/298 3653
/proc/meminfo: memFree=12757876/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2727012 CPUtime=4478.62 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1558262 0 0 0 447309 553 0 0 25 0 4 0 650493428 2792460288 529352 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 681753 529352 380 95 0 676735 0
[pid=3607/tid=3608] ppid=3605 vsize=2727012 CPUtime=1122.23 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 375261 0 0 0 112091 132 0 0 25 0 4 0 650493428 2792460288 529352 33554432000 4194304 4580107 140733994918768 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2727012 CPUtime=1122.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 300854 0 0 0 112112 113 0 0 25 0 4 0 650493428 2792460288 529352 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2727012 CPUtime=1122.21 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 474474 0 0 0 112063 158 0 0 25 0 4 0 650493428 2792460288 529352 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4478.62
Current children cumulated vsize (KiB) 2727012

[startup+1182.3 s]
/proc/loadavg: 8.11 8.04 6.90 9/298 3655
/proc/meminfo: memFree=12708752/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2884688 CPUtime=4718.09 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1620708 0 0 0 471230 579 0 0 25 0 4 0 650493428 2953920512 542627 33554432000 4194304 4580107 140733994918768 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 721172 542627 380 95 0 716154 0
[pid=3607/tid=3608] ppid=3605 vsize=2884688 CPUtime=1182.24 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 393281 0 0 0 118085 139 0 0 25 0 4 0 650493428 2953920512 542627 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2884688 CPUtime=1182.25 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 313314 0 0 0 118106 119 0 0 25 0 4 0 650493428 2953920512 542627 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2884688 CPUtime=1182.21 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 490908 0 0 0 118056 165 0 0 25 0 4 0 650493428 2953920512 542627 33554432000 4194304 4580107 140733994918768 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4718.09
Current children cumulated vsize (KiB) 2884688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.07 8.04 6.93 9/298 3655
/proc/meminfo: memFree=12682072/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=2803376 CPUtime=4800.32 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) R 3605 3607 3572 0 -1 4202496 1637770 0 0 0 479445 587 0 0 25 0 4 0 650493428 2870657024 550023 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/3607/statm: 700844 550023 380 95 0 695826 0
[pid=3607/tid=3608] ppid=3605 vsize=2803376 CPUtime=1202.85 cores=1,3,5,7
/proc/3607/task/3608/stat : 3608 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 396928 0 0 0 120144 141 0 0 25 0 4 0 650493428 2870657024 550024 33554432000 4194304 4580107 140733994918768 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3607/tid=3609] ppid=3605 vsize=2803376 CPUtime=1202.86 cores=1,3,5,7
/proc/3607/task/3609/stat : 3609 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 316092 0 0 0 120165 121 0 0 25 0 4 0 650493428 2870657024 550024 33554432000 4194304 4580107 140733994918768 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3607/tid=3610] ppid=3605 vsize=2803376 CPUtime=1202.82 cores=1,3,5,7
/proc/3607/task/3610/stat : 3610 (strangenight2-m) R 3605 3607 3572 0 -1 4202560 494618 0 0 0 120115 167 0 0 25 0 4 0 650493428 2870657024 550024 33554432000 4194304 4580107 140733994918768 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 2803376

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

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

[startup+1203.02 s]
/proc/loadavg: 8.07 8.04 6.93 9/298 3655
/proc/meminfo: memFree=12682072/32951124 swapFree=52307768/67111528
[pid=3607] ppid=3605 vsize=0 CPUtime=4800.44 cores=1,3,5,7
/proc/3607/stat : 3607 (strangenight2-m) S 3605 3607 3572 0 -1 4203524 1637773 0 0 0 479448 596 0 0 25 0 1 0 650493428 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3607/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.02
CPU time (s): 4800.46
CPU user time (s): 4794.49
CPU system time (s): 5.96809
CPU usage (%): 399.035
Max. virtual memory (cumulated for all children) (KiB): 2884688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.49
system time used= 5.96809
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1637773
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= 12503
involuntary context switches= 31733

runsolver used 3.15552 second user time and 7.82181 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 18:01:47
IDJOB=3367231
IDBENCH=20386
IDSOLVER=1844
FILE ID=node101/3367231-1305388906
RUNJOBID= node101-1305388906-3591
PBS_JOBID= 13324427
Free space on /tmp= 73712 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367231-1305388906/watcher-3367231-1305388906 -o /tmp/evaluation-result-3367231-1305388906/solver-3367231-1305388906 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367231-1305388906.cnf

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=186290659

node101.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.841
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.68
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.841
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	: 5226.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16825752 kB
Buffers:        313040 kB
Cached:        5874972 kB
SwapCached:      14848 kB
Active:       10814264 kB
Inactive:      5031976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16825752 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           33400 kB
Writeback:           0 kB
AnonPages:     9654916 kB
Mapped:          14300 kB
Slab:           150312 kB
PageTables:      62180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41979388 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= 73696 MiB
End job on node101 at 2011-05-14 18:21:52