Trace number 3290348

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-1-mt? (TO) 4800.44 1201.74

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.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290348-1304133105.cnf'
0.00/0.00	c -- header says num vars:            912
0.00/0.00	c -- header says num clauses:        3488
0.00/0.00	c -- clauses added:            0 learnts,         3488 normals,            0 xors
0.00/0.00	c -- vars added        912
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  128 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing      128 vars Replaced     2484 lits Time:     0.00 s 
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    704 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    116  v-fix:    0  time:  0.02 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:     306, avg size: 3.4)
0.00/0.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     26 locsubst:    12 time:   0.00
0.00/0.01	c Replacing        6 vars Replaced       66 lits Time:     0.00 s 
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:     356 neg:     556
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       556      1276        26         0      5648         0   no data   no data  --
0.00/0.07	c Decided on static restart strategy
0.00/0.20	c  N st     8      4912       556      1276        31      4685      5648    138774   no data   no data  --
0.00/0.54	c  N st    10     11294       556      1276        37      4398      5648     74128   no data   no data  --
3.60/0.92	c  N st    11     17037       556      1276        40      9886      5648    249482   no data   no data  --
5.57/1.47	c  F st    12     25000       556      1276        44     12185      5648    305484   no data   no data  --
5.57/1.47	c  N st    12     25000       556      1276        44     12185      5648    305484   no data   no data  --
6.77/1.79	c Decided on static restart strategy
6.77/1.79	c  N st    18     30000       556      1276        46     10641      5648    213556   no data   no data  --
6.77/1.79	c  S st    18     30000       556      1276        46     10641      5648    213556   no data   no data  --
7.19/1.83	c  S st    18     30503       556      1276        50     11118      5648    222303   no data   no data  --
7.19/1.83	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.19/1.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.19/1.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   13 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
7.19/1.83	c Replacing       13 vars Replaced     1854 lits Time:     0.01 s 
7.19/1.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.19/1.84	c subs with bin:        6  lits-rem:        14  v-fix:    0  time:  0.00 s
7.19/1.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    543 time:  0.00 s
7.19/1.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.18	c lits-rem:      1851  cl-subs:      656  v-elim:      0  v-fix:    0  time:  1.35 s
8.37/2.18	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.02
8.37/2.18	c calculated reachability. Time: 0.00
8.37/2.18	c  N st    18     30503       543      1276        24     10436      5610    206059   no data   no data  --
10.36/2.69	c  N st    20     37614       543      1276        25      9835      5610    168278   no data   no data  --
12.76/3.20	c  N st    21     44017       543      1276        26     15903      5610    350777   no data   no data  --
12.76/3.20	c Finding binary XORs  T:     0.00 s  found:       2
13.16/3.34	c  S st    22     45754       543      1276        27      9082      5610    118684   no data   no data  --
13.16/3.37	c  S st    22     46257       543      1276        30      9561      5610    127793   no data   no data  --
13.16/3.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.16/3.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.16/3.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
13.16/3.37	c Replacing        5 vars Replaced      423 lits Time:     0.00 s 
13.16/3.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.16/3.37	c subs with bin:        3  lits-rem:        38  v-fix:    0  time:  0.00 s
13.16/3.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
13.16/3.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.56/3.45	c lits-rem:       460  cl-subs:      180  v-elim:      0  v-fix:    0  time:  0.29 s
13.56/3.45	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
13.56/3.45	c vivif2 --  cl tried     9368 cl shrink        0 lits rem          0 time: 0.01
13.56/3.45	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.01
13.56/3.45	c calculated reachability. Time: 0.00
13.56/3.45	c  N st    22     46257       538      1276        20      9368      5606    123965   no data   no data  --
18.35/4.63	c  N st    23     60654       538      1276        22     13611      5606    228320   no data   no data  --
21.55/5.45	c  N st    24     69386       538      1276        33     11502      5606    148259   no data   no data  --
21.55/5.45	c  S st    24     69386       538      1276        33     11502      5606    148259   no data   no data  --
21.55/5.49	c  S st    24     69890       538      1276        33     11993      5606    157527   no data   no data  --
21.55/5.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.55/5.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.55/5.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
21.55/5.49	c Replacing        8 vars Replaced     2881 lits Time:     0.02 s 
21.95/5.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.95/5.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.95/5.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    530 time:  0.00 s
21.95/5.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
22.74/5.75	c lits-rem:       694  cl-subs:      302  v-elim:      0  v-fix:    0  time:  1.01 s
22.74/5.75	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
22.74/5.75	c vivif2 --  cl tried    11685 cl shrink        0 lits rem          0 time: 0.01
22.74/5.76	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.01
22.74/5.76	c calculated reachability. Time: 0.00
22.74/5.76	c  N st    24     69890       530      1276        17     11685      5598    150892   no data   no data  --
28.74/7.22	c  F st    25     87500       530      1276        17     16988      5598    303879   no data   no data  --
28.74/7.22	c  N st    25     87500       530      1276        17     16988      5598    303879   no data   no data  --
28.74/7.22	c Finding binary XORs  T:     0.00 s  found:       4
30.33/7.65	c Decided on static restart strategy
31.54/7.91	c  N st    32     95538       530      1276        23     24750      5598    553528   no data   no data  --
34.73/8.79	c  N st    34    104835       530      1276        24     21197      5598    396460   no data   no data  --
34.73/8.79	c  S st    34    104835       530      1276        24     21197      5598    396460   no data   no data  --
35.13/8.85	c  S st    34    105338       530      1276        24     21679      5598    406427   no data   no data  --
35.13/8.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.13/8.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.13/8.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
35.13/8.86	c Replacing        5 vars Replaced     3460 lits Time:     0.03 s 
35.13/8.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.13/8.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.13/8.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    525 time:  0.00 s
35.13/8.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.32/11.17	c lits-rem:      2628  cl-subs:     2006  v-elim:      0  v-fix:    0  time:  9.15 s
44.32/11.17	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
44.32/11.17	c vivif2 --  cl tried    19672 cl shrink        0 lits rem          0 time: 0.02
44.32/11.18	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.02
44.32/11.18	c calculated reachability. Time: 0.00
44.32/11.18	c  N st    34    105338       525      1276        14     19672      5594    347641   no data   no data  --
47.91/12.06	c  N st    35    114936       525      1276        15     15497      5594    217233   no data   no data  --
55.10/13.81	c  N st    36    129334       525      1276        16     14897      5594    182790   no data   no data  --
62.69/15.73	c  N st    37    150930       525      1276        22     20683      5594    348390   no data   no data  --
62.69/15.73	c Finding binary XORs  T:     0.00 s  found:       6
62.69/15.74	c Replacing        6 vars Replaced     2493 lits Time:     0.02 s 
65.09/16.39	c  S st    38    158008       519      1276        10     27427      5584    549712   no data   no data  --
65.49/16.47	c  S st    38    158510       519      1276        11     27914      5584    559063   no data   no data  --
65.49/16.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.49/16.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.49/16.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
65.49/16.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.49/16.49	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
65.49/16.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    519 time:  0.00 s
65.49/16.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.48/18.98	c lits-rem:      3197  cl-subs:     2196  v-elim:      0  v-fix:    0  time:  9.92 s
75.48/18.98	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
75.48/18.98	c vivif2 --  cl tried    25717 cl shrink        0 lits rem          0 time: 0.02
75.48/18.99	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.03
75.48/18.99	c calculated reachability. Time: 0.00
75.48/18.99	c  N st    38    158510       519      1276        11     25717      5584    490099   no data   no data  --
96.65/24.24	c  N st    39    207099       519      1276        11     20542      5584    277292   no data   no data  --
109.03/27.39	c  N st    40    237765       519      1276        13     30365      5584    560316   no data   no data  --
109.03/27.39	c  S st    40    237765       519      1276        13     30365      5584    560316   no data   no data  --
109.43/27.48	c  S st    40    238268       519      1276        14     30853      5584    570192   no data   no data  --
109.43/27.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
109.43/27.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
109.43/27.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
109.43/27.49	c Replacing        2 vars Replaced       42 lits Time:     0.01 s 
109.83/27.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
109.83/27.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
109.83/27.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    517 time:  0.00 s
109.83/27.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.44/30.46	c lits-rem:      3594  cl-subs:     3499  v-elim:      0  v-fix:    0  time: 11.78 s
121.44/30.46	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
121.44/30.46	c vivif2 --  cl tried    27353 cl shrink        0 lits rem          0 time: 0.02
121.44/30.47	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.04
121.44/30.47	c calculated reachability. Time: 0.00
121.44/30.47	c  N st    40    238268       517      1276        10     27353      5582    478108   no data   no data  --
154.17/38.60	c  F st    41    306253       517      1276        11     29411      5582    484642   no data   no data  --
154.17/38.60	c  N st    41    306253       517      1276        11     29411      5582    484642   no data   no data  --
156.60/39.21	c Decided on static restart strategy
162.56/40.77	c Finding binary XORs  T:     0.00 s  found:       3
166.96/41.81	c  N st    51    334556       517      1276        15     33638      5582    597304   no data   no data  --
178.56/44.80	c  N st    53    357402       517      1276        19     31683      5582    506623   no data   no data  --
178.56/44.80	c  S st    53    357402       517      1276        19     31683      5582    506623   no data   no data  --
178.96/44.88	c  S st    53    357905       517      1276        19     32168      5582    516309   no data   no data  --
178.96/44.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
178.96/44.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
178.96/44.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
178.96/44.89	c Replacing        6 vars Replaced      179 lits Time:     0.01 s 
179.34/44.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
179.34/44.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
179.34/44.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    511 time:  0.00 s
179.34/44.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
187.75/47.07	c lits-rem:      2202  cl-subs:     2301  v-elim:      0  v-fix:    0  time:  8.66 s
187.75/47.07	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
187.75/47.08	c vivif2 --  cl tried    29864 cl shrink        0 lits rem          0 time: 0.02
187.75/47.09	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.03
187.75/47.09	c calculated reachability. Time: 0.00
187.75/47.09	c  N st    53    357905       511      1276         7     29864      5580    449509   no data   no data  --
203.31/50.91	c  N st    54    390297       511      1276         7     35776      5580    630318   no data   no data  --
229.27/57.49	c  N st    55    438885       511      1276         7     29972      5580    416089   no data   no data  --
272.02/68.13	c  N st    56    511767       511      1276         7     43402      5580    845005   no data   no data  --
286.01/71.65	c  N st    57    536857       511      1276         7     37752      5580    602557   no data   no data  --
286.01/71.65	c  S st    57    536857       511      1276         7     37752      5580    602557   no data   no data  --
286.41/71.76	c  S st    57    537364       511      1276         8     38243      5580    613840   no data   no data  --
286.41/71.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
286.41/71.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.41/71.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
286.41/71.78	c Replacing        1 vars Replaced       13 lits Time:     0.01 s 
286.41/71.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
286.41/71.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
286.41/71.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    510 time:  0.00 s
286.41/71.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
297.21/74.42	c lits-rem:      2669  cl-subs:     2997  v-elim:      0  v-fix:    0  time: 10.48 s
297.21/74.42	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
297.21/74.43	c vivif2 --  cl tried    35246 cl shrink        0 lits rem          0 time: 0.02
297.21/74.44	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.04
297.21/74.44	c calculated reachability. Time: 0.00
297.21/74.44	c  N st    57    537364       510      1276         6     35246      5580    534953   no data   no data  --
395.46/99.03	c  N st    58    701348       510      1276         7     63191      5580   1244499   no data   no data  --
460.20/115.29	c  N st    59    806046       510      1276         7     57841      5580   1116916   no data   no data  --
460.20/115.29	c  S st    59    806046       510      1276         7     57841      5580   1116916   no data   no data  --
461.37/115.51	c  S st    59    806550       510      1276         8     58329      5580   1127157   no data   no data  --
461.37/115.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
461.37/115.51	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
461.37/115.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
461.37/115.58	c Replacing        2 vars Replaced     8659 lits Time:     0.18 s 
461.77/115.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
461.77/115.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
461.77/115.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    508 time:  0.00 s
461.77/115.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
493.34/123.59	c lits-rem:      1276  cl-subs:     7154  v-elim:      0  v-fix:    0  time: 31.82 s
493.34/123.59	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
493.74/123.60	c vivif2 --  cl tried    51173 cl shrink        0 lits rem          0 time: 0.05
493.74/123.62	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.08
493.74/123.62	c calculated reachability. Time: 0.00
493.74/123.62	c  N st    59    806550       508      1276         4     51173      5580    950742   no data   no data  --
651.93/163.24	c  F st    60   1071876       508      1276         4     66176      5580   1259279   no data   no data  --
651.93/163.25	c  N st    60   1071876       508      1276         4     66176      5580   1259279   no data   no data  --
655.12/164.02	c Decided on static restart strategy
670.30/167.86	c  N st    70   1100178       508      1276         5     50761      5580    782458   no data   no data  --
695.06/174.00	c  N st    72   1136170       508      1276         5     84524      5580   1774818   no data   no data  --
717.04/179.51	c  N st    73   1168563       508      1276         5     71480      5580   1391297   no data   no data  --
744.60/186.45	c  N st    74   1209825       508      1276         5     66390      5580   1242801   no data   no data  --
744.60/186.45	c  S st    74   1209825       508      1276         5     66390      5580   1242801   no data   no data  --
745.41/186.67	c  S st    74   1210328       508      1276         5     66880      5580   1253197   no data   no data  --
745.41/186.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
745.41/186.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
745.41/186.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
745.82/186.70	c Replacing        1 vars Replaced       17 lits Time:     0.02 s 
745.82/186.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
745.82/186.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
745.82/186.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    507 time:  0.00 s
745.82/186.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
779.75/195.26	c lits-rem:      2715  cl-subs:     6613  v-elim:      0  v-fix:    0  time: 34.01 s
779.75/195.26	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
779.75/195.27	c vivif2 --  cl tried    60267 cl shrink        0 lits rem          0 time: 0.05
780.15/195.30	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.10
780.15/195.30	c calculated reachability. Time: 0.00
780.15/195.30	c  N st    74   1210328       507      1276         3     60267      5580   1086039   no data   no data  --
829.68/207.76	c  N st    75   1283211       507      1276         3     83117      5580   1720138   no data   no data  --
913.18/228.64	c  N st    76   1392534       507      1276         3     94367      5580   1975410   no data   no data  --
1066.97/267.15	c  N st    77   1556521       507      1276         3    101431      5580   2193525   no data   no data  --
1194.80/299.19	c  N st    78   1710329       507      1276         3     90507      5580   1727740   no data   no data  --
1194.80/299.19	c  S st    78   1710329       507      1276         3     90507      5580   1727740   no data   no data  --
1196.40/299.52	c  S st    78   1710831       507      1276         4     90997      5580   1738907   no data   no data  --
1196.40/299.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1196.40/299.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1196.40/299.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1196.40/299.57	c Replacing        1 vars Replaced       28 lits Time:     0.03 s 
1196.80/299.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1196.80/299.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1196.80/299.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    506 time:  0.00 s
1196.80/299.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1316.24/329.59	c lits-rem:      4779  cl-subs:    16761  v-elim:      0  v-fix:    0  time: 119.64 s
1316.24/329.59	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
1316.66/329.61	c vivif2 --  cl tried    74235 cl shrink        0 lits rem          0 time: 0.06
1316.66/329.64	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.12
1316.66/329.64	c calculated reachability. Time: 0.00
1316.66/329.64	c  N st    78   1710831       506      1276         2     74235      5580   1314948   no data   no data  --
1316.66/329.64	c Finding binary XORs  T:     0.00 s  found:       0
1696.93/424.80	c  N st    79   2079796       506      1276         2     87013      5580   1560854   no data   no data  --
1803.20/451.42	c  N st    80   2210831       506      1276         2     91869      5580   1702548   no data   no data  --
1803.20/451.42	c  S st    80   2210831       506      1276         2     91869      5580   1702548   no data   no data  --
1804.41/451.79	c  S st    80   2211338       506      1276         2     92367      5580   1712639   no data   no data  --
1804.41/451.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1804.41/451.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1804.81/451.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1804.81/451.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1804.81/451.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1804.81/451.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    506 time:  0.00 s
1804.81/451.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1883.50/471.59	c lits-rem:      3444  cl-subs:     9798  v-elim:      0  v-fix:    0  time: 78.69 s
1883.50/471.59	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
1883.90/471.61	c vivif2 --  cl tried    82569 cl shrink        0 lits rem          0 time: 0.07
1883.90/471.65	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.14
1883.90/471.65	c calculated reachability. Time: 0.00
1883.90/471.65	c  N st    80   2211338       506      1276         2     82569      5580   1468193   no data   no data  --
2423.17/606.66	c  N st    81   2711339       506      1276         2    106339      5580   2043996   no data   no data  --
2423.17/606.66	c  S st    81   2711339       506      1276         2    106339      5580   2043996   no data   no data  --
2424.76/607.06	c  S st    81   2711842       506      1276         3    106832      5580   2054274   no data   no data  --
2424.76/607.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2424.76/607.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2425.16/607.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.20
2425.16/607.14	c Replacing        1 vars Replaced     1356 lits Time:     0.07 s 
2425.56/607.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2425.56/607.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2425.56/607.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
2425.56/607.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2548.60/638.01	c lits-rem:      2586  cl-subs:    12602  v-elim:      0  v-fix:    0  time: 123.03 s
2548.60/638.01	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
2548.60/638.03	c vivif2 --  cl tried    94227 cl shrink        0 lits rem          0 time: 0.08
2548.60/638.08	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.18
2548.60/638.08	c calculated reachability. Time: 0.00
2548.60/638.08	c  N st    81   2711842       505      1276         1     94227      5578   1755460   no data   no data  --
3106.23/777.64	c  N st    82   3211842       505      1276         1    146061      5578   3125502   no data   no data  --
3106.23/777.64	c  S st    82   3211842       505      1276         1    146061      5578   3125502   no data   no data  --
3108.63/778.24	c  S st    82   3212343       505      1276         1    146548      5578   3137317   no data   no data  --
3108.63/778.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3108.63/778.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3109.03/778.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
3109.44/778.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3109.44/778.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3109.44/778.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
3109.44/778.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3788.92/948.58	c lits-rem:     15905  cl-subs:    27694  v-elim:      0  v-fix:    0  time: 679.44 s
3788.92/948.58	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
3789.32/948.61	c vivif2 --  cl tried   118854 cl shrink        0 lits rem          0 time: 0.13
3789.32/948.68	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.28
3789.32/948.69	c calculated reachability. Time: 0.00
3789.32/948.69	c  N st    82   3212343       505      1276         1    118854      5578   2451687   no data   no data  --
4444.05/1112.57	c  N st    83   3712344       505      1276         1    134617      5578   2691537   no data   no data  --
4444.05/1112.57	c  S st    83   3712344       505      1276         1    134617      5578   2691537   no data   no data  --
4446.45/1113.12	c  S st    83   3712855       505      1276         1    135116      5578   2702370   no data   no data  --
4446.45/1113.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4446.45/1113.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4446.85/1113.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.27
4446.85/1113.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4446.85/1113.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4446.85/1113.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
4446.85/1113.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4728.47/1183.75	c lits-rem:      2299  cl-subs:    21449  v-elim:      0  v-fix:    0  time: 281.43 s
4728.47/1183.75	c vivif2 --  cl tried     1276 cl shrink        0 lits rem          0 time: 0.00
4728.47/1183.78	c vivif2 --  cl tried   113667 cl shrink        0 lits rem          0 time: 0.11
4728.87/1183.83	c asymm  cl-useful: 0/1276/1276 lits-rem:0 time: 0.22
4728.87/1183.84	c calculated reachability. Time: 0.00
4728.87/1183.84	c  N st    83   3712855       505      1276         1    113667      5578   2174648   no data   no data  --
4784.02/1197.66	c  F st    84   3751563       505      1276         1    149884      5578   3254744   no data   no data  --
4784.02/1197.66	c  N st    84   3751563       505      1276         1    149884      5578   3254744   no data   no data  --
4793.18/1199.91	c Decided on static restart strategy

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.79 8.07 7.96 5/180 6372
/proc/meminfo: memFree=28775076/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 505725955 52465664 352 33554432000 4194304 4650419 140733212956320 18446744073709551615 228095507441 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 12809 352 303 112 0 7774 0
[pid=6372/tid=6373] ppid=6370 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 505725956 52465664 352 33554432000 4194304 4650419 140733212956320 18446744073709551615 47463571253160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 505725956 52465664 352 33554432000 4194304 4650419 140733212956320 18446744073709551615 47463571253170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 505725956 52465664 352 33554432000 4194304 4650419 140733212956320 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.205399 s]
/proc/loadavg: 7.79 8.07 7.96 5/180 6372
/proc/meminfo: memFree=28775076/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=285052 CPUtime=3.2 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 4874 0 0 0 319 1 0 0 19 0 4 0 505725955 291893248 2922 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 71263 2922 394 112 0 66228 0
[pid=6372/tid=6373] ppid=6370 vsize=285052 CPUtime=0.79 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1174 0 0 0 79 0 0 0 19 0 4 0 505725956 291893248 2922 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=285052 CPUtime=0.79 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1153 0 0 0 79 0 0 0 19 0 4 0 505725956 291893248 2922 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=285052 CPUtime=0.79 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 947 0 0 0 79 0 0 0 25 0 4 0 505725956 291893248 2922 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285052

