Trace number 3367241

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.49 1203.81

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
MD5SUM49dbd2fb16b3d5ce554d30c48729a56d
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 variables92464
Number of clauses276623
Sum of the clauses size645451
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2184414
Number of clauses of size 392207
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367241-1305389838.cnf'
0.00/0.01	c -- header says num vars:          92464
0.00/0.01	c -- header says num clauses:      276623
0.32/1.06	c -- clauses added:            0 learnts,       276623 normals,            0 xors
0.32/1.06	c -- vars added      92464
0.32/1.06	c Parsing time:  0.10 s
0.32/1.06	c  N st     0         0     92464     92207    184414         0    645449         0   no data   no data
0.32/1.06	c asymm  cl-useful: 0/15665/92198 lits-rem:0 time: 0.58
45.32/11.49	c Flit:    71 Blit:    123 bXBeca:    0 bXProp:  501 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 10.71
45.32/11.49	c Cleaning up after failed var search:     0.00 s 
45.72/11.52	c Replacing      501 vars Replaced     7176 lits Time:     0.03 s 
45.72/11.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.72/11.56	c bin-w-bin subsume rem            2 bins  time:  0.01 s
46.12/11.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
49.71/12.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  90196 time:  0.98 s
50.11/12.68	c Removed useless bin:     189  fixed:     0  props:  20.01M  time:  0.09 s
52.48/13.27	c lits-rem:         0  cl-subs:      433  v-elim:  30586  v-fix:    0  time:  0.56 s
52.48/13.29	c Finding binary XORs  T:     0.01 s  found:       0
52.88/13.32	c Finding non-binary XORs:     0.02 s (found:    2227, avg size: 3.0)
52.88/13.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
52.88/13.33	c calculated reachability. Time: 0.00
52.88/13.34	c Calc default polars -  time:   0.01 s pos:    1053 undec:   34820 neg:   56591
52.88/13.34	c =========================================================================================
52.88/13.34	c types(t): F = full restart, N = normal restart
52.88/13.34	c types(t): S = simplification begin/end, E = solution found
52.88/13.34	c restart types(rt): st = static, dy = dynamic
52.88/13.34	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
52.88/13.34	c  B st     0         0     61173     74214    128869         0    526715         0   no data   no data
62.85/15.84	c  N dy    16      4019     61173     74214    129033      3827    526714    360460      8.31      9.38
72.43/18.24	c  N dy    38      8092     61173     74214    130746      7647    526714    467616      8.96     11.90
79.93/20.11	c  N dy    59     12131     61173     74214    131012     11351    526714    569170      8.99     10.78
87.16/21.97	c Finding binary XORs  T:     0.02 s  found:     337
88.31/22.22	c  N dy    87     16208     61173     74214    131822     15155    526714    659235      9.35      9.89
97.09/24.47	c  N dy   120     20228     61173     74214    132465      9609    526712     57175     10.21     10.76
105.45/26.59	c  N dy   149     24251     61173     74214    132582     13459    526712    170274     10.82     12.06
107.85/27.13	c  F st   151     25001     61173     74214    133360     14166    526712    186997     10.77     10.36
107.85/27.15	c Replacing      337 vars Replaced     8554 lits Time:     0.02 s 
118.22/29.79	c  N st   156     28299     60836     73422    132746     17119    524336    436662     10.77   no data
124.20/31.25	c  S st   157     30002     60836     73422    132751     18806    524336    620856     10.77   no data
125.41/31.59	c  S st   157     30506     60836     73422    133487     19270    524336    633037     10.77   no data
125.81/31.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
172.86/43.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  354 Bins:  42680 BRemL:    101 BRemN:      0 P: 200.0M T: 11.84
172.86/43.48	c Replacing      354 vars Replaced    11117 lits Time:     0.03 s 
173.26/43.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
173.26/43.52	c bin-w-bin subsume rem          605 bins  time:  0.02 s
173.26/43.55	c subs with bin:     1473  lits-rem:       250  v-fix:    0  time:  0.04 s
175.65/44.16	c Subs w/ non-existent bins:    352 l-rem:   3353 v-fix:     0 done:  60482 time:  0.60 s
176.45/44.36	c Removed useless bin:    1039  fixed:     0  props:  20.00M  time:  0.20 s
178.86/44.95	c lits-rem:      2113  cl-subs:     8618  v-elim:  35460  v-fix:    0  time:  0.55 s
178.86/44.97	c subs with bin:      870  lits-rem:       119  v-fix:    0  time:  0.02 s
179.29/45.02	c lits-rem:       221  cl-subs:      466  v-elim:      0  v-fix:    0  time:  0.03 s
180.84/45.47	c asymm  cl-useful: 2623/12046/74779 lits-rem:2631 time: 0.45
180.84/45.48	c calculated reachability. Time: 0.00
180.84/45.48	c  N dy   157     30506     25022     74778     50780      7597    441761     81387     10.77   no data
180.84/45.49	c Finding binary XORs  T:     0.01 s  found:     319
181.24/45.51	c Replacing      319 vars Replaced     5132 lits Time:     0.02 s 
186.42/46.87	c  N dy   183     34510     24703     74248     50330     11371    439442    189407     10.88     14.99
192.79/48.41	c  N dy   211     38596     24703     74248     51198     15313    439442    340072     11.42     12.50
198.37/49.85	c  N dy   239     42676     24703     74248     51995      9929    439442     67406     11.66     12.46
202.76/50.93	c  S st   260     45759     24703     74248     52037     12937    439441    163641     11.81   no data
203.96/51.21	c  S st   260     46260     24703     74248     52082     13391    439441    173373     11.81   no data
203.96/51.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
232.67/58.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  597 Bins:   2553 BRemL:     11 BRemN:      0 P: 89.8M T:  7.15
232.67/58.43	c Replacing      597 vars Replaced    17159 lits Time:     0.02 s 
232.67/58.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
232.67/58.46	c bin-w-bin subsume rem          491 bins  time:  0.01 s
232.67/58.48	c subs with bin:     1443  lits-rem:       182  v-fix:    0  time:  0.03 s
233.47/58.61	c Subs w/ non-existent bins:   4025 l-rem:   6169 v-fix:     0 done:  24106 time:  0.12 s
233.47/58.66	c Removed useless bin:     140  fixed:     0  props:   4.12M  time:  0.05 s
233.87/58.75	c lits-rem:         1  cl-subs:       13  v-elim:   1226  v-fix:    0  time:  0.08 s
233.87/58.80	c subs with bin:      417  lits-rem:       193  v-fix:    0  time:  0.04 s
234.27/58.85	c lits-rem:       236  cl-subs:      203  v-elim:      0  v-fix:    0  time:  0.04 s
234.67/58.91	c vivif2 --  cl tried    68197 cl shrink       54 lits rem        115 time: 0.06
234.67/58.93	c vivif2 --  cl tried    11878 cl shrink     2103 lits rem       8456 time: 0.02
236.31/59.37	c asymm  cl-useful: 0/5074/68166 lits-rem:0 time: 0.44
236.66/59.40	c calculated reachability. Time: 0.03
236.66/59.40	c  N dy   260     46260     22880     68166     50533     11685    419319    140242     11.81   no data
237.06/59.50	c Finding binary XORs  T:     0.09 s  found:      36
241.05/60.58	c Finding binary XORs  T:     0.09 s  found:     683
241.44/60.61	c Replacing      719 vars Replaced    18161 lits Time:     0.02 s 
241.84/60.76	c  N dy   278     50304     22160     66531     58122     14843    413043    287866     11.79     33.26
247.84/62.23	c  N dy   300     54339     22160     66531     58155     18791    413042    493747     12.00     12.71
253.02/63.52	c  N dy   323     58350     22159     66531     58671     22699    413042    617293     12.05     13.19
258.59/64.96	c  N dy   356     62450     22159     66531     59119     26723    413038    812534     12.41     13.13
264.18/66.32	c  N dy   382     66758     22159     66531     59141     16581    413038    199400     12.54     13.21
267.77/67.24	c  S st   402     69390     22159     66531     59309     19121    413038    316956     12.72     10.37
268.97/67.55	c  S st   402     69890     22159     66531     59422     19507    413038    327788     12.72   no data
268.97/67.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
295.29/74.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  416 Bins:  21526 BRemL:   3154 BRemN:     38 P: 86.1M T:  6.61
295.69/74.20	c Replacing      416 vars Replaced    15271 lits Time:     0.03 s 
295.69/74.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
295.69/74.24	c bin-w-bin subsume rem         3558 bins  time:  0.01 s
295.69/74.27	c subs with bin:      427  lits-rem:        13  v-fix:    0  time:  0.03 s
296.09/74.35	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:  21743 time:  0.09 s
296.09/74.39	c Removed useless bin:      10  fixed:     0  props:   1.79M  time:  0.03 s
296.49/74.46	c lits-rem:         3  cl-subs:      123  v-elim:    194  v-fix:    0  time:  0.07 s
296.89/74.58	c subs with bin:      482  lits-rem:      1972  v-fix:    0  time:  0.10 s
297.31/74.66	c lits-rem:       486  cl-subs:      252  v-elim:      0  v-fix:    0  time:  0.07 s
297.73/74.73	c vivif2 --  cl tried    64987 cl shrink       42 lits rem         42 time: 0.07
297.73/74.79	c vivif2 --  cl tried    18277 cl shrink     2330 lits rem      20750 time: 0.05
299.68/75.23	c asymm  cl-useful: 147/2853/64983 lits-rem:441 time: 0.45
299.68/75.27	c calculated reachability. Time: 0.03
299.68/75.27	c  N dy   402     69890     21549     64836     70199     18269    407334    309608     12.72   no data
300.08/75.36	c Finding binary XORs  T:     0.09 s  found:     105
307.25/77.18	c  N dy   419     74484     21549     64836     71546     22742    407331    581693     12.67     13.95
315.63/79.26	c  N dy   439     79430     21549     64836     74698     27591    407331    926792     12.51     13.26
318.43/79.92	c Finding binary XORs  T:     0.09 s  found:     353
318.43/79.96	c Replacing      458 vars Replaced    16046 lits Time:     0.03 s 
323.64/81.28	c  N dy   465     84529     21088     63859     73610     32020    403206   1185468     12.54     15.92
327.60/82.22	c  F st   482     87501     21087     63859     74118     34947    403206   1342764     12.63   no data
331.99/83.39	c  N st   487     90795     21087     63850     74148     20388    403182    455495     12.63   no data
342.35/85.96	c  N dy   510     96913     21087     63850     74814     26409    403182    729770     12.65     13.52
353.13/88.65	c  N dy   560    103149     21087     63850     75075     32494    403177   1053046     12.99     13.73
355.91/89.31	c  S st   571    104836     21087     63850     75425     34127    403176   1132019     13.00   no data
356.31/89.40	c Finding binary XORs  T:     0.09 s  found:     550
356.31/89.43	c Replacing      550 vars Replaced    18595 lits Time:     0.03 s 
357.51/89.74	c  S st   571    105339     20537     62597     74192     33737    398424   1146044     13.00   no data
357.51/89.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
386.62/97.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:  21025 BRemL:  11727 BRemN:      4 P: 94.8M T:  7.29
386.62/97.07	c Replacing        5 vars Replaced      200 lits Time:     0.02 s 
387.02/97.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
387.02/97.11	c bin-w-bin subsume rem         2291 bins  time:  0.01 s
387.02/97.14	c subs with bin:      450  lits-rem:        24  v-fix:    0  time:  0.03 s
387.42/97.23	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:  20532 time:  0.10 s
387.42/97.26	c Removed useless bin:       2  fixed:     0  props:   1.32M  time:  0.03 s
387.81/97.34	c lits-rem:         5  cl-subs:      165  v-elim:    266  v-fix:    0  time:  0.07 s
390.20/97.97	c subs with bin:      405  lits-rem:      4700  v-fix:    0  time:  0.58 s
391.40/98.27	c lits-rem:      1203  cl-subs:      703  v-elim:      0  v-fix:    0  time:  0.27 s
391.80/98.34	c vivif2 --  cl tried    62060 cl shrink       35 lits rem         45 time: 0.08
392.20/98.49	c vivif2 --  cl tried    31519 cl shrink     7161 lits rem      68120 time: 0.15
394.25/98.99	c asymm  cl-useful: 4/1519/62059 lits-rem:12 time: 0.50
394.60/99.03	c calculated reachability. Time: 0.03
394.60/99.03	c  N dy   571    105339     20266     62055     73238     31513    396019    862847     13.00   no data
395.00/99.12	c Finding binary XORs  T:     0.10 s  found:       6
408.56/102.50	c  N dy   583    112169     20264     62055     80040     38244    396012   1800921     12.79     13.60
408.96/102.60	c Finding binary XORs  T:     0.09 s  found:     451
408.96/102.65	c Replacing      457 vars Replaced    17927 lits Time:     0.05 s 
421.71/105.81	c  N dy   617    119505     19806     60687     79928     25611    390845    972664     12.76     13.44
438.12/109.96	c  N dy   658    127133     19806     60687     80647     33094    390845   2313173     12.82     16.09
452.42/113.51	c Finding binary XORs  T:     0.09 s  found:     244
452.42/113.59	c Replacing      244 vars Replaced    15896 lits Time:     0.08 s 
454.41/114.04	c  N dy   707    135303     19559     60151     80356     38402    388838   3095553     13.00     26.31
467.98/117.41	c  N dy   759    143982     19559     60151     80515     26471    388833    722152     13.12     23.16
481.98/120.98	c  N dy   818    153172     19559     60151     80634     35497    388827   1337277     13.23     14.04
490.75/123.13	c  S st   856    158012     19559     60151     80648     40277    388826   1754454     13.37     14.49
491.90/123.42	c  S st   856    158515     19559     60151     80685     40738    388826   1785653     13.37   no data
491.90/123.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
523.40/131.33	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  173 Bins:   7666 BRemL:  12963 BRemN:     13 P: 101.7M T:  7.89
523.40/131.37	c Replacing      173 vars Replaced     7770 lits Time:     0.05 s 
523.80/131.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
523.80/131.41	c bin-w-bin subsume rem         2651 bins  time:  0.01 s
523.80/131.44	c subs with bin:      336  lits-rem:         7  v-fix:    0  time:  0.03 s
524.20/131.52	c Subs w/ non-existent bins:      9 l-rem:      0 v-fix:     0 done:  19385 time:  0.08 s
524.20/131.55	c Removed useless bin:       1  fixed:     0  props:   1.19M  time:  0.02 s
524.60/131.62	c lits-rem:         2  cl-subs:      123  v-elim:    274  v-fix:    0  time:  0.07 s
528.59/132.69	c subs with bin:      306  lits-rem:      2623  v-fix:    0  time:  1.01 s
530.98/133.21	c lits-rem:      2078  cl-subs:      934  v-elim:      0  v-fix:    0  time:  0.51 s
531.38/133.30	c vivif2 --  cl tried    59493 cl shrink      145 lits rem        145 time: 0.08
531.79/133.47	c vivif2 --  cl tried    37311 cl shrink     6558 lits rem      78970 time: 0.17
533.78/133.95	c asymm  cl-useful: 11/1339/59488 lits-rem:33 time: 0.48
533.78/133.99	c calculated reachability. Time: 0.03
533.78/133.99	c  N dy   856    158515     19111     59477     68367     37305    384626   1124682     13.37   no data
534.20/134.09	c Finding binary XORs  T:     0.10 s  found:       7
542.97/136.25	c Finding binary XORs  T:     0.10 s  found:     281
542.97/136.30	c Replacing      288 vars Replaced    15410 lits Time:     0.04 s 
554.51/139.10	c  N dy   905    168746     18822     58661     76810     26134    381597    876972     13.39     14.67
573.68/144.00	c  N dy   956    179617     18820     58661     77158     36801    381589   2783770     13.50     18.46
599.18/150.32	c  N dy  1030    191200     18820     58661     77421     48123    381587   4419595     13.73     14.61
605.56/151.96	c Finding binary XORs  T:     0.10 s  found:     268
605.56/151.98	c Replacing      268 vars Replaced    11364 lits Time:     0.02 s 
627.10/157.35	c  N dy  1080    204363     18550     58144     80704     36878    379586   1603512     13.69     14.73
628.30/157.65	c Finding binary XORs  T:     0.10 s  found:     129
649.43/162.90	c  N dy  1155    217956     18547     58136     81165     50206    379565   2452519     13.80     14.65
670.20/168.13	c  N dy  1203    231962     18545     58136     81503     39549    379564   1102540     13.76     16.93
680.14/170.65	c  S st  1226    237773     18545     58136     81595     45248    379562   1471513     13.74     10.75
681.34/170.99	c  S st  1226    238278     18545     58136     81609     45735    379562   1497377     13.74   no data
681.74/171.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
716.44/179.74	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  230 Bins:   3960 BRemL:   7051 BRemN:     20 P: 104.9M T:  8.73
716.84/179.80	c Replacing      359 vars Replaced    24086 lits Time:     0.06 s 
716.84/179.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
716.84/179.83	c bin-w-bin subsume rem         2353 bins  time:  0.01 s
716.84/179.86	c subs with bin:      216  lits-rem:         8  v-fix:    0  time:  0.03 s
717.24/179.94	c Subs w/ non-existent bins:     12 l-rem:     20 v-fix:     0 done:  18185 time:  0.08 s
717.24/179.96	c Removed useless bin:       2  fixed:     0  props:   1.14M  time:  0.02 s
717.63/180.04	c lits-rem:         0  cl-subs:       39  v-elim:    144  v-fix:    0  time:  0.08 s
723.27/181.42	c subs with bin:      267  lits-rem:      3673  v-fix:    0  time:  1.33 s
725.61/182.04	c lits-rem:      2318  cl-subs:     1974  v-elim:      0  v-fix:    0  time:  0.60 s
726.01/182.13	c vivif2 --  cl tried    57027 cl shrink       43 lits rem         43 time: 0.09
726.81/182.34	c vivif2 --  cl tried    40970 cl shrink     7297 lits rem      81027 time: 0.20
728.80/182.83	c asymm  cl-useful: 13/1880/57017 lits-rem:39 time: 0.49
728.80/182.86	c calculated reachability. Time: 0.03
728.80/182.86	c  N dy  1226    238278     18041     57004     73629     40961    373689   1107993     13.74   no data
729.20/182.97	c Finding binary XORs  T:     0.11 s  found:       9
767.14/192.45	c  N dy  1292    253512     18033     57004     74575     31038    373688    812290     13.77     14.69
795.01/199.43	c Finding binary XORs  T:     0.10 s  found:     177
795.41/199.58	c Replacing      186 vars Replaced    36954 lits Time:     0.15 s 
805.78/202.18	c  N dy  1401    269765     17845     56667     74090     46153    371576   4081367     13.99     16.92
843.66/211.60	c  N dy  1523    288750     17843     56667     74321     38649    371576   1122321     14.31     15.07
860.41/215.81	c Finding binary XORs  T:     0.10 s  found:      61
871.59/218.67	c  F st  1638    306252     17842     56662     80271     55685    371531   2569241     14.52   no data
872.01/218.72	c Replacing       61 vars Replaced     8829 lits Time:     0.05 s 
873.98/219.26	c  N st  1641    307441     17781     56556     80038     56737    371133   2688499     14.52   no data
904.28/226.88	c  N dy  1747    327155     17778     56556     80247     49295    371132   1747234     14.67     15.61
937.39/235.14	c  N dy  1896    347220     17776     56556     80442     40941    371131    895674     15.04     29.03
945.36/237.13	c Finding binary XORs  T:     0.10 s  found:      58
953.34/239.14	c  S st  1968    357420     17775     56535     84158     50933    370812   1873729     15.21     14.12
954.54/239.46	c  S st  1968    357922     17775     56535     84163     51428    370812   1932286     15.21   no data
954.54/239.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
990.04/248.35	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   2083 BRemL:   2865 BRemN:     11 P: 109.9M T:  8.87
990.45/248.42	c Replacing       59 vars Replaced     9975 lits Time:     0.07 s 
990.45/248.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
990.45/248.45	c bin-w-bin subsume rem          969 bins  time:  0.01 s
990.45/248.48	c subs with bin:       73  lits-rem:        16  v-fix:    0  time:  0.03 s
990.87/248.56	c Subs w/ non-existent bins:      3 l-rem:      8 v-fix:     0 done:  17714 time:  0.08 s
990.87/248.58	c Removed useless bin:       3  fixed:     0  props:   1.01M  time:  0.02 s
991.22/248.66	c lits-rem:         1  cl-subs:       30  v-elim:     32  v-fix:    0  time:  0.08 s
998.01/250.30	c subs with bin:      117  lits-rem:      4854  v-fix:    0  time:  1.57 s
1002.40/251.49	c lits-rem:      9099  cl-subs:     1757  v-elim:      0  v-fix:    0  time:  1.18 s
1002.80/251.59	c vivif2 --  cl tried    56173 cl shrink       19 lits rem         19 time: 0.09
1004.04/251.84	c vivif2 --  cl tried    47814 cl shrink     9240 lits rem     127292 time: 0.25
1005.99/252.33	c asymm  cl-useful: 1/1365/56166 lits-rem:3 time: 0.49
1005.99/252.37	c calculated reachability. Time: 0.03
1005.99/252.37	c  N dy  1968    357922     17682     56165     81826     47788    369905   1477899     15.21   no data
1021.58/256.22	c Finding binary XORs  T:     0.11 s  found:      28
1052.64/264.00	c  N dy  2078    377963     17673     56135     82159     67320    369322   6830011     15.30     37.08
1097.72/275.33	c  N dy  2213    397984     17670     56135     82372     58091    369322   4879521     15.51     38.87
1147.17/287.71	c  N dy  2352    418856     17666     56135     82559     47388    369322   1488768     15.73     16.64
1160.74/291.20	c Finding binary XORs  T:     0.11 s  found:      43
1192.25/299.11	c  N dy  2493    438944     17663     56074     82441     66877    368872   4560306     15.97     33.81
1238.50/310.67	c  N dy  2636    459044     17663     56074     82583     54709    368872   1971093     16.15     17.57
1277.18/320.32	c  N dy  2782    479072     17659     56074     82718     74449    368872   4166841     16.34     17.63
1312.68/329.21	c  N dy  2941    499092     17657     56074     82861     61603    368870   2433453     16.71     35.90
1335.41/334.92	c Finding binary XORs  T:     0.11 s  found:      25
1354.17/339.68	c  N dy  3100    519166     17657     56061     82714     80767    368550   5689156     17.19     32.74
1386.06/347.62	c  S st  3233    536883     17657     56061     82819     64665    368549   2796081     17.42   no data
1387.26/347.99	c  S st  3233    537383     17657     56061     82832     65150    368549   2856156     17.42   no data
1387.66/348.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1424.35/357.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   12 Bins:   4392 BRemL:    810 BRemN:      8 P: 117.1M T:  9.20
1424.77/357.34	c Replacing      108 vars Replaced    41815 lits Time:     0.12 s 
1424.77/357.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1424.77/357.37	c bin-w-bin subsume rem          693 bins  time:  0.01 s
1424.77/357.41	c subs with bin:       71  lits-rem:        59  v-fix:    0  time:  0.04 s
1425.19/357.48	c Subs w/ non-existent bins:      3 l-rem:      8 v-fix:     0 done:  17553 time:  0.08 s
1425.54/357.51	c Removed useless bin:       2  fixed:     0  props:   1.02M  time:  0.02 s
1425.54/357.59	c lits-rem:         3  cl-subs:       34  v-elim:     26  v-fix:    0  time:  0.08 s
1432.73/359.31	c subs with bin:      100  lits-rem:      4383  v-fix:    0  time:  1.61 s
1441.91/361.70	c lits-rem:      8391  cl-subs:     1187  v-elim:      0  v-fix:    0  time:  2.37 s
1442.32/361.80	c vivif2 --  cl tried    55863 cl shrink       30 lits rem         99 time: 0.10
1443.89/362.13	c vivif2 --  cl tried    62573 cl shrink    10818 lits rem     205644 time: 0.33
1445.89/362.64	c asymm  cl-useful: 0/1370/55857 lits-rem:0 time: 0.51
1445.89/362.68	c calculated reachability. Time: 0.03
1445.89/362.68	c  N dy  3233    537383     17527     55857     85121     62529    367470   2388440     17.42   no data
1446.30/362.79	c Finding binary XORs  T:     0.11 s  found:       2
1503.32/377.07	c  N dy  3319    557422     17527     55857     85779     82411    367469  10343111     17.43     18.40
1560.36/391.30	c  N dy  3411    577523     17526     55857     85921     67253    367469   7417153     17.45     18.40
1569.13/393.53	c Finding binary XORs  T:     0.11 s  found:      16
1624.16/407.32	c  N dy  3576    597584     17525     55855     86052     86986    367255  13044374     17.73     36.73
1674.42/419.94	c  N dy  3686    617712     17524     55855     86165     70544    367255   5105816     17.81     18.92
1719.47/431.26	c Finding binary XORs  T:     0.11 s  found:      29
1735.04/435.11	c  N dy  3824    637746     17522     55832     88648     90164    367167   8980024     17.99     46.30
1786.88/448.12	c Finding binary XORs  T:     0.11 s  found:      11
1790.07/448.95	c  N dy  3954    657749     17521     55824     93574     72986    367146   3994562     18.09     19.28
1836.74/460.66	c  N dy  4112    677783     17516     55824     93663     92844    367146   7467860     18.43     53.67
1878.21/471.08	c  N dy  4283    698402     17515     55824     93772     75225    367145   3935538     18.82     20.59
1925.32/482.83	c  N dy  4449    718437     17512     55824     93969     95083    367145   7657622     19.23     50.54
1966.75/493.26	c  N dy  4603    738517     17512     55824     94080     75931    367141   3488071     19.57     21.24
2014.21/505.15	c  N dy  4770    758539     17511     55824     94147     95831    367141   7586328     19.97     21.04
2023.78/507.56	c Finding binary XORs  T:     0.11 s  found:      33
2059.68/516.57	c  N dy  4927    778588     17511     55780     96931     74802    366521   3144419     20.36     50.00
2104.35/527.74	c  N dy  5077    798891     17504     55780     97079     94964    366521   6917835     20.65     21.91
2123.48/532.53	c  S st  5143    806074     17503     55780     97103    102108    366521   8484186     20.79   no data
2125.08/532.92	c  S st  5143    806575     17503     55780     97112    102596    366521   8534296     20.79   no data
2125.08/532.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2166.60/543.39	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   11 Bins:   1271 BRemL:   2442 BRemN:      4 P: 141.6M T: 10.43
2168.15/543.78	c Replacing      102 vars Replaced    66435 lits Time:     0.39 s 
2168.55/543.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2168.55/543.81	c bin-w-bin subsume rem         1536 bins  time:  0.01 s
2168.55/543.85	c subs with bin:       71  lits-rem:        86  v-fix:    0  time:  0.04 s
2168.96/543.93	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  17403 time:  0.08 s
2168.96/543.95	c Removed useless bin:       3  fixed:     0  props:   0.97M  time:  0.02 s
2169.36/544.07	c lits-rem:         1  cl-subs:       66  v-elim:     28  v-fix:    0  time:  0.12 s
2177.73/546.10	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  1.65 s
2196.07/550.71	c lits-rem:      2064  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  4.59 s
2196.47/550.81	c vivif2 --  cl tried    55529 cl shrink       11 lits rem         13 time: 0.10
2200.06/551.72	c vivif2 --  cl tried    97007 cl shrink    30682 lits rem    1004651 time: 0.90
2202.05/552.23	c asymm  cl-useful: 2/976/55528 lits-rem:6 time: 0.51
2202.05/552.27	c calculated reachability. Time: 0.03
2202.05/552.27	c  N dy  5143    806575     17375     55526     93198     96896    364926   6677966     20.79   no data
2202.45/552.39	c Finding binary XORs  T:     0.12 s  found:       2
2257.49/566.13	c  N dy  5249    826606     17372     55526     93581     77595    364926   6854356     20.83     27.16
2325.68/583.24	c  N dy  5361    846670     17371     55526     93784     97442    364926  15560557     20.91     34.02
2387.10/598.68	c Finding binary XORs  T:     0.12 s  found:      32
2391.89/599.84	c  N dy  5456    866734     17366     55468     93729     74683    364524   3657109     20.89     37.49
2454.90/615.64	c  N dy  5565    887123     17366     55468     93828     94779    364524   7517606     20.96     22.17
2508.78/629.13	c  N dy  5719    907166     17365     55468     93970     71341    364524   2063282     21.21     89.11
2553.80/640.42	c  N dy  5889    927173     17365     55468     94076     91177    364524   5772239     21.58     22.80
2605.64/653.45	c  N dy  6050    947223     17365     55468     94147    111057    364524   9625801     21.93     23.13
2651.51/664.93	c  N dy  6210    967610     17362     55468     94269     87401    364523   4490177     22.22     23.47
2701.38/677.44	c  N dy  6386    987703     17360     55468     94381    107351    364523   8979676     22.67     65.82
2718.93/681.82	c Finding binary XORs  T:     0.12 s  found:      20
2750.81/689.81	c  N dy  6549   1007747     17359     55434     94024     81424    364204   3078673     23.00     54.44
2799.48/702.05	c  N dy  6703   1027810     17357     55434     94101    101334    364204   7974766     23.36     38.72
2856.90/716.46	c  N dy  6888   1047869     17357     55434     94216     74668    364204   1674312     23.85     39.10
2901.57/727.64	c  N dy  7028   1067878     17357     55434     94326     94485    364204   5204018     24.04     25.39
2911.15/730.09	c  F st  7061   1071878     17357     55434     94329     98457    364204   6151740     24.13   no data
2912.38/730.34	c Replacing       54 vars Replaced    46137 lits Time:     0.22 s 
2949.43/739.63	c Finding binary XORs  T:     0.11 s  found:      22
2954.22/740.87	c  N dy  7160   1087902     17299     55362    106393    114018    363592   9877299     24.36     66.69
3002.47/752.90	c  N dy  7330   1107908     17299     55362    106764     86614    363592   3672735     24.73     35.61
3048.73/764.50	c  N dy  7462   1128144     17295     55362    106826    106676    363592   7613492     24.94     26.80
3083.06/773.18	c Finding binary XORs  T:     0.12 s  found:      20
3103.38/778.21	c  N dy  7620   1148187     17291     55335    112945     77858    363121   1707776     25.23     68.26
3148.05/789.46	c  N dy  7779   1168287     17291     55335    113019     97796    363121   5619651     25.52     50.21
3159.60/792.30	c Finding binary XORs  T:     0.11 s  found:       1
3200.69/802.66	c  N dy  7940   1188335     17287     55335    113092    117686    363121  10059473     25.80     41.12
3252.94/815.79	c  N dy  8097   1208682     17285     55335    113170     88360    363121   3528432     26.09     28.04
3255.72/816.48	c  S st  8105   1209863     17285     55335    113170     89531    363121   3733805     26.09     21.66
3257.32/816.80	c  S st  8105   1210375     17285     55335    113176     90036    363121   3821290     26.09   no data
3257.32/816.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3299.60/827.50	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   19 Bins:   2301 BRemL:   3918 BRemN:      4 P: 151.2M T: 10.67
3300.40/827.67	c Replacing       62 vars Replaced    62176 lits Time:     0.17 s 
3300.40/827.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3300.79/827.71	c bin-w-bin subsume rem         2329 bins  time:  0.01 s
3300.79/827.76	c subs with bin:       94  lits-rem:       144  v-fix:    0  time:  0.05 s
3301.19/827.83	c Subs w/ non-existent bins:      6 l-rem:     17 v-fix:     0 done:  17223 time:  0.07 s
3301.19/827.86	c Removed useless bin:       6  fixed:     0  props:   0.99M  time:  0.02 s
3301.59/827.95	c lits-rem:         3  cl-subs:       53  v-elim:     34  v-fix:    0  time:  0.10 s
3308.76/829.73	c subs with bin:      155  lits-rem:      8525  v-fix:    0  time:  1.64 s
3322.32/833.14	c lits-rem:     10556  cl-subs:     1647  v-elim:      0  v-fix:    0  time:  3.40 s
3322.73/833.26	c vivif2 --  cl tried    55130 cl shrink       47 lits rem         54 time: 0.11
3324.34/833.70	c vivif2 --  cl tried    86728 cl shrink    15192 lits rem     272066 time: 0.43
3326.31/834.19	c asymm  cl-useful: 5/1003/55122 lits-rem:15 time: 0.50
3326.71/834.24	c calculated reachability. Time: 0.03
3326.71/834.24	c  N dy  8105   1210375     17189     55117    108423     86494    361652   3287645     26.09   no data
3327.11/834.36	c Finding binary XORs  T:     0.12 s  found:       7
3395.31/851.44	c  N dy  8160   1231207     17185     55117    108930    107219    361652  14241856     26.02     27.77
3406.48/854.26	c Finding binary XORs  T:     0.12 s  found:      20
3473.50/871.08	c  N dy  8263   1251288     17181     55090    113396    126972    361563  21739606     26.05     33.75
3533.70/886.19	c  N dy  8357   1271331     17180     55090    113512     95047    361563   5831522     26.06     35.61
3584.74/898.96	c  N dy  8529   1291365     17178     55090    113566    114919    361563   9909967     26.41     46.65
3639.38/912.69	c  N dy  8696   1311461     17177     55090    113648     83691    361562   2270161     26.82     39.94
3687.64/924.73	c  N dy  8863   1331464     17177     55090    113734    103560    361562   6491526     27.16     42.72
3743.87/938.84	c  N dy  9024   1351499     17174     55090    113809    123393    361562  10926040     27.50     31.13
3799.71/952.88	c  N dy  9172   1371517     17173     55090    113905     91085    361562   3513757     27.80     48.90
3851.94/965.98	c  N dy  9332   1391572     17173     55090    113975    110963    361562   7940001     28.10     40.31
3870.70/970.68	c Finding binary XORs  T:     0.12 s  found:      28
3906.59/979.63	c  N dy  9509   1411612     17173     55025    110290    130435    361152  11922338     28.47     46.47
3958.84/992.73	c  N dy  9670   1431670     17173     55025    110367     96673    361151   4112820     28.81     49.01
4007.49/1004.99	c  N dy  9824   1451692     17173     55025    110466    116520    361151   8245202     29.11     63.82
4064.53/1019.28	c  N dy  9994   1471971     17172     55025    110564    136574    361151  12768943     29.46     31.09
4116.37/1032.22	c  N dy 10163   1492008     17172     55025    110663    102341    361151   4647329     29.77     37.36
4170.62/1045.84	c  N dy 10339   1512084     17172     55025    110724    122235    361151   9103532     30.08     50.95
4229.24/1060.50	c  N dy 10516   1532112     17172     55025    110823    142017    361151  13612891     30.49     98.49
4279.09/1073.09	c  N dy 10661   1552173     17172     55025    110896    106558    361151   5237099     30.70     44.93
4331.33/1086.13	c  N dy 10803   1572182     17172     55025    110943    126379    361151   9215089     30.96     56.81
4379.20/1098.14	c Finding binary XORs  T:     0.12 s  found:      17
4392.75/1101.58	c  N dy 10971   1592241     17171     55015    119593    146168    360944  13867196     31.26     76.33
4441.41/1113.78	c  N dy 11122   1612310     17168     55015    119741    109906    360944   5709305     31.44     72.32
4496.84/1127.68	c  N dy 11299   1632359     17168     55015    119804    129785    360944  10305941     31.80     54.60
4547.49/1140.39	c Finding binary XORs  T:     0.11 s  found:      16
4560.26/1143.55	c  N dy 11474   1652457     17165     54992    125033    149597    360835  15249538     32.20    109.62
4610.49/1156.12	c  N dy 11615   1672621     17158     54992    125479    111986    360835   5764296     32.37     34.79
4665.54/1169.99	c  N dy 11792   1692697     17153     54992    125530    131883    360835  10121595     32.70     44.66
4717.78/1183.07	c  S st 11925   1710375     17150     54992    125579    149414    360834  13910443     32.88     27.02
4719.40/1183.47	c  S st 11925   1710878     17150     54992    125581    149914    360834  14048954     32.88   no data
4719.82/1183.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4766.44/1195.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   32 Bins:   1649 BRemL:   3600 BRemN:      3 P: 183.4M T: 11.69
4769.22/1195.90	c Replacing      120 vars Replaced   245934 lits Time:     0.69 s 
4769.22/1195.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4769.22/1195.94	c bin-w-bin subsume rem         3435 bins  time:  0.02 s
4769.62/1196.01	c subs with bin:      102  lits-rem:       115  v-fix:    0  time:  0.06 s
4769.62/1196.08	c Subs w/ non-existent bins:      1 l-rem:     30 v-fix:     0 done:  17033 time:  0.07 s
4770.02/1196.10	c Removed useless bin:       4  fixed:     0  props:   1.05M  time:  0.02 s
4770.42/1196.26	c lits-rem:         0  cl-subs:      107  v-elim:     29  v-fix:    0  time:  0.15 s
4779.19/1198.48	c subs with bin:       24  lits-rem:       134  v-fix:    0  time:  1.61 s

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-3367241-1305389838/watcher-3367241-1305389838 -o /tmp/evaluation-result-3367241-1305389838/solver-3367241-1305389838 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367241-1305389838.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: 7.37 7.72 6.50 5/367 13926
/proc/meminfo: memFree=16243340/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 729214534 52396032 347 33554432000 4194304 4580107 140734647698272 18446744073709551615 47336055240616 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 12792 347 299 95 0 7774 0
[pid=13926/tid=13927] ppid=13924 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 729214534 52396032 347 33554432000 4194304 4580107 140734647698272 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 729214534 52396032 347 33554432000 4194304 4580107 140734647698272 18446744073709551615 47336055240630 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729214534 52396032 347 33554432000 4194304 4580107 140734647698272 18446744073709551615 47336055240624 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.103576 s]
/proc/loadavg: 7.37 7.72 6.50 5/367 13926
/proc/meminfo: memFree=16243340/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=386848 CPUtime=0.32 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) D 13924 13926 13799 0 -1 4202496 23866 0 0 0 22 10 0 0 17 0 4 0 729214534 396132352 19629 33554432000 4194304 4580107 140734647698272 18446744073709551615 4307948 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 96712 19629 337 95 0 91694 0
[pid=13926/tid=13927] ppid=13924 vsize=386848 CPUtime=0.07 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) D 13924 13926 13799 0 -1 4202560 5834 0 0 0 4 3 0 0 17 0 4 0 729214534 396132352 19629 33554432000 4194304 4580107 140734647698272 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=386848 CPUtime=0.07 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 5906 0 0 0 5 2 0 0 17 0 4 0 729214534 396132352 19629 33554432000 4194304 4580107 140734647698272 18446744073709551615 260905451946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=387568 CPUtime=0.08 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) D 13924 13926 13799 0 -1 4202560 5914 0 0 0 5 3 0 0 17 0 4 0 729214534 396869632 19632 33554432000 4194304 4580107 140734647698272 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 386848

