Trace number 3175160

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.33 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf
MD5SUM4d61767800ed8aa0f56d10b54eba4120
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
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-3175160-1304093758.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
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:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.63	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.63	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.63	c calculated reachability. Time: 0.00
0.00/0.63	c Calc default polars -  time:   0.00 s pos:      61 undec:       5 neg:      59
0.00/0.63	c =========================================================================================
0.00/0.63	c types(t): F = full restart, N = normal restart
0.00/0.63	c types(t): S = simplification begin/end, E = solution found
0.00/0.63	c restart types(rt): st = static, dy = dynamic
0.00/0.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.63	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.63	c Decided on static restart strategy
0.00/0.63	c  N st     8      4918       125      2662         0      4647     13310    121914   no data   no data  --
0.00/0.63	c  N st    10     11300       125      2662         0      4270     13310     88379   no data   no data  --
0.00/0.63	c  N st    11     17046       125      2662         0      9660     13310    227828   no data   no data  --
3.40/0.91	c  F st    12     25000       125      2662         0     11872     13310    286545   no data   no data  --
3.40/0.91	c  N st    12     25000       125      2662         0     11872     13310    286545   no data   no data  --
4.19/1.11	c Decided on static restart strategy
4.19/1.11	c  N st    18     30001       125      2662         0     10223     13310    228203   no data   no data  --
4.19/1.11	c  S st    18     30001       125      2662         0     10223     13310    228203   no data   no data  --
4.19/1.12	c  S st    18     30504       125      2662         0     10712     13310    240763   no data   no data  --
4.19/1.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.19/1.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.19/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.76/1.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.76/1.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.77/1.75	c lits-rem:      2235  cl-subs:     1582  v-elim:      0  v-fix:    0  time:  2.47 s
6.77/1.79	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.16
6.77/1.79	c calculated reachability. Time: 0.00
6.77/1.79	c  N st    18     30504       125      2662         0      9130     13310    195694   no data   no data  --
8.36/2.11	c  N st    20     37616       125      2662         0      8410     13310    163681   no data   no data  --
9.56/2.43	c  N st    21     44015       125      2662         0     14407     13310    314007   no data   no data  --
9.96/2.54	c  S st    22     45757       125      2662         0     16048     13310    354331   no data   no data  --
9.96/2.58	c  S st    22     46263       125      2662         0     16540     13310    367238   no data   no data  --
9.96/2.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
10.36/2.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
10.36/2.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.89	c lits-rem:      3577  cl-subs:     2004  v-elim:      0  v-fix:    0  time:  5.15 s
15.16/3.89	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.16/3.89	c vivif2 --  cl tried    14536 cl shrink        0 lits rem          0 time: 0.02
15.56/3.96	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
15.56/3.96	c calculated reachability. Time: 0.00
15.56/3.96	c  N st    22     46263       125      2662         0     14536     13310    311914   no data   no data  --
18.75/4.77	c  N st    23     60660       125      2662         0     10322     13310    181508   no data   no data  --
20.76/5.22	c  N st    24     69395       125      2662         0     18570     13310    402023   no data   no data  --
20.76/5.22	c  S st    24     69395       125      2662         0     18570     13310    402023   no data   no data  --
20.76/5.27	c  S st    24     69896       125      2662         0     19043     13310    414371   no data   no data  --
20.76/5.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.76/5.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.76/5.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.76/5.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.76/5.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.76/5.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.76/5.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.33/6.69	c lits-rem:      4230  cl-subs:     1845  v-elim:      0  v-fix:    0  time:  5.61 s
26.33/6.69	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.73/6.70	c vivif2 --  cl tried    17198 cl shrink        0 lits rem          0 time: 0.02
26.73/6.78	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.33
26.73/6.78	c calculated reachability. Time: 0.00
26.73/6.78	c  N st    24     69896       125      2662         0     17198     13310    359870   no data   no data  --
31.13/7.83	c  F st    25     87500       125      2662         0     12228     13310    210829   no data   no data  --
31.13/7.83	c  N st    25     87500       125      2662         0     12228     13310    210829   no data   no data  --
32.33/8.13	c Decided on static restart strategy
33.13/8.34	c  N st    32     95539       125      2662         0     19795     13310    406768   no data   no data  --
35.92/9.01	c  N st    34    104844       125      2662         0     16366     13310    312333   no data   no data  --
35.92/9.01	c  S st    34    104844       125      2662         0     16366     13310    312333   no data   no data  --
35.92/9.06	c  S st    34    105346       125      2662         0     16849     13310    325111   no data   no data  --
35.92/9.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.92/9.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.92/9.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
35.92/9.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.92/9.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.92/9.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
35.92/9.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.72/10.25	c lits-rem:      2563  cl-subs:     1148  v-elim:      0  v-fix:    0  time:  4.69 s
40.72/10.25	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
40.72/10.25	c vivif2 --  cl tried    15701 cl shrink        0 lits rem          0 time: 0.01
41.12/10.32	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
41.12/10.32	c calculated reachability. Time: 0.00
41.12/10.32	c  N st    34    105346       125      2662         0     15701     13310    292179   no data   no data  --
43.91/11.04	c  N st    35    114944       125      2662         0     24688     13310    526283   no data   no data  --
47.51/12.00	c  N st    36    129345       125      2662         0     25179     13310    539917   no data   no data  --
54.30/13.62	c  N st    37    150941       125      2662         0     16281     13310    256652   no data   no data  --
55.92/14.08	c  S st    38    158019       125      2662         0     22946     13310    435128   no data   no data  --
56.30/14.14	c  S st    38    158519       125      2662         0     23433     13310    447559   no data   no data  --
56.30/14.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
56.30/14.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.30/14.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
56.30/14.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.30/14.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.30/14.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
56.30/14.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
62.29/15.61	c lits-rem:      3665  cl-subs:     1719  v-elim:      0  v-fix:    0  time:  5.80 s
62.29/15.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
62.29/15.62	c vivif2 --  cl tried    21714 cl shrink        0 lits rem          0 time: 0.02
62.69/15.73	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.44
62.69/15.73	c calculated reachability. Time: 0.00
62.69/15.73	c  N st    38    158519       125      2662         0     21714     13310    398944   no data   no data  --
80.26/20.16	c  N st    39    207107       125      2662         0     34374     13310    712119   no data   no data  --
91.44/22.91	c  N st    40    237779       125      2662         0     26596     13310    488139   no data   no data  --
91.44/22.91	c  S st    40    237779       125      2662         0     26596     13310    488139   no data   no data  --
91.44/22.97	c  S st    40    238279       125      2662         0     27088     13310    500961   no data   no data  --
91.44/22.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.44/22.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.44/22.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.44/22.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.44/22.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.44/22.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.44/22.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.63/24.72	c lits-rem:      3850  cl-subs:     1865  v-elim:      0  v-fix:    0  time:  6.89 s
98.63/24.72	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.63/24.72	c vivif2 --  cl tried    25223 cl shrink        0 lits rem          0 time: 0.02
99.04/24.83	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.42
99.04/24.83	c calculated reachability. Time: 0.00
99.04/24.83	c  N st    40    238279       125      2662         0     25223     13310    447654   no data   no data  --
126.22/31.63	c  F st    41    306251       125      2662         0     27127     13310    454707   no data   no data  --
126.22/31.63	c  N st    41    306251       125      2662         0     27127     13310    454707   no data   no data  --
128.19/32.10	c Decided on static restart strategy
137.79/34.52	c  N st    51    334556       125      2662         0     31306     13310    549890   no data   no data  --
147.38/36.99	c  N st    53    357419       125      2662         0     29285     13310    473257   no data   no data  --
147.38/36.99	c  S st    53    357419       125      2662         0     29285     13310    473257   no data   no data  --
147.79/37.07	c  S st    53    357925       125      2662         0     29776     13310    485582   no data   no data  --
147.79/37.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
147.79/37.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.79/37.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
147.79/37.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.79/37.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.79/37.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
147.79/37.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.37/38.43	c lits-rem:      2315  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  5.30 s
153.37/38.43	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
153.37/38.43	c vivif2 --  cl tried    28563 cl shrink        0 lits rem          0 time: 0.02
153.76/38.56	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.51
153.76/38.56	c calculated reachability. Time: 0.00
153.76/38.56	c  N st    53    357925       125      2662         0     28563     13310    451823   no data   no data  --
168.95/42.40	c  N st    54    390317       125      2662         0     34578     13310    610929   no data   no data  --
193.71/48.55	c  N st    55    438905       125      2662         0     28620     13310    422816   no data   no data  --
225.27/56.43	c  N st    56    511788       125      2662         0     41572     13310    749344   no data   no data  --
238.05/59.62	c  N st    57    536887       125      2662         0     36061     13310    566309   no data   no data  --
238.05/59.62	c  S st    57    536887       125      2662         0     36061     13310    566309   no data   no data  --
238.45/59.72	c  S st    57    537388       125      2662         0     36548     13310    579329   no data   no data  --
238.45/59.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
238.45/59.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
238.45/59.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
238.45/59.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.45/59.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.45/59.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
238.45/59.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.84/61.80	c lits-rem:      2457  cl-subs:     1595  v-elim:      0  v-fix:    0  time:  8.18 s
246.84/61.80	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
246.84/61.81	c vivif2 --  cl tried    34953 cl shrink        0 lits rem          0 time: 0.02
247.24/61.98	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.71
247.24/61.98	c calculated reachability. Time: 0.00
247.24/61.98	c  N st    57    537388       125      2662         0     34953     13310    535930   no data   no data  --
336.32/84.23	c  N st    58    701372       125      2662         0     62776     13310   1218661   no data   no data  --
401.03/100.47	c  N st    59    806083       125      2662         0     57214     13310   1032868   no data   no data  --
401.03/100.47	c  S st    59    806083       125      2662         0     57214     13310   1032868   no data   no data  --
401.83/100.62	c  S st    59    806586       125      2662         0     57695     13310   1046176   no data   no data  --
401.83/100.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
401.83/100.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
401.83/100.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
401.83/100.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
401.83/100.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
401.83/100.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
401.83/100.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
425.79/106.62	c lits-rem:      2171  cl-subs:     4811  v-elim:      0  v-fix:    0  time: 23.70 s
425.79/106.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
425.79/106.63	c vivif2 --  cl tried    52884 cl shrink        0 lits rem          0 time: 0.04
426.99/106.97	c asymm  cl-useful: 0/2115/2662 lits-rem:0 time: 1.37
426.99/106.97	c calculated reachability. Time: 0.00
426.99/106.97	c  N st    59    806586       125      2662         0     52884     13310    921270   no data   no data  --
596.38/149.39	c  F st    60   1071876       125      2662         0     68130     13310   1262035   no data   no data  --
596.38/149.39	c  N st    60   1071876       125      2662         0     68130     13310   1262035   no data   no data  --
601.56/150.63	c Decided on static restart strategy
619.13/155.02	c  N st    70   1100181       125      2662         0     52687     13310    797844   no data   no data  --
646.69/161.92	c  N st    72   1136174       125      2662         0     43428     13310    541452   no data   no data  --
669.86/167.70	c  N st    73   1168566       125      2662         0     73824     13310   1316757   no data   no data  --
701.44/175.61	c  N st    74   1209879       125      2662         0     68468     13310   1198302   no data   no data  --
701.44/175.61	c  S st    74   1209879       125      2662         0     68468     13310   1198302   no data   no data  --
702.22/175.80	c  S st    74   1210381       125      2662         0     68952     13310   1211036   no data   no data  --
702.22/175.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
702.22/175.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
702.22/175.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
702.22/175.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
702.22/175.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
702.22/175.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
702.22/175.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
735.37/184.12	c lits-rem:      1361  cl-subs:     5067  v-elim:      0  v-fix:    0  time: 32.94 s
735.37/184.12	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
735.37/184.14	c vivif2 --  cl tried    63885 cl shrink        0 lits rem          0 time: 0.05
735.77/184.25	c asymm  cl-useful: 0/547/2662 lits-rem:0 time: 0.44
735.77/184.25	c calculated reachability. Time: 0.00
735.77/184.25	c  N st    74   1210381       125      2662         0     63885     13310   1073946   no data   no data  --
807.67/202.23	c  N st    75   1283264       125      2662         0     87403     13310   1695442   no data   no data  --
917.92/229.84	c  N st    76   1392587       125      2662         0     49158     13310    614086   no data   no data  --
1054.14/263.93	c  N st    77   1556573       125      2662         0     53810     13310    692289   no data   no data  --
1172.37/293.56	c  N st    78   1710383       125      2662         0     93662     13310   1711313   no data   no data  --
1172.37/293.56	c  S st    78   1710383       125      2662         0     93662     13310   1711313   no data   no data  --
1173.57/293.83	c  S st    78   1710889       125      2662         0     94154     13310   1724875   no data   no data  --
1173.57/293.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1173.57/293.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1173.57/293.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1173.97/293.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1173.97/293.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1173.97/293.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1173.97/293.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1265.06/316.77	c lits-rem:      1596  cl-subs:    10229  v-elim:      0  v-fix:    0  time: 91.21 s
1265.06/316.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1265.06/316.79	c vivif2 --  cl tried    83925 cl shrink        0 lits rem          0 time: 0.07
1266.66/317.12	c asymm  cl-useful: 0/1486/2662 lits-rem:0 time: 1.33
1266.66/317.13	c calculated reachability. Time: 0.00
1266.66/317.13	c  N st    78   1710889       125      2662         0     83925     13310   1469526   no data   no data  --
1660.52/415.77	c  N st    79   2079854       125      2662         0     95266     13310   1656533   no data   no data  --
1793.94/449.18	c  N st    80   2210889       125      2662         0     99330     13310   1724746   no data   no data  --
1793.94/449.18	c  S st    80   2210889       125      2662         0     99330     13310   1724746   no data   no data  --
1795.14/449.47	c  S st    80   2211396       125      2662         0     99818     13310   1737755   no data   no data  --
1795.14/449.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1795.14/449.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1795.56/449.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1795.56/449.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1795.56/449.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1795.56/449.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1795.56/449.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1884.21/471.79	c lits-rem:      1223  cl-subs:    10022  v-elim:      0  v-fix:    0  time: 88.72 s
1884.21/471.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1884.61/471.81	c vivif2 --  cl tried    89796 cl shrink        0 lits rem          0 time: 0.08
1885.81/472.17	c asymm  cl-useful: 0/1127/2662 lits-rem:0 time: 1.42
1885.81/472.17	c calculated reachability. Time: 0.00
1885.81/472.17	c  N st    80   2211396       125      2662         0     89796     13310   1497666   no data   no data  --
2447.45/612.78	c  N st    81   2711396       125      2662         0    112593     13310   2012750   no data   no data  --
2447.45/612.78	c  S st    81   2711396       125      2662         0    112593     13310   2012750   no data   no data  --
2449.05/613.13	c  S st    81   2711897       125      2662         0    113076     13310   2025897   no data   no data  --
2449.05/613.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2449.05/613.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2449.45/613.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2449.45/613.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2449.45/613.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2449.45/613.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2449.45/613.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2578.87/645.69	c lits-rem:      3787  cl-subs:    11380  v-elim:      0  v-fix:    0  time: 129.50 s
2578.87/645.69	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2579.27/645.71	c vivif2 --  cl tried   101696 cl shrink        0 lits rem          0 time: 0.09
2580.48/646.06	c asymm  cl-useful: 0/1261/2662 lits-rem:0 time: 1.42
2580.48/646.07	c calculated reachability. Time: 0.00
2580.48/646.07	c  N st    81   2711897       125      2662         0    101696     13310   1744202   no data   no data  --
3170.06/793.63	c  N st    82   3211897       125      2662         0     78949     13310   1005537   no data   no data  --
3170.06/793.63	c  S st    82   3211897       125      2662         0     78949     13310   1005537   no data   no data  --
3170.88/793.86	c  S st    82   3212400       125      2662         0     79434     13310   1019012   no data   no data  --
3170.88/793.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3170.88/793.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3170.88/793.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3171.29/793.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3171.29/793.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3171.29/793.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3171.29/793.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3193.26/799.46	c lits-rem:       895  cl-subs:     1960  v-elim:      0  v-fix:    0  time: 22.06 s
3193.26/799.46	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3193.26/799.47	c vivif2 --  cl tried    77474 cl shrink        0 lits rem          0 time: 0.05
3194.44/799.78	c asymm  cl-useful: 0/1349/2662 lits-rem:0 time: 1.25
3194.44/799.79	c calculated reachability. Time: 0.00
3194.44/799.79	c  N st    82   3212400       125      2662         0     77474     13310    972759   no data   no data  --
3803.21/952.18	c  N st    83   3712400       125      2662         0     88286     13310   1171494   no data   no data  --
3803.21/952.18	c  S st    83   3712400       125      2662         0     88286     13310   1171494   no data   no data  --
3804.40/952.41	c  S st    83   3712901       125      2662         0     88770     13310   1184794   no data   no data  --
3804.40/952.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3804.40/952.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3804.40/952.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3804.80/952.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3804.80/952.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3804.80/952.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3804.80/952.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3837.17/960.67	c lits-rem:      1011  cl-subs:     2379  v-elim:      0  v-fix:    0  time: 32.64 s
3837.17/960.67	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3837.17/960.69	c vivif2 --  cl tried    86391 cl shrink        0 lits rem          0 time: 0.06
3838.78/961.01	c asymm  cl-useful: 0/1275/2662 lits-rem:0 time: 1.29
3838.78/961.02	c calculated reachability. Time: 0.00
3838.78/961.02	c  N st    83   3712901       125      2662         0     86391     13310   1124556   no data   no data  --
3882.30/971.93	c  F st    84   3751563       125      2662         0    122547     13310   2110762   no data   no data  --
3882.30/971.93	c  N st    84   3751563       125      2662         0    122547     13310   2110762   no data   no data  --
3891.09/974.19	c Decided on static restart strategy
3926.24/982.97	c  N st    94   3779868       125      2662         0    149053     13310   2817858   no data   no data  --
3972.18/994.40	c  N st    96   3815861       125      2662         0    103690     13310   1581027   no data   no data  --
4018.52/1006.04	c  N st    97   3848253       125      2662         0    133900     13310   2368831   no data   no data  --
4090.02/1023.97	c  N st    98   3896841       125      2662         0     98750     13310   1391849   no data   no data  --
4185.49/1047.83	c  N st    99   3969725       125      2662         0     85777     13310   1053912   no data   no data  --
4335.30/1085.35	c  N st   100   4079049       125      2662         0    105586     13310   1558763   no data   no data  --
4514.65/1130.29	c  N st   101   4212902       125      2662         0    147419     13310   2651324   no data   no data  --
4514.65/1130.29	c  S st   101   4212902       125      2662         0    147419     13310   2651324   no data   no data  --
4517.04/1130.81	c  S st   101   4213406       125      2662         0    147898     13310   2664437   no data   no data  --
4517.04/1130.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4517.04/1130.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4517.04/1130.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4517.44/1130.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4517.44/1130.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4517.44/1130.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4517.44/1130.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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

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

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


