Trace number 3367072

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) 4200.29 1300.24

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
MD5SUM776da55785376fd8eac6989ca812b102
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1002.78
Satisfiable
(Un)Satisfiability was proved
Number of variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

Solver Data 

0.00/0.00	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-3367072-1305416278.cnf'
0.00/0.01	c -- header says num vars:         371419
0.00/0.01	c -- header says num clauses:     7170909
9.51/2.71	c -- clauses added:            0 learnts,      7170909 normals,            0 xors
9.51/2.71	c -- vars added     371419
9.51/2.71	c Parsing time:  2.01 s
9.51/2.71	c  N st     0         0    371419    400457   6770451         0  20872418         0   no data   no data
11.54/3.25	c asymm  cl-useful: 23/27/400448 lits-rem:822 time: 0.50
41.40/10.78	c Flit:   252 Blit:  91852 bXBeca:    0 bXProp: 3696 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T:  7.44
44.59/11.59	c Cleaning up after failed var search:     0.80 s 
46.98/12.13	c Replacing     3696 vars Replaced   244272 lits Time:     0.51 s 
49.25/12.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
51.24/13.21	c bin-w-bin subsume rem            7 bins  time:  0.48 s
81.18/20.78	c subs with bin:    14521  lits-rem:     75534  v-fix:    0  time:  7.48 s
97.90/24.90	c Subs w/ non-existent bins:      8 l-rem:      8 v-fix:     0 done:  27391 time:  4.04 s
98.72/25.20	c Removed useless bin:     985  fixed:     0  props:  20.00M  time:  0.28 s
170.05/43.02	c lits-rem:     72826  cl-subs:    25623  v-elim:  69532  v-fix:    0  time: 17.58 s
170.45/43.14	c Finding binary XORs  T:     0.12 s  found:     729
172.05/43.52	c Replacing      729 vars Replaced   192547 lits Time:     0.37 s 
175.24/44.36	c Finding non-binary XORs:     0.72 s (found:       0, avg size: nan)
175.24/44.36	c calculated reachability. Time: 0.00
175.64/44.46	c Calc default polars -  time:   0.10 s pos:   26427 undec:  174060 neg:  170932
175.64/44.46	c =========================================================================================
175.64/44.46	c types(t): F = full restart, N = normal restart
175.64/44.46	c types(t): S = simplification begin/end, E = solution found
175.64/44.46	c restart types(rt): st = static, dy = dynamic
175.64/44.46	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
175.64/44.46	c  B st     0         0    197768    365014   4501560         0  14983338         0   no data   no data
224.29/56.69	c  N dy    17      4283    197768    365014   4501703      4057  14983331    151817     20.49     21.69
255.80/64.51	c  N dy    38      8498    197763    365014   4504067      7982  14983326    297522     20.20     22.15
279.72/70.50	c  N dy    57     12557    197756    365014   4504566     11858  14983322    451523     19.45     20.84
302.45/76.26	c  N dy    83     16802    197755    365014   4504616     15960  14983276    648625     19.61     20.66
323.99/81.61	c  N dy   101     20860    192139    354335   4388875     10211  14577487    253265     19.13     20.46
333.88/84.19	c  N dy   111     24874    192138    354335   4389187     14000  14577487    430096     18.70     19.69
334.28/84.27	c  F st   112     25001    192138    354335   4389194     14120  14577487    434596     18.68     16.09
337.86/85.16	c Found part      843 vars:     191713 clauses:   4739048 lits size:  14576469
337.86/85.16	c Found part      844 vars:          2 clauses:         1 lits size:         2
337.86/85.16	c Found part      845 vars:          2 clauses:         1 lits size:         2
337.86/85.16	c Found part      846 vars:          2 clauses:         1 lits size:         2
337.86/85.16	c Found parts:          4 time: 0.88 s
337.86/85.16	c Solving part 844
339.03/85.43	c  N st     0         0         2         0         1         0         2         0   no data   no data
339.03/85.43	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
339.03/85.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
339.03/85.45	c Finding binary XORs  T:     0.02 s  found:       0
339.03/85.45	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
339.03/85.45	c calculated reachability. Time: 0.00
339.03/85.46	c Calc default polars -  time:   0.01 s pos:       0 undec:  371417 neg:       2
339.03/85.46	c =========================================================================================
339.03/85.46	c types(t): F = full restart, N = normal restart
339.03/85.46	c types(t): S = simplification begin/end, E = solution found
339.03/85.46	c restart types(rt): st = static, dy = dynamic
339.03/85.46	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
339.03/85.46	c  B st     0         0         2         0         1         0         2         0   no data   no data
339.03/85.46	c  E st     1         0         0         0         1         0         2         0   no data   no data
339.03/85.47	c Verified 0 clauses.
339.03/85.47	c Verified 0 clauses.
339.03/85.47	c Solved part
339.03/85.47	c =========================================================================================
339.03/85.48	c Solving part 845
340.24/85.75	c  N st     0         0         2         0         1         0         2         0   no data   no data
340.24/85.75	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
340.24/85.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
340.24/85.78	c Finding binary XORs  T:     0.02 s  found:       0
340.24/85.78	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
340.24/85.78	c calculated reachability. Time: 0.00
340.24/85.78	c Calc default polars -  time:   0.01 s pos:       0 undec:  371417 neg:       2
340.24/85.78	c =========================================================================================
340.24/85.78	c types(t): F = full restart, N = normal restart
340.24/85.78	c types(t): S = simplification begin/end, E = solution found
340.24/85.78	c restart types(rt): st = static, dy = dynamic
340.24/85.78	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
340.24/85.78	c  B st     0         0         2         0         1         0         2         0   no data   no data
340.24/85.78	c  E st     1         0         0         0         1         0         2         0   no data   no data
340.24/85.79	c Verified 0 clauses.
340.24/85.79	c Verified 0 clauses.
340.24/85.79	c Solved part
340.24/85.79	c =========================================================================================
340.58/85.80	c Solving part 846
341.33/86.05	c  N st     0         0         2         0         1         0         2         0   no data   no data
341.33/86.05	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
341.33/86.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
341.33/86.07	c Finding binary XORs  T:     0.02 s  found:       0
341.33/86.07	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
341.33/86.07	c calculated reachability. Time: 0.00
341.33/86.08	c Calc default polars -  time:   0.01 s pos:       0 undec:  371417 neg:       2
341.33/86.08	c =========================================================================================
341.33/86.08	c types(t): F = full restart, N = normal restart
341.33/86.08	c types(t): S = simplification begin/end, E = solution found
341.33/86.08	c restart types(rt): st = static, dy = dynamic
341.33/86.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
341.33/86.08	c  B st     0         0         2         0         1         0         2         0   no data   no data
341.33/86.08	c  E st     1         0         0         0         1         0         2         0   no data   no data
341.33/86.09	c Verified 0 clauses.
341.33/86.09	c Verified 0 clauses.
341.33/86.09	c Solved part
341.33/86.09	c =========================================================================================
341.74/86.10	c Coming back to original instance
341.74/86.10	c =========================================================================================
350.90/88.42	c  N dy   118     30001    192129    354331   4388885     18823  14576469    642922     18.68   no data
350.90/88.42	c  S st   118     30001    192129    354331   4388885     18823  14576469    642922     18.68   no data
355.68/89.66	c  S st   118     30501    192125    354331   4389022     19176  14576468    654409     18.68   no data
356.48/89.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
412.31/103.83	c Flit:   248 Blit:   1966 bXBeca:    0 bXProp: 3112 Bins: 309340 BRemL:  30093 BRemN:    738 P: 200.1M T: 14.00
412.71/103.99	c Cleaning up after failed var search:     0.16 s 
414.35/104.39	c Replacing     3113 vars Replaced   348550 lits Time:     0.39 s 
425.08/107.04	c blocked clauses removed:    19396 vars:  19811 tried:      360454 T: 2.29 s
426.27/107.36	c bin-w-bin subsume rem         6762 bins  time:  0.32 s
448.20/112.87	c subs with bin:    17789  lits-rem:    468169  v-fix:    0  time:  5.51 s
458.62/115.47	c Subs w/ non-existent bins:    633 l-rem:   4155 v-fix:     1 done:  37918 time:  2.59 s
461.37/116.11	c Removed useless bin:   23530  fixed:     0  props:  20.15M  time:  0.36 s
482.50/121.44	c lits-rem:      7421  cl-subs:     9657  v-elim:  20322  v-fix:    0  time:  5.31 s
485.69/122.23	c subs with bin:       50  lits-rem:      8103  v-fix:    0  time:  0.68 s
500.45/125.98	c lits-rem:     15966  cl-subs:     6806  v-elim:      0  v-fix:    0  time:  3.58 s
502.49/126.49	c asymm  cl-useful: 42/837/310540 lits-rem:705 time: 0.51
502.84/126.57	c calculated reachability. Time: 0.01
502.84/126.57	c  N dy   118     30501    143068    310540   2925700     14264   9428639    673096     18.68   no data
503.24/126.65	c Finding binary XORs  T:     0.08 s  found:     101
515.65/129.77	c  N dy   119     38087    141426    309825   3056158     21262   9349870   1225946     16.85     17.88
529.55/133.28	c Finding binary XORs  T:     0.09 s  found:     152
534.74/134.54	c  N dy   150     42194    141426    309825   3056262     25205   9349869   1398815     17.20     18.34
546.70/137.55	c  S st   171     45752    141421    309825   3097081     15381   9349863   1030646     17.23     15.78
550.32/138.48	c  S st   171     46252    141420    309825   3097191     15768   9349863   1034559     17.23   no data
551.08/138.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
601.33/151.22	c Flit:   224 Blit:   1160 bXBeca:    0 bXProp:   52 Bins:1759984 BRemL:   4937 BRemN:    191 P: 200.1M T: 12.60
601.73/151.34	c Cleaning up after failed var search:     0.12 s 
602.95/151.67	c Replacing      306 vars Replaced   284385 lits Time:     0.32 s 
604.11/151.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
606.11/152.41	c bin-w-bin subsume rem        52726 bins  time:  0.50 s
625.30/157.29	c subs with bin:    29005  lits-rem:    172740  v-fix:    0  time:  4.88 s
630.04/158.40	c Subs w/ non-existent bins:    686 l-rem:   3378 v-fix:     7 done:  19903 time:  1.10 s
630.84/158.67	c Removed useless bin:    5979  fixed:     0  props:  20.01M  time:  0.27 s
649.98/163.43	c lits-rem:       293  cl-subs:     3016  v-elim:   3170  v-fix:    0  time:  4.75 s
652.77/164.11	c subs with bin:      173  lits-rem:     15693  v-fix:    0  time:  0.56 s
654.77/164.69	c lits-rem:      9171  cl-subs:     1881  v-elim:      0  v-fix:    0  time:  0.45 s
657.15/165.24	c asymm  cl-useful: 16/748/282786 lits-rem:403 time: 0.54
657.56/165.35	c calculated reachability. Time: 0.01
657.56/165.36	c  N dy   171     46252    136541    282786   4428400     13353   8829153   3787270     17.23   no data
657.96/165.47	c Finding binary XORs  T:     0.11 s  found:      26
724.28/193.11	c  N dy   206     50319    135910    282786   4481734     17295   8829148   4087045     17.88     18.89
732.98/196.31	c  N dy   244     54356    135910    282786   4481775     21220   8829145   4306950     18.31     19.38
883.24/325.26	c Finding binary XORs  T:     0.12 s  found:      55
885.63/326.49	c  N dy   261     58425    135842    282364   6564105     25140   8810389   8664014     18.23     30.70
891.23/329.25	c  N dy   284     62437    135840    282364   6564159     29031   8810388   8886624     18.39     34.26
980.42/397.45	c  N dy   321     66466    135840    282364   6581377     32905   8810378   9128917     18.89     31.46
995.16/401.15	c  S st   345     69378    135839    282364   6581672     18824   8810378   8253443     19.07   no data
999.53/402.21	c  S st   345     69879    135838    282364   6581771     19222   8810378   8257148     19.07   no data
999.93/402.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
1051.33/415.23	c Flit:   231 Blit:   1891 bXBeca:    0 bXProp:   26 Bins: 961103 BRemL:   2640 BRemN:     58 P: 200.0M T: 12.81
1052.13/415.41	c Cleaning up after failed var search:     0.17 s 
1053.72/415.82	c Replacing      108 vars Replaced   243620 lits Time:     0.40 s 
1054.52/416.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1061.31/417.72	c bin-w-bin subsume rem        78906 bins  time:  1.64 s
1078.87/422.17	c subs with bin:     8744  lits-rem:     23070  v-fix:    0  time:  4.45 s
1090.83/425.18	c Subs w/ non-existent bins:    779 l-rem:   3233 v-fix:     0 done:  13547 time:  3.01 s
1094.41/426.04	c Removed useless bin:   54834  fixed:     0  props:  20.00M  time:  0.86 s
1104.39/428.50	c lits-rem:      1504  cl-subs:     3525  v-elim:   3729  v-fix:    0  time:  2.46 s
1107.18/429.27	c subs with bin:      527  lits-rem:      5273  v-fix:    0  time:  0.67 s
1109.57/429.81	c lits-rem:      7298  cl-subs:      674  v-elim:      0  v-fix:    0  time:  0.40 s
1111.56/430.37	c asymm  cl-useful: 22/773/276106 lits-rem:300 time: 0.56
1112.36/430.53	c calculated reachability. Time: 0.01
1112.36/430.53	c  N dy   345     69879    129876    276106   6465543     13907   8408290   8170788     19.07   no data
1112.76/430.67	c Finding binary XORs  T:     0.14 s  found:      18
1137.08/436.79	c  N dy   381     74414    129876    276106   6465596     18313   8408279   8372700     19.43     28.06
1204.86/456.86	c  N dy   423     79255    129876    276106   6466784     22976   8408263   8609105     19.83     30.62
1247.78/469.63	c  N dy   464     84403    129688    276106   6581938     27941   8408255   9068822     20.11     30.68
1252.17/470.79	c Finding binary XORs  T:     0.12 s  found:      61
1316.04/516.27	c  F st   489     87500    129526    275795   7215238     30913   8402859  10474631     20.26   no data
1316.84/516.61	c Replacing       79 vars Replaced    40965 lits Time:     0.22 s 
1317.64/517.07	c Found part       92 vars:     129360 clauses:   2807244 lits size:   8397442
1317.64/517.07	c Found part       93 vars:          2 clauses:         1 lits size:         2
1317.64/517.07	c Found part       94 vars:          2 clauses:         1 lits size:         2
1317.64/517.07	c Found parts:          3 time: 0.80 s
1317.64/517.07	c Solving part 93
1318.24/517.31	c  N st     0         0         2         0         1         0         2         0   no data   no data
1318.24/517.31	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1318.24/517.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1318.24/517.33	c Finding binary XORs  T:     0.02 s  found:       0
1318.24/517.33	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1318.24/517.33	c calculated reachability. Time: 0.00
1318.24/517.34	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
1318.24/517.34	c =========================================================================================
1318.24/517.34	c types(t): F = full restart, N = normal restart
1318.24/517.34	c types(t): S = simplification begin/end, E = solution found
1318.24/517.34	c restart types(rt): st = static, dy = dynamic
1318.24/517.34	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1318.24/517.34	c  B st     0         0         2         0         1         0         2         0   no data   no data
1318.24/517.34	c  E st     1         0         0         0         1         0         2         0   no data   no data
1318.24/517.34	c Verified 0 clauses.
1318.24/517.34	c Verified 0 clauses.
1318.24/517.34	c Solved part
1318.24/517.34	c =========================================================================================
1318.24/517.35	c Solving part 94
1318.64/517.58	c  N st     0         0         2         0         1         0         2         0   no data   no data
1318.64/517.58	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1318.64/517.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1318.84/517.60	c Finding binary XORs  T:     0.02 s  found:       0
1318.84/517.60	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1318.84/517.60	c calculated reachability. Time: 0.00
1318.84/517.60	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
1318.84/517.60	c =========================================================================================
1318.84/517.60	c types(t): F = full restart, N = normal restart
1318.84/517.60	c types(t): S = simplification begin/end, E = solution found
1318.84/517.60	c restart types(rt): st = static, dy = dynamic
1318.84/517.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1318.84/517.60	c  B st     0         0         2         0         1         0         2         0   no data   no data
1318.84/517.60	c  E st     1         0         0         0         1         0         2         0   no data   no data
1318.84/517.61	c Verified 0 clauses.
1318.84/517.61	c Verified 0 clauses.
1318.84/517.61	c Solved part
1318.84/517.61	c =========================================================================================
1318.84/517.62	c Coming back to original instance
1318.84/517.62	c =========================================================================================
1320.03/518.29	c Finding binary XORs  T:     0.10 s  found:      45
1322.83/519.65	c  N st   494     90795    129411    275632   6027344     34004   8397442   8301204     20.26   no data
1352.20/531.42	c  N dy   530     96587    129223    275632   6027993     22347   8397438   7547663     20.60     21.74
1377.36/537.78	c  N dy   575    102891    129223    275632   6028398     28439   8397392   7890865     20.83     22.08
1381.31/538.77	c  S st   579    104818    129223    275632   6028424     30277   8397392   7983338     20.75     17.90
1385.71/539.85	c  S st   579    105318    129223    275632   6028696     30671   8397392   7988083     20.75   no data
1386.54/540.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
1433.96/551.95	c Flit:   168 Blit:    590 bXBeca:    0 bXProp:   33 Bins: 516575 BRemL:   2214 BRemN:     54 P: 200.1M T: 11.92
1433.96/551.95	c Cleaning up after failed var search:     0.00 s 
1435.54/552.38	c Replacing       78 vars Replaced    72908 lits Time:     0.42 s 
1436.74/552.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1439.18/553.26	c bin-w-bin subsume rem        25677 bins  time:  0.64 s
1455.49/557.31	c subs with bin:     8075  lits-rem:     19056  v-fix:    0  time:  4.06 s
1462.68/559.13	c Subs w/ non-existent bins:   2624 l-rem:  12164 v-fix:     0 done:   8438 time:  1.81 s
1464.28/559.52	c Removed useless bin:   10578  fixed:     0  props:  20.02M  time:  0.39 s
1471.05/561.25	c lits-rem:       438  cl-subs:     2294  v-elim:   1869  v-fix:    2  time:  1.73 s
1477.84/562.94	c subs with bin:      355  lits-rem:      4296  v-fix:    0  time:  1.54 s
1480.62/563.64	c lits-rem:     12523  cl-subs:     1296  v-elim:      0  v-fix:    0  time:  0.56 s
1482.65/564.18	c asymm  cl-useful: 29/687/271093 lits-rem:273 time: 0.54
1483.41/564.31	c calculated reachability. Time: 0.01
1483.41/564.32	c  N dy   579    105318    126518    271093   5414413     28162   8257868   6729099     20.75   no data
1483.81/564.44	c Finding binary XORs  T:     0.12 s  found:       5
1495.82/567.46	c  N dy   584    112347    126518    271093   5414488     34769   8257867   6926615     20.15     21.29
1513.92/574.97	c  N dy   586    124122    126514    271093   5415791     26176   8257866   6440249     19.44     20.63
1569.30/592.83	c  N dy   641    133529    126514    271093   5422481     35338   8257862   6876415     19.66     21.25
1602.76/601.23	c  N dy   687    142098    126514    271093   5422637     43601   8257857   7253421     19.73     27.22
1644.24/611.64	c  N dy   758    151256    126514    271093   5423188     30701   8257855   6673519     20.09     28.29
1676.55/619.79	c  S st   817    157977    126514    271093   5423541     37251   8257844   7030840     20.40   no data
1681.34/620.97	c  S st   817    158477    126514    271093   5423625     37666   8257844   7035509     20.40   no data
1682.14/621.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
1732.78/633.84	c Flit:   256 Blit:    278 bXBeca:    0 bXProp:   32 Bins: 393101 BRemL:   2321 BRemN:     69 P: 200.1M T: 12.71
1732.78/633.84	c Cleaning up after failed var search:     0.00 s 
1735.18/634.41	c Replacing       38 vars Replaced   186696 lits Time:     0.56 s 
1736.02/634.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1737.97/635.16	c bin-w-bin subsume rem        21261 bins  time:  0.51 s
1753.15/638.99	c subs with bin:     6229  lits-rem:     19561  v-fix:    0  time:  3.83 s
1762.69/641.31	c Subs w/ non-existent bins:   1273 l-rem:    742 v-fix:     3 done:  19755 time:  2.30 s
1763.48/641.59	c Removed useless bin:   13666  fixed:     0  props:  20.02M  time:  0.28 s
1771.46/643.55	c lits-rem:       648  cl-subs:     3397  v-elim:    791  v-fix:    0  time:  1.96 s
1777.85/645.17	c subs with bin:     1009  lits-rem:     13458  v-fix:    0  time:  1.48 s
1781.44/646.06	c lits-rem:     18892  cl-subs:     2048  v-elim:      0  v-fix:    0  time:  0.75 s
1783.44/646.58	c asymm  cl-useful: 33/767/263655 lits-rem:58 time: 0.52
1783.86/646.68	c calculated reachability. Time: 0.01
1783.86/646.69	c  N dy   817    158477    125149    263655   3959305     34209   8107388   4092550     20.40   no data
1784.28/646.79	c Finding binary XORs  T:     0.11 s  found:      13
1830.86/659.51	c  N dy   910    168602    125147    263655   3961817     44077   8107377   4668354     21.03     34.66
1905.49/679.42	c  N dy  1010    179531    124973    263655   4375183     31577   8107377   4633495     21.56     23.09
1908.27/680.15	c Finding binary XORs  T:     0.11 s  found:      48
2011.51/742.07	c  N dy  1093    191087    124856    263480   4853098     42777   8101101   6219057     21.79     26.13
2016.18/743.51	c Finding binary XORs  T:     0.11 s  found:      23
2066.40/756.08	c  N dy  1181    205890    124837    263452   4860955     32394   8099800   5578004     21.97     23.28
2126.61/771.18	c  N dy  1279    219108    123747    263452   4864920     45244   8099799   6270554     22.22     35.55
2174.87/783.21	c  N dy  1349    233316    123747    263452   4865444     33115   8099799   5563846     22.18     23.63
2182.89/785.29	c  S st  1359    237715    123747    263452   4865468     37334   8099799   5911744     22.10     16.90
2187.27/786.35	c  S st  1359    238215    123747    263452   4865709     37760   8099799   5916821     22.10   no data
2188.03/786.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2236.29/798.65	c Flit:   243 Blit:   1676 bXBeca:    0 bXProp:   38 Bins: 154556 BRemL:  11387 BRemN:    109 P: 200.2M T: 12.15
2237.09/798.80	c Cleaning up after failed var search:     0.14 s 
2238.69/799.26	c Replacing      122 vars Replaced   283123 lits Time:     0.45 s 
2239.49/799.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2242.28/800.11	c bin-w-bin subsume rem        60432 bins  time:  0.63 s
2256.64/803.79	c subs with bin:     5453  lits-rem:     22625  v-fix:    0  time:  3.67 s
2269.00/806.84	c Subs w/ non-existent bins:    797 l-rem:   1139 v-fix:     9 done:  19777 time:  3.05 s
2271.04/807.35	c Removed useless bin:   26349  fixed:     0  props:  20.01M  time:  0.51 s
2282.55/810.23	c lits-rem:      2303  cl-subs:     5734  v-elim:   2686  v-fix:    0  time:  2.87 s
2288.92/811.81	c subs with bin:     1015  lits-rem:     15543  v-fix:    0  time:  1.46 s
2292.12/812.67	c lits-rem:     18830  cl-subs:     1861  v-elim:      0  v-fix:    0  time:  0.74 s
2294.11/813.17	c asymm  cl-useful: 159/665/259427 lits-rem:231 time: 0.49
2294.52/813.26	c calculated reachability. Time: 0.01
2294.52/813.26	c  N dy  1359    238215    119012    259427   3329124     31023   7819028   2788266     22.10   no data
2294.92/813.35	c Finding binary XORs  T:     0.09 s  found:      14
2362.32/830.23	c  N dy  1479    253496    119010    259427   3338478     45956   7819015   3647986     22.53     24.34
2440.88/849.92	c  N dy  1604    270122    118655    259427   3353863     37129   7818996   3014682     22.84     24.85
2485.58/861.18	c Finding binary XORs  T:     0.09 s  found:      67
2517.44/869.11	c  N dy  1721    287428    117793    259187   3348234     53943   7811305   3995037     23.22     32.67
2593.23/888.17	c  N dy  1848    305854    117792    259187   3348870     44872   7811294   3369949     23.45     24.70
2594.83/888.56	c  F st  1850    306251    117792    259187   3348874     45251   7811294   3385204     23.44     20.45
2596.02/888.89	c Replacing       81 vars Replaced    45695 lits Time:     0.23 s 
2678.19/909.46	c  N dy  1971    325438    117713    257331   3329878     35049   7766399   2722204     23.76     25.56
2761.15/930.27	c  N dy  2118    345500    117712    257331   3330417     54717   7766365   3906211     24.07     37.94
2814.58/946.28	c Finding binary XORs  T:     0.09 s  found:      45
2831.33/950.41	c  S st  2201    357322    116135    252252   3685589     36263   7656871   3479557     24.22   no data
2835.72/951.56	c  S st  2201    357822    116135    252252   3685664     36681   7656871   3485556     24.22   no data
2836.12/951.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
2885.98/964.11	c Flit:   303 Blit:     54 bXBeca:    0 bXProp:   15 Bins: 837896 BRemL:   3806 BRemN:    209 P: 200.1M T: 12.42
2885.98/964.11	c Cleaning up after failed var search:     0.00 s 
2887.60/964.55	c Replacing       61 vars Replaced    73217 lits Time:     0.43 s 
2888.36/964.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2890.36/965.23	c bin-w-bin subsume rem        12882 bins  time:  0.46 s
2905.15/968.92	c subs with bin:     8376  lits-rem:     16909  v-fix:    0  time:  3.69 s
2911.72/971.44	c Subs w/ non-existent bins:   1405 l-rem:   1238 v-fix:     4 done:  27658 time:  2.51 s
2912.54/971.73	c Removed useless bin:   20318  fixed:     0  props:  20.00M  time:  0.29 s
2921.71/974.01	c lits-rem:      3086  cl-subs:     4471  v-elim:   2907  v-fix:    0  time:  2.28 s
2927.30/975.43	c subs with bin:      666  lits-rem:      6074  v-fix:    0  time:  1.29 s
2929.69/976.06	c lits-rem:     13404  cl-subs:     1247  v-elim:      0  v-fix:    0  time:  0.50 s
2931.69/976.58	c asymm  cl-useful: 197/809/245591 lits-rem:328 time: 0.52
2932.11/976.68	c calculated reachability. Time: 0.01
2932.11/976.68	c  N dy  2201    357822    112806    245591   3956624     33149   7452999   4086426     24.22   no data
2932.53/976.78	c Finding binary XORs  T:     0.10 s  found:       2
3005.97/999.56	c Finding binary XORs  T:     0.10 s  found:      36
3013.55/1001.46	c  N dy  2341    377918    112553    244647   3775736     52656   7434028   4913919     24.43     25.93
3097.30/1022.43	c  N dy  2481    397968    112553    244647   3776628     42177   7434018   4152898     24.60     27.50
3177.46/1042.56	c  N dy  2636    417990    112553    244647   3777152     61738   7434011   5384706     24.83     42.38
3270.42/1065.89	c  N dy  2799    438185    112553    244647   3777943     49918   7434009   4609602     25.18     28.73
3352.93/1086.58	c  N dy  2964    458233    112553    244647   3778690     36705   7434004   3651141     25.51     26.91
3433.09/1106.69	c  N dy  3106    478352    112553    244647   3779122     56410   7434004   4888112     25.68     27.14
3521.62/1128.87	c  N dy  3268    498390    112552    244647   3779678     41981   7434004   3903402     25.97     32.20
3601.39/1148.80	c  N dy  3414    518454    112551    244647   3780449     61574   7434004   5172926     26.18     28.45
3676.37/1167.66	c  S st  3540    536733    112551    244647   3780986     44317   7433994   4008540     26.30     26.46
3681.15/1168.87	c  S st  3540    537233    112549    244647   3781048     44753   7433994   4014265     26.30   no data
3681.94/1169.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
3729.81/1181.07	c Flit:   466 Blit:    629 bXBeca:    0 bXProp:   55 Bins: 667704 BRemL:   4089 BRemN:    215 P: 200.0M T: 12.07
3729.81/1181.07	c Cleaning up after failed var search:     0.00 s 
3731.40/1181.49	c Replacing      102 vars Replaced   145356 lits Time:     0.41 s 
3732.60/1181.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3734.20/1182.19	c bin-w-bin subsume rem        27899 bins  time:  0.48 s
3749.34/1185.98	c subs with bin:     5889  lits-rem:     15014  v-fix:    0  time:  3.79 s
3763.30/1189.47	c Subs w/ non-existent bins:    976 l-rem:   1857 v-fix:     0 done:  13088 time:  3.49 s
3764.50/1189.79	c Removed useless bin:   24960  fixed:     0  props:  20.00M  time:  0.32 s
3770.53/1191.22	c lits-rem:       216  cl-subs:     2897  v-elim:   1596  v-fix:    0  time:  1.43 s
3776.86/1192.81	c subs with bin:      277  lits-rem:      6540  v-fix:    0  time:  1.48 s
3779.31/1193.47	c lits-rem:     12148  cl-subs:     1118  v-elim:      0  v-fix:    0  time:  0.53 s
3781.66/1194.01	c asymm  cl-useful: 187/707/240414 lits-rem:484 time: 0.54
3782.06/1194.11	c calculated reachability. Time: 0.01
3782.06/1194.11	c  N dy  3540    537233    109756    240414   3734994     41851   7294539   3914086     26.30   no data
3782.46/1194.21	c Finding binary XORs  T:     0.10 s  found:      10
3870.99/1217.58	c  N dy  3691    557328    109756    240414   3751206     61571   7294532   5159420     26.50     33.80
3933.96/1233.32	c  N dy  3780    578297    109756    240414   3751654     46510   7294523   3974582     26.50     28.73
3974.25/1243.44	c  N dy  3792    598465    109756    240414   3751919     65515   7294523   5031577     26.13     27.86
4057.59/1264.39	c  N dy  3935    618802    109756    240414   3752511     49095   7294514   4221066     26.24     27.78
4132.97/1283.25	c  N dy  4059    638943    109756    240414   3752901     68786   7294509   5451049     26.35     28.18

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

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

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