[startup+1.1981 s]
/proc/loadavg: 7.37 7.72 6.50 5/367 13926
/proc/meminfo: memFree=16243340/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=431904 CPUtime=4.62 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 49554 0 0 0 441 21 0 0 19 0 4 0 729214534 442269696 40598 33554432000 4194304 4580107 140734647698272 18446744073709551615 4292952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 107976 40598 360 95 0 102958 0
[pid=13926/tid=13927] ppid=13924 vsize=431904 CPUtime=1.14 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12359 0 0 0 108 6 0 0 19 0 4 0 729214534 442269696 40598 33554432000 4194304 4580107 140734647698272 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=431904 CPUtime=1.15 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12290 0 0 0 111 4 0 0 19 0 4 0 729214534 442269696 40598 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=431904 CPUtime=1.16 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12709 0 0 0 111 5 0 0 19 0 4 0 729214534 442269696 40598 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 431904

[startup+1.2011 s]
/proc/loadavg: 7.37 7.72 6.50 5/367 13926
/proc/meminfo: memFree=16243340/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=431904 CPUtime=4.64 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 49554 0 0 0 443 21 0 0 19 0 4 0 729214534 442269696 40598 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 107976 40598 360 95 0 102958 0
[pid=13926/tid=13927] ppid=13924 vsize=431904 CPUtime=1.14 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12359 0 0 0 108 6 0 0 19 0 4 0 729214534 442269696 40598 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=431904 CPUtime=1.15 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12290 0 0 0 111 4 0 0 19 0 4 0 729214534 442269696 40598 33554432000 4194304 4580107 140734647698272 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=431904 CPUtime=1.16 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12709 0 0 0 111 5 0 0 19 0 4 0 729214534 442269696 40598 33554432000 4194304 4580107 140734647698272 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 431904