[startup+0 s]
/proc/loadavg: 6.64 7.78 7.95 1/172 24985
/proc/meminfo: memFree=29761604/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 599606484 52465664 353 33554432000 4194304 4650419 140734280569392 18446744073709551615 47713145608114 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 12809 353 303 112 0 7774 0
[pid=24985/tid=24986] ppid=24983 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 599606485 52465664 353 33554432000 4194304 4650419 140734280569392 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 599606485 52465664 353 33554432000 4194304 4650419 140734280569392 18446744073709551615 256427189302 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 599606485 52465664 353 33554432000 4194304 4650419 140734280569392 18446744073709551615 256410423528 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.240428 s]
/proc/loadavg: 6.64 7.78 7.95 1/172 24985
/proc/meminfo: memFree=29761604/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=286432 CPUtime=3.4 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 6007 0 0 0 339 1 0 0 19 0 4 0 599606484 293306368 3110 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 71608 3110 391 112 0 66573 0
[pid=24985/tid=24986] ppid=24983 vsize=286432 CPUtime=0.84 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1452 0 0 0 84 0 0 0 19 0 4 0 599606485 293306368 3110 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=286432 CPUtime=0.84 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1432 0 0 0 84 0 0 0 19 0 4 0 599606485 293306368 3110 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=286432 CPUtime=0.84 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1188 0 0 0 84 0 0 0 19 0 4 0 599606485 293306368 3110 33554432000 4194304 4650419 140734280569392 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 286432

