Trace number 3367277

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.43 1203.84

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
MD5SUMd71ab4cbe872e5620884d4e4d370890a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1092.34
Satisfiable
(Un)Satisfiability was proved
Number of variables912
Number of clauses3488
Sum of the clauses size11040
Maximum clause length5
Minimum clause length1
Number of clauses of size 180
Number of clauses of size 2160
Number of clauses of size 32432
Number of clauses of size 4736
Number of clauses of size 580
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367277-1305414933.cnf'
0.00/0.01	c -- header says num vars:            912
0.00/0.01	c -- header says num clauses:        3488
0.00/0.01	c -- clauses added:            0 learnts,         3488 normals,            0 xors
0.00/0.01	c -- vars added        912
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       912      3184       160         0     10640         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2928/2928 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  128 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c Replacing      128 vars Replaced     2484 lits Time:     0.00 s 
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    704 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:    110  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:     306, avg size: 3.4)
0.00/0.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     26 locsubst:     0 time:   0.00
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:       0 undec:     344 neg:     568
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       568      1264        32         0      5600         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.42/0.19	c  N st     8      4915       568      1264        37      4621      5600    117979   no data   no data
1.96/0.57	c  N st    10     11297       568      1264        53      4326      5600     74940   no data   no data
3.56/0.96	c  N st    11     17040       568      1264        54      9839      5600    256710   no data   no data
6.35/1.66	c  F st    12     25000       568      1264        65     12191      5600    294335   no data   no data
6.35/1.67	c  N st    12     25000       568      1264        65     12191      5600    294335   no data   no data
7.95/2.03	c Decided on static restart strategy
7.95/2.03	c  N st    18     30000       568      1264        70     10613      5600    215637   no data   no data
7.95/2.03	c  S st    18     30000       568      1264        70     10613      5600    215637   no data   no data
7.95/2.06	c  S st    18     30501       568      1264        73     11081      5600    222719   no data   no data
7.95/2.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.95/2.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   27 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.95/2.07	c Replacing       27 vars Replaced     3160 lits Time:     0.00 s 
7.95/2.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.95/2.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.95/2.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.95/2.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    541 time:  0.00 s
7.95/2.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.95/2.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.95/2.08	c subs with bin:        3  lits-rem:        57  v-fix:    0  time:  0.00 s
8.77/2.25	c lits-rem:      2051  cl-subs:      785  v-elim:      0  v-fix:    0  time:  0.16 s
8.77/2.26	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
8.77/2.26	c calculated reachability. Time: 0.00
8.77/2.26	c  N st    18     30501       541      1264        19     10281      5560    201490   no data   no data
9.94/2.51	c Finding binary XORs  T:     0.00 s  found:       0
11.14/2.87	c  N st    20     37613       541      1264        19      9590      5560    165023   no data   no data
13.57/3.43	c  N st    21     44014       541      1264        19     15663      5560    356650   no data   no data
14.31/3.65	c  S st    22     45751       541      1264        28     17300      5560    406494   no data   no data
14.31/3.69	c  S st    22     46254       541      1264        31      9354      5560    129640   no data   no data
14.31/3.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.31/3.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.71/3.70	c Replacing        7 vars Replaced      773 lits Time:     0.00 s 
14.71/3.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.71/3.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.71/3.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.71/3.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
14.71/3.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.71/3.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.71/3.70	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.00 s
14.71/3.72	c lits-rem:       289  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.02 s
14.71/3.72	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
14.71/3.72	c vivif2 --  cl tried     9245 cl shrink        0 lits rem          0 time: 0.00
14.71/3.72	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
14.71/3.72	c calculated reachability. Time: 0.00
14.71/3.72	c  N st    22     46254       534      1264        17      9245      5552    127502   no data   no data
20.30/5.15	c  N st    23     60652       534      1264        17     13534      5552    239057   no data   no data
20.30/5.15	c Finding binary XORs  T:     0.00 s  found:      11
20.30/5.16	c Replacing       11 vars Replaced     2551 lits Time:     0.00 s 
23.89/6.02	c  N st    24     69381       523      1264        13     11430      5546    168117   no data   no data
23.89/6.02	c  S st    24     69381       523      1264        13     11430      5546    168117   no data   no data
23.89/6.05	c  S st    24     69887       523      1264        15     11907      5546    176673   no data   no data
23.89/6.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.89/6.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
23.89/6.06	c Replacing        2 vars Replaced      608 lits Time:     0.00 s 
23.89/6.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.89/6.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.89/6.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.89/6.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    521 time:  0.00 s
23.89/6.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.89/6.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.89/6.07	c subs with bin:        1  lits-rem:        26  v-fix:    0  time:  0.00 s
24.29/6.11	c lits-rem:       448  cl-subs:      205  v-elim:      0  v-fix:    0  time:  0.04 s
24.29/6.11	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
24.29/6.11	c vivif2 --  cl tried    11699 cl shrink        0 lits rem          0 time: 0.00
24.29/6.11	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
24.29/6.11	c calculated reachability. Time: 0.00
24.29/6.11	c  N st    24     69887       521      1264        11     11699      5544    172134   no data   no data
30.69/7.79	c  F st    25     87501       521      1264        11     17350      5544    348451   no data   no data
30.69/7.79	c  N st    25     87501       521      1264        11     17350      5544    348451   no data   no data
32.66/8.24	c Decided on static restart strategy
33.86/8.55	c  N st    32     95539       521      1264        12     25155      5544    595833   no data   no data
37.45/9.42	c  N st    34    104830       521      1264        14     21364      5544    430049   no data   no data
37.45/9.42	c  S st    34    104830       521      1264        14     21364      5544    430049   no data   no data
37.45/9.48	c  S st    34    105334       521      1264        15     21851      5544    440156   no data   no data
37.45/9.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.45/9.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
37.45/9.49	c Replacing        3 vars Replaced       95 lits Time:     0.00 s 
37.45/9.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37.45/9.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.45/9.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.45/9.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    518 time:  0.00 s
37.45/9.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.85/9.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
37.85/9.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.90/10.09	c lits-rem:      1158  cl-subs:     1955  v-elim:      0  v-fix:    0  time:  0.57 s
39.90/10.09	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
39.90/10.09	c vivif2 --  cl tried    19895 cl shrink        0 lits rem          0 time: 0.00
40.24/10.10	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
40.24/10.10	c calculated reachability. Time: 0.00
40.24/10.10	c  N st    34    105334       518      1264         9     19895      5540    384560   no data   no data
43.44/10.94	c  N st    35    114932       518      1264         9     15749      5540    234375   no data   no data
50.22/12.64	c  N st    36    129329       518      1264        10     15163      5540    207856   no data   no data
58.58/14.78	c  N st    37    150924       518      1264        10     20650      5540    360254   no data   no data
61.83/15.57	c  S st    38    158002       518      1264        10     27322      5540    545095   no data   no data
62.17/15.64	c  S st    38    158505       518      1264        10     27816      5540    554875   no data   no data
62.17/15.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.17/15.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
62.17/15.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62.17/15.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.17/15.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.17/15.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    518 time:  0.00 s
62.17/15.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
62.17/15.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
62.17/15.67	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.00 s
66.56/16.75	c lits-rem:      2103  cl-subs:     2764  v-elim:      0  v-fix:    0  time:  1.07 s
66.56/16.75	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
66.56/16.76	c vivif2 --  cl tried    25052 cl shrink        0 lits rem          0 time: 0.01
66.56/16.77	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
66.56/16.77	c calculated reachability. Time: 0.00
66.56/16.77	c  N st    38    158505       518      1264        10     25052      5540    476141   no data   no data
91.70/23.00	c  N st    39    207093       518      1264        10     20139      5540    295410   no data   no data
106.04/26.61	c  N st    40    237757       518      1264        10     29973      5540    542725   no data   no data
106.04/26.61	c  S st    40    237757       518      1264        10     29973      5540    542725   no data   no data
106.04/26.69	c  S st    40    238259       518      1264        10     30452      5540    552330   no data   no data
106.04/26.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
106.44/26.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
106.44/26.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
106.44/26.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.44/26.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.44/26.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    518 time:  0.00 s
106.44/26.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.44/26.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
106.44/26.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.03/28.17	c lits-rem:      2009  cl-subs:     3481  v-elim:      0  v-fix:    0  time:  1.44 s
112.03/28.17	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
112.03/28.18	c vivif2 --  cl tried    26971 cl shrink        0 lits rem          0 time: 0.01
112.03/28.19	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
112.03/28.19	c calculated reachability. Time: 0.00
112.03/28.19	c  N st    40    238259       518      1264        10     26971      5540    461981   no data   no data
149.92/37.61	c  F st    41    306251       518      1264        10     28862      5540    484904   no data   no data
149.92/37.61	c  N st    41    306251       518      1264        10     28862      5540    484904   no data   no data
149.92/37.61	c Finding binary XORs  T:     0.00 s  found:       4
152.32/38.24	c Decided on static restart strategy
164.28/41.26	c  N st    51    334554       518      1264        18     33165      5540    621684   no data   no data
178.63/44.89	c  N st    53    357390       518      1264        18     31063      5540    544283   no data   no data
178.63/44.89	c  S st    53    357390       518      1264        18     31063      5540    544283   no data   no data
179.03/44.98	c  S st    53    357893       518      1264        18     31555      5540    554791   no data   no data
179.03/44.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
179.03/44.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
179.43/45.00	c Replacing        6 vars Replaced     2999 lits Time:     0.01 s 
179.43/45.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
179.43/45.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
179.43/45.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
179.43/45.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    512 time:  0.00 s
179.43/45.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
179.43/45.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
179.43/45.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
182.23/45.78	c lits-rem:      1223  cl-subs:     2247  v-elim:      0  v-fix:    0  time:  0.74 s
182.23/45.78	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
182.23/45.78	c vivif2 --  cl tried    29306 cl shrink        0 lits rem          0 time: 0.01
182.23/45.79	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
182.23/45.79	c calculated reachability. Time: 0.00
182.23/45.79	c  N st    53    357893       512      1264         6     29306      5540    495871   no data   no data
199.36/50.00	c  N st    54    390285       512      1264         6     36126      5540    714602   no data   no data
230.87/57.94	c  N st    55    438876       512      1264         6     29632      5540    444409   no data   no data
277.52/69.63	c  N st    56    511758       512      1264         7     42308      5540    800289   no data   no data
292.30/73.38	c  N st    57    536839       512      1264         9     37213      5540    635049   no data   no data
292.30/73.38	c  S st    57    536839       512      1264         9     37213      5540    635049   no data   no data
293.09/73.50	c  S st    57    537346       512      1264         9     37698      5540    644464   no data   no data
293.09/73.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
293.09/73.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
293.09/73.51	c Replacing        1 vars Replaced       13 lits Time:     0.00 s 
293.09/73.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
293.09/73.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
293.09/73.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
293.09/73.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    511 time:  0.00 s
293.09/73.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
293.09/73.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
293.09/73.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
295.48/74.18	c lits-rem:      1219  cl-subs:     1332  v-elim:      0  v-fix:    0  time:  0.63 s
295.48/74.18	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
295.48/74.19	c vivif2 --  cl tried    36366 cl shrink        0 lits rem          0 time: 0.01
295.88/74.21	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
295.88/74.21	c calculated reachability. Time: 0.00
295.88/74.21	c  N st    57    537346       511      1264         7     36366      5540    610755   no data   no data
419.51/105.27	c  N st    58    701333       511      1264         7     63852      5540   1323113   no data   no data
490.50/123.01	c  N st    59    806020       511      1264         8     58804      5540   1135080   no data   no data
490.50/123.01	c  S st    59    806020       511      1264         8     58804      5540   1135080   no data   no data
491.32/123.23	c  S st    59    806522       511      1264         8     59297      5540   1146504   no data   no data
491.32/123.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
491.32/123.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
491.32/123.30	c Replacing        1 vars Replaced     8211 lits Time:     0.05 s 
491.32/123.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
491.32/123.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
491.32/123.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
491.32/123.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    510 time:  0.00 s
491.32/123.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
491.74/123.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
491.74/123.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
516.42/129.59	c lits-rem:      1810  cl-subs:     7021  v-elim:      0  v-fix:    0  time:  6.18 s
516.42/129.59	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
516.82/129.60	c vivif2 --  cl tried    52273 cl shrink        0 lits rem          0 time: 0.01
516.82/129.63	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.03
516.82/129.63	c calculated reachability. Time: 0.00
516.82/129.63	c  N st    59    806522       510      1264         6     52273      5540    956469   no data   no data
715.05/179.39	c  F st    60   1071875       510      1264         6     66895      5540   1284907   no data   no data
715.05/179.39	c  N st    60   1071875       510      1264         6     66895      5540   1284907   no data   no data
719.02/180.33	c Decided on static restart strategy
734.16/184.19	c  N st    70   1100178       510      1264         7     51749      5540    866718   no data   no data
744.94/186.86	c Finding binary XORs  T:     0.00 s  found:       2
764.07/191.60	c  N st    72   1136171       510      1264         8     85836      5540   1874056   no data   no data
789.21/197.91	c  N st    73   1168563       510      1264         9     72846      5540   1461813   no data   no data
821.50/206.09	c  N st    74   1209783       510      1264         9     67109      5540   1271745   no data   no data
821.50/206.09	c  S st    74   1209783       510      1264         9     67109      5540   1271745   no data   no data
823.10/206.44	c  S st    74   1210288       510      1264         9     67602      5540   1282554   no data   no data
823.10/206.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
823.10/206.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
823.49/206.50	c Replacing        3 vars Replaced       65 lits Time:     0.01 s 
823.49/206.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
823.49/206.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
823.49/206.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
823.49/206.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    507 time:  0.00 s
823.49/206.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
823.49/206.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
823.49/206.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
914.00/229.25	c lits-rem:      2173  cl-subs:     9480  v-elim:      0  v-fix:    0  time: 22.40 s
914.00/229.25	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
914.00/229.27	c vivif2 --  cl tried    58120 cl shrink        0 lits rem          0 time: 0.02
914.40/229.33	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.06
914.40/229.33	c calculated reachability. Time: 0.00
914.40/229.33	c  N st    74   1210288       507      1264         3     58120      5540   1027135   no data   no data
970.23/243.33	c  N st    75   1283170       507      1264         3     81186      5540   1666677   no data   no data
1067.14/267.60	c  N st    76   1392493       507      1264         3     91276      5540   1914097   no data   no data
1205.54/302.38	c  N st    77   1556477       507      1264         3     97877      5540   2071871   no data   no data
1351.88/339.03	c  N st    78   1710288       507      1264         3     89882      5540   1768859   no data   no data
1351.88/339.03	c  S st    78   1710288       507      1264         3     89882      5540   1768859   no data   no data
1353.09/339.39	c  S st    78   1710791       507      1264         4     90370      5540   1779357   no data   no data
1353.09/339.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1353.49/339.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1353.49/339.44	c Replacing        1 vars Replaced       31 lits Time:     0.01 s 
1353.49/339.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1353.49/339.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1353.49/339.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1353.49/339.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    506 time:  0.00 s
1353.49/339.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1353.49/339.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1353.89/339.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1568.39/393.30	c lits-rem:      3262  cl-subs:    15139  v-elim:      0  v-fix:    0  time: 53.10 s
1568.39/393.30	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
1568.39/393.32	c vivif2 --  cl tried    75229 cl shrink        0 lits rem          0 time: 0.02
1568.79/393.40	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.07
1568.79/393.40	c calculated reachability. Time: 0.00
1568.79/393.40	c  N st    78   1710791       506      1264         2     75229      5538   1381874   no data   no data
2013.47/505.00	c  N st    79   2079757       506      1264         2     84776      5538   1564501   no data   no data
2152.63/539.81	c  N st    80   2210791       506      1264         3     91063      5538   1711258   no data   no data
2152.63/539.81	c  S st    80   2210791       506      1264         3     91063      5538   1711258   no data   no data
2154.61/540.30	c  S st    80   2211292       506      1264         4     91555      5538   1722016   no data   no data
2154.61/540.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2154.61/540.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
2154.61/540.38	c Replacing        2 vars Replaced      937 lits Time:     0.01 s 
2154.61/540.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2154.61/540.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2154.61/540.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2154.61/540.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    504 time:  0.00 s
2154.61/540.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2155.01/540.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2155.01/540.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2300.95/577.07	c lits-rem:      2602  cl-subs:    13326  v-elim:      0  v-fix:    0  time: 36.15 s
2300.95/577.07	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
2300.95/577.09	c vivif2 --  cl tried    78224 cl shrink        0 lits rem          0 time: 0.02
2301.35/577.15	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.06
2301.35/577.15	c calculated reachability. Time: 0.00
2301.35/577.15	c  N st    80   2211292       504      1264         0     78224      5536   1386085   no data   no data
2907.50/729.18	c  N st    81   2711292       504      1264         0    102245      5536   1892997   no data   no data
2907.50/729.18	c  S st    81   2711292       504      1264         0    102245      5536   1892997   no data   no data
2909.89/729.78	c  S st    81   2711797       504      1264         0    102733      5536   1904180   no data   no data
2909.89/729.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2910.29/729.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
2910.29/729.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2910.29/729.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2910.29/729.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2910.29/729.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    504 time:  0.00 s
2910.29/729.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2910.29/729.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2910.69/729.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2988.86/749.57	c lits-rem:      4655  cl-subs:    13513  v-elim:      0  v-fix:    0  time: 19.39 s
2988.86/749.57	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
2988.86/749.59	c vivif2 --  cl tried    89220 cl shrink        0 lits rem          0 time: 0.02
2989.26/749.64	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
2989.26/749.64	c calculated reachability. Time: 0.00
2989.26/749.64	c  N st    81   2711797       504      1264         0     89220      5536   1594173   no data   no data
3714.99/931.65	c  N st    82   3211798       504      1264         0    136824      5536   2650555   no data   no data
3714.99/931.65	c  S st    82   3211798       504      1264         0    136824      5536   2650555   no data   no data
3718.59/932.50	c  S st    82   3212304       504      1264         0    137320      5536   2662355   no data   no data
3718.59/932.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3718.99/932.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.09
3718.99/932.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3718.99/932.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3718.99/932.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3718.99/932.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    504 time:  0.00 s
3718.99/932.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3718.99/932.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3719.39/932.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4380.03/1098.42	c lits-rem:      3118  cl-subs:    44268  v-elim:      0  v-fix:    0  time: 163.55 s
4380.03/1098.42	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
4380.03/1098.45	c vivif2 --  cl tried    93052 cl shrink        0 lits rem          0 time: 0.03
4380.43/1098.52	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.07
4380.43/1098.52	c calculated reachability. Time: 0.00
4380.43/1098.52	c  N st    82   3212304       504      1264         0     93052      5536   1632994   no data   no data

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-3367277-1305414933/watcher-3367277-1305414933 -o /tmp/evaluation-result-3367277-1305414933/solver-3367277-1305414933 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367277-1305414933.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: 3.43 4.15 5.45 5/373 18559
/proc/meminfo: memFree=22589652/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 653091060 52396032 347 33554432000 4194304 4580107 140736821431248 18446744073709551615 47085550602162 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18559/statm: 12792 347 299 95 0 7774 0
[pid=18559/tid=18560] ppid=18557 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653091060 52396032 347 33554432000 4194304 4580107 140736821431248 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653091060 52396032 347 33554432000 4194304 4580107 140736821431248 18446744073709551615 47085550602166 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653091060 52396032 347 33554432000 4194304 4580107 140736821431248 18446744073709551615 47085550602162 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.115083 s]
/proc/loadavg: 3.43 4.15 5.45 5/373 18559
/proc/meminfo: memFree=22589652/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=282128 CPUtime=0.42 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 2089 0 0 0 42 0 0 0 25 0 4 0 653091060 288899072 1959 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 70532 1959 379 95 0 65514 0
[pid=18559/tid=18560] ppid=18557 vsize=282128 CPUtime=0.1 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 489 0 0 0 10 0 0 0 18 0 4 0 653091060 288899072 1959 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=282128 CPUtime=0.1 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 436 0 0 0 10 0 0 0 18 0 4 0 653091060 288899072 1959 33554432000 4194304 4580107 140736821431248 18446744073709551615 4295157 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=282128 CPUtime=0.1 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 293 0 0 0 10 0 0 0 18 0 4 0 653091060 288899072 1959 33554432000 4194304 4580107 140736821431248 18446744073709551615 4324501 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282128