[startup+1.30108 s]
/proc/loadavg: 7.37 7.72 6.50 5/367 13926
/proc/meminfo: memFree=16243340/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=431904 CPUtime=5.04 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 49558 0 0 0 483 21 0 0 19 0 4 0 729214534 442269696 40602 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 107976 40602 360 95 0 102958 0
[pid=13926/tid=13927] ppid=13924 vsize=431904 CPUtime=1.24 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12359 0 0 0 118 6 0 0 19 0 4 0 729214534 442269696 40602 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=431904 CPUtime=1.25 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12290 0 0 0 121 4 0 0 19 0 4 0 729214534 442269696 40602 33554432000 4194304 4580107 140734647698272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=431904 CPUtime=1.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12713 0 0 0 121 5 0 0 19 0 4 0 729214534 442269696 40602 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 431904

[startup+1.50104 s]
/proc/loadavg: 7.37 7.72 6.50 5/367 13926
/proc/meminfo: memFree=16243340/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=431904 CPUtime=5.84 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 49573 0 0 0 563 21 0 0 19 0 4 0 729214534 442269696 40617 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 107976 40617 360 95 0 102958 0
[pid=13926/tid=13927] ppid=13924 vsize=431904 CPUtime=1.44 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12359 0 0 0 138 6 0 0 19 0 4 0 729214534 442269696 40617 33554432000 4194304 4580107 140734647698272 18446744073709551615 4234794 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=431904 CPUtime=1.45 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12291 0 0 0 141 4 0 0 19 0 4 0 729214534 442269696 40617 33554432000 4194304 4580107 140734647698272 18446744073709551615 4234999 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=431904 CPUtime=1.46 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12727 0 0 0 141 5 0 0 19 0 4 0 729214534 442269696 40617 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 431904