[startup+0.944599 s]
/proc/loadavg: 6.64 7.78 7.95 1/172 24985
/proc/meminfo: memFree=29761604/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=287064 CPUtime=3.79 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 6836 0 0 0 378 1 0 0 19 0 4 0 599606484 293953536 3227 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 71766 3227 392 112 0 66731 0
[pid=24985/tid=24986] ppid=24983 vsize=287064 CPUtime=0.94 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1772 0 0 0 94 0 0 0 19 0 4 0 599606485 293953536 3227 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=287064 CPUtime=0.94 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1533 0 0 0 94 0 0 0 19 0 4 0 599606485 293953536 3227 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=287064 CPUtime=0.94 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1277 0 0 0 94 0 0 0 19 0 4 0 599606485 293953536 3227 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 287064

[startup+1.05652 s]
/proc/loadavg: 6.64 7.78 7.95 1/172 24985
/proc/meminfo: memFree=29761604/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=287376 CPUtime=4.19 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 7512 0 0 0 418 1 0 0 19 0 4 0 599606484 294273024 3211 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 71844 3211 392 112 0 66809 0
[pid=24985/tid=24986] ppid=24983 vsize=287376 CPUtime=1.04 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1845 0 0 0 104 0 0 0 19 0 4 0 599606485 294273024 3211 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=287376 CPUtime=1.04 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1834 0 0 0 104 0 0 0 19 0 4 0 599606485 294273024 3211 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=287376 CPUtime=1.04 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1505 0 0 0 104 0 0 0 19 0 4 0 599606485 294273024 3211 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 287376