[startup+0 s]
/proc/loadavg: 7.89 8.08 8.05 5/360 19973
/proc/meminfo: memFree=18398580/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 407 0 0 0 1 0 0 0 23 0 4 0 634044162 52396032 347 33554432000 4194304 4580107 140735169609744 18446744073709551615 47898613798828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 12792 347 299 95 0 7774 0
[pid=19973/tid=19974] ppid=19971 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 634044162 52396032 347 33554432000 4194304 4580107 140735169609744 18446744073709551615 47898613798834 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 634044162 52396032 347 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 634044162 52396032 347 33554432000 4194304 4580107 140735169609744 18446744073709551615 47898613798834 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.090228 s]
/proc/loadavg: 7.89 8.08 8.05 5/360 19973
/proc/meminfo: memFree=18398580/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=367512 CPUtime=0.29 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 12637 0 0 0 25 4 0 0 18 0 4 0 634044162 376332288 10532 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510297403 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 91621 10725 337 95 0 86603 0
[pid=19973/tid=19974] ppid=19971 vsize=366484 CPUtime=0.07 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 3006 0 0 0 6 1 0 0 18 0 4 0 634044162 375279616 10827 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=366484 CPUtime=0.06 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) S 19971 19973 19731 0 -1 4202560 3146 0 0 0 5 1 0 0 18 0 4 0 634044162 375279616 10957 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402542 0 0 4096 2 18446604453942101888 0 0 -1 6 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=366484 CPUtime=0.08 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 3210 0 0 0 7 1 0 0 18 0 4 0 634044162 375279616 11085 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 367512