[startup+0.201067 s]
/proc/loadavg: 3.43 4.15 5.45 5/373 18559
/proc/meminfo: memFree=22589652/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=282768 CPUtime=0.77 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 2538 0 0 0 77 0 0 0 25 0 4 0 653091060 289554432 2086 33554432000 4194304 4580107 140736821431248 18446744073709551615 4316542 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 70692 2086 379 95 0 65674 0
[pid=18559/tid=18560] ppid=18557 vsize=282768 CPUtime=0.18 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 635 0 0 0 18 0 0 0 18 0 4 0 653091060 289554432 2086 33554432000 4194304 4580107 140736821431248 18446744073709551615 4318508 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=282768 CPUtime=0.19 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 530 0 0 0 19 0 0 0 18 0 4 0 653091060 289554432 2086 33554432000 4194304 4580107 140736821431248 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=282768 CPUtime=0.19 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 367 0 0 0 19 0 0 0 18 0 4 0 653091060 289554432 2086 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 282768

[startup+0.301049 s]
/proc/loadavg: 3.43 4.15 5.45 5/373 18559
/proc/meminfo: memFree=22589652/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=283264 CPUtime=1.17 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 2954 0 0 0 117 0 0 0 25 0 4 0 653091060 290062336 2159 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 70816 2159 379 95 0 65798 0
[pid=18559/tid=18560] ppid=18557 vsize=283264 CPUtime=0.28 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 726 0 0 0 28 0 0 0 18 0 4 0 653091060 290062336 2159 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=283264 CPUtime=0.29 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 662 0 0 0 29 0 0 0 18 0 4 0 653091060 290062336 2159 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=283264 CPUtime=0.29 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 488 0 0 0 29 0 0 0 18 0 4 0 653091060 290062336 2159 33554432000 4194304 4580107 140736821431248 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283264

