Trace number 3394772

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)UNSAT 10859.9 1362.89

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
MD5SUMf16626953757fdd1326f2a14f01adca9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark911.704
Satisfiable
(Un)Satisfiability was proved
Number of variables435701
Number of clauses1379987
Sum of the clauses size3544455
Maximum clause length304
Minimum clause length1
Number of clauses of size 1142
Number of clauses of size 2654099
Number of clauses of size 3705129
Number of clauses of size 412732
Number of clauses of size 54852
Number of clauses of size over 53033

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3394772-1306105444.cnf'
0.00/0.05	c -- header says num vars:         435701
0.00/0.05	c -- header says num clauses:     1379987
11.62/2.20	c -- clauses added:            0 learnts,      1379987 normals,            0 xors
11.62/2.20	c -- vars added     435701
11.62/2.20	c Parsing time:  1.12 s
11.62/2.20	c  N st     0         0    435701    724527    653851         0   3540036         0   no data   no data
26.57/4.10	c asymm  cl-useful: 0/108/708994 lits-rem:0 time: 1.87
323.54/41.31	c Flit:    80 Blit:   3931 bXBeca:    0 bXProp: 54228 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 37.21
324.34/41.42	c Cleaning up after failed var search:     0.11 s 
325.94/41.70	c Replacing    54343 vars Replaced   773366 lits Time:     0.26 s 
330.72/42.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
331.51/42.35	c bin-w-bin subsume rem           63 bins  time:  0.13 s
334.71/42.73	c subs with bin:     1389  lits-rem:      1915  v-fix:    0  time:  0.37 s
497.49/63.14	c Subs w/ non-existent bins:   2690 l-rem:    131 v-fix:   414 done:  23227 time: 20.40 s
504.66/64.06	c Removed useless bin:      37  fixed:   422  props:  20.05M  time:  0.92 s
527.00/66.87	c lits-rem:       692  cl-subs:    23286  v-elim: 122633  v-fix:  425  time:  2.72 s
528.64/67.05	c Finding binary XORs  T:     0.17 s  found:    6290
530.13/67.27	c Replacing     6290 vars Replaced   114140 lits Time:     0.22 s 
537.30/68.12	c Finding non-binary XORs:     0.57 s (found:  108497, avg size: 3.0)
537.30/68.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    177 locsubst: 16776 time:   0.26
538.83/68.32	c Replacing     8384 vars Replaced    84747 lits Time:     0.20 s 
538.83/68.38	c calculated reachability. Time: 0.01
539.63/68.45	c Calc default polars -  time:   0.07 s pos:   88478 undec:  213768 neg:  133455
539.63/68.45	c =========================================================================================
539.63/68.45	c types(t): F = full restart, N = normal restart
539.63/68.45	c types(t): S = simplification begin/end, E = solution found
539.63/68.45	c restart types(rt): st = static, dy = dynamic
539.63/68.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
539.63/68.45	c  B st     0         0    229971    205722    271052         0   1598684         0   no data   no data
589.79/74.75	c Decided on static restart strategy
646.42/81.85	c  N st     8      4913    229854    205722    271449      4435   1598678    217014   no data   no data
756.65/95.66	c  N st    10     11296    229339    205722    272274     10372   1598669    861165   no data   no data
791.78/100.06	c Finding binary XORs  T:     0.15 s  found:    1035
839.62/106.05	c  N st    11     17039    228236    201472    303912     15893   1577097   1829136   no data   no data
937.01/118.23	c  F st    12     25001    227930    201472    307428     15310   1577094   1762313   no data   no data
938.61/118.47	c Replacing     1620 vars Replaced    24459 lits Time:     0.16 s 
940.21/118.67	c Replacing       26 vars Replaced      149 lits Time:     0.12 s 
979.32/123.53	c  N st    12     25001    226271    199350    304575     15275   1562819   1759899   no data   no data
1050.37/132.41	c Finding binary XORs  T:     0.15 s  found:     974
1060.74/133.80	c Decided on static restart strategy
1061.55/133.80	c  N st    18     30001    225886    197832    306174     20064   1555782   2256179   no data   no data
1061.55/133.80	c  S st    18     30001    225886    197832    306174     20064   1555782   2256179   no data   no data
1082.44/136.43	c  S st    18     30504    225852    197832    306215     20501   1555782   2271274   no data   no data
1083.89/136.64	c x-sub:  8156 x-cut:      0 vfix:      0 v-elim:    393 locsubst:   190 time:   0.21
1199.64/151.18	c Flit:    54 Blit:   1782 bXBeca:    0 bXProp:  547 Bins:  22628 BRemL:      1 BRemN:      1 P: 200.0M T: 14.54
1200.44/151.27	c Cleaning up after failed var search:     0.08 s 
1202.84/151.51	c Replacing     2816 vars Replaced    58764 lits Time:     0.22 s 
1203.65/151.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1204.50/151.72	c bin-w-bin subsume rem        34630 bins  time:  0.06 s
1206.02/151.97	c subs with bin:    22465  lits-rem:     33445  v-fix:    0  time:  0.24 s
1286.64/162.01	c Subs w/ non-existent bins:   1377 l-rem:   1641 v-fix:   582 done:  43567 time: 10.04 s
1289.04/162.34	c Removed useless bin:     712  fixed:   603  props:  20.00M  time:  0.32 s
1300.22/163.70	c lits-rem:     14574  cl-subs:    28859  v-elim:  41235  v-fix:   10  time:  1.36 s
1301.07/163.82	c Replacing       61 vars Replaced      538 lits Time:     0.11 s 
1301.95/163.96	c subs with bin:      119  lits-rem:      1274  v-fix:    0  time:  0.09 s
1303.40/164.18	c lits-rem:        95  cl-subs:      441  v-elim:      0  v-fix:    0  time:  0.17 s
1309.85/164.93	c asymm  cl-useful: 445/839/146222 lits-rem:2253 time: 0.75
1309.85/164.98	c calculated reachability. Time: 0.01
1309.85/164.98	c  N st    18     30504    178310    146217    221252      6961   1274547    131742   no data   no data
1311.37/165.11	c Finding binary XORs  T:     0.13 s  found:    2159
1312.17/165.22	c Replacing     2159 vars Replaced    25846 lits Time:     0.11 s 
1422.36/179.01	c  N st    20     37614    176002    145886    218113     13873   1264808    647798   no data   no data
1509.37/189.92	c Finding binary XORs  T:     0.12 s  found:     132
1528.53/192.36	c  N st    21     44013    175868    145126    227966     13145   1260414    638524   no data   no data
1548.48/194.81	c  S st    22     45758    175866    145126    227989     14845   1260412    820842   no data   no data
1563.66/196.76	c  S st    22     46263    175827    145126    228028     15289   1260412    831758   no data   no data
1565.39/196.93	c x-sub:    53 x-cut:      0 vfix:      0 v-elim:    587 locsubst:   662 time:   0.17
1680.98/211.46	c Flit:   276 Blit:   1508 bXBeca:    0 bXProp:  482 Bins:   4237 BRemL:      0 BRemN:      2 P: 200.1M T: 14.53
1681.78/211.53	c Cleaning up after failed var search:     0.06 s 
1682.59/211.69	c Replacing     2718 vars Replaced    44640 lits Time:     0.14 s 
1684.19/211.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1684.19/211.84	c bin-w-bin subsume rem        15008 bins  time:  0.04 s
1685.78/212.02	c subs with bin:    13596  lits-rem:     23201  v-fix:    0  time:  0.19 s
1766.47/222.19	c Subs w/ non-existent bins:    605 l-rem:   2587 v-fix:   150 done:  36936 time: 10.17 s
1769.60/222.51	c Removed useless bin:     542  fixed:     0  props:  20.04M  time:  0.31 s
1772.79/222.95	c lits-rem:      2858  cl-subs:     5235  v-elim:   3617  v-fix:   11  time:  0.43 s
1774.39/223.10	c Replacing       87 vars Replaced      838 lits Time:     0.15 s 
1777.58/223.53	c subs with bin:       78  lits-rem:      4981  v-fix:    0  time:  0.32 s
1779.98/223.87	c lits-rem:       185  cl-subs:      358  v-elim:      0  v-fix:    0  time:  0.29 s
1786.35/224.60	c asymm  cl-useful: 957/2156/122371 lits-rem:2960 time: 0.73
1786.35/224.64	c calculated reachability. Time: 0.01
1786.35/224.65	c  N st    22     46263    165508    122344    210614     13926   1142659    662436   no data   no data
1787.15/224.77	c Finding binary XORs  T:     0.12 s  found:     940
1962.00/246.64	c  N st    23     60662    165505    122344    210677     28023   1142654   2617640   no data   no data
1963.60/246.86	c Finding binary XORs  T:     0.12 s  found:     490
2120.83/266.57	c Finding binary XORs  T:     0.12 s  found:      84
2128.02/267.49	c  N st    24     69394    164793    121235    221854     23985   1133746   1775556   no data   no data
2128.02/267.49	c  S st    24     69394    164793    121235    221854     23985   1133746   1775556   no data   no data
2142.39/269.20	c  S st    24     69894    164764    121235    221889     24436   1133746   1794936   no data   no data
2143.19/269.37	c x-sub:   109 x-cut:      0 vfix:      0 v-elim:    441 locsubst:  1038 time:   0.16
2248.59/282.58	c Flit:    21 Blit:      7 bXBeca:    0 bXProp:   12 Bins:  12279 BRemL:      1 BRemN:      9 P: 200.1M T: 13.21
2250.31/282.80	c Replacing     2224 vars Replaced    36446 lits Time:     0.19 s 
2251.77/282.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2251.77/282.93	c bin-w-bin subsume rem        13132 bins  time:  0.04 s
2252.57/283.09	c subs with bin:     2739  lits-rem:      2658  v-fix:    0  time:  0.15 s
2308.46/290.03	c Subs w/ non-existent bins:    431 l-rem:   2926 v-fix:    51 done:  41395 time:  6.94 s
2310.06/290.29	c Removed useless bin:     858  fixed:    59  props:  20.07M  time:  0.26 s
2313.24/290.61	c lits-rem:      1807  cl-subs:     3950  v-elim:   1781  v-fix:    1  time:  0.33 s
2314.04/290.74	c Replacing      121 vars Replaced     1620 lits Time:     0.11 s 
2322.03/291.77	c subs with bin:       37  lits-rem:      2047  v-fix:    0  time:  0.88 s
2327.62/292.44	c lits-rem:       678  cl-subs:      349  v-elim:      0  v-fix:    0  time:  0.62 s
2332.40/293.02	c asymm  cl-useful: 306/980/115267 lits-rem:851 time: 0.58
2332.40/293.06	c calculated reachability. Time: 0.01
2332.40/293.07	c  N st    24     69894    160099    115218    212707     22851   1088262   1475584   no data   no data
2571.89/323.09	c  F st    25     87502    160099    115218    212750     23709   1088260   1145093   no data   no data
2572.69/323.19	c Replacing        9 vars Replaced       77 lits Time:     0.10 s 
2588.66/325.14	c  N st    25     87502    160090    115216    212733     23709   1088220   1145093   no data   no data
2590.27/325.35	c Finding binary XORs  T:     0.11 s  found:     785
2652.53/333.19	c Decided on static restart strategy
2695.65/338.51	c  N st    32     95540    159519    113865    217995     31556   1080258   1995684   no data   no data
2756.31/346.13	c Finding binary XORs  T:     0.11 s  found:     420
2840.11/356.66	c  N st    34    104841    158916    112908    219769     40685   1074036   3143193   no data   no data
2840.11/356.67	c  S st    34    104841    158916    112908    219769     40685   1074036   3143193   no data   no data
2852.91/358.30	c  S st    34    105341    158725    112908    220991     41160   1074035   3175368   no data   no data
2854.51/358.46	c x-sub:   390 x-cut:      0 vfix:      0 v-elim:    422 locsubst:   316 time:   0.17
2961.61/371.88	c Flit:   194 Blit:   1331 bXBeca:    0 bXProp:  443 Bins:   2195 BRemL:      0 BRemN:      2 P: 200.1M T: 13.42
2962.27/371.96	c Cleaning up after failed var search:     0.07 s 
2963.87/372.12	c Replacing     3822 vars Replaced    49274 lits Time:     0.14 s 
2964.68/372.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2964.68/372.24	c bin-w-bin subsume rem         3941 bins  time:  0.03 s
2965.47/372.38	c subs with bin:     2405  lits-rem:      2426  v-fix:    0  time:  0.14 s
3032.52/380.76	c Subs w/ non-existent bins:    174 l-rem:    859 v-fix:    59 done:  40031 time:  8.38 s
3035.72/381.12	c Removed useless bin:     750  fixed:    81  props:  20.00M  time:  0.35 s
3038.12/381.42	c lits-rem:       758  cl-subs:     1370  v-elim:    799  v-fix:    5  time:  0.30 s
3038.92/381.55	c Replacing      213 vars Replaced     1741 lits Time:     0.12 s 
3058.87/384.07	c subs with bin:      176  lits-rem:      5858  v-fix:    0  time:  2.23 s
3069.24/385.35	c lits-rem:       750  cl-subs:      804  v-elim:      0  v-fix:    0  time:  1.24 s
3073.24/385.85	c asymm  cl-useful: 362/1143/102361 lits-rem:779 time: 0.49
3073.24/385.89	c calculated reachability. Time: 0.01
3073.24/385.89	c  N st    34    105341    150332    102323    198519     38478   1003787   2789430   no data   no data
3094.78/388.52	c Finding binary XORs  T:     0.11 s  found:     240
3204.18/402.24	c  N st    35    114942    148924    101963    193676     29448    996522   1848308   no data   no data
3306.36/415.02	c Finding binary XORs  T:     0.11 s  found:     123
3426.17/430.03	c  N st    36    129342    148861    101851    198952     43523    993900   4314931   no data   no data
3644.87/457.44	c Finding binary XORs  T:     0.11 s  found:     681
3645.72/457.56	c Replacing     1991 vars Replaced    25631 lits Time:     0.12 s 
3774.18/473.68	c  N st    37    150940    146324    101168    197846     43270    982537   2960907   no data   no data
3861.99/484.66	c  S st    38    158011    146283    101168    198212     50223    982537   4454027   no data   no data
3877.16/486.51	c  S st    38    158513    146267    101168    198239     50677    982537   4483515   no data   no data
3877.96/486.67	c x-sub:   133 x-cut:      0 vfix:      0 v-elim:    137 locsubst:   642 time:   0.16
3978.56/499.27	c Flit:    51 Blit:     40 bXBeca:    0 bXProp:   61 Bins:   1139 BRemL:      0 BRemN:      0 P: 200.2M T: 12.60
3980.94/499.57	c Replacing     1019 vars Replaced    23854 lits Time:     0.28 s 
3981.74/499.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3981.74/499.69	c bin-w-bin subsume rem         4846 bins  time:  0.03 s
3983.34/499.83	c subs with bin:     1318  lits-rem:      1584  v-fix:    0  time:  0.13 s
4048.01/507.97	c Subs w/ non-existent bins:    181 l-rem:   1219 v-fix:    38 done:  37694 time:  8.14 s
4050.54/508.24	c Removed useless bin:     625  fixed:    56  props:  20.00M  time:  0.26 s
4052.79/508.54	c lits-rem:       434  cl-subs:      658  v-elim:    494  v-fix:    2  time:  0.30 s
4053.59/508.68	c Replacing      118 vars Replaced     1096 lits Time:     0.14 s 
4076.01/511.45	c subs with bin:       97  lits-rem:     16669  v-fix:    0  time:  2.41 s
4110.29/515.76	c lits-rem:      2200  cl-subs:     2137  v-elim:      0  v-fix:    0  time:  4.27 s
4115.07/516.31	c asymm  cl-useful: 451/1072/98579 lits-rem:914 time: 0.55
4115.07/516.35	c calculated reachability. Time: 0.01
4115.07/516.35	c  N st    38    158513    143940     98481    190984     46498    962464   3806297   no data   no data
4237.20/531.68	c Finding binary XORs  T:     0.11 s  found:    1503
4238.00/531.79	c Replacing     1605 vars Replaced    23718 lits Time:     0.10 s 
4899.01/614.58	c  N st    39    207103    140196     96831    189653     48421    942501   3509547   no data   no data
4901.47/614.82	c Finding binary XORs  T:     0.11 s  found:    2251
4903.00/615.00	c Replacing     2330 vars Replaced    69511 lits Time:     0.17 s 
5441.09/682.42	c  N st    40    237770    134503     94119    213110     53068    908728   4375231   no data   no data
5441.09/682.42	c  S st    40    237770    134503     94119    213110     53068    908728   4375231   no data   no data
5442.69/682.63	c Finding binary XORs  T:     0.11 s  found:     852
5455.61/684.22	c  S st    40    238275    133742     93568    221332     53487    903100   4413210   no data   no data
5456.26/684.37	c x-sub:   500 x-cut:      0 vfix:      0 v-elim:    428 locsubst:   406 time:   0.15
5558.46/697.10	c Flit:   126 Blit:    803 bXBeca:    0 bXProp:  353 Bins:    138 BRemL:      0 BRemN:      1 P: 200.3M T: 12.72
5558.46/697.18	c Cleaning up after failed var search:     0.08 s 
5560.99/697.43	c Replacing     2832 vars Replaced   106956 lits Time:     0.24 s 
5561.64/697.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5561.64/697.56	c bin-w-bin subsume rem        21880 bins  time:  0.05 s
5562.44/697.69	c subs with bin:     2798  lits-rem:      2090  v-fix:    0  time:  0.12 s
5620.72/704.98	c Subs w/ non-existent bins:    199 l-rem:    624 v-fix:    62 done:  49406 time:  7.30 s
5623.91/705.33	c Removed useless bin:    1559  fixed:    72  props:  20.01M  time:  0.34 s
5626.30/705.62	c lits-rem:       496  cl-subs:     1270  v-elim:   1232  v-fix:    7  time:  0.30 s
5627.10/705.75	c Replacing       98 vars Replaced      857 lits Time:     0.12 s 
5644.66/707.92	c subs with bin:      381  lits-rem:     21874  v-fix:    0  time:  1.94 s
5665.49/710.57	c lits-rem:      2164  cl-subs:      910  v-elim:      0  v-fix:    0  time:  2.63 s
5671.01/711.27	c asymm  cl-useful: 688/1743/85786 lits-rem:1277 time: 0.70
5671.81/711.31	c calculated reachability. Time: 0.01
5671.81/711.31	c  N st    40    238275    127149     85667    185537     41541    845264   2731218   no data   no data
5672.61/711.41	c Finding binary XORs  T:     0.10 s  found:     124
6704.05/840.60	c  F st    41    306250    127149     85667    185770     61425    845264   5790217   no data   no data
6704.85/840.71	c Replacing      147 vars Replaced     2923 lits Time:     0.11 s 
6705.65/840.89	c Replacing       42 vars Replaced      311 lits Time:     0.10 s 
6707.25/841.07	c Replacing       10 vars Replaced       79 lits Time:     0.10 s 
6708.85/841.25	c Replacing        4 vars Replaced       31 lits Time:     0.10 s 
6710.50/841.43	c Replacing       10 vars Replaced       89 lits Time:     0.10 s 
6712.03/841.61	c Replacing        4 vars Replaced       32 lits Time:     0.10 s 
6712.83/841.79	c Replacing        1 vars Replaced        9 lits Time:     0.10 s 
6720.81/842.72	c  N st    41    306250    126886     85545    185430     61420    843810   5790109   no data   no data
6722.41/842.95	c Finding binary XORs  T:     0.10 s  found:     976
6809.43/853.87	c Decided on static restart strategy
6914.83/867.08	c Replacing     1995 vars Replaced    44417 lits Time:     0.15 s 
7009.10/878.89	c Finding binary XORs  T:     0.09 s  found:     114
7139.16/895.13	c  N st    51    334557    122844     84107    182577     60299    818380   3891655   no data   no data
7461.67/935.54	c  N st    53    357412    122654     84107    184433     54147    818376   2679780   no data   no data
7461.67/935.54	c  S st    53    357412    122654     84107    184433     54147    818376   2679780   no data   no data
7463.27/935.71	c Finding binary XORs  T:     0.10 s  found:     271
7476.83/937.41	c  S st    53    357915    122400     83190    181608     53958    812284   2620455   no data   no data
7477.63/937.55	c x-sub:   136 x-cut:      0 vfix:      0 v-elim:   1138 locsubst:  3574 time:   0.14
7588.67/951.46	c Flit:    57 Blit:    771 bXBeca:    0 bXProp:  244 Bins:   1576 BRemL:      0 BRemN:      0 P: 200.0M T: 13.91
7588.67/951.46	c Cleaning up after failed var search:     0.00 s 
7590.20/951.68	c Replacing     2040 vars Replaced    46486 lits Time:     0.20 s 
7591.00/951.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7591.00/951.79	c bin-w-bin subsume rem         9013 bins  time:  0.03 s
7592.60/951.90	c subs with bin:     1709  lits-rem:      1693  v-fix:    0  time:  0.12 s
7635.70/957.38	c Subs w/ non-existent bins:    342 l-rem:   1167 v-fix:    39 done:  44159 time:  5.48 s
7638.90/957.76	c Removed useless bin:    1342  fixed:    54  props:  20.00M  time:  0.38 s
7641.35/958.04	c lits-rem:       261  cl-subs:      928  v-elim:    990  v-fix:    4  time:  0.27 s
7642.22/958.15	c Replacing       88 vars Replaced      846 lits Time:     0.11 s 
7652.46/959.46	c subs with bin:      510  lits-rem:     25876  v-fix:    0  time:  1.13 s
7658.06/960.16	c lits-rem:      2513  cl-subs:      944  v-elim:      0  v-fix:    0  time:  0.67 s
7663.64/960.82	c asymm  cl-useful: 321/980/78972 lits-rem:537 time: 0.66
7663.64/960.86	c calculated reachability. Time: 0.01
7663.64/960.86	c  N st    53    357915    117330     78926    167457     46582    778109   1794210   no data   no data
7664.44/960.96	c Finding binary XORs  T:     0.09 s  found:      84
8105.10/1016.13	c  N st    54    390307    117330     78926    167533     51367    778106   2581949   no data   no data
8106.76/1016.32	c Finding binary XORs  T:     0.10 s  found:    4156
8107.64/1016.45	c Replacing     4279 vars Replaced    84601 lits Time:     0.12 s 
8921.00/1118.36	c  N st    55    438895    108608     73834    152455     62236    714818   4912066   no data   no data
8922.60/1118.61	c Finding binary XORs  T:     0.09 s  found:    1798
8924.99/1118.87	c Replacing     1955 vars Replaced    85907 lits Time:     0.25 s 
10223.17/1281.46	c  N st    56    511777    105106     70925    195301     71959    690728   6283365   no data   no data
10225.50/1281.73	c Finding binary XORs  T:     0.10 s  found:    6606
10227.90/1282.02	c Replacing     6693 vars Replaced   212808 lits Time:     0.29 s 
10694.92/1340.54	c  N st    57    536872     88902     61634    176649     56399    592840   3109869   no data   no data
10694.92/1340.54	c  S st    57    536872     88902     61634    176649     56399    592840   3109869   no data   no data
10696.51/1340.70	c Finding binary XORs  T:     0.08 s  found:     132
10707.69/1342.17	c  S st    57    537374     88751     61337    174811     55359    588104   2873908   no data   no data
10709.29/1342.31	c x-sub:  1022 x-cut:      0 vfix:      0 v-elim:   8902 locsubst:  3360 time:   0.14
10808.29/1354.74	c Flit:   281 Blit:   1498 bXBeca:    0 bXProp:  820 Bins:   4272 BRemL:      0 BRemN:      0 P: 200.0M T: 12.43
10809.09/1354.80	c Cleaning up after failed var search:     0.06 s 
10809.88/1354.99	c Replacing     3394 vars Replaced   124480 lits Time:     0.18 s 
10810.68/1355.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10810.68/1355.10	c bin-w-bin subsume rem        38567 bins  time:  0.05 s
10811.54/1355.19	c subs with bin:     4516  lits-rem:      3368  v-fix:    0  time:  0.08 s
10845.01/1359.32	c Subs w/ non-existent bins:    716 l-rem:   1039 v-fix:   105 done:  69743 time:  4.14 s
10846.67/1359.57	c Removed useless bin:    1617  fixed:     0  props:  11.69M  time:  0.24 s
10848.99/1359.80	c lits-rem:       383  cl-subs:     2362  v-elim:   3328  v-fix:    9  time:  0.23 s
10849.79/1359.91	c Replacing      144 vars Replaced     1356 lits Time:     0.10 s 
10856.92/1361.18	c subs with bin:     1124  lits-rem:     39315  v-fix:    0  time:  1.13 s
10858.72/1362.00	c lits-rem:      5033  cl-subs:     1471  v-elim:      0  v-fix:    0  time:  0.80 s
10859.52/1362.48	c asymm  cl-useful: 336/962/46610 lits-rem:480 time: 0.48
10859.72/1362.50	c calculated reachability. Time: 0.00
10859.72/1362.50	c  N st    57    537374     70812     46562    117451     37894    464959   1562720   no data   no data
10859.72/1362.50	c Following stats are for *FIRST FINISHED THREAD ONLY*
10859.72/1362.50	c num threads              : 8          
10859.72/1362.50	c restarts                 : 1866       
10859.72/1362.50	c dynamic restarts         : 1842       
10859.72/1362.50	c static restarts          : 24         
10859.72/1362.50	c full restarts            : 3          
10859.72/1362.50	c total simplify time      : 71.79      
10859.72/1362.50	c learnts DL2              : 0          
10859.72/1362.50	c learnts size 2           : 1367111    
10859.72/1362.50	c learnts size 1           : 91034       (20.89     % of vars)
10859.72/1362.50	c filedLit time            : 89.07       (6.56      % time)
10859.72/1362.50	c v-elim SatELite          : 145165      (33.32     % vars)
10859.72/1362.50	c SatELite time            : 27.85       (2.05      % time)
10859.72/1362.50	c v-elim xor               : 0           (0.00      % vars)
10859.72/1362.50	c xor elim time            : 0.26        (0.02      % time)
10859.72/1362.50	c num binary xor trees     : 26123      
10859.72/1362.50	c binxor trees' crown      : 158356      (6.06      leafs/tree)
10859.72/1362.50	c bin xor find time        : 62.24      
10859.72/1362.50	c OTF clause improved      : 4112        (0.01      clauses/conflict)
10859.72/1362.50	c OTF impr. size diff      : 5812        (1.41       lits/clause)
10859.72/1362.50	c OTF cl watch-shrink      : 217192      (0.59      clauses/conflict)
10859.72/1362.50	c OTF cl watch-sh-lit      : 930478      (4.28       lits/clause)
10859.72/1362.50	c tried to recurMin cls    : 212752      (57.76      % of conflicts)
10859.72/1362.50	c updated cache            : 187933      (0.88       lits/tried recurMin)
10859.72/1362.50	c unit cls recevied        : 12052       (13.24     % of units)
10859.72/1362.50	c unit cls sent            : 71028       (78.02     % of units)
10859.72/1362.50	c bin cls recevied         : 733873     
10859.72/1362.50	c bin cls sent             : 261590     
10859.72/1362.50	c clauses over max glue    : 0           (0.00      % of all clauses)
10859.72/1362.50	c conflicts                : 368313      (271.28    / sec)
10859.72/1362.50	c decisions                : 1316719     (3.74      % random)
10859.72/1362.50	c bogo-props               : 10452103095 (7698527.61 / sec)
10859.72/1362.50	c conflict literals        : 19446606    (44.27     % deleted)
10859.72/1362.50	c Memory used              : 5431.15     MB
10859.72/1362.50	c single-thread CPU time   : 1357.68     s
10859.72/1362.50	c all-threads sum CPU time : 10845.78    s
10859.72/1362.50	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3394772-1306105444/watcher-3394772-1306105444 -o /tmp/evaluation-result-3394772-1306105444/solver-3394772-1306105444 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394772-1306105444.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.51 7.95 7.97 2/491 11241
/proc/meminfo: memFree=14073416/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=92144 CPUtime=0.03 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 420 0 0 0 3 0 0 0 22 0 8 0 800775234 94355456 360 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11241/statm: 23036 360 302 95 0 18018 0
[pid=11241/tid=11242] ppid=11239 vsize=92144 CPUtime=0.01 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 4 0 0 0 1 0 0 0 23 0 8 0 800775234 94355456 360 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=92144 CPUtime=0 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 800775234 94355456 360 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=92144 CPUtime=0.01 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 800775234 94355456 360 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=92144 CPUtime=0.01 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 800775234 94355456 360 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=92144 CPUtime=0.01 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 800775234 94355456 360 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=92144 CPUtime=0.01 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 800775234 94355456 360 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=92144 CPUtime=0.01 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 800775234 94355456 360 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698576 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0735811 s]
/proc/loadavg: 7.51 7.95 7.97 2/491 11241
/proc/meminfo: memFree=14073416/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=376860 CPUtime=0.43 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 15582 0 0 0 39 4 0 0 18 0 8 0 800775234 385904640 13248 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11241/statm: 94728 13252 334 95 0 89710 0
[pid=11241/tid=11242] ppid=11239 vsize=380964 CPUtime=0.05 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 2066 0 0 0 5 0 0 0 18 0 8 0 800775234 390107136 13253 33554432000 4194304 4580107 140736182373120 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=381604 CPUtime=0 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 2426 0 0 0 0 0 0 0 18 0 8 0 800775234 390762496 13852 33554432000 4194304 4580107 140736182373120 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=381604 CPUtime=0.05 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 2452 0 0 0 5 0 0 0 18 0 8 0 800775234 390762496 14771 33554432000 4194304 4580107 140736182373120 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=381604 CPUtime=0.05 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 2032 0 0 0 5 0 0 0 17 0 8 0 800775234 390762496 14521 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367590023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=380576 CPUtime=0.05 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 1448 0 0 0 5 0 0 0 17 0 8 0 800775234 389709824 14524 33554432000 4194304 4580107 140736182373120 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=380576 CPUtime=0.05 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 1963 0 0 0 5 0 0 0 17 0 8 0 800775234 389709824 14515 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367590023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=380576 CPUtime=0.05 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 966 0 0 0 5 0 0 0 17 0 8 0 800775234 389709824 14267 33554432000 4194304 4580107 140736182373120 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 376860