[startup+3.10075 s]
/proc/loadavg: 7.66 7.78 6.53 9/371 13930
/proc/meminfo: memFree=16076776/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=431904 CPUtime=12.24 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 49891 0 0 0 1203 21 0 0 23 0 4 0 729214534 442269696 40728 33554432000 4194304 4580107 140734647698272 18446744073709551615 4292928 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 107976 40728 360 95 0 102958 0
[pid=13926/tid=13927] ppid=13924 vsize=431904 CPUtime=3.03 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12360 0 0 0 297 6 0 0 23 0 4 0 729214534 442269696 40728 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=431904 CPUtime=3.06 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12291 0 0 0 302 4 0 0 24 0 4 0 729214534 442269696 40728 33554432000 4194304 4580107 140734647698272 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=431904 CPUtime=3.07 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 13044 0 0 0 302 5 0 0 24 0 4 0 729214534 442269696 40728 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 431904

[startup+6.30117 s]
/proc/loadavg: 7.66 7.78 6.53 9/371 13930
/proc/meminfo: memFree=16069924/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=436240 CPUtime=24.98 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 51174 0 0 0 2477 21 0 0 25 0 4 0 729214534 446709760 42011 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 109060 42011 361 95 0 104042 0
[pid=13926/tid=13927] ppid=13924 vsize=436240 CPUtime=6.19 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12360 0 0 0 613 6 0 0 25 0 4 0 729214534 446709760 42011 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=436240 CPUtime=6.25 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 12291 0 0 0 621 4 0 0 25 0 4 0 729214534 446709760 42011 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=436240 CPUtime=6.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 14327 0 0 0 621 5 0 0 25 0 4 0 729214534 446709760 42011 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 436240