[startup+0.109701 s]
/proc/loadavg: 7.89 8.08 8.05 5/360 19973
/proc/meminfo: memFree=18398580/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=367772 CPUtime=0.36 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 14911 0 0 0 30 6 0 0 18 0 4 0 634044162 376598528 12786 33554432000 4194304 4580107 140735169609744 18446744073709551615 4512130 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 92183 13007 337 95 0 87165 0
[pid=19973/tid=19974] ppid=19971 vsize=368732 CPUtime=0.09 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 3550 0 0 0 8 1 0 0 18 0 4 0 634044162 377581568 13007 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510355370 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=369052 CPUtime=0.07 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) S 19971 19973 19731 0 -1 4202560 3682 0 0 0 6 1 0 0 18 0 4 0 634044162 377909248 13036 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402542 0 0 4096 2 18446604453942101888 0 0 -1 6 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=369052 CPUtime=0.09 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) S 19971 19973 19731 0 -1 4202560 3661 0 0 0 8 1 0 0 18 0 4 0 634044162 377909248 13047 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402542 0 0 4096 2 18446604453942101888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 367772

[startup+0.300609 s]
/proc/loadavg: 7.89 8.08 8.05 5/360 19973
/proc/meminfo: memFree=18398580/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=401944 CPUtime=1.05 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 37571 0 0 0 88 17 0 0 18 0 4 0 634044162 411590656 33174 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402591 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 100486 33177 337 95 0 95468 0
[pid=19973/tid=19974] ppid=19971 vsize=401944 CPUtime=0.25 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 9099 0 0 0 21 4 0 0 18 0 4 0 634044162 411590656 33178 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=401944 CPUtime=0.24 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 9315 0 0 0 21 3 0 0 18 0 4 0 634044162 411590656 33178 33554432000 4194304 4580107 140735169609744 18446744073709551615 4512047 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=401944 CPUtime=0.26 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 9244 0 0 0 22 4 0 0 18 0 4 0 634044162 411590656 33182 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 401944