[startup+0.700976 s]
/proc/loadavg: 3.43 4.15 5.45 5/373 18559
/proc/meminfo: memFree=22589652/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=284312 CPUtime=2.76 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 4377 0 0 0 276 0 0 0 25 0 4 0 653091060 291135488 2624 33554432000 4194304 4580107 140736821431248 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 71078 2624 379 95 0 66060 0
[pid=18559/tid=18560] ppid=18557 vsize=284312 CPUtime=0.68 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 1089 0 0 0 68 0 0 0 18 0 4 0 653091060 291135488 2624 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=284312 CPUtime=0.69 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 1008 0 0 0 69 0 0 0 18 0 4 0 653091060 291135488 2624 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=284312 CPUtime=0.69 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 866 0 0 0 69 0 0 0 18 0 4 0 653091060 291135488 2624 33554432000 4194304 4580107 140736821431248 18446744073709551615 4302211 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284312

[startup+1.50083 s]
/proc/loadavg: 3.43 4.15 5.45 9/377 18563
/proc/meminfo: memFree=22574244/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=285164 CPUtime=5.95 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 6780 0 0 0 594 1 0 0 25 0 4 0 653091060 292007936 3417 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294080 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 71291 3417 380 95 0 66273 0
[pid=18559/tid=18560] ppid=18557 vsize=285164 CPUtime=1.48 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 1860 0 0 0 148 0 0 0 20 0 4 0 653091060 292007936 3417 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=285164 CPUtime=1.49 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 1584 0 0 0 149 0 0 0 20 0 4 0 653091060 292007936 3417 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=285164 CPUtime=1.49 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 1405 0 0 0 149 0 0 0 20 0 4 0 653091060 292007936 3417 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 285164