[startup+0.906219 s]
/proc/loadavg: 7.79 8.07 7.96 5/180 6372
/proc/meminfo: memFree=28775076/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=285052 CPUtime=3.6 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 5100 0 0 0 359 1 0 0 19 0 4 0 505725955 291893248 3148 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 71263 3148 394 112 0 66228 0
[pid=6372/tid=6373] ppid=6370 vsize=285052 CPUtime=0.89 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1230 0 0 0 89 0 0 0 19 0 4 0 505725956 291893248 3148 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=285052 CPUtime=0.89 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1215 0 0 0 89 0 0 0 19 0 4 0 505725956 291893248 3148 33554432000 4194304 4650419 140733212956320 18446744073709551615 4331268 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=285052 CPUtime=0.89 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1008 0 0 0 89 0 0 0 25 0 4 0 505725956 291893248 3148 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 285052

[startup+1.0062 s]
/proc/loadavg: 7.79 8.07 7.96 5/180 6372
/proc/meminfo: memFree=28775076/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=285440 CPUtime=3.99 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 5562 0 0 0 398 1 0 0 19 0 4 0 505725955 292290560 2980 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 71360 2980 394 112 0 66325 0
[pid=6372/tid=6373] ppid=6370 vsize=285440 CPUtime=0.99 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1272 0 0 0 99 0 0 0 19 0 4 0 505725956 292290560 2980 33554432000 4194304 4650419 140733212956320 18446744073709551615 4314730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=285440 CPUtime=0.99 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1264 0 0 0 99 0 0 0 19 0 4 0 505725956 292290560 2980 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=285440 CPUtime=0.99 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1180 0 0 0 99 0 0 0 25 0 4 0 505725956 292290560 2980 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 285440