[startup+0.700537 s]
/proc/loadavg: 7.89 8.08 8.05 5/360 19973
/proc/meminfo: memFree=18398580/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=599212 CPUtime=2.44 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 84598 0 0 0 205 39 0 0 17 0 4 0 634044162 613593088 75638 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402591 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 149803 75641 337 95 0 144785 0
[pid=19973/tid=19974] ppid=19971 vsize=599212 CPUtime=0.61 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 20537 0 0 0 51 10 0 0 17 0 4 0 634044162 613593088 75643 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=599212 CPUtime=0.59 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 21408 0 0 0 49 10 0 0 17 0 4 0 634044162 613593088 75644 33554432000 4194304 4580107 140735169609744 18446744073709551615 4306908 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=599212 CPUtime=0.6 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 20674 0 0 0 51 9 0 0 17 0 4 0 634044162 613593088 75650 33554432000 4194304 4580107 140735169609744 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 599212

[startup+1.88633 s]
/proc/loadavg: 7.89 8.08 8.05 5/360 19973
/proc/meminfo: memFree=18398580/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=1141264 CPUtime=6.62 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 230119 0 0 0 546 116 0 0 18 0 4 0 634044162 1168654336 195232 33554432000 4194304 4580107 140735169609744 18446744073709551615 233509958689 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 285316 195232 337 95 0 280298 0
[pid=19973/tid=19974] ppid=19971 vsize=1141264 CPUtime=1.66 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 56916 0 0 0 138 28 0 0 18 0 4 0 634044162 1168654336 195235 33554432000 4194304 4580107 140735169609744 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=1141264 CPUtime=1.61 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 57736 0 0 0 131 30 0 0 18 0 4 0 634044162 1168654336 195235 33554432000 4194304 4580107 140735169609744 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=1141264 CPUtime=1.63 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 56560 0 0 0 135 28 0 0 17 0 4 0 634044162 1168654336 195237 33554432000 4194304 4580107 140735169609744 18446744073709551615 4341285 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 1141264

