Trace number 3291956

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? (TO) 4574.94 1300.21

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3291956-1304128541.cnf'
0.00/0.00	c -- header says num vars:         371419
0.00/0.00	c -- header says num clauses:     7170909
9.54/2.82	c -- clauses added:            0 learnts,      7170909 normals,            0 xors
9.54/2.82	c -- vars added     371419
9.54/2.82	c Parsing time:  2.14 s
9.54/2.82	c  N st     0         0    371419    400457   6770451         0  20872418         0   no data   no data
11.91/3.41	c asymm  cl-useful: 23/27/400448 lits-rem:822 time: 0.55
45.83/11.91	c Flit:   252 Blit:  91852 bXBeca:    0 bXProp: 3696 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T:  8.49
49.43/12.87	c Cleaning up after failed var search:     0.96 s 
51.82/13.47	c Replacing     3696 vars Replaced   244272 lits Time:     0.58 s 
54.18/14.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
56.58/14.68	c bin-w-bin subsume rem            7 bins  time:  0.60 s
87.34/22.34	c subs with bin:    14521  lits-rem:     75534  v-fix:    0  time:  7.65 s
104.50/26.68	c Subs w/ non-existent bins:      8 l-rem:      8 v-fix:     0 done:  27391 time:  4.30 s
105.70/27.00	c Removed useless bin:     985  fixed:     0  props:  20.00M  time:  0.31 s
175.98/44.55	c lits-rem:     72826  cl-subs:    25623  v-elim:  69532  v-fix:    0  time: 17.51 s
176.38/44.66	c Finding binary XORs  T:     0.11 s  found:     729
177.99/45.05	c Replacing      729 vars Replaced   192547 lits Time:     0.38 s 
181.58/45.94	c Finding non-binary XORs:     0.78 s (found:       0, avg size: nan)
181.58/45.94	c calculated reachability. Time: 0.00
181.98/46.05	c Calc default polars -  time:   0.11 s pos:   26427 undec:  174060 neg:  170932
181.98/46.05	c =========================================================================================
181.98/46.05	c types(t): F = full restart, N = normal restart
181.98/46.05	c types(t): S = simplification begin/end, E = solution found
181.98/46.05	c restart types(rt): st = static, dy = dynamic
181.98/46.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
181.98/46.05	c  B st     0         0    197768    365014   4501560         0  14983338         0   no data   no data
231.13/58.37	c  N dy    17      4283    197768    365014   4501703      4057  14983331    151817     20.49     21.69
263.07/66.38	c  N dy    38      8498    197763    365014   4504067      7982  14983326    297522     20.20     22.15
287.43/72.41	c  N dy    58     12630    197754    365014   4504721     11910  14983321    452984     19.52     20.62
314.21/79.20	c  N dy    86     16757    197749    365014   4504802     15881  14983320    656684     20.27     21.34
336.18/84.69	c  N dy   112     20832    197745    365014   4505427     10309  14983313    262940     20.85     26.67
358.56/90.23	c  F st   140     25000    197730    365014   4505704     14361  14983305    474717     21.32     19.53
362.13/91.18	c  N st   140     25000    197730    364957   4504619     14337  14979702    474396     21.32     19.53
374.91/94.34	c  N dy   146     30001    197730    364957   4504683     19124  14979700    697858     21.32   no data
374.91/94.34	c  S st   146     30001    197730    364957   4504683     19124  14979700    697858     21.32   no data
380.12/95.69	c  S st   146     30501    197726    364957   4504922     19461  14979700    703476     21.32   no data
380.90/95.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
445.61/112.05	c Flit:    78 Blit:   1495 bXBeca:    0 bXProp: 1658 Bins: 282183 BRemL:   3520 BRemN:    592 P: 200.1M T: 16.16
446.42/112.20	c Cleaning up after failed var search:     0.15 s 
448.40/112.70	c Replacing     1659 vars Replaced   248055 lits Time:     0.48 s 
459.20/115.47	c blocked clauses removed:    19346 vars:  19811 tried:      348986 T: 2.46 s
460.78/115.89	c bin-w-bin subsume rem         3334 bins  time:  0.42 s
484.76/121.83	c subs with bin:    18340  lits-rem:    336288  v-fix:    0  time:  5.94 s
499.52/125.50	c Subs w/ non-existent bins:    155 l-rem:   2453 v-fix:     0 done:  27590 time:  3.66 s
501.52/126.00	c Removed useless bin:    8014  fixed: 19812  props:  20.02M  time:  0.31 s
521.89/131.19	c lits-rem:     10031  cl-subs:     6855  v-elim:  13043  v-fix:    0  time:  5.18 s
526.29/132.25	c subs with bin:       48  lits-rem:      6496  v-fix:    0  time:  0.96 s
539.07/135.40	c lits-rem:      6776  cl-subs:     4959  v-elim:      0  v-fix:    0  time:  2.98 s
541.07/135.93	c asymm  cl-useful: 50/709/319132 lits-rem:740 time: 0.54
541.47/136.02	c calculated reachability. Time: 0.01
541.47/136.03	c  N dy   146     30501    157408    319132   3240335     17038  10486250    834135     21.32   no data
541.87/136.12	c Finding binary XORs  T:     0.10 s  found:     525
558.64/140.35	c  N dy   151     39509    151346    306085   3170703     24255  10185784   1172645     19.07     20.55
583.01/146.46	c  N dy   184     43595    151346    306085   3170788     14648  10185778    658934     19.67     27.28
595.41/149.53	c  S st   202     45753    151344    306085   3214971     16742  10185768    869776     20.11   no data
599.38/150.55	c  S st   202     46253    151340    306085   3215114     17091  10185768    873954     20.11   no data
599.80/150.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
649.85/163.24	c Flit:   172 Blit:    342 bXBeca:    0 bXProp:  717 Bins: 264059 BRemL:   8688 BRemN:   2644 P: 200.0M T: 12.54
649.85/163.24	c Cleaning up after failed var search:     0.00 s 
651.86/163.77	c Replacing     1242 vars Replaced   413376 lits Time:     0.52 s 
653.05/164.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
655.45/164.66	c bin-w-bin subsume rem        73327 bins  time:  0.62 s
679.82/170.77	c subs with bin:    18653  lits-rem:    327970  v-fix:    0  time:  6.11 s
689.00/173.05	c Subs w/ non-existent bins:    448 l-rem:   1257 v-fix:     0 done:  17033 time:  2.27 s
690.20/173.37	c Removed useless bin:    9729  fixed:     0  props:  20.01M  time:  0.31 s
712.56/178.96	c lits-rem:       752  cl-subs:     4150  v-elim:   7324  v-fix:    0  time:  5.58 s
715.76/179.71	c subs with bin:      281  lits-rem:     19552  v-fix:    0  time:  0.67 s
718.95/180.56	c lits-rem:     26288  cl-subs:     3342  v-elim:      0  v-fix:    0  time:  0.70 s
721.35/181.16	c asymm  cl-useful: 20/879/303723 lits-rem:360 time: 0.60
721.75/181.25	c calculated reachability. Time: 0.01
721.75/181.26	c  N dy   202     46253    142237    303723   3215614     12208   9537235    961433     20.11   no data
722.15/181.36	c Finding binary XORs  T:     0.10 s  found:      61
741.32/186.12	c  N dy   216     50360    142237    303723   3215784     16031   9537234   1114185     19.77     21.33
764.49/191.98	c  N dy   251     54451    141423    303723   3230535     20018   9537234   1347199     20.40     21.68
786.06/197.37	c  N dy   281     58510    141416    303723   3243359     23945   9537232   1540198     20.68     28.75
798.44/200.42	c  N dy   297     63192    141416    303723   3243435     28408   9537232   1700030     20.35     21.65
818.42/205.40	c  N dy   328     67319    141415    303723   3244804     32423   9537231   1901544     20.60     22.03
831.52/208.73	c  S st   345     69379    140968    303723   3286558     17999   9537231   1122493     20.71   no data
834.71/209.58	c Finding binary XORs  T:     0.10 s  found:     151
836.72/210.10	c  S st   345     69879    139528    297226   3171088     16932   9274669   1030526     20.71   no data
837.50/210.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
893.83/224.38	c Flit:   333 Blit:     79 bXBeca:    0 bXProp:   29 Bins:2017694 BRemL:   8004 BRemN:    133 P: 200.0M T: 14.05
893.83/224.38	c Cleaning up after failed var search:     0.00 s 
895.80/224.89	c Replacing      241 vars Replaced   251524 lits Time:     0.50 s 
897.00/225.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
900.59/226.02	c bin-w-bin subsume rem        25816 bins  time:  0.87 s
919.37/230.73	c subs with bin:    18658  lits-rem:     60616  v-fix:    0  time:  4.67 s
933.37/234.27	c Subs w/ non-existent bins:   1596 l-rem:   3319 v-fix:     0 done:  17318 time:  3.50 s
934.55/234.57	c Removed useless bin:    6684  fixed:     0  props:  20.05M  time:  0.30 s
947.33/237.75	c lits-rem:      1403  cl-subs:     7361  v-elim:   4561  v-fix:    0  time:  3.16 s
949.73/238.32	c subs with bin:      505  lits-rem:      6904  v-fix:    0  time:  0.47 s
951.73/238.85	c lits-rem:      8883  cl-subs:      829  v-elim:      0  v-fix:    0  time:  0.38 s
954.12/239.42	c asymm  cl-useful: 26/888/281436 lits-rem:335 time: 0.57
954.52/239.54	c calculated reachability. Time: 0.01
954.52/239.55	c  N dy   345     69879    134298    281436   4828251     14182   8935097   4445826     20.71   no data
954.92/239.66	c Finding binary XORs  T:     0.11 s  found:      11
979.69/245.86	c  N dy   384     74355    134298    281436   4828297     18578   8935097   4708434     21.28     29.22
1048.35/286.19	c  N dy   412     79694    134298    281436   4831305     23681   8935097   4916625     21.21     22.35
1191.56/380.36	c  N dy   437     85846    133883    281436   4863745     29571   8935047   5281708     21.03     22.21
1196.36/381.54	c  F st   443     87500    133883    281436   4863771     31152   8935017   5359554     21.00     19.00
1197.55/381.86	c Replacing       11 vars Replaced    18046 lits Time:     0.22 s 
1199.41/382.41	c Found part       58 vars:     133854 clauses:   2995480 lits size:   8917309
1199.41/382.41	c Found part       59 vars:          2 clauses:         1 lits size:         2
1199.41/382.41	c Found part       60 vars:          2 clauses:         1 lits size:         2
1199.41/382.41	c Found part       61 vars:          2 clauses:         1 lits size:         2
1199.41/382.41	c Found part       62 vars:          2 clauses:         1 lits size:         2
1199.41/382.41	c Found parts:          5 time: 0.86 s
1199.41/382.41	c Solving part 59
1200.00/382.66	c  N st     0         0         2         0         1         0         2         0   no data   no data
1200.00/382.66	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1200.00/382.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1200.00/382.68	c Finding binary XORs  T:     0.02 s  found:       0
1200.00/382.68	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1200.00/382.68	c calculated reachability. Time: 0.00
1200.00/382.68	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
1200.00/382.68	c =========================================================================================
1200.00/382.68	c types(t): F = full restart, N = normal restart
1200.00/382.68	c types(t): S = simplification begin/end, E = solution found
1200.00/382.68	c restart types(rt): st = static, dy = dynamic
1200.00/382.68	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1200.00/382.68	c  B st     0         0         2         0         1         0         2         0   no data   no data
1200.00/382.68	c  E st     1         0         0         0         1         0         2         0   no data   no data
1200.00/382.69	c Verified 0 clauses.
1200.00/382.69	c Verified 0 clauses.
1200.00/382.69	c Solved part
1200.00/382.69	c =========================================================================================
1200.31/382.70	c Solving part 60
1200.88/382.94	c  N st     0         0         2         0         1         0         2         0   no data   no data
1200.88/382.94	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1200.88/382.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1200.88/382.96	c Finding binary XORs  T:     0.02 s  found:       0
1200.88/382.97	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1200.88/382.97	c calculated reachability. Time: 0.00
1200.88/382.97	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
1200.88/382.97	c =========================================================================================
1200.88/382.97	c types(t): F = full restart, N = normal restart
1200.88/382.97	c types(t): S = simplification begin/end, E = solution found
1200.88/382.97	c restart types(rt): st = static, dy = dynamic
1200.88/382.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1200.88/382.97	c  B st     0         0         2         0         1         0         2         0   no data   no data
1200.88/382.97	c  E st     1         0         0         0         1         0         2         0   no data   no data
1200.88/382.98	c Verified 0 clauses.
1200.88/382.98	c Verified 0 clauses.
1200.88/382.98	c Solved part
1200.88/382.98	c =========================================================================================
1200.88/382.99	c Solving part 61
1201.78/383.22	c  N st     0         0         2         0         1         0         2         0   no data   no data
1201.78/383.22	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1201.78/383.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1201.78/383.24	c Finding binary XORs  T:     0.02 s  found:       0
1201.78/383.24	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1201.78/383.24	c calculated reachability. Time: 0.00
1201.78/383.25	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
1201.78/383.25	c =========================================================================================
1201.78/383.25	c types(t): F = full restart, N = normal restart
1201.78/383.25	c types(t): S = simplification begin/end, E = solution found
1201.78/383.25	c restart types(rt): st = static, dy = dynamic
1201.78/383.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1201.78/383.25	c  B st     0         0         2         0         1         0         2         0   no data   no data
1201.78/383.25	c  E st     1         0         0         0         1         0         2         0   no data   no data
1201.78/383.26	c Verified 0 clauses.
1201.78/383.26	c Verified 0 clauses.
1201.78/383.26	c Solved part
1201.78/383.26	c =========================================================================================
1201.78/383.27	c Solving part 62
1202.38/383.49	c  N st     0         0         2         0         1         0         2         0   no data   no data
1202.38/383.49	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1202.38/383.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1202.68/383.51	c Finding binary XORs  T:     0.02 s  found:       0
1202.68/383.52	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1202.68/383.52	c calculated reachability. Time: 0.00
1202.68/383.52	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
1202.68/383.52	c =========================================================================================
1202.68/383.52	c types(t): F = full restart, N = normal restart
1202.68/383.52	c types(t): S = simplification begin/end, E = solution found
1202.68/383.52	c restart types(rt): st = static, dy = dynamic
1202.68/383.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1202.68/383.52	c  B st     0         0         2         0         1         0         2         0   no data   no data
1202.68/383.52	c  E st     1         0         0         0         1         0         2         0   no data   no data
1202.68/383.53	c Verified 0 clauses.
1202.68/383.53	c Verified 0 clauses.
1202.68/383.53	c Solved part
1202.68/383.53	c =========================================================================================
1202.68/383.54	c Coming back to original instance
1202.68/383.54	c =========================================================================================
1247.74/412.72	c Finding binary XORs  T:     0.10 s  found:     153
1250.34/414.01	c  N dy   449     92691    132249    279071   5135897     17012   8825504   5186974     21.00   no data
1285.17/428.79	c  N dy   486     98634    132246    279071   5147073     22770   8825479   5532522     21.11     28.75
1315.94/436.44	c  S st   538    104820    132245    279071   5147199     28869   8825467   5909175     21.59   no data
1319.93/437.46	c  S st   538    105320    132243    279071   5147278     29281   8825467   5914956     21.59   no data
1320.73/437.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
1374.65/451.10	c Flit:   332 Blit:      3 bXBeca:    0 bXProp:   20 Bins: 193021 BRemL:   5231 BRemN:     11 P: 200.0M T: 13.46
1374.65/451.10	c Cleaning up after failed var search:     0.00 s 
1376.25/451.53	c Replacing      174 vars Replaced   120852 lits Time:     0.41 s 
1377.05/451.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1381.04/452.74	c bin-w-bin subsume rem        41648 bins  time:  0.96 s
1399.02/457.26	c subs with bin:    10007  lits-rem:     22699  v-fix:    0  time:  4.52 s
1411.41/460.39	c Subs w/ non-existent bins:    420 l-rem:   1397 v-fix:     0 done:  15037 time:  3.13 s
1413.01/460.75	c Removed useless bin:    9441  fixed:     0  props:  20.01M  time:  0.35 s
1421.39/462.84	c lits-rem:      1385  cl-subs:     2906  v-elim:   1078  v-fix:    0  time:  2.09 s
1428.17/464.55	c subs with bin:      596  lits-rem:      6665  v-fix:    0  time:  1.59 s
1430.99/465.28	c lits-rem:      7979  cl-subs:     1199  v-elim:      0  v-fix:    0  time:  0.59 s
1433.38/465.84	c asymm  cl-useful: 19/802/271717 lits-rem:198 time: 0.56
1433.78/465.97	c calculated reachability. Time: 0.01
1433.78/465.98	c  N dy   538    105320    130656    271717   5035969     26745   8690255   5665077     21.59   no data
1434.18/466.09	c Finding binary XORs  T:     0.11 s  found:       7
1464.53/473.61	c  N dy   578    112118    130652    271717   5041859     33329   8690254   6032179     21.71     23.00
1501.29/482.85	c  N dy   627    119383    130652    271717   5042257     20923   8690234   5159735     21.93     23.10
1539.22/492.39	c  N dy   682    127913    130649    271717   5042868     29257   8690227   5635506     22.18     23.42
1574.78/501.20	c  N dy   743    136139    130647    271717   5043174     37207   8690215   6046754     22.36     24.40
1612.73/510.72	c  N dy   802    144839    130647    271717   5043513     23851   8690215   5207525     22.57     32.80
1657.05/521.87	c  N dy   871    154259    130647    271717   5043884     32963   8690196   5695670     22.82     24.65
1672.65/525.74	c  S st   886    157984    130646    271717   5044143     36576   8690196   5906703     22.78     13.63
1676.63/526.77	c  S st   886    158484    130645    271717   5044228     36990   8690196   5911479     22.78   no data
1677.45/526.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
1729.78/540.02	c Flit:   357 Blit:   1824 bXBeca:    0 bXProp:  103 Bins: 543762 BRemL:   2200 BRemN:     58 P: 200.1M T: 13.08
1730.19/540.16	c Cleaning up after failed var search:     0.13 s 
1731.76/540.56	c Replacing      111 vars Replaced   217347 lits Time:     0.40 s 
1732.96/540.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1734.96/541.36	c bin-w-bin subsume rem        24898 bins  time:  0.56 s
1752.15/545.62	c subs with bin:     3022  lits-rem:     26128  v-fix:    0  time:  4.26 s
1760.53/547.73	c Subs w/ non-existent bins:    406 l-rem:   1673 v-fix:     2 done:  25278 time:  2.10 s
1761.71/548.04	c Removed useless bin:    4706  fixed:     0  props:  20.12M  time:  0.32 s
1770.10/550.16	c lits-rem:       543  cl-subs:     3886  v-elim:   1436  v-fix:    0  time:  2.11 s
1776.89/551.87	c subs with bin:      112  lits-rem:      7773  v-fix:    0  time:  1.58 s
1780.89/552.85	c lits-rem:     27908  cl-subs:     1855  v-elim:      0  v-fix:    0  time:  0.84 s
1783.28/553.41	c asymm  cl-useful: 26/783/265882 lits-rem:59 time: 0.56
1783.68/553.51	c calculated reachability. Time: 0.01
1783.68/553.52	c  N dy   886    158484    126915    265882   3771713     33606   8497593   3358148     22.78   no data
1784.08/553.62	c Finding binary XORs  T:     0.10 s  found:      13
1823.03/566.20	c  N dy   911    172176    126768    265882   3869446     24054   8497593   2936279     22.26     23.50
1867.92/594.21	c Finding binary XORs  T:     0.10 s  found:      73
1917.27/620.16	c  N dy  1003    183231    126558    263858   4847754     34795   8441003   5544423     22.55     36.55
1996.37/639.90	c  N dy  1063    208972    126558    263858   4851678     35046   8441001   5299882     21.86     23.51
2060.67/656.03	c  N dy  1154    222393    126524    263858   4852522     48034   8440957   5992565     22.11     23.49
2133.79/674.38	c  N dy  1279    236613    126524    263858   4852997     36305   8440956   5543115     22.62     29.51
2139.36/675.73	c  S st  1290    237726    126524    263858   4853014     37382   8440956   5602414     22.64   no data
2143.76/676.86	c  S st  1290    238227    126523    263858   4853087     37807   8440956   5606801     22.64   no data
2144.56/677.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
2195.68/689.89	c Flit:   339 Blit:   3045 bXBeca:    0 bXProp:   34 Bins: 656237 BRemL:   3715 BRemN:     55 P: 200.1M T: 12.86
2196.49/690.05	c Cleaning up after failed var search:     0.15 s 
2198.49/690.60	c Replacing      120 vars Replaced   318270 lits Time:     0.54 s 
2199.70/690.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2205.67/692.38	c bin-w-bin subsume rem        56020 bins  time:  1.57 s
2223.25/696.76	c subs with bin:     5585  lits-rem:     27271  v-fix:    0  time:  4.37 s
2228.04/697.95	c Subs w/ non-existent bins:    252 l-rem:    371 v-fix:     0 done:  12573 time:  1.19 s
2229.24/698.28	c Removed useless bin:   20126  fixed:     0  props:  20.00M  time:  0.33 s
2241.62/701.35	c lits-rem:      2189  cl-subs:     6550  v-elim:   3733  v-fix:    0  time:  3.07 s
2248.41/703.03	c subs with bin:      819  lits-rem:     12019  v-fix:    0  time:  1.58 s
2252.02/703.94	c lits-rem:     33456  cl-subs:     1125  v-elim:      0  v-fix:    0  time:  0.77 s
2254.41/704.52	c asymm  cl-useful: 66/800/256246 lits-rem:257 time: 0.58
2254.81/704.62	c calculated reachability. Time: 0.01
2254.81/704.63	c  N dy  1290    238227    119287    256246   3756960     31215   8084016   3462996     22.64   no data
2255.21/704.73	c Finding binary XORs  T:     0.10 s  found:      33
2328.33/723.70	c  N dy  1420    253536    119209    256246   3806557     46143   8084014   4436542     23.08     24.38
2380.65/736.88	c Finding binary XORs  T:     0.10 s  found:      51
2409.81/744.10	c  N dy  1554    270434    119208    256158   3805397     38098   8081372   3807479     23.48     25.21
2489.30/764.05	c  N dy  1703    287745    119199    256158   3806236     28078   8081342   3075424     23.90     25.32
2577.57/786.11	c  N dy  1855    306122    119199    256158   3807066     46150   8081339   4177137     24.38     37.19
2577.97/786.27	c  F st  1857    306252    119199    256158   3807068     46278   8081339   4187787     24.39   no data
2579.57/786.66	c Replacing       84 vars Replaced    50073 lits Time:     0.29 s 
2581.96/787.21	c Found part      288 vars:     119122 clauses:   2688234 lits size:   8050468
2581.96/787.21	c Found part      289 vars:          2 clauses:         1 lits size:         2
2581.96/787.21	c Found parts:          2 time: 0.94 s
2581.96/787.21	c Solving part 289
2582.76/787.46	c  N st     0         0         2         0         1         0         2         0   no data   no data
2582.76/787.46	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2582.76/787.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2582.76/787.48	c Finding binary XORs  T:     0.02 s  found:       0
2582.76/787.48	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2582.76/787.48	c calculated reachability. Time: 0.00
2582.76/787.49	c Calc default polars -  time:   0.00 s pos:       0 undec:  371417 neg:       2
2582.76/787.49	c =========================================================================================
2582.76/787.49	c types(t): F = full restart, N = normal restart
2582.76/787.49	c types(t): S = simplification begin/end, E = solution found
2582.76/787.49	c restart types(rt): st = static, dy = dynamic
2582.76/787.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2582.76/787.49	c  B st     0         0         2         0         1         0         2         0   no data   no data
2582.76/787.49	c  E st     1         0         0         0         1         0         2         0   no data   no data
2582.76/787.50	c Verified 0 clauses.
2582.76/787.50	c Verified 0 clauses.
2582.76/787.50	c Solved part
2582.76/787.50	c =========================================================================================
2583.17/787.51	c Coming back to original instance
2583.17/787.51	c =========================================================================================
2663.05/807.50	c  N dy  1971    325833    119134    254931   3796971     36724   8050444   3489562     24.65     26.99
2755.33/830.66	c  N dy  2125    345898    119132    254931   3797436     56343   8050441   4633165     25.01     45.53
2782.88/837.50	c Finding binary XORs  T:     0.09 s  found:      31
2834.78/854.53	c Finding binary XORs  T:     0.10 s  found:      34
2838.37/855.45	c  S st  2219    357341    118486    254236   4168642     37639   8032832   4217460     25.22     14.37
2843.17/856.68	c  S st  2219    357841    118485    254236   4168716     38062   8032832   4221422     25.22   no data
2843.98/856.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2893.90/869.37	c Flit:   353 Blit:     42 bXBeca:    0 bXProp:   20 Bins: 877534 BRemL:   4589 BRemN:    154 P: 200.0M T: 12.47
2893.90/869.37	c Cleaning up after failed var search:     0.00 s 
2895.90/869.87	c Replacing       85 vars Replaced   144984 lits Time:     0.48 s 
2897.12/870.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2901.10/871.16	c bin-w-bin subsume rem        54909 bins  time:  1.05 s
2918.68/875.57	c subs with bin:     7423  lits-rem:     17143  v-fix:    0  time:  4.39 s
2923.07/876.67	c Subs w/ non-existent bins:    400 l-rem:    159 v-fix:     0 done:  22593 time:  1.09 s
2924.65/877.09	c Removed useless bin:   22299  fixed:     0  props:  20.01M  time:  0.42 s
2931.86/878.89	c lits-rem:       562  cl-subs:     3000  v-elim:   2580  v-fix:    0  time:  1.78 s
2937.84/880.33	c subs with bin:      278  lits-rem:      6153  v-fix:    0  time:  1.34 s
2940.65/881.09	c lits-rem:     20639  cl-subs:     1338  v-elim:      0  v-fix:    0  time:  0.62 s
2943.02/881.65	c asymm  cl-useful: 37/870/249001 lits-rem:116 time: 0.56
2943.42/881.76	c calculated reachability. Time: 0.01
2943.42/881.76	c  N dy  2219    357841    115413    249001   4227114     34400   7860929   4360865     25.22   no data
2943.82/881.87	c Finding binary XORs  T:     0.10 s  found:       2
3070.30/919.62	c  N dy  2370    378565    115413    249001   4244082     54688   7860919   5580573     25.49     26.90
3161.36/942.47	c  N dy  2541    398583    115412    249001   4244987     44394   7860910   4932994     25.92     32.35
3248.04/964.12	c  N dy  2687    418740    115412    249001   4245482     32504   7860860   4097461     26.17     28.57
3335.12/985.90	c  N dy  2838    438802    115370    249001   4246171     52193   7860857   5310929     26.44     29.64
3417.80/1006.65	c  N dy  2974    458808    115370    249001   4246792     38845   7860856   4404107     26.60     28.18
3503.29/1028.06	c  N dy  3127    478955    115370    249001   4247494     58603   7860852   5683440     26.81     28.79
3594.36/1050.85	c  N dy  3296    499019    115370    249001   4248059     44135   7860850   4688327     27.11     29.49
3685.05/1073.60	c  N dy  3428    520310    115369    249001   4248794     64861   7860836   5931789     27.17     29.55
3760.53/1092.42	c  S st  3558    536761    115368    249001   4249334     45812   7860786   4710607     27.35   no data
3764.93/1093.52	c  S st  3558    537262    115367    249001   4249379     46266   7860786   4716344     27.35   no data
3765.33/1093.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
3815.66/1106.23	c Flit:   766 Blit:   3161 bXBeca:    0 bXProp:   62 Bins: 664273 BRemL:   5142 BRemN:     83 P: 200.0M T: 12.56
3816.46/1106.41	c Cleaning up after failed var search:     0.17 s 
3817.65/1106.79	c Replacing       64 vars Replaced   187580 lits Time:     0.37 s 
3818.85/1107.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3823.25/1108.15	c bin-w-bin subsume rem        42953 bins  time:  1.14 s
3839.62/1112.27	c subs with bin:     6092  lits-rem:     19924  v-fix:    0  time:  4.12 s
3844.41/1113.42	c Subs w/ non-existent bins:    253 l-rem:    480 v-fix:     0 done:  17597 time:  1.14 s
3845.61/1113.75	c Removed useless bin:   21433  fixed:     0  props:  20.00M  time:  0.33 s
3855.20/1116.18	c lits-rem:      3272  cl-subs:     5928  v-elim:   3083  v-fix:    0  time:  2.42 s
3861.99/1117.84	c subs with bin:      463  lits-rem:      8575  v-fix:    0  time:  1.56 s
3865.21/1118.69	c lits-rem:     22424  cl-subs:     1700  v-elim:      0  v-fix:    0  time:  0.72 s
3867.59/1119.26	c asymm  cl-useful: 174/948/238056 lits-rem:288 time: 0.56
3867.99/1119.36	c calculated reachability. Time: 0.01
3867.99/1119.36	c  N dy  3558    537262    108288    238056   3800183     41412   7533965   3927632     27.35   no data
3868.39/1119.46	c Finding binary XORs  T:     0.10 s  found:      10
3967.66/1147.20	c  N dy  3724    557335    108288    238056   3831135     61088   7533957   5265927     27.61     38.70
4050.35/1167.83	c  N dy  3871    577413    108288    238056   3831605     46153   7533954   4181336     27.78     34.79
4061.94/1170.73	c Finding binary XORs  T:     0.10 s  found:       5
4136.63/1189.41	c  N dy  4025    597506    108288    238056   3832038     65890   7533953   5478466     28.01     30.66
4218.94/1210.01	c  N dy  4153    617520    108288    238056   3832481     49170   7533943   4235429     28.11     47.45
4298.81/1230.04	c  N dy  4290    637543    108288    238056   3832664     68828   7533943   5510702     28.26     29.99
4330.74/1238.60	c Finding binary XORs  T:     0.10 s  found:      25
4394.53/1254.95	c  N dy  4436    657626    107960    237825   4323826     50572   7521084   5237702     28.36     29.86
4477.23/1275.63	c  N dy  4582    677702    107958    237825   4324516     70232   7521084   6570133     28.52     40.88
4493.60/1279.71	c Finding binary XORs  T:     0.11 s  found:       4
4567.10/1298.11	c  N dy  4727    697739    107956    237810   4320276     50886   7519488   5206281     28.62     31.17

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3291956-1304128541/watcher-3291956-1304128541 -o /tmp/evaluation-result-3291956-1304128541/solver-3291956-1304128541 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3291956-1304128541.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: 6.26 7.61 7.79 5/180 21347
/proc/meminfo: memFree=20744760/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 4 0 505270286 52441088 352 33554432000 4194304 4627427 140736551286112 18446744073709551615 47043937294337 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 12803 352 303 106 0 7774 0
[pid=21347/tid=21348] ppid=21345 vsize=116748 CPUtime=0 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 4 0 505270286 119549952 370 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=116748 CPUtime=0 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) S 21345 21347 21275 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 4 0 505270286 119549952 386 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510062 0 0 4096 2 18446604453923795264 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=116756 CPUtime=0 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 4 0 505270286 119558144 392 33554432000 4194304 4627427 140736551286112 18446744073709551615 4296922 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0761609 s]
/proc/loadavg: 6.26 7.61 7.79 5/180 21347
/proc/meminfo: memFree=20744760/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=362672 CPUtime=0.25 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 10587 0 0 0 20 5 0 0 18 0 4 0 505270286 371376128 9543 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726448311 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 90668 9602 339 106 0 85639 0
[pid=21347/tid=21348] ppid=21345 vsize=362672 CPUtime=0.05 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) S 21345 21347 21275 0 -1 4202560 2486 0 0 0 4 1 0 0 18 0 4 0 505270286 371376128 9625 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510062 0 0 4096 2 18446604453923795264 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=362672 CPUtime=0.06 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 2686 0 0 0 5 1 0 0 18 0 4 0 505270286 371376128 9705 33554432000 4194304 4627427 140736551286112 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=362672 CPUtime=0.05 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 2557 0 0 0 4 1 0 0 18 0 4 0 505270286 371376128 9729 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 362672