[startup+0.103693 s]
/proc/loadavg: 7.51 7.95 7.97 2/491 11241
/proc/meminfo: memFree=14073416/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=430440 CPUtime=0.61 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) D 11239 11241 11215 0 -1 4202496 43605 0 0 0 51 10 0 0 18 0 8 0 800775234 440770560 36397 33554432000 4194304 4580107 140736182373120 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11241/statm: 107097 36013 334 95 0 102079 0
[pid=11241/tid=11242] ppid=11239 vsize=436584 CPUtime=0.07 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 5471 0 0 0 7 0 0 0 17 0 8 0 800775234 447062016 36016 33554432000 4194304 4580107 140736182373120 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=436584 CPUtime=0.03 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 6304 0 0 0 2 1 0 0 18 0 8 0 800775234 447062016 35740 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367209318 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=436584 CPUtime=0.08 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 6678 0 0 0 7 1 0 0 18 0 8 0 800775234 447062016 35740 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367590023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=436584 CPUtime=0.07 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 5116 0 0 0 6 1 0 0 17 0 8 0 800775234 447062016 35740 33554432000 4194304 4580107 140736182373120 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=436584 CPUtime=0.06 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 3569 0 0 0 6 0 0 0 17 0 8 0 800775234 447062016 35228 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=436584 CPUtime=0.07 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 5611 0 0 0 6 1 0 0 17 0 8 0 800775234 447062016 35228 33554432000 4194304 4580107 140736182373120 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=436584 CPUtime=0.06 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) D 11239 11241 11215 0 -1 4202560 2092 0 0 0 6 0 0 0 17 0 8 0 800775234 447062016 35228 33554432000 4194304 4580107 140736182373120 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 430440