[startup+3.10111 s]
/proc/loadavg: 7.82 8.06 8.05 10/364 19977
/proc/meminfo: memFree=17232728/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=1447176 CPUtime=11.13 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 319246 0 0 0 949 164 0 0 18 0 4 0 634044162 1481908224 283083 33554432000 4194304 4580107 140735169609744 18446744073709551615 4288973 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19973/statm: 361794 283083 356 95 0 356776 0
[pid=19973/tid=19974] ppid=19971 vsize=1447176 CPUtime=2.81 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 78069 0 0 0 241 40 0 0 18 0 4 0 634044162 1481908224 283218 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=1447176 CPUtime=2.76 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 80560 0 0 0 232 44 0 0 18 0 4 0 634044162 1481908224 283219 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=1447176 CPUtime=2.75 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 79126 0 0 0 235 40 0 0 18 0 4 0 634044162 1481908224 283219 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294312 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.13
Current children cumulated vsize (KiB) 1447176

[startup+6.30054 s]
/proc/loadavg: 7.82 8.06 8.05 9/364 19977
/proc/meminfo: memFree=17162560/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=1528788 CPUtime=23.85 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 334508 0 0 0 2217 168 0 0 23 0 4 0 634044162 1565478912 295926 33554432000 4194304 4580107 140735169609744 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19973/statm: 382197 295926 360 95 0 377179 0
[pid=19973/tid=19974] ppid=19971 vsize=1528788 CPUtime=6 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 81129 0 0 0 560 40 0 0 25 0 4 0 634044162 1565478912 295926 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=1528788 CPUtime=5.94 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 83649 0 0 0 549 45 0 0 24 0 4 0 634044162 1565478912 295926 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=1528788 CPUtime=5.93 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 85157 0 0 0 552 41 0 0 25 0 4 0 634044162 1565478912 295926 33554432000 4194304 4580107 140735169609744 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.85
Current children cumulated vsize (KiB) 1528788