[startup+0.104226 s]
/proc/loadavg: 6.26 7.61 7.79 5/180 21347
/proc/meminfo: memFree=20744760/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=370172 CPUtime=0.34 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 14800 0 0 0 27 7 0 0 18 0 4 0 505270286 379056128 12698 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726404923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 92543 12726 339 106 0 87514 0
[pid=21347/tid=21348] ppid=21345 vsize=370172 CPUtime=0.07 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) D 21345 21347 21275 0 -1 4202560 3575 0 0 0 6 1 0 0 18 0 4 0 505270286 379056128 12754 33554432000 4194304 4627427 140736551286112 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=370172 CPUtime=0.08 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 3616 0 0 0 7 1 0 0 18 0 4 0 505270286 379056128 12754 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726462890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=370172 CPUtime=0.08 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) D 21345 21347 21275 0 -1 4202560 3702 0 0 0 6 2 0 0 18 0 4 0 505270286 379056128 12754 33554432000 4194304 4627427 140736551286112 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 370172

[startup+0.306007 s]
/proc/loadavg: 6.26 7.61 7.79 5/180 21347
/proc/meminfo: memFree=20744760/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=405880 CPUtime=1.04 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 36498 0 0 0 82 22 0 0 18 0 4 0 505270286 415621120 32158 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726072282 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 101503 32217 339 106 0 96474 0
[pid=21347/tid=21348] ppid=21345 vsize=406012 CPUtime=0.25 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) S 21345 21347 21275 0 -1 4202560 8789 0 0 0 20 5 0 0 18 0 4 0 505270286 415756288 32220 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510062 0 0 4096 2 18446604453923795264 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=406012 CPUtime=0.26 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 9148 0 0 0 21 5 0 0 18 0 4 0 505270286 415756288 32232 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=406012 CPUtime=0.26 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 9318 0 0 0 21 5 0 0 17 0 4 0 505270286 415756288 32279 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 405880