[startup+12.701 s]
/proc/loadavg: 7.71 7.79 6.54 10/371 13931
/proc/meminfo: memFree=16008104/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=439204 CPUtime=50.5 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 66864 0 0 0 5026 24 0 0 25 0 4 0 729214534 449744896 54944 33554432000 4194304 4580107 140734647698272 18446744073709551615 4415812 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 109801 54944 375 95 0 104783 0
[pid=13926/tid=13927] ppid=13924 vsize=439204 CPUtime=12.52 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 16499 0 0 0 1245 7 0 0 25 0 4 0 729214534 449744896 54944 33554432000 4194304 4580107 140734647698272 18446744073709551615 4490623 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=439204 CPUtime=12.65 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 18588 0 0 0 1260 5 0 0 25 0 4 0 729214534 449744896 54944 33554432000 4194304 4580107 140734647698272 18446744073709551615 4399437 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=439204 CPUtime=12.66 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 15494 0 0 0 1260 6 0 0 25 0 4 0 729214534 449744896 54944 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 439204

[startup+25.5007 s]
/proc/loadavg: 7.83 7.81 6.56 9/371 13931
/proc/meminfo: memFree=15952680/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=530672 CPUtime=101.47 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 110746 0 0 0 10110 37 0 0 25 0 4 0 729214534 543408128 76871 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 132668 76871 380 95 0 127650 0
[pid=13926/tid=13927] ppid=13924 vsize=530672 CPUtime=25.08 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 29721 0 0 0 2498 10 0 0 25 0 4 0 729214534 543408128 76871 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=530672 CPUtime=25.45 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 35871 0 0 0 2536 9 0 0 25 0 4 0 729214534 543408128 76871 33554432000 4194304 4580107 140734647698272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=530672 CPUtime=25.46 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 19835 0 0 0 2539 7 0 0 25 0 4 0 729214534 543408128 76871 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 530672