[startup+1.1565 s]
/proc/loadavg: 6.64 7.78 7.95 1/172 24985
/proc/meminfo: memFree=29761604/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=287376 CPUtime=4.59 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 9192 0 0 0 458 1 0 0 19 0 4 0 599606484 294273024 4891 33554432000 4194304 4650419 140734280569392 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 71844 4891 393 112 0 66809 0
[pid=24985/tid=24986] ppid=24983 vsize=287376 CPUtime=1.14 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1914 0 0 0 114 0 0 0 19 0 4 0 599606485 294273024 4891 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=287376 CPUtime=1.14 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1893 0 0 0 114 0 0 0 19 0 4 0 599606485 294273024 4891 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=287376 CPUtime=1.14 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1567 0 0 0 114 0 0 0 19 0 4 0 599606485 294273024 4891 33554432000 4194304 4650419 140734280569392 18446744073709551615 4333260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 287376

[startup+1.50044 s]
/proc/loadavg: 6.64 7.78 7.95 1/172 24985
/proc/meminfo: memFree=29761604/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=287696 CPUtime=5.97 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 10977 0 0 0 595 2 0 0 20 0 4 0 599606484 294600704 5866 33554432000 4194304 4650419 140734280569392 18446744073709551615 4438387 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 71924 5866 393 112 0 66889 0
[pid=24985/tid=24986] ppid=24983 vsize=287696 CPUtime=1.48 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 2964 0 0 0 148 0 0 0 20 0 4 0 599606485 294600704 5866 33554432000 4194304 4650419 140734280569392 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=287696 CPUtime=1.48 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 2295 0 0 0 148 0 0 0 20 0 4 0 599606485 294600704 5866 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=287696 CPUtime=1.48 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 1899 0 0 0 148 0 0 0 20 0 4 0 599606485 294600704 5866 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287696