[startup+0.700931 s]
/proc/loadavg: 6.26 7.61 7.79 5/180 21347
/proc/meminfo: memFree=20744760/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=465804 CPUtime=2.42 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 79571 0 0 0 191 51 0 0 17 0 4 0 505270286 476983296 70803 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726102485 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 116451 70822 339 106 0 111422 0
[pid=21347/tid=21348] ppid=21345 vsize=465804 CPUtime=0.59 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) S 21345 21347 21275 0 -1 4202560 18979 0 0 0 46 13 0 0 17 0 4 0 505270286 476983296 70831 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510062 0 0 4096 2 18446604453923795264 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=465804 CPUtime=0.6 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) S 21345 21347 21275 0 -1 4202560 19891 0 0 0 47 13 0 0 17 0 4 0 505270286 476983296 70843 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510062 0 0 4096 2 18446604453923795264 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=465804 CPUtime=0.59 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) S 21345 21347 21275 0 -1 4202560 19967 0 0 0 46 13 0 0 17 0 4 0 505270286 476983296 70848 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510062 0 0 4096 2 18446604453923795264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 465804

[startup+1.50078 s]
/proc/loadavg: 6.26 7.61 7.79 9/184 21351
/proc/meminfo: memFree=20348796/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=862972 CPUtime=5.26 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 171500 0 0 0 428 98 0 0 17 0 4 0 505270286 883683328 153871 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510111 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 215743 153876 339 106 0 210714 0
[pid=21347/tid=21348] ppid=21345 vsize=862972 CPUtime=1.29 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 41710 0 0 0 105 24 0 0 17 0 4 0 505270286 883683328 153876 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726073517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=862972 CPUtime=1.32 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 42883 0 0 0 107 25 0 0 17 0 4 0 505270286 883683328 153879 33554432000 4194304 4627427 140736551286112 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=862972 CPUtime=1.3 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 43577 0 0 0 105 25 0 0 17 0 4 0 505270286 883683328 153884 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 862972