[startup+1.10618 s]
/proc/loadavg: 7.79 8.07 7.96 5/180 6372
/proc/meminfo: memFree=28775076/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=285700 CPUtime=4.39 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 6049 0 0 0 438 1 0 0 19 0 4 0 505725955 292556800 2849 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 71425 2850 394 112 0 66390 0
[pid=6372/tid=6373] ppid=6370 vsize=285700 CPUtime=1.09 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1456 0 0 0 109 0 0 0 19 0 4 0 505725956 292556800 2850 33554432000 4194304 4650419 140733212956320 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=285700 CPUtime=1.09 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1460 0 0 0 109 0 0 0 19 0 4 0 505725956 292556800 2850 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=285700 CPUtime=1.09 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1228 0 0 0 109 0 0 0 25 0 4 0 505725956 292556800 2850 33554432000 4194304 4650419 140733212956320 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 285700

[startup+1.50111 s]
/proc/loadavg: 7.79 8.07 7.96 5/180 6372
/proc/meminfo: memFree=28775076/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=285832 CPUtime=5.97 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 6822 0 0 0 596 1 0 0 20 0 4 0 505725955 292691968 3622 33554432000 4194304 4650419 140733212956320 18446744073709551615 4329701 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 71458 3622 395 112 0 66423 0
[pid=6372/tid=6373] ppid=6370 vsize=285832 CPUtime=1.49 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1623 0 0 0 149 0 0 0 20 0 4 0 505725956 292691968 3622 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=285832 CPUtime=1.48 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1654 0 0 0 148 0 0 0 20 0 4 0 505725956 292691968 3622 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=285832 CPUtime=1.48 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 1425 0 0 0 148 0 0 0 25 0 4 0 505725956 292691968 3622 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285832