[startup+3.10054 s]
/proc/loadavg: 3.80 4.21 5.46 9/377 18563
/proc/meminfo: memFree=22553660/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=303120 CPUtime=12.33 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 14892 0 0 0 1231 2 0 0 25 0 4 0 653091060 310394880 8818 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 75780 8818 380 95 0 70762 0
[pid=18559/tid=18560] ppid=18557 vsize=303120 CPUtime=3.07 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 3912 0 0 0 307 0 0 0 25 0 4 0 653091060 310394880 8818 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=303120 CPUtime=3.08 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 4533 0 0 0 308 0 0 0 25 0 4 0 653091060 310394880 8818 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=303120 CPUtime=3.09 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 2261 0 0 0 309 0 0 0 25 0 4 0 653091060 310394880 8818 33554432000 4194304 4580107 140736821431248 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 303120

[startup+6.30096 s]
/proc/loadavg: 3.80 4.21 5.46 9/377 18563
/proc/meminfo: memFree=22508028/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=304064 CPUtime=25.09 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 23908 0 0 0 2506 3 0 0 25 0 4 0 653091060 311361536 12411 33554432000 4194304 4580107 140736821431248 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 76016 12411 380 95 0 70998 0
[pid=18559/tid=18560] ppid=18557 vsize=304064 CPUtime=6.27 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 7327 0 0 0 626 1 0 0 25 0 4 0 653091060 311361536 12411 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=304064 CPUtime=6.28 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 6111 0 0 0 628 0 0 0 25 0 4 0 653091060 311361536 12411 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=304064 CPUtime=6.29 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 4348 0 0 0 629 0 0 0 25 0 4 0 653091060 311361536 12411 33554432000 4194304 4580107 140736821431248 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 304064