[startup+3.10053 s]
/proc/loadavg: 6.40 7.61 7.79 7/184 21351
/proc/meminfo: memFree=19915912/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=1430084 CPUtime=10.72 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 318054 0 0 0 881 191 0 0 18 0 4 0 505270286 1464406016 282539 33554432000 4194304 4627427 140736551286112 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 357521 282539 361 106 0 352492 0
[pid=21347/tid=21348] ppid=21345 vsize=1430084 CPUtime=2.6 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 79029 0 0 0 209 51 0 0 18 0 4 0 505270286 1464406016 282539 33554432000 4194304 4627427 140736551286112 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=1430084 CPUtime=2.65 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 78813 0 0 0 216 49 0 0 18 0 4 0 505270286 1464406016 282539 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=1430084 CPUtime=2.63 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 81204 0 0 0 213 50 0 0 18 0 4 0 505270286 1464406016 282539 33554432000 4194304 4627427 140736551286112 18446744073709551615 4515202 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 1430084

[startup+6.30088 s]
/proc/loadavg: 6.40 7.61 7.79 9/184 21381
/proc/meminfo: memFree=19437284/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=1507908 CPUtime=23.47 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 333488 0 0 0 2145 202 0 0 23 0 4 0 505270286 1544097792 296585 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308438 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 376977 296585 367 106 0 371948 0
[pid=21347/tid=21348] ppid=21345 vsize=1507908 CPUtime=5.77 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 82185 0 0 0 525 52 0 0 24 0 4 0 505270286 1544097792 296585 33554432000 4194304 4627427 140736551286112 18446744073709551615 4238959 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=1507908 CPUtime=5.83 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 81648 0 0 0 532 51 0 0 25 0 4 0 505270286 1544097792 296585 33554432000 4194304 4627427 140736551286112 18446744073709551615 4238977 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=1507908 CPUtime=5.83 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 87451 0 0 0 527 56 0 0 23 0 4 0 505270286 1544097792 296585 33554432000 4194304 4627427 140736551286112 18446744073709551615 4324972 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.47
Current children cumulated vsize (KiB) 1507908