[startup+3.10114 s]
/proc/loadavg: 6.75 7.78 7.95 9/184 25002
/proc/meminfo: memFree=29665680/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=304756 CPUtime=12.36 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 18436 0 0 0 1233 3 0 0 25 0 4 0 599606484 312070144 10956 33554432000 4194304 4650419 140734280569392 18446744073709551615 4476190 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 76189 10956 393 112 0 71154 0
[pid=24985/tid=24986] ppid=24983 vsize=304756 CPUtime=3.07 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 4054 0 0 0 307 0 0 0 25 0 4 0 599606485 312070144 10956 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=304756 CPUtime=3.08 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 4490 0 0 0 308 0 0 0 25 0 4 0 599606485 312070144 10956 33554432000 4194304 4650419 140734280569392 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=304756 CPUtime=3.08 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 4300 0 0 0 308 0 0 0 25 0 4 0 599606485 312070144 10956 33554432000 4194304 4650419 140734280569392 18446744073709551615 4333694 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 304756

[startup+6.30653 s]
/proc/loadavg: 6.75 7.78 7.95 9/184 25002
/proc/meminfo: memFree=29637396/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=315340 CPUtime=25.16 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 27146 0 0 0 2511 5 0 0 25 0 4 0 599606484 322908160 15197 33554432000 4194304 4650419 140734280569392 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 78835 15197 393 112 0 73800 0
[pid=24985/tid=24986] ppid=24983 vsize=315340 CPUtime=6.26 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 6551 0 0 0 625 1 0 0 25 0 4 0 599606485 322908160 15197 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=315340 CPUtime=6.29 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 7290 0 0 0 628 1 0 0 25 0 4 0 599606485 322908160 15197 33554432000 4194304 4650419 140734280569392 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=315340 CPUtime=6.29 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 5650 0 0 0 628 1 0 0 25 0 4 0 599606485 322908160 15197 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 315340