[startup+12.7004 s]
/proc/loadavg: 7.85 8.06 8.05 9/364 19977
/proc/meminfo: memFree=17134956/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=1916344 CPUtime=49.25 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 428095 0 0 0 4721 204 0 0 18 0 4 0 634044162 1962336256 389513 33554432000 4194304 4580107 140735169609744 18446744073709551615 4507434 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19973/statm: 479086 389513 370 95 0 474068 0
[pid=19973/tid=19974] ppid=19971 vsize=1916344 CPUtime=12.38 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 113038 0 0 0 1190 48 0 0 18 0 4 0 634044162 1962336256 389513 33554432000 4194304 4580107 140735169609744 18446744073709551615 4446960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=1916344 CPUtime=12.25 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 114231 0 0 0 1176 49 0 0 18 0 4 0 634044162 1962336256 389513 33554432000 4194304 4580107 140735169609744 18446744073709551615 4446870 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=1916344 CPUtime=12.32 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 85962 0 0 0 1190 42 0 0 18 0 4 0 634044162 1962336256 389513 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.25
Current children cumulated vsize (KiB) 1916344

[startup+25.5011 s]
/proc/loadavg: 7.65 8.01 8.03 9/364 20008
/proc/meminfo: memFree=14978724/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=2087996 CPUtime=100.29 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 474885 0 0 0 9804 225 0 0 25 0 4 0 634044162 2138107904 435770 33554432000 4194304 4580107 140735169609744 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19973/statm: 521999 435770 375 95 0 516981 0
[pid=19973/tid=19974] ppid=19971 vsize=2087996 CPUtime=25.18 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 128723 0 0 0 2466 52 0 0 25 0 4 0 634044162 2138107904 435770 33554432000 4194304 4580107 140735169609744 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=2087996 CPUtime=25.06 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 124126 0 0 0 2451 55 0 0 25 0 4 0 634044162 2138107904 435770 33554432000 4194304 4580107 140735169609744 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=2087996 CPUtime=25.11 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 90827 0 0 0 2463 48 0 0 25 0 4 0 634044162 2138107904 435770 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.29
Current children cumulated vsize (KiB) 2087996

[startup+51.1005 s]
/proc/loadavg: 7.77 8.01 8.03 9/364 20008
/proc/meminfo: memFree=14297616/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=2594596 CPUtime=202.36 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 524187 0 0 0 19995 241 0 0 25 0 4 0 634044162 2656866304 471299 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19973/statm: 648649 471299 379 95 0 643631 0
[pid=19973/tid=19974] ppid=19971 vsize=2594596 CPUtime=50.77 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 147808 0 0 0 5017 60 0 0 25 0 4 0 634044162 2656866304 471299 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=2594596 CPUtime=50.65 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 141042 0 0 0 5005 60 0 0 25 0 4 0 634044162 2656866304 471299 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=2594596 CPUtime=50.7 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 92935 0 0 0 5021 49 0 0 25 0 4 0 634044162 2656866304 471299 33554432000 4194304 4580107 140735169609744 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202.36
Current children cumulated vsize (KiB) 2594596