[startup+12.7007 s]
/proc/loadavg: 6.72 7.64 7.80 9/184 21381
/proc/meminfo: memFree=19040396/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=1507908 CPUtime=49.03 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 334980 0 0 0 4700 203 0 0 25 0 4 0 505270286 1544097792 298077 33554432000 4194304 4627427 140736551286112 18446744073709551615 4324341 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 376977 298077 367 106 0 371948 0
[pid=21347/tid=21348] ppid=21345 vsize=1507908 CPUtime=12.13 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 82429 0 0 0 1161 52 0 0 25 0 4 0 505270286 1544097792 298077 33554432000 4194304 4627427 140736551286112 18446744073709551615 4324264 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=1507908 CPUtime=12.23 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 81825 0 0 0 1171 52 0 0 25 0 4 0 505270286 1544097792 298077 33554432000 4194304 4627427 140736551286112 18446744073709551615 4324264 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=1507908 CPUtime=12.22 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 88219 0 0 0 1166 56 0 0 25 0 4 0 505270286 1544097792 298077 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.03
Current children cumulated vsize (KiB) 1507908

[startup+25.5003 s]
/proc/loadavg: 6.99 7.67 7.81 9/184 21381
/proc/meminfo: memFree=18146996/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=2132576 CPUtime=100.11 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 474943 0 0 0 9776 235 0 0 24 0 4 0 505270286 2183757824 437821 33554432000 4194304 4627427 140736551286112 18446744073709551615 4436162 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 533144 437821 381 106 0 528115 0
[pid=21347/tid=21348] ppid=21345 vsize=2132576 CPUtime=24.85 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 128135 0 0 0 2422 63 0 0 23 0 4 0 505270286 2183757824 437821 33554432000 4194304 4627427 140736551286112 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=2132576 CPUtime=25.01 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 123834 0 0 0 2440 61 0 0 25 0 4 0 505270286 2183757824 437821 33554432000 4194304 4627427 140736551286112 18446744073709551615 4534896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=2132576 CPUtime=25.03 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 93333 0 0 0 2445 58 0 0 25 0 4 0 505270286 2183757824 437821 33554432000 4194304 4627427 140736551286112 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.11
Current children cumulated vsize (KiB) 2132576