[startup+12.7003 s]
/proc/loadavg: 6.85 7.78 7.95 9/184 25002
/proc/meminfo: memFree=29590672/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=325064 CPUtime=50.7 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 40934 0 0 0 5062 8 0 0 25 0 4 0 599606484 332865536 20896 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 81266 20896 393 112 0 76231 0
[pid=24985/tid=24986] ppid=24983 vsize=325064 CPUtime=12.63 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 10218 0 0 0 1261 2 0 0 25 0 4 0 599606485 332865536 20896 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=325064 CPUtime=12.69 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 10574 0 0 0 1267 2 0 0 25 0 4 0 599606485 332865536 20896 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=325064 CPUtime=12.68 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 8866 0 0 0 1267 1 0 0 25 0 4 0 599606485 332865536 20896 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 325064

[startup+25.5009 s]
/proc/loadavg: 7.10 7.79 7.95 9/184 25003
/proc/meminfo: memFree=29536348/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=321408 CPUtime=101.83 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 61396 0 0 0 10170 13 0 0 25 0 4 0 599606484 329121792 25354 33554432000 4194304 4650419 140734280569392 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 80352 25354 393 112 0 75317 0
[pid=24985/tid=24986] ppid=24983 vsize=321408 CPUtime=25.35 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 15602 0 0 0 2532 3 0 0 25 0 4 0 599606485 329121792 25354 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=321408 CPUtime=25.48 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 16688 0 0 0 2545 3 0 0 25 0 4 0 599606485 329121792 25354 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=321408 CPUtime=25.48 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 12118 0 0 0 2546 2 0 0 25 0 4 0 599606485 329121792 25355 33554432000 4194304 4650419 140734280569392 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 321408

[startup+51.1011 s]
/proc/loadavg: 7.46 7.83 7.96 9/184 25003
/proc/meminfo: memFree=29486292/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=355392 CPUtime=204.1 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 90577 0 0 0 20389 21 0 0 25 0 4 0 599606484 363921408 32920 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366857 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 88848 32920 393 112 0 83813 0
[pid=24985/tid=24986] ppid=24983 vsize=355392 CPUtime=50.82 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 23398 0 0 0 5077 5 0 0 25 0 4 0 599606485 363921408 32920 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=355392 CPUtime=51.08 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 24564 0 0 0 5102 6 0 0 25 0 4 0 599606485 363921408 32920 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=355392 CPUtime=51.08 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 17076 0 0 0 5104 4 0 0 25 0 4 0 599606485 363921408 32920 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 355392

[startup+102.3 s]
/proc/loadavg: 7.83 7.87 7.97 9/184 25005
/proc/meminfo: memFree=29396864/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=361436 CPUtime=408.62 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 141706 0 0 0 40827 35 0 0 25 0 4 0 599606484 370110464 45583 33554432000 4194304 4650419 140734280569392 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 90359 45583 393 112 0 85324 0
[pid=24985/tid=24986] ppid=24983 vsize=361436 CPUtime=101.74 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 37200 0 0 0 10166 8 0 0 25 0 4 0 599606485 370110464 45583 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=361436 CPUtime=102.27 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 38396 0 0 0 10216 11 0 0 25 0 4 0 599606485 370110464 45583 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=361436 CPUtime=102.28 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 24142 0 0 0 10223 5 0 0 25 0 4 0 599606485 370110464 45583 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 361436

[startup+162.301 s]

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

[pid=24985] ppid=24983 vsize=603172 CPUtime=2805.36 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 414770 0 0 0 280389 147 0 0 25 0 4 0 599606484 617648128 113201 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 150793 113201 393 112 0 145758 0
[pid=24985/tid=24986] ppid=24983 vsize=603172 CPUtime=698.49 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 86241 0 0 0 69824 25 0 0 25 0 4 0 599606485 617648128 113201 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=603172 CPUtime=702.23 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 123245 0 0 0 70178 45 0 0 25 0 4 0 599606485 617648128 113201 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=603172 CPUtime=702.31 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 68070 0 0 0 70204 27 0 0 25 0 4 0 599606485 617648128 113201 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 603172