[startup+12.7008 s]
/proc/loadavg: 4.13 4.28 5.48 9/377 18563
/proc/meminfo: memFree=22473060/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=295800 CPUtime=50.61 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 37776 0 0 0 5055 6 0 0 25 0 4 0 653091060 302899200 18808 33554432000 4194304 4580107 140736821431248 18446744073709551615 4318850 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 73950 18808 380 95 0 68932 0
[pid=18559/tid=18560] ppid=18557 vsize=295800 CPUtime=12.66 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 10163 0 0 0 1265 1 0 0 25 0 4 0 653091060 302899200 18808 33554432000 4194304 4580107 140736821431248 18446744073709551615 4416110 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=295800 CPUtime=12.69 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 9190 0 0 0 1268 1 0 0 25 0 4 0 653091060 302899200 18808 33554432000 4194304 4580107 140736821431248 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=295800 CPUtime=12.69 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 8096 0 0 0 1268 1 0 0 25 0 4 0 653091060 302899200 18808 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 295800

[startup+25.5005 s]
/proc/loadavg: 4.99 4.46 5.52 9/377 18563
/proc/meminfo: memFree=22409464/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=287280 CPUtime=101.65 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 58525 0 0 0 10156 9 0 0 25 0 4 0 653091060 294174720 25607 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 71820 25607 380 95 0 66802 0
[pid=18559/tid=18560] ppid=18557 vsize=287280 CPUtime=25.46 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 15480 0 0 0 2544 2 0 0 25 0 4 0 653091060 294174720 25607 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=287280 CPUtime=25.49 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 13915 0 0 0 2547 2 0 0 25 0 4 0 653091060 294174720 25607 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=287280 CPUtime=25.48 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 12857 0 0 0 2547 1 0 0 25 0 4 0 653091060 294174720 25607 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 287280