[startup+51.1004 s]
/proc/loadavg: 7.39 7.71 7.82 9/184 21382
/proc/meminfo: memFree=17965544/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=2529744 CPUtime=202.35 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 523820 0 0 0 19984 251 0 0 25 0 4 0 505270286 2590457856 465731 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 632436 465731 388 106 0 627407 0
[pid=21347/tid=21348] ppid=21345 vsize=2529744 CPUtime=50.31 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 149525 0 0 0 4960 71 0 0 25 0 4 0 505270286 2590457856 465731 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=2529744 CPUtime=50.61 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 135453 0 0 0 4997 64 0 0 25 0 4 0 505270286 2590457856 465731 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=2529744 CPUtime=50.62 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 96083 0 0 0 5003 59 0 0 25 0 4 0 505270286 2590457856 465731 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.35
Current children cumulated vsize (KiB) 2529744

[startup+102.307 s]
/proc/loadavg: 7.73 7.76 7.82 9/184 21383
/proc/meminfo: memFree=16899248/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=2791668 CPUtime=406.89 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 698176 0 0 0 40406 283 0 0 25 0 4 0 505270286 2858668032 569069 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 697917 569069 391 106 0 692888 0
[pid=21347/tid=21348] ppid=21345 vsize=2791668 CPUtime=101.23 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 164649 0 0 0 10049 74 0 0 25 0 4 0 505270286 2858668032 569069 33554432000 4194304 4627427 140736551286112 18446744073709551615 264726063558 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=2791668 CPUtime=101.81 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 156018 0 0 0 10113 68 0 0 25 0 4 0 505270286 2858668032 569069 33554432000 4194304 4627427 140736551286112 18446744073709551615 4310170 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=2791668 CPUtime=101.83 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 212559 0 0 0 10103 80 0 0 25 0 4 0 505270286 2858668032 569069 33554432000 4194304 4627427 140736551286112 18446744073709551615 4424704 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.89
Current children cumulated vsize (KiB) 2791668