[startup+0.302018 s]
/proc/loadavg: 7.51 7.95 7.97 2/491 11241
/proc/meminfo: memFree=14073416/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=1172112 CPUtime=1.9 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 251209 0 0 0 139 51 0 0 18 0 8 0 800775234 1200242688 193068 33554432000 4194304 4580107 140736182373120 18446744073709551615 4298770 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11241/statm: 292348 202228 338 95 0 287330 0
[pid=11241/tid=11242] ppid=11239 vsize=1234928 CPUtime=0.25 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) S 11239 11241 11215 0 -1 4202560 35810 0 0 0 19 6 0 0 17 0 8 0 800775234 1264566272 203406 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651822 0 0 4096 2 18446604444525011968 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=1284108 CPUtime=0.2 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 29838 0 0 0 14 6 0 0 17 0 8 0 800775234 1314926592 210019 33554432000 4194304 4580107 140736182373120 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=1284108 CPUtime=0.26 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 33210 0 0 0 20 6 0 0 18 0 8 0 800775234 1314926592 210080 33554432000 4194304 4580107 140736182373120 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=1284108 CPUtime=0.27 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 38350 0 0 0 18 9 0 0 18 0 8 0 800775234 1314926592 210110 33554432000 4194304 4580107 140736182373120 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=1284108 CPUtime=0.23 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) S 11239 11241 11215 0 -1 4202560 30996 0 0 0 18 5 0 0 17 0 8 0 800775234 1314926592 210140 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651822 0 0 4096 2 18446604444525011968 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=1284108 CPUtime=0.26 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 38802 0 0 0 20 6 0 0 18 0 8 0 800775234 1314926592 210171 33554432000 4194304 4580107 140736182373120 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=1284108 CPUtime=0.21 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 19904 0 0 0 17 4 0 0 17 0 8 0 800775234 1314926592 210201 33554432000 4194304 4580107 140736182373120 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 1172112