[startup+51.1008 s]
/proc/loadavg: 6.08 4.76 5.59 9/377 18564
/proc/meminfo: memFree=22360396/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=288356 CPUtime=203.75 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 90222 0 0 0 20358 17 0 0 25 0 4 0 653091060 295276544 32844 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 72089 32844 380 95 0 67071 0
[pid=18559/tid=18560] ppid=18557 vsize=288356 CPUtime=51.06 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 21875 0 0 0 5102 4 0 0 25 0 4 0 653091060 295276544 32844 33554432000 4194304 4580107 140736821431248 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=288356 CPUtime=51.08 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 20196 0 0 0 5105 3 0 0 25 0 4 0 653091060 295276544 32844 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=288356 CPUtime=51.09 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 22462 0 0 0 5105 4 0 0 25 0 4 0 653091060 295276544 32844 33554432000 4194304 4580107 140736821431248 18446744073709551615 4318689 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 288356

[startup+102.3 s]
/proc/loadavg: 7.35 5.33 5.73 9/377 18565
/proc/meminfo: memFree=22280528/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=356472 CPUtime=407.96 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 141417 0 0 0 40767 29 0 0 25 0 4 0 653091060 365027328 42037 33554432000 4194304 4580107 140736821431248 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 89118 42037 380 95 0 84100 0
[pid=18559/tid=18560] ppid=18557 vsize=356472 CPUtime=102.27 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 31301 0 0 0 10221 6 0 0 25 0 4 0 653091060 365027328 42041 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=356472 CPUtime=102.3 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 31400 0 0 0 10224 6 0 0 25 0 4 0 653091060 365027328 42041 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=356472 CPUtime=102.3 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 38549 0 0 0 10222 8 0 0 25 0 4 0 653091060 365027328 42041 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 356472

[startup+162.301 s]

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

[pid=18559] ppid=18557 vsize=609260 CPUtime=2800.63 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 445537 0 0 0 279936 127 0 0 25 0 4 0 653091060 623882240 98880 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 152315 98880 380 95 0 147297 0
[pid=18559/tid=18560] ppid=18557 vsize=609260 CPUtime=702.16 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 96982 0 0 0 70189 27 0 0 25 0 4 0 653091060 623882240 98880 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=609260 CPUtime=702.3 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 107305 0 0 0 70195 35 0 0 25 0 4 0 653091060 623882240 98880 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=609260 CPUtime=702.3 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 103911 0 0 0 70204 26 0 0 25 0 4 0 653091060 623882240 98880 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.63
Current children cumulated vsize (KiB) 609260