[startup+102.3 s]
/proc/loadavg: 7.96 8.02 8.03 9/364 20010
/proc/meminfo: memFree=13701584/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=2864080 CPUtime=406.32 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 808637 0 0 0 40341 291 0 0 25 0 4 0 634044162 2932817920 606406 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19973/statm: 716020 606406 381 95 0 711002 0
[pid=19973/tid=19974] ppid=19971 vsize=2864080 CPUtime=101.72 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 163869 0 0 0 10108 64 0 0 25 0 4 0 634044162 2932817920 606406 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=2864080 CPUtime=101.82 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 222258 0 0 0 10108 74 0 0 25 0 4 0 634044162 2932817920 606406 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=2864080 CPUtime=101.82 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 194278 0 0 0 10113 69 0 0 25 0 4 0 634044162 2932817920 606406 33554432000 4194304 4580107 140735169609744 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 406.32
Current children cumulated vsize (KiB) 2864080

[startup+162.301 s]

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


[startup+762.301 s]
/proc/loadavg: 5.94 5.71 6.66 9/364 20027
/proc/meminfo: memFree=9896036/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=4781876 CPUtime=2091.52 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1582836 0 0 0 208696 456 0 0 25 0 4 0 634044162 4896641024 1027689 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1195469 1027689 381 95 0 1190451 0
[pid=19973/tid=19974] ppid=19971 vsize=4781876 CPUtime=550.82 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 366673 0 0 0 54976 106 0 0 25 0 4 0 634044162 4896641024 1027689 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=4781876 CPUtime=515.59 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 350080 0 0 0 51455 104 0 0 25 0 4 0 634044162 4896641024 1027689 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=4781876 CPUtime=515.09 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 484077 0 0 0 51379 130 0 0 25 0 4 0 634044162 4896641024 1027689 33554432000 4194304 4580107 140735169609744 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2091.52
Current children cumulated vsize (KiB) 4781876

[startup+822.3 s]
/proc/loadavg: 7.34 6.15 6.75 9/364 20029
/proc/meminfo: memFree=9619360/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5194408 CPUtime=2330.81 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1659486 0 0 0 232608 473 0 0 25 0 4 0 634044162 5319073792 1084672 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1298602 1084672 381 95 0 1293584 0
[pid=19973/tid=19974] ppid=19971 vsize=5194408 CPUtime=610.1 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 390616 0 0 0 60900 110 0 0 25 0 4 0 634044162 5319073792 1084672 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5194408 CPUtime=575.59 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 358703 0 0 0 57451 108 0 0 25 0 4 0 634044162 5319073792 1084672 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5194408 CPUtime=575.09 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 516720 0 0 0 57372 137 0 0 25 0 4 0 634044162 5319073792 1084672 33554432000 4194304 4580107 140735169609744 18446744073709551615 4413155 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2330.81
Current children cumulated vsize (KiB) 5194408

[startup+882.301 s]
/proc/loadavg: 7.85 6.51 6.83 8/364 20030
/proc/meminfo: memFree=9151372/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5195904 CPUtime=2570.09 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1673646 0 0 0 256529 480 0 0 25 0 4 0 634044162 5320605696 1096461 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1298976 1096461 381 95 0 1293958 0
[pid=19973/tid=19974] ppid=19971 vsize=5195904 CPUtime=669.38 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 393914 0 0 0 66826 112 0 0 25 0 4 0 634044162 5320605696 1096461 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5195904 CPUtime=635.6 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 361607 0 0 0 63450 110 0 0 25 0 4 0 634044162 5320605696 1096461 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5195904 CPUtime=635.09 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 523926 0 0 0 63370 139 0 0 25 0 4 0 634044162 5320605696 1096461 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2570.09
Current children cumulated vsize (KiB) 5195904

[startup+942.301 s]
/proc/loadavg: 6.24 6.31 6.74 5/364 20032
/proc/meminfo: memFree=9104000/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5165012 CPUtime=2802.68 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1695337 0 0 0 279782 486 0 0 18 0 4 0 634044162 5288972288 1108149 33554432000 4194304 4580107 140735169609744 18446744073709551615 4518611 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1291253 1108149 381 95 0 1286235 0
[pid=19973/tid=19974] ppid=19971 vsize=5165012 CPUtime=728.74 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 403471 0 0 0 72759 115 0 0 25 0 4 0 634044162 5288972288 1108149 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5165012 CPUtime=695.59 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 366956 0 0 0 69448 111 0 0 25 0 4 0 634044162 5288972288 1108149 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5165012 CPUtime=691.42 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) S 19971 19973 19731 0 -1 4202560 525333 0 0 0 69002 140 0 0 25 0 4 0 634044162 5288972288 1108149 33554432000 4194304 4580107 140735169609744 18446744073709551615 47898613797406 0 0 4096 2 18446604453942101888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.68
Current children cumulated vsize (KiB) 5165012

[startup+1002.3 s]
/proc/loadavg: 6.84 6.44 6.75 9/364 20034
/proc/meminfo: memFree=8944020/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5259548 CPUtime=3017.14 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1713061 0 0 0 301223 491 0 0 25 0 4 0 634044162 5385777152 1125872 33554432000 4194304 4580107 140735169609744 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1314887 1125872 381 95 0 1309869 0
[pid=19973/tid=19974] ppid=19971 vsize=5259548 CPUtime=780.67 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 410386 0 0 0 77951 116 0 0 25 0 4 0 634044162 5385777152 1125872 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5259548 CPUtime=752.04 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 369293 0 0 0 75092 112 0 0 25 0 4 0 634044162 5385777152 1125872 33554432000 4194304 4580107 140735169609744 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5259548 CPUtime=739.61 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 525497 0 0 0 73821 140 0 0 25 0 4 0 634044162 5385777152 1125872 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3017.14
Current children cumulated vsize (KiB) 5259548

[startup+1062.3 s]
/proc/loadavg: 7.69 6.75 6.84 9/364 20035
/proc/meminfo: memFree=8886080/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5259548 CPUtime=3256.42 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1726991 0 0 0 325147 495 0 0 25 0 4 0 634044162 5385777152 1132310 33554432000 4194304 4580107 140735169609744 18446744073709551615 4325152 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1314887 1132310 381 95 0 1309869 0
[pid=19973/tid=19974] ppid=19971 vsize=5259548 CPUtime=839.96 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 417434 0 0 0 83878 118 0 0 25 0 4 0 634044162 5385777152 1132310 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5259548 CPUtime=812.04 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 369571 0 0 0 81092 112 0 0 25 0 4 0 634044162 5385777152 1132310 33554432000 4194304 4580107 140735169609744 18446744073709551615 4315310 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5259548 CPUtime=799.61 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 526252 0 0 0 79820 141 0 0 25 0 4 0 634044162 5385777152 1132310 33554432000 4194304 4580107 140735169609744 18446744073709551615 4301834 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3256.42
Current children cumulated vsize (KiB) 5259548