[startup+0.705126 s]
/proc/loadavg: 7.51 7.95 7.97 2/491 11241
/proc/meminfo: memFree=14073416/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=1622180 CPUtime=4.36 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 338885 0 0 0 335 101 0 0 17 0 8 0 800775234 1661112320 276612 33554432000 4194304 4580107 140736182373120 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11241/statm: 405545 276613 338 95 0 400527 0
[pid=11241/tid=11242] ppid=11239 vsize=1622180 CPUtime=0.52 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 45076 0 0 0 41 11 0 0 17 0 8 0 800775234 1661112320 276615 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=1622180 CPUtime=0.49 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 31450 0 0 0 39 10 0 0 17 0 8 0 800775234 1661112320 276615 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=1622180 CPUtime=0.55 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 36522 0 0 0 44 11 0 0 17 0 8 0 800775234 1661112320 276615 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=1622180 CPUtime=0.55 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 48258 0 0 0 40 15 0 0 17 0 8 0 800775234 1661112320 276621 33554432000 4194304 4580107 140736182373120 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=1622180 CPUtime=0.52 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 45320 0 0 0 40 12 0 0 17 0 8 0 800775234 1661112320 276624 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=1622180 CPUtime=0.56 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 51544 0 0 0 44 12 0 0 17 0 8 0 800775234 1661112320 276624 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=1622180 CPUtime=0.5 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 37007 0 0 0 39 11 0 0 17 0 8 0 800775234 1661112320 276626 33554432000 4194304 4580107 140736182373120 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 1622180