[startup+51.101 s]
/proc/loadavg: 7.89 7.82 6.60 9/371 13932
/proc/meminfo: memFree=15472888/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=1064164 CPUtime=203.56 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 253961 0 0 0 20287 69 0 0 25 0 4 0 729214534 1089703936 189802 33554432000 4194304 4580107 140734647698272 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 266041 189802 380 95 0 261023 0
[pid=13926/tid=13927] ppid=13924 vsize=1064164 CPUtime=50.38 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 55394 0 0 0 5022 16 0 0 25 0 4 0 729214534 1089703936 189802 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=1064164 CPUtime=51.05 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 51974 0 0 0 5091 14 0 0 25 0 4 0 729214534 1089703936 189802 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=1064164 CPUtime=51.06 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 97626 0 0 0 5082 24 0 0 25 0 4 0 729214534 1089703936 189802 33554432000 4194304 4580107 140734647698272 18446744073709551615 4515177 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.56
Current children cumulated vsize (KiB) 1064164

[startup+102.301 s]
/proc/loadavg: 8.01 7.87 6.68 9/371 13933
/proc/meminfo: memFree=15142152/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=1392384 CPUtime=407.76 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 361106 0 0 0 40671 105 0 0 25 0 4 0 729214534 1425801216 259708 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 348096 259708 380 95 0 343078 0
[pid=13926/tid=13927] ppid=13924 vsize=1392384 CPUtime=100.97 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 81963 0 0 0 10072 25 0 0 25 0 4 0 729214534 1425801216 259708 33554432000 4194304 4580107 140734647698272 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=1392384 CPUtime=102.24 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 79316 0 0 0 10200 24 0 0 25 0 4 0 729214534 1425801216 259708 33554432000 4194304 4580107 140734647698272 18446744073709551615 4295182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=1392384 CPUtime=102.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 119029 0 0 0 10196 30 0 0 25 0 4 0 729214534 1425801216 259708 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.76
Current children cumulated vsize (KiB) 1392384