[startup+762.301 s]
/proc/loadavg: 8.11 7.80 6.93 9/377 18583
/proc/meminfo: memFree=21794332/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=610276 CPUtime=3039.93 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 464886 0 0 0 303855 138 0 0 25 0 4 0 653091060 624922624 104821 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 152569 104821 380 95 0 147551 0
[pid=18559/tid=18560] ppid=18557 vsize=610276 CPUtime=762.16 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 98638 0 0 0 76188 28 0 0 25 0 4 0 653091060 624922624 104821 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=610276 CPUtime=762.32 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 117380 0 0 0 76193 39 0 0 25 0 4 0 653091060 624922624 104821 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=610276 CPUtime=762.32 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 104376 0 0 0 76205 27 0 0 25 0 4 0 653091060 624922624 104821 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.93
Current children cumulated vsize (KiB) 610276

[startup+822.3 s]
/proc/loadavg: 8.10 7.85 6.99 9/377 18585
/proc/meminfo: memFree=21774856/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=610384 CPUtime=3279.13 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 478043 0 0 0 327767 146 0 0 25 0 4 0 653091060 625033216 110538 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 152596 110538 380 95 0 147578 0
[pid=18559/tid=18560] ppid=18557 vsize=610384 CPUtime=822.13 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 104548 0 0 0 82180 33 0 0 25 0 4 0 653091060 625033216 110538 33554432000 4194304 4580107 140736821431248 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=610384 CPUtime=822.31 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 117380 0 0 0 82192 39 0 0 25 0 4 0 653091060 625033216 110538 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=610384 CPUtime=822.31 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 104920 0 0 0 82203 28 0 0 25 0 4 0 653091060 625033216 110538 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.13
Current children cumulated vsize (KiB) 610384

[startup+882.314 s]
/proc/loadavg: 8.12 7.91 7.07 9/377 18586
/proc/meminfo: memFree=21739120/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=597404 CPUtime=3518.45 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 498220 0 0 0 351691 154 0 0 25 0 4 0 653091060 611741696 112653 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 149351 112653 380 95 0 144333 0
[pid=18559/tid=18560] ppid=18557 vsize=597404 CPUtime=882.14 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 110762 0 0 0 88179 35 0 0 25 0 4 0 653091060 611741696 112653 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=597404 CPUtime=882.32 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 123682 0 0 0 88191 41 0 0 25 0 4 0 653091060 611741696 112653 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=597404 CPUtime=882.33 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 105173 0 0 0 88205 28 0 0 25 0 4 0 653091060 611741696 112653 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.45
Current children cumulated vsize (KiB) 597404

[startup+942.3 s]
/proc/loadavg: 8.18 7.95 7.13 9/377 18588
/proc/meminfo: memFree=21768748/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=598248 CPUtime=3757.65 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 516611 0 0 0 375603 162 0 0 25 0 4 0 653091060 612605952 118304 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406486 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 149562 118304 380 95 0 144544 0
[pid=18559/tid=18560] ppid=18557 vsize=598248 CPUtime=942.12 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 112684 0 0 0 94176 36 0 0 25 0 4 0 653091060 612605952 118304 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=598248 CPUtime=942.31 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 127965 0 0 0 94187 44 0 0 25 0 4 0 653091060 612605952 118304 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=598248 CPUtime=942.32 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 105364 0 0 0 94204 28 0 0 25 0 4 0 653091060 612605952 118304 33554432000 4194304 4580107 140736821431248 18446744073709551615 4318592 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.65
Current children cumulated vsize (KiB) 598248

[startup+1002.3 s]
/proc/loadavg: 8.17 7.99 7.20 9/377 18589
/proc/meminfo: memFree=21709952/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=655124 CPUtime=3996.88 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 518736 0 0 0 399524 164 0 0 25 0 4 0 653091060 670846976 120429 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 163781 120429 380 95 0 158763 0
[pid=18559/tid=18560] ppid=18557 vsize=655124 CPUtime=1002.1 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 112684 0 0 0 100174 36 0 0 25 0 4 0 653091060 670846976 120429 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=655124 CPUtime=1002.31 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 129963 0 0 0 100186 45 0 0 25 0 4 0 653091060 670846976 120429 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=655124 CPUtime=1002.32 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 105491 0 0 0 100204 28 0 0 25 0 4 0 653091060 670846976 120429 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3996.88
Current children cumulated vsize (KiB) 655124

[startup+1062.3 s]
/proc/loadavg: 8.18 8.02 7.25 9/377 18591
/proc/meminfo: memFree=21685756/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=776484 CPUtime=4236.1 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 522904 0 0 0 423442 168 0 0 25 0 4 0 653091060 795119616 124597 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 194121 124597 380 95 0 189103 0
[pid=18559/tid=18560] ppid=18557 vsize=776484 CPUtime=1062.09 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 113558 0 0 0 106172 37 0 0 25 0 4 0 653091060 795119616 124597 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=776484 CPUtime=1062.31 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 133257 0 0 0 106183 48 0 0 25 0 4 0 653091060 795119616 124597 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=776484 CPUtime=1062.32 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 105491 0 0 0 106204 28 0 0 25 0 4 0 653091060 795119616 124597 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.1
Current children cumulated vsize (KiB) 776484