[startup+1.50104 s]
/proc/loadavg: 7.51 7.95 7.97 9/499 11249
/proc/meminfo: memFree=12895976/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=1984772 CPUtime=8.47 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 378543 0 0 0 653 194 0 0 15 0 8 0 800775234 2032406528 316270 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11241/statm: 496193 316270 338 95 0 491175 0
[pid=11241/tid=11242] ppid=11239 vsize=1984772 CPUtime=1 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 50418 0 0 0 78 22 0 0 16 0 8 0 800775234 2032406528 316271 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=1984772 CPUtime=1.15 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 34424 0 0 0 91 24 0 0 18 0 8 0 800775234 2032406528 316271 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=1984772 CPUtime=1.06 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 42329 0 0 0 86 20 0 0 16 0 8 0 800775234 2032406528 316276 33554432000 4194304 4580107 140736182373120 18446744073709551615 4341266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=1984772 CPUtime=0.93 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 53041 0 0 0 69 24 0 0 16 0 8 0 800775234 2032406528 316276 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=1984772 CPUtime=1.15 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 51744 0 0 0 88 27 0 0 18 0 8 0 800775234 2032406528 316276 33554432000 4194304 4580107 140736182373120 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=1984772 CPUtime=1.18 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 57241 0 0 0 91 27 0 0 18 0 8 0 800775234 2032406528 316276 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=1984772 CPUtime=0.93 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 41634 0 0 0 68 25 0 0 16 0 8 0 800775234 2032406528 316277 33554432000 4194304 4580107 140736182373120 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.47
Current children cumulated vsize (KiB) 1984772