[startup+3.10082 s]
/proc/loadavg: 7.79 8.07 7.96 9/184 6376
/proc/meminfo: memFree=28745408/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=283344 CPUtime=12.36 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 14688 0 0 0 1234 2 0 0 25 0 4 0 505725955 290144256 8703 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363941 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 70836 8703 395 112 0 65801 0
[pid=6372/tid=6373] ppid=6370 vsize=283344 CPUtime=3.07 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 3490 0 0 0 307 0 0 0 25 0 4 0 505725956 290144256 8703 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=283344 CPUtime=3.08 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 4526 0 0 0 308 0 0 0 25 0 4 0 505725956 290144256 8703 33554432000 4194304 4650419 140733212956320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=283344 CPUtime=3.08 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 2329 0 0 0 308 0 0 0 25 0 4 0 505725956 290144256 8703 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 283344

[startup+6.30623 s]
/proc/loadavg: 7.80 8.07 7.96 9/184 6377
/proc/meminfo: memFree=28715744/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=284928 CPUtime=25.17 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 22648 0 0 0 2512 5 0 0 25 0 4 0 505725955 291766272 12992 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 71232 12992 395 112 0 66197 0
[pid=6372/tid=6373] ppid=6370 vsize=284928 CPUtime=6.27 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 6388 0 0 0 626 1 0 0 25 0 4 0 505725956 291766272 12992 33554432000 4194304 4650419 140733212956320 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=284928 CPUtime=6.3 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 5164 0 0 0 629 1 0 0 25 0 4 0 505725956 291766272 12992 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=284928 CPUtime=6.29 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 4941 0 0 0 628 1 0 0 25 0 4 0 505725956 291766272 12992 33554432000 4194304 4650419 140733212956320 18446744073709551615 4333542 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 284928