[startup+762.301 s]
/proc/loadavg: 8.07 8.07 8.01 9/184 25022
/proc/meminfo: memFree=28875156/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=578852 CPUtime=3045.04 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 436573 0 0 0 304348 156 0 0 25 0 4 0 599606484 592744448 102047 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 144713 102047 393 112 0 139678 0
[pid=24985/tid=24986] ppid=24983 vsize=578852 CPUtime=758.16 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 89926 0 0 0 75789 27 0 0 25 0 4 0 599606485 592744448 102047 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=578852 CPUtime=762.23 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 132316 0 0 0 76175 48 0 0 25 0 4 0 599606485 592744448 102047 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=578852 CPUtime=762.31 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 71136 0 0 0 76203 28 0 0 25 0 4 0 599606485 592744448 102047 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 578852

[startup+822.301 s]
/proc/loadavg: 8.13 8.08 8.02 9/184 25024
/proc/meminfo: memFree=28853900/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=526508 CPUtime=3284.72 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 455854 0 0 0 328307 165 0 0 25 0 4 0 599606484 539144192 104835 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 131627 104835 393 112 0 126592 0
[pid=24985/tid=24986] ppid=24983 vsize=526508 CPUtime=817.84 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 93467 0 0 0 81756 28 0 0 25 0 4 0 599606485 539144192 104835 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=526508 CPUtime=822.23 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 138608 0 0 0 82172 51 0 0 25 0 4 0 599606485 539144192 104835 33554432000 4194304 4650419 140734280569392 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=526508 CPUtime=822.32 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 76259 0 0 0 82201 31 0 0 25 0 4 0 599606485 539144192 104835 33554432000 4194304 4650419 140734280569392 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 526508

[startup+882.3 s]
/proc/loadavg: 8.15 8.09 8.02 9/184 25026
/proc/meminfo: memFree=28846788/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=562488 CPUtime=3524.39 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 478252 0 0 0 352265 174 0 0 25 0 4 0 599606484 575987712 107048 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 140622 107048 393 112 0 135587 0
[pid=24985/tid=24986] ppid=24983 vsize=562488 CPUtime=877.51 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 98684 0 0 0 87722 29 0 0 25 0 4 0 599606485 575987712 107048 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=562488 CPUtime=882.22 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 145918 0 0 0 88167 55 0 0 25 0 4 0 599606485 575987712 107048 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=562488 CPUtime=882.32 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 80325 0 0 0 88199 33 0 0 25 0 4 0 599606485 575987712 107048 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 562488

[startup+942.301 s]
/proc/loadavg: 8.13 8.10 8.03 9/184 25027
/proc/meminfo: memFree=28835588/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=559544 CPUtime=3764.09 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 499144 0 0 0 376226 183 0 0 25 0 4 0 599606484 572973056 106340 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 139886 106340 393 112 0 134851 0
[pid=24985/tid=24986] ppid=24983 vsize=559544 CPUtime=937.18 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 102741 0 0 0 93688 30 0 0 25 0 4 0 599606485 572973056 106340 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=559544 CPUtime=942.23 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 153758 0 0 0 94164 59 0 0 25 0 4 0 599606485 572973056 106340 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=559544 CPUtime=942.32 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 80752 0 0 0 94199 33 0 0 25 0 4 0 599606485 572973056 106340 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 559544

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 8.03 9/184 25029
/proc/meminfo: memFree=28808520/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=573348 CPUtime=4003.74 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 517931 0 0 0 400182 192 0 0 25 0 4 0 599606484 587108352 108504 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 143337 108504 393 112 0 138302 0
[pid=24985/tid=24986] ppid=24983 vsize=573348 CPUtime=996.86 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 106406 0 0 0 99653 33 0 0 25 0 4 0 599606485 587108352 108504 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=573348 CPUtime=1002.22 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 160345 0 0 0 100160 62 0 0 25 0 4 0 599606485 587108352 108504 33554432000 4194304 4650419 140734280569392 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=573348 CPUtime=1002.32 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 80753 0 0 0 100199 33 0 0 25 0 4 0 599606485 587108352 108504 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 573348