[startup+3.10068 s]
/proc/loadavg: 7.51 7.95 7.97 7/499 11249
/proc/meminfo: memFree=12698700/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=2089120 CPUtime=18.58 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 426910 0 0 0 1564 294 0 0 16 0 8 0 800775234 2139258880 363732 33554432000 4194304 4580107 140736182373120 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 522280 363732 357 95 0 517262 0
[pid=11241/tid=11242] ppid=11239 vsize=2089120 CPUtime=2.1 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 56544 0 0 0 177 33 0 0 16 0 8 0 800775234 2139258880 363732 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=2089120 CPUtime=2.6 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 39019 0 0 0 224 36 0 0 18 0 8 0 800775234 2139258880 363732 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293032 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=2089120 CPUtime=2.22 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 48235 0 0 0 194 28 0 0 16 0 8 0 800775234 2139258880 363732 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=2089120 CPUtime=2.04 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 58354 0 0 0 167 37 0 0 16 0 8 0 800775234 2139258880 363732 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=2089120 CPUtime=2.56 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 58556 0 0 0 208 48 0 0 18 0 8 0 800775234 2139258880 363732 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=2089120 CPUtime=2.59 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 61808 0 0 0 213 46 0 0 18 0 8 0 800775234 2139258880 363732 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=2089120 CPUtime=2.07 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 50691 0 0 0 171 36 0 0 16 0 8 0 800775234 2139258880 363732 33554432000 4194304 4580107 140736182373120 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.58
Current children cumulated vsize (KiB) 2089120

[startup+6.30109 s]
/proc/loadavg: 7.79 8.00 7.98 9/499 11249
/proc/meminfo: memFree=12562560/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=2159412 CPUtime=44.13 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 442375 0 0 0 4116 297 0 0 22 0 8 0 800775234 2211237888 377725 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 539853 377725 361 95 0 534835 0
[pid=11241/tid=11242] ppid=11239 vsize=2159412 CPUtime=5.31 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 58891 0 0 0 497 34 0 0 21 0 8 0 800775234 2211237888 377725 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=2159412 CPUtime=5.8 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 41325 0 0 0 544 36 0 0 25 0 8 0 800775234 2211237888 377725 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=2159412 CPUtime=5.42 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 50363 0 0 0 514 28 0 0 21 0 8 0 800775234 2211237888 377725 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=2159412 CPUtime=5.18 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 60736 0 0 0 481 37 0 0 20 0 8 0 800775234 2211237888 377725 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=2159412 CPUtime=5.76 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 60837 0 0 0 528 48 0 0 25 0 8 0 800775234 2211237888 377725 33554432000 4194304 4580107 140736182373120 18446744073709551615 4236317 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=2159412 CPUtime=5.79 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 62390 0 0 0 533 46 0 0 25 0 8 0 800775234 2211237888 377725 33554432000 4194304 4580107 140736182373120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=2159412 CPUtime=5.27 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 53123 0 0 0 490 37 0 0 21 0 8 0 800775234 2211237888 377725 33554432000 4194304 4580107 140736182373120 18446744073709551615 4336992 0 0 4096 2 0 0 0 -1 2 0 0 0

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

[pid=11241/tid=11246] ppid=11239 vsize=5053024 CPUtime=986.27 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 669929 0 0 0 98459 168 0 0 25 0 8 0 800775234 5174296576 1053408 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294171 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=5053024 CPUtime=1001.68 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 504621 0 0 0 100013 155 0 0 25 0 8 0 800775234 5174296576 1053408 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295129 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=5053024 CPUtime=1000.79 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 2021967 0 0 0 99763 316 0 0 25 0 8 0 800775234 5174296576 1053408 33554432000 4194304 4580107 140736182373120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7994.94
Current children cumulated vsize (KiB) 5053024