[startup+12.701 s]
/proc/loadavg: 7.50 8.00 7.94 9/184 6408
/proc/meminfo: memFree=29272640/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=291772 CPUtime=50.71 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 32663 0 0 0 5063 8 0 0 25 0 4 0 505725955 298774528 15968 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 72943 15968 395 112 0 67908 0
[pid=6372/tid=6373] ppid=6370 vsize=291772 CPUtime=12.62 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 8475 0 0 0 1261 1 0 0 25 0 4 0 505725956 298774528 15968 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=291772 CPUtime=12.68 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 8356 0 0 0 1267 1 0 0 25 0 4 0 505725956 298774528 15968 33554432000 4194304 4650419 140733212956320 18446744073709551615 4520327 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=291772 CPUtime=12.68 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 6359 0 0 0 1267 1 0 0 25 0 4 0 505725956 298774528 15968 33554432000 4194304 4650419 140733212956320 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 291772

[startup+25.5007 s]
/proc/loadavg: 7.68 8.02 7.95 9/184 6408
/proc/meminfo: memFree=29208456/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=288188 CPUtime=101.84 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 54211 0 0 0 10172 12 0 0 25 0 4 0 505725955 295104512 22640 33554432000 4194304 4650419 140733212956320 18446744073709551615 4333914 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 72047 22640 395 112 0 67012 0
[pid=6372/tid=6373] ppid=6370 vsize=288188 CPUtime=25.36 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 13828 0 0 0 2534 2 0 0 25 0 4 0 505725956 295104512 22640 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=288188 CPUtime=25.48 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 15132 0 0 0 2546 2 0 0 25 0 4 0 505725956 295104512 22640 33554432000 4194304 4650419 140733212956320 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=288188 CPUtime=25.48 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 10104 0 0 0 2546 2 0 0 25 0 4 0 505725956 295104512 22640 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 288188