[startup+1062.31 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 25030
/proc/meminfo: memFree=28807988/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=534524 CPUtime=4243.43 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 534413 0 0 0 424143 200 0 0 25 0 4 0 599606484 547352576 103198 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 133631 103198 393 112 0 128596 0
[pid=24985/tid=24986] ppid=24983 vsize=534524 CPUtime=1056.54 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 106682 0 0 0 105621 33 0 0 25 0 4 0 599606485 547352576 103198 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=534524 CPUtime=1062.22 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 165795 0 0 0 106158 64 0 0 25 0 4 0 599606485 547352576 103198 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=534524 CPUtime=1062.33 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 83452 0 0 0 106199 34 0 0 25 0 4 0 599606485 547352576 103198 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 534524

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 25032
/proc/meminfo: memFree=28761700/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=574184 CPUtime=4483.08 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 559946 0 0 0 448098 210 0 0 25 0 4 0 599606484 587964416 112311 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 143546 112311 393 112 0 138511 0
[pid=24985/tid=24986] ppid=24983 vsize=574184 CPUtime=1116.21 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 113111 0 0 0 111585 36 0 0 25 0 4 0 599606485 587964416 112311 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=574184 CPUtime=1122.21 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 173408 0 0 0 112153 68 0 0 25 0 4 0 599606485 587964416 112311 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=574184 CPUtime=1122.32 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 87175 0 0 0 112197 35 0 0 25 0 4 0 599606485 587964416 112311 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 574184

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/184 25034
/proc/meminfo: memFree=28715032/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=631948 CPUtime=4722.76 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 571630 0 0 0 472061 215 0 0 25 0 4 0 599606484 647114752 115549 33554432000 4194304 4650419 140734280569392 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 157987 115549 393 112 0 152952 0
[pid=24985/tid=24986] ppid=24983 vsize=631948 CPUtime=1175.88 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 114652 0 0 0 117551 37 0 0 25 0 4 0 599606485 647114752 115549 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=631948 CPUtime=1182.2 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 180021 0 0 0 118150 70 0 0 25 0 4 0 599606485 647114752 115549 33554432000 4194304 4650419 140734280569392 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=631948 CPUtime=1182.32 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 87329 0 0 0 118197 35 0 0 25 0 4 0 599606485 647114752 115549 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 631948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 8.08 8.02 10/184 25034
/proc/meminfo: memFree=28681028/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=589232 CPUtime=4800.27 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 579245 0 0 0 479809 218 0 0 25 0 4 0 599606484 603373568 119431 33554432000 4194304 4650419 140734280569392 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 147308 119431 393 112 0 142273 0
[pid=24985/tid=24986] ppid=24983 vsize=589232 CPUtime=1195.18 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 117366 0 0 0 119480 38 0 0 25 0 4 0 599606485 603373568 119431 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=589232 CPUtime=1201.61 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 181366 0 0 0 120089 72 0 0 25 0 4 0 599606485 603373568 119431 33554432000 4194304 4650419 140734280569392 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=589232 CPUtime=1201.73 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 87329 0 0 0 120138 35 0 0 25 0 4 0 599606485 603373568 119431 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 589232

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.05 8.08 8.02 10/184 25034
/proc/meminfo: memFree=28681028/32950928 swapFree=67111364/67111528
[pid=24985] ppid=24983 vsize=589232 CPUtime=4800.27 cores=0,2,4,6
/proc/24985/stat : 24985 (strangenight1-m) R 24983 24985 24218 0 -1 4202496 579245 0 0 0 479809 218 0 0 25 0 4 0 599606484 603373568 119431 33554432000 4194304 4650419 140734280569392 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24985/statm: 147308 119431 393 112 0 142273 0
[pid=24985/tid=24986] ppid=24983 vsize=589232 CPUtime=1195.18 cores=0,2,4,6
/proc/24985/task/24986/stat : 24986 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 117366 0 0 0 119480 38 0 0 25 0 4 0 599606485 603373568 119431 33554432000 4194304 4650419 140734280569392 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24985/tid=24987] ppid=24983 vsize=589232 CPUtime=1201.61 cores=0,2,4,6
/proc/24985/task/24987/stat : 24987 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 181366 0 0 0 120089 72 0 0 25 0 4 0 599606485 603373568 119431 33554432000 4194304 4650419 140734280569392 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24985/tid=24988] ppid=24983 vsize=589232 CPUtime=1201.73 cores=0,2,4,6
/proc/24985/task/24988/stat : 24988 (strangenight1-m) R 24983 24985 24218 0 -1 4202560 87329 0 0 0 120138 35 0 0 25 0 4 0 599606485 603373568 119431 33554432000 4194304 4650419 140734280569392 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 589232

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.33
CPU user time (s): 4798.12
CPU system time (s): 2.20966
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 720956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.12
system time used= 2.20966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579245
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= 668
involuntary context switches= 24858

runsolver used 1.88271 second user time and 4.68229 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 18:15:58
IDJOB=3175160
IDBENCH=82778
IDSOLVER=1588
FILE ID=node115/3175160-1304093758
RUNJOBID= node115-1304093755-24975
PBS_JOBID= 13170560
Free space on /tmp= 72732 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175160-1304093758/watcher-3175160-1304093758 -o /tmp/evaluation-result-3175160-1304093758/solver-3175160-1304093758 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175160-1304093758.cnf

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

MD5SUM BENCH= 4d61767800ed8aa0f56d10b54eba4120
RANDOM SEED=1301212886

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29761892 kB
Buffers:        792860 kB
Cached:        1907604 kB
SwapCached:          0 kB
Active:         153876 kB
Inactive:      2610140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29761892 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            6364 kB
Writeback:           0 kB
AnonPages:       63468 kB
Mapped:          14436 kB
Slab:           362236 kB
PageTables:       4480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186460 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= 72720 MiB
End job on node115 at 2011-04-29 18:36:02