[startup+1122.3 s]
/proc/loadavg: 8.10 8.03 7.30 9/377 18593
/proc/meminfo: memFree=21692564/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=640912 CPUtime=4475.32 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 531737 0 0 0 447356 176 0 0 25 0 4 0 653091060 656293888 115322 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 160228 115322 380 95 0 155210 0
[pid=18559/tid=18560] ppid=18557 vsize=640912 CPUtime=1122.08 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 117627 0 0 0 112167 41 0 0 25 0 4 0 653091060 656293888 115322 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=640912 CPUtime=1122.32 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 134918 0 0 0 112182 50 0 0 25 0 4 0 653091060 656293888 115322 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=640912 CPUtime=1122.32 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 105491 0 0 0 112204 28 0 0 25 0 4 0 653091060 656293888 115322 33554432000 4194304 4580107 140736821431248 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.32
Current children cumulated vsize (KiB) 640912

[startup+1182.3 s]
/proc/loadavg: 8.13 8.05 7.35 9/377 18594
/proc/meminfo: memFree=21661180/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=753044 CPUtime=4714.59 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 556605 0 0 0 471274 185 0 0 25 0 4 0 653091060 771117056 124749 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 188261 124749 380 95 0 183243 0
[pid=18559/tid=18560] ppid=18557 vsize=753044 CPUtime=1182.08 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 122266 0 0 0 118164 44 0 0 25 0 4 0 653091060 771117056 124749 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=753044 CPUtime=1182.32 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 140833 0 0 0 118180 52 0 0 25 0 4 0 653091060 771117056 124749 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=753044 CPUtime=1182.32 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 112283 0 0 0 118202 30 0 0 25 0 4 0 653091060 771117056 124749 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4714.59
Current children cumulated vsize (KiB) 753044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.09 8.04 7.37 5/372 18596
/proc/meminfo: memFree=22117780/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=688040 CPUtime=4800.36 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 565708 0 0 0 479847 189 0 0 25 0 4 0 653091060 704552960 120140 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 172010 120140 380 95 0 166992 0
[pid=18559/tid=18560] ppid=18557 vsize=688040 CPUtime=1203.58 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 125374 0 0 0 120314 44 0 0 25 0 4 0 653091060 704552960 120141 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=688040 CPUtime=1203.83 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 141884 0 0 0 120331 52 0 0 25 0 4 0 653091060 704552960 120141 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=688040 CPUtime=1203.84 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 114042 0 0 0 120352 32 0 0 25 0 4 0 653091060 704552960 120141 33554432000 4194304 4580107 140736821431248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 688040

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

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

[startup+1203.8 s]
/proc/loadavg: 8.09 8.04 7.37 5/372 18596
/proc/meminfo: memFree=22117780/32951124 swapFree=67111348/67111528
[pid=18559] ppid=18557 vsize=688040 CPUtime=4800.36 cores=0,2,4,6
/proc/18559/stat : 18559 (strangenight2-m) R 18557 18559 18458 0 -1 4202496 565708 0 0 0 479847 189 0 0 25 0 4 0 653091060 704552960 120140 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18559/statm: 172010 120140 380 95 0 166992 0
[pid=18559/tid=18560] ppid=18557 vsize=688040 CPUtime=1203.58 cores=0,2,4,6
/proc/18559/task/18560/stat : 18560 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 125374 0 0 0 120314 44 0 0 25 0 4 0 653091060 704552960 120141 33554432000 4194304 4580107 140736821431248 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18559/tid=18561] ppid=18557 vsize=688040 CPUtime=1203.83 cores=0,2,4,6
/proc/18559/task/18561/stat : 18561 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 141884 0 0 0 120331 52 0 0 25 0 4 0 653091060 704552960 120141 33554432000 4194304 4580107 140736821431248 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18559/tid=18562] ppid=18557 vsize=688040 CPUtime=1203.84 cores=0,2,4,6
/proc/18559/task/18562/stat : 18562 (strangenight2-m) R 18557 18559 18458 0 -1 4202560 114042 0 0 0 120352 32 0 0 25 0 4 0 653091060 704552960 120141 33554432000 4194304 4580107 140736821431248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 688040

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.43
CPU user time (s): 4798.52
CPU system time (s): 1.91871
CPU usage (%): 398.759
Max. virtual memory (cumulated for all children) (KiB): 842192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.52
system time used= 1.91871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565711
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= 225
involuntary context switches= 23254

runsolver used 4.10238 second user time and 10.6144 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-15 01:15:33
IDJOB=3367277
IDBENCH=83431
IDSOLVER=1844
FILE ID=node139/3367277-1305414933
RUNJOBID= node139-1305414932-18476
PBS_JOBID= 13324554
Free space on /tmp= 73352 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367277-1305414933/watcher-3367277-1305414933 -o /tmp/evaluation-result-3367277-1305414933/solver-3367277-1305414933 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367277-1305414933.cnf

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

MD5SUM BENCH= d71ab4cbe872e5620884d4e4d370890a
RANDOM SEED=1810948386

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22589684 kB
Buffers:        300884 kB
Cached:        2896928 kB
SwapCached:          0 kB
Active:        7993716 kB
Inactive:      2059536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22589684 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11132 kB
Writeback:           0 kB
AnonPages:     6855168 kB
Mapped:          29476 kB
Slab:           203928 kB
PageTables:      38636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76867796 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= 73348 MiB
End job on node139 at 2011-05-15 01:35:39