[startup+51.1009 s]
/proc/loadavg: 7.79 8.01 7.95 9/184 6409
/proc/meminfo: memFree=29112076/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=321820 CPUtime=204.11 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 86197 0 0 0 20390 21 0 0 25 0 4 0 505725955 329543680 35964 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 80455 35964 395 112 0 75420 0
[pid=6372/tid=6373] ppid=6370 vsize=321820 CPUtime=50.83 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 22546 0 0 0 5079 4 0 0 25 0 4 0 505725956 329543680 35964 33554432000 4194304 4650419 140733212956320 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=321820 CPUtime=51.09 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 24605 0 0 0 5104 5 0 0 25 0 4 0 505725956 329543680 35964 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=321820 CPUtime=51.07 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 17340 0 0 0 5103 4 0 0 25 0 4 0 505725956 329543680 35964 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 321820

[startup+102.3 s]
/proc/loadavg: 7.96 8.03 7.95 9/184 6410
/proc/meminfo: memFree=29038992/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=390128 CPUtime=408.65 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 126179 0 0 0 40833 32 0 0 25 0 4 0 505725955 399491072 48578 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 97532 48578 395 112 0 92497 0
[pid=6372/tid=6373] ppid=6370 vsize=390128 CPUtime=101.75 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 34889 0 0 0 10168 7 0 0 25 0 4 0 505725956 399491072 48578 33554432000 4194304 4650419 140733212956320 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=390128 CPUtime=102.28 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 41044 0 0 0 10219 9 0 0 25 0 4 0 505725956 399491072 48578 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=390128 CPUtime=102.28 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 26088 0 0 0 10221 7 0 0 25 0 4 0 505725956 399491072 48578 33554432000 4194304 4650419 140733212956320 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 390128

[startup+162.3 s]

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

[pid=6372] ppid=6370 vsize=582660 CPUtime=2805.43 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 394258 0 0 0 280400 143 0 0 25 0 4 0 505725955 596643840 98734 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 145665 98734 395 112 0 140630 0
[pid=6372/tid=6373] ppid=6370 vsize=582660 CPUtime=698.51 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 100682 0 0 0 69816 35 0 0 25 0 4 0 505725956 596643840 98734 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=582660 CPUtime=702.31 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 145229 0 0 0 70185 46 0 0 25 0 4 0 505725956 596643840 98734 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=582660 CPUtime=702.26 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 84144 0 0 0 70190 36 0 0 25 0 4 0 505725956 596643840 98734 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 582660