[startup+162.3 s]

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


[startup+762.306 s]
/proc/loadavg: 7.92 7.39 7.44 9/184 23668
/proc/meminfo: memFree=17612860/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=4709020 CPUtime=2482.53 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1557084 0 0 0 247809 444 0 0 25 0 4 0 505270286 4822036480 1031752 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1177255 1031752 391 106 0 1172226 0
[pid=21347/tid=21348] ppid=21345 vsize=4709020 CPUtime=637.75 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 331266 0 0 0 63669 106 0 0 25 0 4 0 505270286 4822036480 1031752 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=4709020 CPUtime=618.02 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 362337 0 0 0 61699 103 0 0 25 0 4 0 505270286 4822036480 1031752 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=4709020 CPUtime=610.15 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 526032 0 0 0 60877 138 0 0 25 0 4 0 505270286 4822036480 1031752 33554432000 4194304 4627427 140736551286112 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2482.53
Current children cumulated vsize (KiB) 4709020

[startup+822.301 s]
/proc/loadavg: 7.97 7.50 7.47 9/184 23669
/proc/meminfo: memFree=17172860/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=4774556 CPUtime=2722.18 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1589488 0 0 0 271769 449 0 0 25 0 4 0 505270286 4889145344 1044919 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1193639 1044919 391 106 0 1188610 0
[pid=21347/tid=21348] ppid=21345 vsize=4774556 CPUtime=697.42 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 333028 0 0 0 69636 106 0 0 25 0 4 0 505270286 4889145344 1044919 33554432000 4194304 4627427 140736551286112 18446744073709551615 4436216 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=4774556 CPUtime=678.02 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 362918 0 0 0 67698 104 0 0 25 0 4 0 505270286 4889145344 1044919 33554432000 4194304 4627427 140736551286112 18446744073709551615 4424289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=4774556 CPUtime=670.13 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 527248 0 0 0 66875 138 0 0 25 0 4 0 505270286 4889145344 1044919 33554432000 4194304 4627427 140736551286112 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2722.18
Current children cumulated vsize (KiB) 4774556

[startup+882.3 s]
/proc/loadavg: 7.96 7.57 7.50 9/184 23671
/proc/meminfo: memFree=16919920/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=4868848 CPUtime=2945.82 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1611602 0 0 0 294129 453 0 0 25 0 4 0 505270286 4985700352 1062320 33554432000 4194304 4627427 140736551286112 18446744073709551615 4334192 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21347/statm: 1217212 1062320 391 106 0 1212183 0
[pid=21347/tid=21348] ppid=21345 vsize=4868848 CPUtime=750.75 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 338595 0 0 0 74968 107 0 0 25 0 4 0 505270286 4985700352 1062320 33554432000 4194304 4627427 140736551286112 18446744073709551615 4407086 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=4868848 CPUtime=736.46 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 367670 0 0 0 73542 104 0 0 25 0 4 0 505270286 4985700352 1062320 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=4868848 CPUtime=727.65 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 532209 0 0 0 72625 140 0 0 25 0 4 0 505270286 4985700352 1062320 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2945.82
Current children cumulated vsize (KiB) 4868848

[startup+942.301 s]
/proc/loadavg: 7.82 7.59 7.51 9/184 23673
/proc/meminfo: memFree=16813944/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=4803312 CPUtime=3160.96 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1618209 0 0 0 315640 456 0 0 25 0 4 0 505270286 4918591488 1062144 33554432000 4194304 4627427 140736551286112 18446744073709551615 4299705 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1200828 1062144 391 106 0 1195799 0
[pid=21347/tid=21348] ppid=21345 vsize=4803312 CPUtime=801.76 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 339796 0 0 0 80068 108 0 0 25 0 4 0 505270286 4918591488 1062144 33554432000 4194304 4627427 140736551286112 18446744073709551615 4325798 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=4803312 CPUtime=792.52 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 368386 0 0 0 79147 105 0 0 25 0 4 0 505270286 4918591488 1062144 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=4803312 CPUtime=785.19 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 534922 0 0 0 78378 141 0 0 25 0 4 0 505270286 4918591488 1062144 33554432000 4194304 4627427 140736551286112 18446744073709551615 4276687 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3160.96
Current children cumulated vsize (KiB) 4803312

[startup+1002.3 s]
/proc/loadavg: 7.97 7.68 7.54 9/184 23674
/proc/meminfo: memFree=16588656/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=4925852 CPUtime=3400.62 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1637579 0 0 0 339602 460 0 0 25 0 4 0 505270286 5044072448 1081223 33554432000 4194304 4627427 140736551286112 18446744073709551615 4306501 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1231463 1081223 391 106 0 1226434 0
[pid=21347/tid=21348] ppid=21345 vsize=4925852 CPUtime=861.43 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 340758 0 0 0 86035 108 0 0 25 0 4 0 505270286 5044072448 1081223 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=4925852 CPUtime=852.52 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 375580 0 0 0 85145 107 0 0 25 0 4 0 505270286 5044072448 1081223 33554432000 4194304 4627427 140736551286112 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=4925852 CPUtime=845.19 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 535064 0 0 0 84378 141 0 0 25 0 4 0 505270286 5044072448 1081223 33554432000 4194304 4627427 140736551286112 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3400.62
Current children cumulated vsize (KiB) 4925852

[startup+1062.3 s]
/proc/loadavg: 8.10 7.76 7.58 9/184 23676
/proc/meminfo: memFree=16476120/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=4925852 CPUtime=3640.29 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1645391 0 0 0 363566 463 0 0 25 0 4 0 505270286 5044072448 1082499 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1231463 1082499 391 106 0 1226434 0
[pid=21347/tid=21348] ppid=21345 vsize=4925852 CPUtime=921.11 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 340759 0 0 0 92003 108 0 0 25 0 4 0 505270286 5044072448 1082499 33554432000 4194304 4627427 140736551286112 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=4925852 CPUtime=912.52 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 375659 0 0 0 91145 107 0 0 25 0 4 0 505270286 5044072448 1082499 33554432000 4194304 4627427 140736551286112 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=4925852 CPUtime=905.19 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 535071 0 0 0 90378 141 0 0 25 0 4 0 505270286 5044072448 1082499 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3640.29
Current children cumulated vsize (KiB) 4925852