[startup+1122.3 s]
/proc/loadavg: 7.66 6.93 6.89 7/364 20037
/proc/meminfo: memFree=8783024/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5325084 CPUtime=3495.71 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1744871 0 0 0 349072 499 0 0 25 0 4 0 634044162 5452886016 1143861 33554432000 4194304 4580107 140735169609744 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1331271 1143861 381 95 0 1326253 0
[pid=19973/tid=19974] ppid=19971 vsize=5325084 CPUtime=899.24 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 417437 0 0 0 89806 118 0 0 25 0 4 0 634044162 5452886016 1143861 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294001 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5325084 CPUtime=872.04 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 369602 0 0 0 87092 112 0 0 25 0 4 0 634044162 5452886016 1143861 33554432000 4194304 4580107 140735169609744 18446744073709551615 4318471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5325084 CPUtime=859.61 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 536521 0 0 0 85818 143 0 0 25 0 4 0 634044162 5452886016 1143861 33554432000 4194304 4580107 140735169609744 18446744073709551615 4484453 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3495.71
Current children cumulated vsize (KiB) 5325084

[startup+1182.3 s]
/proc/loadavg: 7.91 7.12 6.96 9/364 20038
/proc/meminfo: memFree=8728704/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5325084 CPUtime=3735.02 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1763473 0 0 0 372996 506 0 0 25 0 4 0 634044162 5452886016 1156164 33554432000 4194304 4580107 140735169609744 18446744073709551615 4413640 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1331271 1156164 381 95 0 1326253 0
[pid=19973/tid=19974] ppid=19971 vsize=5325084 CPUtime=958.53 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 429008 0 0 0 95731 122 0 0 25 0 4 0 634044162 5452886016 1156164 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5325084 CPUtime=932.05 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 369666 0 0 0 93093 112 0 0 25 0 4 0 634044162 5452886016 1156164 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5325084 CPUtime=919.62 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 543197 0 0 0 91817 145 0 0 25 0 4 0 634044162 5452886016 1156164 33554432000 4194304 4580107 140735169609744 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3735.02
Current children cumulated vsize (KiB) 5325084

[startup+1242.3 s]
/proc/loadavg: 7.99 7.28 7.02 9/364 20040
/proc/meminfo: memFree=8686780/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5325084 CPUtime=3969.86 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1782625 0 0 0 396474 512 0 0 25 0 4 0 634044162 5452886016 1165585 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293301 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1331271 1165585 381 95 0 1326253 0
[pid=19973/tid=19974] ppid=19971 vsize=5325084 CPUtime=1016.38 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 431081 0 0 0 101514 124 0 0 25 0 4 0 634044162 5452886016 1165585 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5325084 CPUtime=989.59 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 375690 0 0 0 98845 114 0 0 25 0 4 0 634044162 5452886016 1165585 33554432000 4194304 4580107 140735169609744 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5325084 CPUtime=979.09 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 550337 0 0 0 97761 148 0 0 25 0 4 0 634044162 5452886016 1165585 33554432000 4194304 4580107 140735169609744 18446744073709551615 4318437 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3969.86
Current children cumulated vsize (KiB) 5325084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.03 7.41 7.08 10/364 20042
/proc/meminfo: memFree=8635068/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=5325084 CPUtime=4200.05 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) R 19971 19973 19731 0 -1 4202496 1810180 0 0 0 419483 522 0 0 25 0 4 0 634044162 5452886016 1172894 33554432000 4194304 4580107 140735169609744 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 1331271 1172894 381 95 0 1326253 0
[pid=19973/tid=19974] ppid=19971 vsize=5325084 CPUtime=1073.39 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 437851 0 0 0 107214 125 0 0 25 0 4 0 634044162 5452886016 1172894 33554432000 4194304 4580107 140735169609744 18446744073709551615 4292992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19973/tid=19975] ppid=19971 vsize=5325084 CPUtime=1047.32 cores=0,2,4,6
/proc/19973/task/19975/stat : 19975 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 382984 0 0 0 104616 116 0 0 25 0 4 0 634044162 5452886016 1172894 33554432000 4194304 4580107 140735169609744 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19973/tid=19976] ppid=19971 vsize=5325084 CPUtime=1036.81 cores=0,2,4,6
/proc/19973/task/19976/stat : 19976 (strangenight2-m) R 19971 19973 19731 0 -1 4202560 557222 0 0 0 103530 151 0 0 25 0 4 0 634044162 5452886016 1172894 33554432000 4194304 4580107 140735169609744 18446744073709551615 4315721 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4200.05
Current children cumulated vsize (KiB) 5325084

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

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

[startup+1300.2 s]
/proc/loadavg: 8.03 7.41 7.08 10/364 20042
/proc/meminfo: memFree=8635068/32951124 swapFree=67111348/67111528
[pid=19973] ppid=19971 vsize=0 CPUtime=4200.25 cores=0,2,4,6
/proc/19973/stat : 19973 (strangenight2-m) Z 19971 19973 19731 0 -1 4203548 1810181 0 0 0 419486 539 0 0 25 0 2 0 634044162 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19973/statm: 0 0 0 0 0 0 0
[pid=19973/tid=19974] ppid=19971 vsize=0 CPUtime=1073.56 cores=0,2,4,6
/proc/19973/task/19974/stat : 19974 (strangenight2-m) R 19971 19973 19731 0 -1 4203588 437851 0 0 0 107214 142 0 0 25 0 2 0 634044162 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4200.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.24
CPU time (s): 4200.29
CPU user time (s): 4194.86
CPU system time (s): 5.42817
CPU usage (%): 323.04
Max. virtual memory (cumulated for all children) (KiB): 5456156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4194.86
system time used= 5.42817
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1810181
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= 176436
involuntary context switches= 19546

runsolver used 4.5783 second user time and 10.4154 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-15 01:38:03
IDJOB=3367072
IDBENCH=85005
IDSOLVER=1844
FILE ID=node145/3367072-1305416278
RUNJOBID= node145-1305413865-19749
PBS_JOBID= 13324541
Free space on /tmp= 73500 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367072-1305416278/watcher-3367072-1305416278 -o /tmp/evaluation-result-3367072-1305416278/solver-3367072-1305416278 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367072-1305416278.cnf

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=2117727635

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18398612 kB
Buffers:        300088 kB
Cached:        8290676 kB
SwapCached:          0 kB
Active:        7584944 kB
Inactive:      6608148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18398612 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:          168340 kB
Writeback:           0 kB
AnonPages:     5602148 kB
Mapped:          28068 kB
Slab:           259640 kB
PageTables:      34388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79592056 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= 73288 MiB
End job on node145 at 2011-05-15 01:59:45