[startup+762.301 s]
/proc/loadavg: 8.12 8.08 8.01 10/184 6518
/proc/meminfo: memFree=26240236/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=610812 CPUtime=3045.11 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 410364 0 0 0 304362 149 0 0 25 0 4 0 505725955 625471488 91650 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 152703 91650 395 112 0 147668 0
[pid=6372/tid=6373] ppid=6370 vsize=610812 CPUtime=758.18 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 104253 0 0 0 75782 36 0 0 25 0 4 0 505725956 625471488 91650 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=610812 CPUtime=762.31 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 152358 0 0 0 76182 49 0 0 25 0 4 0 505725956 625471488 91650 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=610812 CPUtime=762.27 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 86813 0 0 0 76189 38 0 0 25 0 4 0 505725956 625471488 91650 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 610812

[startup+822.3 s]
/proc/loadavg: 8.57 8.19 8.05 11/185 6522
/proc/meminfo: memFree=26140332/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=637420 CPUtime=3284.79 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 435053 0 0 0 328319 160 0 0 25 0 4 0 505725955 652718080 102812 33554432000 4194304 4650419 140733212956320 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 159355 102812 395 112 0 154320 0
[pid=6372/tid=6373] ppid=6370 vsize=637420 CPUtime=817.86 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 109537 0 0 0 81748 38 0 0 25 0 4 0 505725956 652718080 102812 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=637420 CPUtime=822.31 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 160473 0 0 0 82178 53 0 0 25 0 4 0 505725956 652718080 102812 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=637420 CPUtime=822.27 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 91352 0 0 0 82186 41 0 0 25 0 4 0 505725956 652718080 102812 33554432000 4194304 4650419 140733212956320 18446744073709551615 4360491 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 637420

[startup+882.3 s]
/proc/loadavg: 8.31 8.18 8.05 9/184 6524
/proc/meminfo: memFree=26226040/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=637568 CPUtime=3524.46 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 449293 0 0 0 352276 170 0 0 25 0 4 0 505725955 652869632 96889 33554432000 4194304 4650419 140733212956320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 159392 96889 395 112 0 154357 0
[pid=6372/tid=6373] ppid=6370 vsize=637568 CPUtime=877.53 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 114332 0 0 0 87711 42 0 0 25 0 4 0 505725956 652869632 96889 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=637568 CPUtime=882.31 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 167977 0 0 0 88173 58 0 0 25 0 4 0 505725956 652869632 96889 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=637568 CPUtime=882.27 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 93246 0 0 0 88185 42 0 0 25 0 4 0 505725956 652869632 96889 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 637568

[startup+942.3 s]
/proc/loadavg: 8.11 8.15 8.04 9/184 6526
/proc/meminfo: memFree=26119004/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=704476 CPUtime=3764.17 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 465953 0 0 0 376237 180 0 0 25 0 4 0 505725955 721383424 105768 33554432000 4194304 4650419 140733212956320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 176119 105768 395 112 0 171084 0
[pid=6372/tid=6373] ppid=6370 vsize=704476 CPUtime=937.22 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 118479 0 0 0 93677 45 0 0 25 0 4 0 505725956 721383424 105768 33554432000 4194304 4650419 140733212956320 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=704476 CPUtime=942.32 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 175726 0 0 0 94170 62 0 0 25 0 4 0 505725956 721383424 105768 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=704476 CPUtime=942.28 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 97712 0 0 0 94182 46 0 0 25 0 4 0 505725956 721383424 105768 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.17
Current children cumulated vsize (KiB) 704476

[startup+1002.3 s]
/proc/loadavg: 8.04 8.12 8.04 9/184 6527
/proc/meminfo: memFree=26164336/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=660672 CPUtime=4003.83 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 480827 0 0 0 400195 188 0 0 25 0 4 0 505725955 676528128 104251 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 165168 104251 395 112 0 160133 0
[pid=6372/tid=6373] ppid=6370 vsize=660672 CPUtime=996.89 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 118850 0 0 0 99644 45 0 0 25 0 4 0 505725956 676528128 104251 33554432000 4194304 4650419 140733212956320 18446744073709551615 4432399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=660672 CPUtime=1002.32 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 182761 0 0 0 100167 65 0 0 25 0 4 0 505725956 676528128 104251 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=660672 CPUtime=1002.28 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 99015 0 0 0 100181 47 0 0 25 0 4 0 505725956 676528128 104251 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 660672

[startup+1062.31 s]
/proc/loadavg: 8.06 8.11 8.04 9/184 6529
/proc/meminfo: memFree=26118428/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=659128 CPUtime=4243.54 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 528489 0 0 0 424151 203 0 0 25 0 4 0 505725955 674947072 111382 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 164782 111382 395 112 0 159747 0
[pid=6372/tid=6373] ppid=6370 vsize=659128 CPUtime=1056.57 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 150240 0 0 0 105607 50 0 0 25 0 4 0 505725956 674947072 111382 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363637 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=659128 CPUtime=1062.33 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 189879 0 0 0 106164 69 0 0 25 0 4 0 505725956 674947072 111382 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=659128 CPUtime=1062.29 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 102640 0 0 0 106180 49 0 0 25 0 4 0 505725956 674947072 111382 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.54
Current children cumulated vsize (KiB) 659128