[startup+1062.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/499 11278
/proc/meminfo: memFree=9791368/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=5296472 CPUtime=8473.94 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 6260585 0 0 0 846080 1314 0 0 25 0 8 0 800775234 5423587328 1069517 33554432000 4194304 4580107 140736182373120 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 1324118 1069517 381 95 0 1319100 0
[pid=11241/tid=11242] ppid=11239 vsize=5296472 CPUtime=1061.01 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 743503 0 0 0 105964 137 0 0 25 0 8 0 800775234 5423587328 1069517 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=5296472 CPUtime=1061.75 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 481469 0 0 0 106042 133 0 0 25 0 8 0 800775234 5423587328 1069517 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=5296472 CPUtime=1061.37 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 670117 0 0 0 105994 143 0 0 25 0 8 0 800775234 5423587328 1069517 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=5296472 CPUtime=1060.5 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 602392 0 0 0 105912 138 0 0 25 0 8 0 800775234 5423587328 1069517 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=5296472 CPUtime=1045.28 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 670822 0 0 0 104359 169 0 0 25 0 8 0 800775234 5423587328 1069517 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=5296472 CPUtime=1061.67 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 510666 0 0 0 106009 158 0 0 25 0 8 0 800775234 5423587328 1069517 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=5296472 CPUtime=1060.79 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 2022686 0 0 0 105763 316 0 0 25 0 8 0 800775234 5423587328 1069517 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8473.94
Current children cumulated vsize (KiB) 5296472

[startup+1122.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/499 11279
/proc/meminfo: memFree=9759976/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=5070936 CPUtime=8952.93 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 6288330 0 0 0 893965 1328 0 0 25 0 8 0 800775234 5192638464 1076760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 1267734 1076760 381 95 0 1262716 0
[pid=11241/tid=11242] ppid=11239 vsize=5070936 CPUtime=1121 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 745647 0 0 0 111962 138 0 0 25 0 8 0 800775234 5192638464 1076760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=5070936 CPUtime=1121.75 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 483532 0 0 0 112040 135 0 0 25 0 8 0 800775234 5192638464 1076760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=5070936 CPUtime=1121.37 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 675456 0 0 0 111992 145 0 0 25 0 8 0 800775234 5192638464 1076760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=5070936 CPUtime=1120.51 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 606196 0 0 0 111911 140 0 0 25 0 8 0 800775234 5192638464 1076760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=5070936 CPUtime=1104.27 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 676377 0 0 0 110256 171 0 0 25 0 8 0 800775234 5192638464 1076760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=5070936 CPUtime=1121.67 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 513438 0 0 0 112007 160 0 0 25 0 8 0 800775234 5192638464 1076760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=5070936 CPUtime=1120.79 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 2022690 0 0 0 111763 316 0 0 25 0 8 0 800775234 5192638464 1076760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4316442 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8952.93
Current children cumulated vsize (KiB) 5070936

[startup+1182.3 s]
/proc/loadavg: 8.13 8.07 8.01 9/499 11281
/proc/meminfo: memFree=9751212/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=5396416 CPUtime=9431.95 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 6318080 0 0 0 941851 1344 0 0 25 0 8 0 800775234 5525929984 1079575 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 1349104 1079575 381 95 0 1344086 0
[pid=11241/tid=11242] ppid=11239 vsize=5396416 CPUtime=1180.99 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 747250 0 0 0 117960 139 0 0 25 0 8 0 800775234 5525929984 1079575 33554432000 4194304 4580107 140736182373120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=5396416 CPUtime=1181.75 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 485300 0 0 0 118039 136 0 0 25 0 8 0 800775234 5525929984 1079575 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=5396416 CPUtime=1181.37 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 677152 0 0 0 117990 147 0 0 25 0 8 0 800775234 5525929984 1079575 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=5396416 CPUtime=1180.51 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 611335 0 0 0 117909 142 0 0 25 0 8 0 800775234 5525929984 1079575 33554432000 4194304 4580107 140736182373120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=5396416 CPUtime=1163.3 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 679389 0 0 0 116156 174 0 0 25 0 8 0 800775234 5525929984 1079575 33554432000 4194304 4580107 140736182373120 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=5396416 CPUtime=1181.68 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 514419 0 0 0 118006 162 0 0 25 0 8 0 800775234 5525929984 1079575 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=5396416 CPUtime=1180.79 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 2030956 0 0 0 117761 318 0 0 25 0 8 0 800775234 5525929984 1079575 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9431.95
Current children cumulated vsize (KiB) 5396416

[startup+1242.3 s]
/proc/loadavg: 8.19 8.09 8.01 9/499 11282
/proc/meminfo: memFree=9603504/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=5458224 CPUtime=9910.93 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 6372460 0 0 0 989726 1367 0 0 25 0 8 0 800775234 5589221376 1115760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 1364556 1115760 381 95 0 1359538 0
[pid=11241/tid=11242] ppid=11239 vsize=5458224 CPUtime=1240.97 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 753177 0 0 0 123955 142 0 0 25 0 8 0 800775234 5589221376 1115760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=5458224 CPUtime=1241.75 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 486328 0 0 0 124038 137 0 0 25 0 8 0 800775234 5589221376 1115760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=5458224 CPUtime=1241.37 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 677795 0 0 0 123990 147 0 0 25 0 8 0 800775234 5589221376 1115760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=5458224 CPUtime=1240.51 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 614153 0 0 0 123907 144 0 0 25 0 8 0 800775234 5589221376 1115760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=5458224 CPUtime=1222.3 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 685521 0 0 0 122054 176 0 0 25 0 8 0 800775234 5589221376 1115760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=5458224 CPUtime=1241.68 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 520779 0 0 0 124003 165 0 0 25 0 8 0 800775234 5589221376 1115760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=5458224 CPUtime=1240.79 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 2059313 0 0 0 123751 328 0 0 25 0 8 0 800775234 5589221376 1115760 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9910.93
Current children cumulated vsize (KiB) 5458224

[startup+1302.3 s]
/proc/loadavg: 8.14 8.08 8.01 9/499 11284
/proc/meminfo: memFree=9532664/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=5341148 CPUtime=10390 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 6413636 0 0 0 1037619 1382 0 0 25 0 8 0 800775234 5469335552 1133344 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 1335287 1133344 381 95 0 1330269 0
[pid=11241/tid=11242] ppid=11239 vsize=5341148 CPUtime=1300.98 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 754741 0 0 0 129955 143 0 0 25 0 8 0 800775234 5469335552 1133347 33554432000 4194304 4580107 140736182373120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=5341148 CPUtime=1301.77 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 491470 0 0 0 130037 140 0 0 25 0 8 0 800775234 5469335552 1133347 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=5341148 CPUtime=1301.4 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 677858 0 0 0 129992 148 0 0 25 0 8 0 800775234 5469335552 1133347 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=5341148 CPUtime=1300.53 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 619334 0 0 0 129907 146 0 0 25 0 8 0 800775234 5469335552 1133347 33554432000 4194304 4580107 140736182373120 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=5341148 CPUtime=1281.33 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 691646 0 0 0 127954 179 0 0 25 0 8 0 800775234 5469335552 1133347 33554432000 4194304 4580107 140736182373120 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=5341148 CPUtime=1301.7 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 522296 0 0 0 130003 167 0 0 25 0 8 0 800775234 5469335552 1133347 33554432000 4194304 4580107 140736182373120 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=5341148 CPUtime=1300.8 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 2075269 0 0 0 129750 330 0 0 25 0 8 0 800775234 5469335552 1133347 33554432000 4194304 4580107 140736182373120 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10390
Current children cumulated vsize (KiB) 5341148

[startup+1362.3 s]
/proc/loadavg: 8.05 8.07 8.00 3/499 11286
/proc/meminfo: memFree=9501516/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=5561492 CPUtime=10859.3 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) R 11239 11241 11215 0 -1 4202496 6437527 0 0 0 1084536 1396 0 0 25 0 8 0 800775234 5694967808 1140630 33554432000 4194304 4580107 140736182373120 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 1390373 1140630 381 95 0 1385355 0
[pid=11241/tid=11242] ppid=11239 vsize=5561492 CPUtime=1359.33 cores=0-7
/proc/11241/task/11242/stat : 11242 (strangenight2-m) S 11239 11241 11215 0 -1 4202560 756930 0 0 0 135788 145 0 0 25 0 8 0 800775234 5694967808 1140630 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698612 0 0 4096 2 18446604444525011968 0 0 -1 6 0 0 0
[pid=11241/tid=11243] ppid=11239 vsize=5561492 CPUtime=1360.14 cores=0-7
/proc/11241/task/11243/stat : 11243 (strangenight2-m) S 11239 11241 11215 0 -1 4202560 496438 0 0 0 135872 142 0 0 25 0 8 0 800775234 5694967808 1140630 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698612 0 0 4096 2 18446604444525011968 0 0 -1 1 0 0 0
[pid=11241/tid=11244] ppid=11239 vsize=5561492 CPUtime=1359.77 cores=0-7
/proc/11241/task/11244/stat : 11244 (strangenight2-m) S 11239 11241 11215 0 -1 4202560 682865 0 0 0 135828 149 0 0 25 0 8 0 800775234 5694967808 1140630 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698612 0 0 4096 2 18446604444525011968 0 0 -1 0 0 0 0
[pid=11241/tid=11245] ppid=11239 vsize=5561492 CPUtime=1358.9 cores=0-7
/proc/11241/task/11245/stat : 11245 (strangenight2-m) S 11239 11241 11215 0 -1 4202560 620676 0 0 0 135743 147 0 0 25 0 8 0 800775234 5694967808 1140630 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698612 0 0 4096 2 18446604444525011968 0 0 -1 2 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=5561492 CPUtime=1338.76 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) S 11239 11241 11215 0 -1 4202560 694719 0 0 0 133694 182 0 0 25 0 8 0 800775234 5694967808 1140630 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698612 0 0 4096 2 18446604444525011968 0 0 -1 7 0 0 0
[pid=11241/tid=11247] ppid=11239 vsize=5561492 CPUtime=1360.07 cores=0-7
/proc/11241/task/11247/stat : 11247 (strangenight2-m) S 11239 11241 11215 0 -1 4202560 522810 0 0 0 135840 167 0 0 25 0 8 0 800775234 5694967808 1140630 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301698612 0 0 4096 2 18446604444525011968 0 0 -1 2 0 0 0
[pid=11241/tid=11248] ppid=11239 vsize=5561492 CPUtime=1360.79 cores=0-7
/proc/11241/task/11248/stat : 11248 (strangenight2-m) R 11239 11241 11215 0 -1 4202560 2079237 0 0 0 135746 333 0 0 25 0 8 0 800775234 5694967808 1140630 33554432000 4194304 4580107 140736182373120 18446744073709551615 47132301674180 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10859.3
Current children cumulated vsize (KiB) 5561492

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