[startup+1122.3 s]
/proc/loadavg: 8.16 7.83 7.61 8/184 23678
/proc/meminfo: memFree=16439552/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=4954392 CPUtime=3878.95 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1656344 0 0 0 387430 465 0 0 25 0 4 0 505270286 5073297408 1086971 33554432000 4194304 4627427 140736551286112 18446744073709551615 4538320 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1238598 1086971 391 106 0 1233569 0
[pid=21347/tid=21348] ppid=21345 vsize=4954392 CPUtime=980.78 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 345779 0 0 0 97969 109 0 0 25 0 4 0 505270286 5073297408 1086971 33554432000 4194304 4627427 140736551286112 18446744073709551615 4305890 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=4954392 CPUtime=971.5 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) S 21345 21347 21275 0 -1 4202560 375685 0 0 0 97043 107 0 0 25 0 4 0 505270286 5073297408 1086971 33554432000 4194304 4627427 140736551286112 18446744073709551615 47043937292830 0 0 4096 2 18446604453923795264 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=4954392 CPUtime=965.18 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 539726 0 0 0 96377 141 0 0 25 0 4 0 505270286 5073297408 1086971 33554432000 4194304 4627427 140736551286112 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3878.95
Current children cumulated vsize (KiB) 4954392

[startup+1182.3 s]
/proc/loadavg: 7.99 7.83 7.62 9/184 23679
/proc/meminfo: memFree=16355832/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=4917308 CPUtime=4108.28 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1666914 0 0 0 410358 470 0 0 25 0 4 0 505270286 5035323392 1090647 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308307 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1229327 1090647 391 106 0 1224298 0
[pid=21347/tid=21348] ppid=21345 vsize=4917308 CPUtime=1038.38 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 347653 0 0 0 103728 110 0 0 25 0 4 0 505270286 5035323392 1090647 33554432000 4194304 4627427 140736551286112 18446744073709551615 4306044 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=4917308 CPUtime=1029.61 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 375690 0 0 0 102854 107 0 0 25 0 4 0 505270286 5035323392 1090647 33554432000 4194304 4627427 140736551286112 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=4917308 CPUtime=1021.74 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 542001 0 0 0 102031 143 0 0 25 0 4 0 505270286 5035323392 1090647 33554432000 4194304 4627427 140736551286112 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4108.28
Current children cumulated vsize (KiB) 4917308

[startup+1242.3 s]
/proc/loadavg: 7.95 7.86 7.64 9/184 23681
/proc/meminfo: memFree=16148848/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=5169860 CPUtime=4344.19 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1715051 0 0 0 433940 479 0 0 25 0 4 0 505270286 5293936640 1133677 33554432000 4194304 4627427 140736551286112 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1292465 1133677 391 106 0 1287436 0
[pid=21347/tid=21348] ppid=21345 vsize=5169860 CPUtime=1096.91 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 367874 0 0 0 109578 113 0 0 19 0 4 0 505270286 5293936640 1133677 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=5169860 CPUtime=1087.56 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 380566 0 0 0 108649 107 0 0 25 0 4 0 505270286 5293936640 1133677 33554432000 4194304 4627427 140736551286112 18446744073709551615 4312277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=5169860 CPUtime=1081.16 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 552709 0 0 0 107972 144 0 0 23 0 4 0 505270286 5293936640 1133677 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4344.19
Current children cumulated vsize (KiB) 5169860



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 7.98 7.88 7.66 9/184 23682
/proc/meminfo: memFree=16069200/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=5169860 CPUtime=4574.71 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) R 21345 21347 21275 0 -1 4202496 1732617 0 0 0 456985 486 0 0 25 0 4 0 505270286 5293936640 1137887 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 1292465 1137887 391 106 0 1287436 0
[pid=21347/tid=21348] ppid=21345 vsize=5169860 CPUtime=1154.31 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 370328 0 0 0 115316 115 0 0 25 0 4 0 505270286 5293936640 1137887 33554432000 4194304 4627427 140736551286112 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21347/tid=21349] ppid=21345 vsize=5169860 CPUtime=1145.27 cores=0,2,4,6
/proc/21347/task/21349/stat : 21349 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 382631 0 0 0 114419 108 0 0 25 0 4 0 505270286 5293936640 1137887 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21347/tid=21350] ppid=21345 vsize=5169860 CPUtime=1138.86 cores=0,2,4,6
/proc/21347/task/21350/stat : 21350 (strangenight2-m) R 21345 21347 21275 0 -1 4202560 563114 0 0 0 113740 146 0 0 25 0 4 0 505270286 5293936640 1137887 33554432000 4194304 4627427 140736551286112 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4574.71
Current children cumulated vsize (KiB) 5169860

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

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

[startup+1300.21 s]
/proc/loadavg: 7.98 7.88 7.66 6/183 23683
/proc/meminfo: memFree=18286400/32951124 swapFree=67111524/67111528
[pid=21347] ppid=21345 vsize=0 CPUtime=4574.92 cores=0,2,4,6
/proc/21347/stat : 21347 (strangenight2-m) Z 21345 21347 21275 0 -1 4203548 1732617 0 0 0 456987 505 0 0 25 0 2 0 505270286 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21347/statm: 0 0 0 0 0 0 0
[pid=21347/tid=21348] ppid=21345 vsize=0 CPUtime=1154.5 cores=0,2,4,6
/proc/21347/task/21348/stat : 21348 (strangenight2-m) R 21345 21347 21275 0 -1 4203588 370328 0 0 0 115316 134 0 0 25 0 2 0 505270286 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4574.92
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.21
CPU time (s): 4574.94
CPU user time (s): 4569.88
CPU system time (s): 5.06023
CPU usage (%): 351.861
Max. virtual memory (cumulated for all children) (KiB): 5282396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4569.88
system time used= 5.06023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1732617
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= 173445
involuntary context switches= 23927

runsolver used 2.03769 second user time and 4.93925 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-30 03:55:45
IDJOB=3291956
IDBENCH=85005
IDSOLVER=1586
FILE ID=node141/3291956-1304128541
RUNJOBID= node141-1304128529-21293
PBS_JOBID= 13170777
Free space on /tmp= 71264 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3291956-1304128541/watcher-3291956-1304128541 -o /tmp/evaluation-result-3291956-1304128541/solver-3291956-1304128541 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3291956-1304128541.cnf

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=2139680639

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20745148 kB
Buffers:       1401568 kB
Cached:        9940728 kB
SwapCached:          4 kB
Active:        3408924 kB
Inactive:      8213792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20745148 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          168776 kB
Writeback:           0 kB
AnonPages:      280216 kB
Mapped:          15556 kB
Slab:           519464 kB
PageTables:       5284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   531916 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= 72436 MiB
End job on node141 at 2011-04-30 04:17:29