[startup+1122.3 s]
/proc/loadavg: 8.10 8.12 8.04 9/184 6530
/proc/meminfo: memFree=26118272/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=609928 CPUtime=4483.2 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 541849 0 0 0 448109 211 0 0 25 0 4 0 505725955 624566272 108680 33554432000 4194304 4650419 140733212956320 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 152482 108680 395 112 0 147447 0
[pid=6372/tid=6373] ppid=6370 vsize=609928 CPUtime=1116.24 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 151334 0 0 0 111574 50 0 0 25 0 4 0 505725956 624566272 108680 33554432000 4194304 4650419 140733212956320 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=609928 CPUtime=1122.33 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 197934 0 0 0 112159 74 0 0 25 0 4 0 505725956 624566272 108680 33554432000 4194304 4650419 140733212956320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=609928 CPUtime=1122.28 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 106269 0 0 0 112177 51 0 0 25 0 4 0 505725956 624566272 108680 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.2
Current children cumulated vsize (KiB) 609928

[startup+1182.3 s]
/proc/loadavg: 8.11 8.12 8.05 9/184 6532
/proc/meminfo: memFree=26093832/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=629908 CPUtime=4722.88 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 556458 0 0 0 472068 220 0 0 25 0 4 0 505725955 645025792 114440 33554432000 4194304 4650419 140733212956320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 157477 114440 395 112 0 152442 0
[pid=6372/tid=6373] ppid=6370 vsize=629908 CPUtime=1175.91 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 155250 0 0 0 117539 52 0 0 25 0 4 0 505725956 645025792 114440 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=629908 CPUtime=1182.33 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 205330 0 0 0 118155 78 0 0 25 0 4 0 505725956 645025792 114440 33554432000 4194304 4650419 140733212956320 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=629908 CPUtime=1182.28 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 109566 0 0 0 118174 54 0 0 25 0 4 0 505725956 645025792 114440 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.88
Current children cumulated vsize (KiB) 629908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.22 8.14 8.06 9/184 6532
/proc/meminfo: memFree=26090208/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=655772 CPUtime=4800.39 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 565171 0 0 0 479815 224 0 0 25 0 4 0 505725955 671510528 113434 33554432000 4194304 4650419 140733212956320 18446744073709551615 4313440 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 163943 113434 395 112 0 158908 0
[pid=6372/tid=6373] ppid=6370 vsize=655772 CPUtime=1195.22 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 156571 0 0 0 119468 54 0 0 25 0 4 0 505725956 671510528 113434 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=655772 CPUtime=1201.73 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 207714 0 0 0 120094 79 0 0 25 0 4 0 505725956 671510528 113434 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=655772 CPUtime=1201.69 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 113636 0 0 0 120114 55 0 0 25 0 4 0 505725956 671510528 113434 33554432000 4194304 4650419 140733212956320 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 655772

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

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

[startup+1201.7 s]
/proc/loadavg: 8.22 8.14 8.06 9/184 6532
/proc/meminfo: memFree=26090208/32951124 swapFree=67111348/67111528
[pid=6372] ppid=6370 vsize=655772 CPUtime=4800.39 cores=1,3,5,7
/proc/6372/stat : 6372 (strangenight1-m) R 6370 6372 6135 0 -1 4202496 565171 0 0 0 479815 224 0 0 25 0 4 0 505725955 671510528 113434 33554432000 4194304 4650419 140733212956320 18446744073709551615 4313440 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6372/statm: 163943 113434 395 112 0 158908 0
[pid=6372/tid=6373] ppid=6370 vsize=655772 CPUtime=1195.22 cores=1,3,5,7
/proc/6372/task/6373/stat : 6373 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 156571 0 0 0 119468 54 0 0 25 0 4 0 505725956 671510528 113434 33554432000 4194304 4650419 140733212956320 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6372/tid=6374] ppid=6370 vsize=655772 CPUtime=1201.73 cores=1,3,5,7
/proc/6372/task/6374/stat : 6374 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 207714 0 0 0 120094 79 0 0 25 0 4 0 505725956 671510528 113434 33554432000 4194304 4650419 140733212956320 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=655772 CPUtime=1201.69 cores=1,3,5,7
/proc/6372/task/6375/stat : 6375 (strangenight1-m) R 6370 6372 6135 0 -1 4202560 113636 0 0 0 120114 55 0 0 25 0 4 0 505725956 671510528 113434 33554432000 4194304 4650419 140733212956320 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 655772

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.44
CPU user time (s): 4798.18
CPU system time (s): 2.26965
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 824808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.18
system time used= 2.26965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565171
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= 256
involuntary context switches= 33226

runsolver used 1.92871 second user time and 4.6043 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 05:11:45
IDJOB=3290348
IDBENCH=83431
IDSOLVER=1588
FILE ID=node142/3290348-1304133105
RUNJOBID= node142-1304130697-6154
PBS_JOBID= 13170793
Free space on /tmp= 73316 MiB

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

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

MD5SUM BENCH= d71ab4cbe872e5620884d4e4d370890a
RANDOM SEED=758297706

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28775356 kB
Buffers:       1085488 kB
Cached:        1952848 kB
SwapCached:        176 kB
Active:         755652 kB
Inactive:      2924692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28775356 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:      641852 kB
Mapped:          15512 kB
Slab:           431660 kB
PageTables:       6104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   920980 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= 73212 MiB
End job on node142 at 2011-04-30 05:31:49