[startup+162.301 s]

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

[pid=13926] ppid=13924 vsize=2325080 CPUtime=2800.67 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1296019 0 0 0 279647 420 0 0 25 0 4 0 729214534 2380881920 457490 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 581270 457490 380 95 0 576252 0
[pid=13926/tid=13927] ppid=13924 vsize=2325080 CPUtime=693.88 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 300390 0 0 0 69286 102 0 0 25 0 4 0 729214534 2380881920 457490 33554432000 4194304 4580107 140734647698272 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2325080 CPUtime=702.24 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 303427 0 0 0 70122 102 0 0 25 0 4 0 729214534 2380881920 457490 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2325080 CPUtime=702.27 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 379440 0 0 0 70115 112 0 0 25 0 4 0 729214534 2380881920 457490 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.67
Current children cumulated vsize (KiB) 2325080

[startup+762.301 s]
/proc/loadavg: 8.13 8.07 7.38 9/371 13982
/proc/meminfo: memFree=16307488/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2421772 CPUtime=3039.96 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1382991 0 0 0 303544 452 0 0 25 0 4 0 729214534 2479894528 474429 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 605443 474429 380 95 0 600425 0
[pid=13926/tid=13927] ppid=13924 vsize=2421772 CPUtime=753.18 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 318034 0 0 0 75209 109 0 0 25 0 4 0 729214534 2479894528 474429 33554432000 4194304 4580107 140734647698272 18446744073709551615 4413250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2421772 CPUtime=762.24 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 327357 0 0 0 76111 113 0 0 25 0 4 0 729214534 2479894528 474429 33554432000 4194304 4580107 140734647698272 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2421772 CPUtime=762.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 400092 0 0 0 76109 117 0 0 25 0 4 0 729214534 2479894528 474429 33554432000 4194304 4580107 140734647698272 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.96
Current children cumulated vsize (KiB) 2421772

[startup+822.301 s]
/proc/loadavg: 8.13 8.09 7.43 9/371 13983
/proc/meminfo: memFree=16193244/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2272884 CPUtime=3279.25 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1496752 0 0 0 327439 486 0 0 25 0 4 0 729214534 2327433216 482804 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 568221 482804 380 95 0 563203 0
[pid=13926/tid=13927] ppid=13924 vsize=2272884 CPUtime=812.48 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 352917 0 0 0 81129 119 0 0 25 0 4 0 729214534 2327433216 482804 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2272884 CPUtime=822.24 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 352569 0 0 0 82103 121 0 0 25 0 4 0 729214534 2327433216 482804 33554432000 4194304 4580107 140734647698272 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2272884 CPUtime=822.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 430486 0 0 0 82099 127 0 0 25 0 4 0 729214534 2327433216 482804 33554432000 4194304 4580107 140734647698272 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.25
Current children cumulated vsize (KiB) 2272884

[startup+882.301 s]
/proc/loadavg: 8.08 8.08 7.46 9/371 13985
/proc/meminfo: memFree=16183656/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2469528 CPUtime=3518.54 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1575998 0 0 0 351341 513 0 0 25 0 4 0 729214534 2528796672 494825 33554432000 4194304 4580107 140734647698272 18446744073709551615 4316717 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 617382 494825 380 95 0 612364 0
[pid=13926/tid=13927] ppid=13924 vsize=2469528 CPUtime=871.76 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 372049 0 0 0 87050 126 0 0 25 0 4 0 729214534 2528796672 494825 33554432000 4194304 4580107 140734647698272 18446744073709551615 4317019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2469528 CPUtime=882.24 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 372598 0 0 0 88096 128 0 0 25 0 4 0 729214534 2528796672 494825 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2469528 CPUtime=882.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 449140 0 0 0 88093 133 0 0 25 0 4 0 729214534 2528796672 494825 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.54
Current children cumulated vsize (KiB) 2469528

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 7.50 9/371 13986
/proc/meminfo: memFree=16177172/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2570340 CPUtime=3757.83 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1652243 0 0 0 375242 541 0 0 25 0 4 0 729214534 2632028160 492978 33554432000 4194304 4580107 140734647698272 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 642585 492978 380 95 0 637567 0
[pid=13926/tid=13927] ppid=13924 vsize=2570340 CPUtime=931.05 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 392250 0 0 0 92973 132 0 0 25 0 4 0 729214534 2632028160 492978 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2570340 CPUtime=942.23 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 392643 0 0 0 94087 136 0 0 25 0 4 0 729214534 2632028160 492978 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2570340 CPUtime=942.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 464114 0 0 0 94086 140 0 0 25 0 4 0 729214534 2632028160 492978 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.83
Current children cumulated vsize (KiB) 2570340