[startup+1362.7 s]
/proc/loadavg: 8.05 8.07 8.00 3/499 11286
/proc/meminfo: memFree=9501516/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=0 CPUtime=10859.9 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) Z 11239 11241 11215 0 -1 4203548 6437531 0 0 0 1084578 1415 0 0 25 0 2 0 800775234 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 0 0 0 0 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=0 CPUtime=1338.94 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) S 11239 11241 11215 0 -1 4203588 694719 0 0 0 133694 200 0 0 18 0 2 0 800775234 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10859.9
Current children cumulated vsize (KiB) 0

[startup+1362.8 s]
/proc/loadavg: 8.05 8.07 8.00 1/492 11286
/proc/meminfo: memFree=14072584/32950928 swapFree=38710952/67111528
[pid=11241] ppid=11239 vsize=0 CPUtime=10859.9 cores=0-7
/proc/11241/stat : 11241 (strangenight2-m) Z 11239 11241 11215 0 -1 4203548 6437531 0 0 0 1084578 1415 0 0 25 0 2 0 800775234 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11241/statm: 0 0 0 0 0 0 0
[pid=11241/tid=11246] ppid=11239 vsize=0 CPUtime=1338.94 cores=0-7
/proc/11241/task/11246/stat : 11246 (strangenight2-m) S 11239 11241 11215 0 -1 4203588 694719 0 0 0 133694 200 0 0 18 0 2 0 800775234 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10859.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1362.89
CPU time (s): 10859.9
CPU user time (s): 10845.8
CPU system time (s): 14.1508
CPU usage (%): 796.828
Max. virtual memory (cumulated for all children) (KiB): 5657140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10845.8
system time used= 14.1508
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6437531
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= 364318
involuntary context switches= 64020

runsolver used 6.09907 second user time and 16.5585 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-23 01:04:06
IDJOB=3394772
IDBENCH=84246
IDSOLVER=1878
FILE ID=node113/3394772-1306105444
RUNJOBID= node113-1306105444-11229
PBS_JOBID= 13388021
Free space on /tmp= 73288 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394772-1306105444/watcher-3394772-1306105444 -o /tmp/evaluation-result-3394772-1306105444/solver-3394772-1306105444 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394772-1306105444.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=1660960396

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14073696 kB
Buffers:        333856 kB
Cached:        8805948 kB
SwapCached:      93732 kB
Active:        8100788 kB
Inactive:     10435220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14073696 kB
SwapTotal:    67111528 kB
SwapFree:     38710952 kB
Dirty:           33416 kB
Writeback:           0 kB
AnonPages:     9315132 kB
Mapped:          24900 kB
Slab:           153232 kB
PageTables:     116464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 154762744 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= 73284 MiB
End job on node113 at 2011-05-23 01:26:49