[startup+1002.3 s]
/proc/loadavg: 8.05 8.08 7.53 9/371 13988
/proc/meminfo: memFree=16216572/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2486412 CPUtime=3997.12 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1729295 0 0 0 399139 573 0 0 25 0 4 0 729214534 2546085888 479143 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 621603 479143 380 95 0 616585 0
[pid=13926/tid=13927] ppid=13924 vsize=2486412 CPUtime=990.34 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 410603 0 0 0 98894 140 0 0 25 0 4 0 729214534 2546085888 479143 33554432000 4194304 4580107 140734647698272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2486412 CPUtime=1002.24 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 411666 0 0 0 100081 143 0 0 25 0 4 0 729214534 2546085888 479143 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2486412 CPUtime=1002.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 484741 0 0 0 100078 148 0 0 25 0 4 0 729214534 2546085888 479143 33554432000 4194304 4580107 140734647698272 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.12
Current children cumulated vsize (KiB) 2486412

[startup+1062.3 s]
/proc/loadavg: 8.05 8.07 7.56 9/371 13990
/proc/meminfo: memFree=16015536/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2588896 CPUtime=4236.42 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1808895 0 0 0 423042 600 0 0 25 0 4 0 729214534 2651029504 519420 33554432000 4194304 4580107 140734647698272 18446744073709551615 4296803 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 647224 519420 380 95 0 642206 0
[pid=13926/tid=13927] ppid=13924 vsize=2588896 CPUtime=1049.64 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 424934 0 0 0 104819 145 0 0 25 0 4 0 729214534 2651029504 519420 33554432000 4194304 4580107 140734647698272 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2588896 CPUtime=1062.24 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 433646 0 0 0 106074 150 0 0 25 0 4 0 729214534 2651029504 519420 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2588896 CPUtime=1062.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 506531 0 0 0 106070 156 0 0 25 0 4 0 729214534 2651029504 519420 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.42
Current children cumulated vsize (KiB) 2588896

[startup+1122.3 s]
/proc/loadavg: 8.02 8.06 7.59 9/371 13991
/proc/meminfo: memFree=16103160/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2407936 CPUtime=4475.71 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1892874 0 0 0 446940 631 0 0 25 0 4 0 729214534 2465726464 493577 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 601984 493577 380 95 0 596966 0
[pid=13926/tid=13927] ppid=13924 vsize=2407936 CPUtime=1108.92 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 440483 0 0 0 110742 150 0 0 25 0 4 0 729214534 2465726464 493577 33554432000 4194304 4580107 140734647698272 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2407936 CPUtime=1122.24 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 454150 0 0 0 112067 157 0 0 25 0 4 0 729214534 2465726464 493577 33554432000 4194304 4580107 140734647698272 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2407936 CPUtime=1122.26 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 530414 0 0 0 112061 165 0 0 25 0 4 0 729214534 2465726464 493577 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.71
Current children cumulated vsize (KiB) 2407936

[startup+1182.3 s]
/proc/loadavg: 8.12 8.07 7.62 9/371 13993
/proc/meminfo: memFree=16018428/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2562400 CPUtime=4715.01 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 1983466 0 0 0 470839 662 0 0 25 0 4 0 729214534 2623897600 499935 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294754 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 640600 499935 380 95 0 635582 0
[pid=13926/tid=13927] ppid=13924 vsize=2562400 CPUtime=1168.22 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 465754 0 0 0 116663 159 0 0 25 0 4 0 729214534 2623897600 499939 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2562400 CPUtime=1182.25 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 475206 0 0 0 118060 165 0 0 25 0 4 0 729214534 2623897600 499939 33554432000 4194304 4580107 140734647698272 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2562400 CPUtime=1182.27 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 553635 0 0 0 118054 173 0 0 25 0 4 0 729214534 2623897600 499939 33554432000 4194304 4580107 140734647698272 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.01
Current children cumulated vsize (KiB) 2562400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.08 8.07 7.63 9/371 13993
/proc/meminfo: memFree=15790628/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2906992 CPUtime=4800.35 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 2047935 0 0 0 479357 678 0 0 25 0 4 0 729214534 2976759808 550363 33554432000 4194304 4580107 140734647698272 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 726748 550363 380 95 0 721730 0
[pid=13926/tid=13927] ppid=13924 vsize=2906992 CPUtime=1189.36 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 473951 0 0 0 118772 164 0 0 25 0 4 0 729214534 2976759808 550367 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2906992 CPUtime=1203.64 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 496886 0 0 0 120197 167 0 0 25 0 4 0 729214534 2976759808 550367 33554432000 4194304 4580107 140734647698272 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2906992 CPUtime=1203.67 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 562383 0 0 0 120190 177 0 0 25 0 4 0 729214534 2976759808 550367 33554432000 4194304 4580107 140734647698272 18446744073709551615 4324096 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 2906992

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

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

[startup+1203.7 s]
/proc/loadavg: 8.08 8.07 7.63 9/371 13993
/proc/meminfo: memFree=15790628/32950928 swapFree=65762508/67111528
[pid=13926] ppid=13924 vsize=2906992 CPUtime=4800.35 cores=1,3,5,7
/proc/13926/stat : 13926 (strangenight2-m) R 13924 13926 13799 0 -1 4202496 2047935 0 0 0 479357 678 0 0 25 0 4 0 729214534 2976759808 550363 33554432000 4194304 4580107 140734647698272 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13926/statm: 726748 550363 380 95 0 721730 0
[pid=13926/tid=13927] ppid=13924 vsize=2906992 CPUtime=1189.36 cores=1,3,5,7
/proc/13926/task/13927/stat : 13927 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 473951 0 0 0 118772 164 0 0 25 0 4 0 729214534 2976759808 550367 33554432000 4194304 4580107 140734647698272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13926/tid=13928] ppid=13924 vsize=2906992 CPUtime=1203.64 cores=1,3,5,7
/proc/13926/task/13928/stat : 13928 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 496886 0 0 0 120197 167 0 0 25 0 4 0 729214534 2976759808 550367 33554432000 4194304 4580107 140734647698272 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13926/tid=13929] ppid=13924 vsize=2906992 CPUtime=1203.67 cores=1,3,5,7
/proc/13926/task/13929/stat : 13929 (strangenight2-m) R 13924 13926 13799 0 -1 4202560 562383 0 0 0 120190 177 0 0 25 0 4 0 729214534 2976759808 550367 33554432000 4194304 4580107 140734647698272 18446744073709551615 4324096 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 2906992

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.81
CPU time (s): 4800.49
CPU user time (s): 4793.62
CPU system time (s): 6.87795
CPU usage (%): 398.775
Max. virtual memory (cumulated for all children) (KiB): 2906992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.62
system time used= 6.87795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2047941
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= 15444
involuntary context switches= 20574

runsolver used 3.90641 second user time and 10.3514 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 18:17:19
IDJOB=3367241
IDBENCH=70797
IDSOLVER=1844
FILE ID=node116/3367241-1305389838
RUNJOBID= node116-1305388868-13818
PBS_JOBID= 13324425
Free space on /tmp= 73104 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367241-1305389838/watcher-3367241-1305389838 -o /tmp/evaluation-result-3367241-1305389838/solver-3367241-1305389838 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367241-1305389838.cnf

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

MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=423632362

node116.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.826
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.65
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.826
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.15
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.826
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.75
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.826
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.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      16243496 kB
Buffers:        288872 kB
Cached:        4582292 kB
SwapCached:      12420 kB
Active:       13389700 kB
Inactive:      3041916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16243496 kB
SwapTotal:    67111528 kB
SwapFree:     65762508 kB
Dirty:           10096 kB
Writeback:           0 kB
AnonPages:    11558496 kB
Mapped:          16276 kB
Slab:           160728 kB
PageTables:      48536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 85224540 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= 73120 MiB
End job on node116 at 2011-05-14 18:37:24