Trace number 3368769

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 (fixed)? (TO) 4800.27 1202.84

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368769-1305402619.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.02	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
2.77/0.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
2.77/0.75	c Finding binary XORs  T:     0.00 s  found:       0
2.77/0.75	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.77/0.75	c calculated reachability. Time: 0.00
2.77/0.75	c Calc default polars -  time:   0.00 s pos:      61 undec:       5 neg:      59
2.77/0.75	c =========================================================================================
2.77/0.75	c types(t): F = full restart, N = normal restart
2.77/0.75	c types(t): S = simplification begin/end, E = solution found
2.77/0.75	c restart types(rt): st = static, dy = dynamic
2.77/0.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.77/0.75	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
2.77/0.75	c Decided on static restart strategy
2.77/0.75	c  N st     8      4918       125      2662         0      4647     13310    121914   no data   no data  --
2.77/0.75	c  N st    10     11300       125      2662         0      4270     13310     88379   no data   no data  --
2.77/0.75	c  N st    11     17046       125      2662         0      9660     13310    227828   no data   no data  --
3.17/0.90	c  F st    12     25000       125      2662         0     11872     13310    286545   no data   no data  --
3.17/0.90	c  N st    12     25000       125      2662         0     11872     13310    286545   no data   no data  --
3.99/1.10	c Decided on static restart strategy
3.99/1.10	c  N st    18     30001       125      2662         0     10223     13310    228203   no data   no data  --
3.99/1.10	c  S st    18     30001       125      2662         0     10223     13310    228203   no data   no data  --
4.40/1.13	c  S st    18     30504       125      2662         0     10712     13310    240763   no data   no data  --
4.40/1.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.40/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.40/1.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.40/1.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.76/1.75	c lits-rem:      2235  cl-subs:     1582  v-elim:      0  v-fix:    0  time:  2.46 s
6.76/1.79	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.16
6.76/1.79	c calculated reachability. Time: 0.00
6.76/1.79	c  N st    18     30504       125      2662         0      9130     13310    195694   no data   no data  --
8.38/2.12	c  N st    20     37616       125      2662         0      8410     13310    163681   no data   no data  --
9.55/2.44	c  N st    21     44015       125      2662         0     14407     13310    314007   no data   no data  --
9.95/2.55	c  S st    22     45757       125      2662         0     16048     13310    354331   no data   no data  --
9.95/2.59	c  S st    22     46263       125      2662         0     16540     13310    367238   no data   no data  --
9.95/2.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.95/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
10.35/2.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
10.35/2.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.89	c lits-rem:      3577  cl-subs:     2004  v-elim:      0  v-fix:    0  time:  5.13 s
15.14/3.89	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.14/3.89	c vivif2 --  cl tried    14536 cl shrink        0 lits rem          0 time: 0.01
15.54/3.96	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
15.54/3.96	c calculated reachability. Time: 0.00
15.54/3.96	c  N st    22     46263       125      2662         0     14536     13310    311914   no data   no data  --
18.73/4.77	c  N st    23     60660       125      2662         0     10322     13310    181508   no data   no data  --
20.73/5.22	c  N st    24     69395       125      2662         0     18570     13310    402023   no data   no data  --
20.73/5.22	c  S st    24     69395       125      2662         0     18570     13310    402023   no data   no data  --
20.73/5.27	c  S st    24     69896       125      2662         0     19043     13310    414371   no data   no data  --
20.73/5.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.73/5.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.73/5.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.73/5.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.73/5.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.73/5.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.73/5.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.35/6.69	c lits-rem:      4230  cl-subs:     1845  v-elim:      0  v-fix:    0  time:  5.59 s
26.35/6.69	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.35/6.69	c vivif2 --  cl tried    17198 cl shrink        0 lits rem          0 time: 0.02
26.71/6.77	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.33
26.71/6.77	c calculated reachability. Time: 0.00
26.71/6.77	c  N st    24     69896       125      2662         0     17198     13310    359870   no data   no data  --
31.10/7.82	c  F st    25     87500       125      2662         0     12228     13310    210829   no data   no data  --
31.10/7.82	c  N st    25     87500       125      2662         0     12228     13310    210829   no data   no data  --
32.30/8.12	c Decided on static restart strategy
33.10/8.33	c  N st    32     95539       125      2662         0     19795     13310    406768   no data   no data  --
35.89/9.02	c  N st    34    104844       125      2662         0     16366     13310    312333   no data   no data  --
35.89/9.02	c  S st    34    104844       125      2662         0     16366     13310    312333   no data   no data  --
35.89/9.07	c  S st    34    105346       125      2662         0     16849     13310    325111   no data   no data  --
35.89/9.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.89/9.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.89/9.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
35.89/9.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.89/9.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.89/9.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
35.89/9.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.68/10.25	c lits-rem:      2563  cl-subs:     1148  v-elim:      0  v-fix:    0  time:  4.65 s
40.68/10.25	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
40.68/10.25	c vivif2 --  cl tried    15701 cl shrink        0 lits rem          0 time: 0.01
41.08/10.32	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
41.08/10.32	c calculated reachability. Time: 0.00
41.08/10.32	c  N st    34    105346       125      2662         0     15701     13310    292179   no data   no data  --
43.91/11.03	c  N st    35    114944       125      2662         0     24688     13310    526283   no data   no data  --
47.47/11.99	c  N st    36    129345       125      2662         0     25179     13310    539917   no data   no data  --
54.24/13.61	c  N st    37    150941       125      2662         0     16281     13310    256652   no data   no data  --
55.85/14.08	c  S st    38    158019       125      2662         0     22946     13310    435128   no data   no data  --
56.25/14.14	c  S st    38    158519       125      2662         0     23433     13310    447559   no data   no data  --
56.25/14.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
56.25/14.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.25/14.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
56.25/14.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.25/14.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
56.25/14.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
56.25/14.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
61.82/15.57	c lits-rem:      3665  cl-subs:     1719  v-elim:      0  v-fix:    0  time:  5.60 s
61.82/15.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
61.82/15.57	c vivif2 --  cl tried    21714 cl shrink        0 lits rem          0 time: 0.02
62.22/15.68	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.44
62.22/15.68	c calculated reachability. Time: 0.00
62.22/15.68	c  N st    38    158519       125      2662         0     21714     13310    398944   no data   no data  --
80.18/20.13	c  N st    39    207107       125      2662         0     34374     13310    712119   no data   no data  --
90.96/22.88	c  N st    40    237779       125      2662         0     26596     13310    488139   no data   no data  --
90.96/22.88	c  S st    40    237779       125      2662         0     26596     13310    488139   no data   no data  --
91.36/22.94	c  S st    40    238279       125      2662         0     27088     13310    500961   no data   no data  --
91.36/22.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.36/22.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.36/22.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.36/22.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.36/22.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.36/22.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.36/22.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.14/24.69	c lits-rem:      3850  cl-subs:     1865  v-elim:      0  v-fix:    0  time:  6.90 s
98.14/24.69	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.54/24.70	c vivif2 --  cl tried    25223 cl shrink        0 lits rem          0 time: 0.02
98.93/24.80	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.41
98.93/24.80	c calculated reachability. Time: 0.00
98.93/24.80	c  N st    40    238279       125      2662         0     25223     13310    447654   no data   no data  --
126.08/31.62	c  F st    41    306251       125      2662         0     27127     13310    454707   no data   no data  --
126.08/31.62	c  N st    41    306251       125      2662         0     27127     13310    454707   no data   no data  --
127.66/32.09	c Decided on static restart strategy
137.65/34.51	c  N st    51    334556       125      2662         0     31306     13310    549890   no data   no data  --
147.63/37.00	c  N st    53    357419       125      2662         0     29285     13310    473257   no data   no data  --
147.63/37.00	c  S st    53    357419       125      2662         0     29285     13310    473257   no data   no data  --
147.63/37.08	c  S st    53    357925       125      2662         0     29776     13310    485582   no data   no data  --
147.63/37.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
147.63/37.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.63/37.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
148.03/37.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.03/37.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.03/37.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
148.03/37.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.23/38.44	c lits-rem:      2315  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  5.29 s
153.23/38.44	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
153.23/38.44	c vivif2 --  cl tried    28563 cl shrink        0 lits rem          0 time: 0.02
153.64/38.57	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.51
153.64/38.57	c calculated reachability. Time: 0.00
153.64/38.57	c  N st    53    357925       125      2662         0     28563     13310    451823   no data   no data  --
169.13/42.49	c  N st    54    390317       125      2662         0     34578     13310    610929   no data   no data  --
193.86/48.61	c  N st    55    438905       125      2662         0     28620     13310    422816   no data   no data  --
225.40/56.51	c  N st    56    511788       125      2662         0     41572     13310    749344   no data   no data  --
238.16/59.71	c  N st    57    536887       125      2662         0     36061     13310    566309   no data   no data  --
238.16/59.71	c  S st    57    536887       125      2662         0     36061     13310    566309   no data   no data  --
238.56/59.81	c  S st    57    537388       125      2662         0     36548     13310    579329   no data   no data  --
238.56/59.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
238.56/59.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
238.56/59.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
238.56/59.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.56/59.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.56/59.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
238.56/59.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.54/61.90	c lits-rem:      2457  cl-subs:     1595  v-elim:      0  v-fix:    0  time:  8.20 s
246.54/61.90	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
246.94/61.90	c vivif2 --  cl tried    34953 cl shrink        0 lits rem          0 time: 0.02
247.34/62.07	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.69
247.34/62.07	c calculated reachability. Time: 0.00
247.34/62.08	c  N st    57    537388       125      2662         0     34953     13310    535930   no data   no data  --
336.34/84.35	c  N st    58    701372       125      2662         0     62776     13310   1218661   no data   no data  --
401.39/100.61	c  N st    59    806083       125      2662         0     57214     13310   1032868   no data   no data  --
401.39/100.61	c  S st    59    806083       125      2662         0     57214     13310   1032868   no data   no data  --
401.79/100.76	c  S st    59    806586       125      2662         0     57695     13310   1046176   no data   no data  --
401.79/100.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
401.79/100.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
401.79/100.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
402.19/100.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
402.19/100.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
402.19/100.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
402.19/100.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
424.95/106.59	c lits-rem:      2171  cl-subs:     4811  v-elim:      0  v-fix:    0  time: 23.02 s
424.95/106.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
424.95/106.60	c vivif2 --  cl tried    52884 cl shrink        0 lits rem          0 time: 0.04
426.14/106.88	c asymm  cl-useful: 0/2115/2662 lits-rem:0 time: 1.09
426.14/106.88	c calculated reachability. Time: 0.00
426.14/106.88	c  N st    59    806586       125      2662         0     52884     13310    921270   no data   no data  --
596.16/149.47	c  F st    60   1071876       125      2662         0     68130     13310   1262035   no data   no data  --
596.16/149.47	c  N st    60   1071876       125      2662         0     68130     13310   1262035   no data   no data  --
601.38/150.72	c Decided on static restart strategy
618.94/155.18	c  N st    70   1100181       125      2662         0     52687     13310    797844   no data   no data  --
646.44/162.06	c  N st    72   1136174       125      2662         0     43428     13310    541452   no data   no data  --
669.59/167.81	c  N st    73   1168566       125      2662         0     73824     13310   1316757   no data   no data  --
701.12/175.76	c  N st    74   1209879       125      2662         0     68468     13310   1198302   no data   no data  --
701.12/175.76	c  S st    74   1209879       125      2662         0     68468     13310   1198302   no data   no data  --
701.93/175.95	c  S st    74   1210381       125      2662         0     68952     13310   1211036   no data   no data  --
701.93/175.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
701.93/175.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
701.93/175.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
702.34/176.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
702.34/176.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
702.34/176.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
702.34/176.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
735.04/184.21	c lits-rem:      1361  cl-subs:     5067  v-elim:      0  v-fix:    0  time: 32.71 s
735.04/184.22	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
735.04/184.23	c vivif2 --  cl tried    63885 cl shrink        0 lits rem          0 time: 0.05
735.44/184.34	c asymm  cl-useful: 0/547/2662 lits-rem:0 time: 0.45
735.44/184.34	c calculated reachability. Time: 0.00
735.44/184.34	c  N st    74   1210381       125      2662         0     63885     13310   1073946   no data   no data  --
807.71/202.41	c  N st    75   1283264       125      2662         0     87403     13310   1695442   no data   no data  --
917.04/229.89	c  N st    76   1392587       125      2662         0     49158     13310    614086   no data   no data  --
1053.14/263.91	c  N st    77   1556573       125      2662         0     53810     13310    692289   no data   no data  --
1171.25/293.60	c  N st    78   1710383       125      2662         0     93662     13310   1711313   no data   no data  --
1171.25/293.60	c  S st    78   1710383       125      2662         0     93662     13310   1711313   no data   no data  --
1172.43/293.87	c  S st    78   1710889       125      2662         0     94154     13310   1724875   no data   no data  --
1172.43/293.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1172.43/293.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1172.83/293.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1172.83/293.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1172.83/293.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1172.83/293.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1172.83/293.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1266.63/317.48	c lits-rem:      1596  cl-subs:    10229  v-elim:      0  v-fix:    0  time: 93.78 s
1266.63/317.48	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1267.03/317.50	c vivif2 --  cl tried    83925 cl shrink        0 lits rem          0 time: 0.08
1268.66/317.96	c asymm  cl-useful: 0/1486/2662 lits-rem:0 time: 1.83
1268.66/317.96	c calculated reachability. Time: 0.00
1268.66/317.96	c  N st    78   1710889       125      2662         0     83925     13310   1469526   no data   no data  --
1659.36/415.84	c  N st    79   2079854       125      2662         0     95266     13310   1656533   no data   no data  --
1793.02/449.35	c  N st    80   2210889       125      2662         0     99330     13310   1724746   no data   no data  --
1793.02/449.35	c  S st    80   2210889       125      2662         0     99330     13310   1724746   no data   no data  --
1794.23/449.65	c  S st    80   2211396       125      2662         0     99818     13310   1737755   no data   no data  --
1794.23/449.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1794.23/449.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1794.63/449.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1794.63/449.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1794.63/449.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1794.63/449.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1794.63/449.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1889.61/473.53	c lits-rem:      1223  cl-subs:    10022  v-elim:      0  v-fix:    0  time: 94.86 s
1889.61/473.53	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1889.61/473.56	c vivif2 --  cl tried    89796 cl shrink        0 lits rem          0 time: 0.08
1891.21/473.99	c asymm  cl-useful: 0/1127/2662 lits-rem:0 time: 1.73
1891.21/473.99	c calculated reachability. Time: 0.00
1891.21/473.99	c  N st    80   2211396       125      2662         0     89796     13310   1497666   no data   no data  --
2450.73/614.11	c  N st    81   2711396       125      2662         0    112593     13310   2012750   no data   no data  --
2450.73/614.11	c  S st    81   2711396       125      2662         0    112593     13310   2012750   no data   no data  --
2451.93/614.46	c  S st    81   2711897       125      2662         0    113076     13310   2025897   no data   no data  --
2451.93/614.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2451.93/614.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2452.33/614.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2452.33/614.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2452.33/614.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2452.33/614.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2452.33/614.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2589.63/649.01	c lits-rem:      3787  cl-subs:    11380  v-elim:      0  v-fix:    0  time: 137.28 s
2589.63/649.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2590.05/649.03	c vivif2 --  cl tried   101696 cl shrink        0 lits rem          0 time: 0.11
2591.60/649.49	c asymm  cl-useful: 0/1261/2662 lits-rem:0 time: 1.81
2591.60/649.49	c calculated reachability. Time: 0.00
2591.60/649.49	c  N st    81   2711897       125      2662         0    101696     13310   1744202   no data   no data  --
3179.47/796.73	c  N st    82   3211897       125      2662         0     78949     13310   1005537   no data   no data  --
3179.47/796.73	c  S st    82   3211897       125      2662         0     78949     13310   1005537   no data   no data  --
3180.27/796.96	c  S st    82   3212400       125      2662         0     79434     13310   1019012   no data   no data  --
3180.27/796.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3180.27/796.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3180.67/797.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3180.67/797.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3180.67/797.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3180.67/797.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3180.67/797.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3203.02/802.62	c lits-rem:       895  cl-subs:     1960  v-elim:      0  v-fix:    0  time: 22.27 s
3203.02/802.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3203.02/802.63	c vivif2 --  cl tried    77474 cl shrink        0 lits rem          0 time: 0.05
3204.23/802.95	c asymm  cl-useful: 0/1349/2662 lits-rem:0 time: 1.27
3204.23/802.95	c calculated reachability. Time: 0.00
3204.23/802.95	c  N st    82   3212400       125      2662         0     77474     13310    972759   no data   no data  --
3816.42/956.35	c  N st    83   3712400       125      2662         0     88286     13310   1171494   no data   no data  --
3816.42/956.35	c  S st    83   3712400       125      2662         0     88286     13310   1171494   no data   no data  --
3817.22/956.59	c  S st    83   3712901       125      2662         0     88770     13310   1184794   no data   no data  --
3817.62/956.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3817.62/956.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3817.62/956.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3817.62/956.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3817.62/956.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3817.62/956.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3817.62/956.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3850.75/964.99	c lits-rem:      1011  cl-subs:     2379  v-elim:      0  v-fix:    0  time: 33.16 s
3850.75/964.99	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3851.15/965.00	c vivif2 --  cl tried    86391 cl shrink        0 lits rem          0 time: 0.06
3852.35/965.33	c asymm  cl-useful: 0/1275/2662 lits-rem:0 time: 1.31
3852.35/965.33	c calculated reachability. Time: 0.00
3852.35/965.33	c  N st    83   3712901       125      2662         0     86391     13310   1124556   no data   no data  --
3895.85/976.20	c  F st    84   3751563       125      2662         0    122547     13310   2110762   no data   no data  --
3895.85/976.20	c  N st    84   3751563       125      2662         0    122547     13310   2110762   no data   no data  --
3904.62/978.45	c Decided on static restart strategy
3939.75/987.28	c  N st    94   3779868       125      2662         0    149053     13310   2817858   no data   no data  --
3986.44/998.93	c  N st    96   3815861       125      2662         0    103690     13310   1581027   no data   no data  --
4030.34/1009.99	c  N st    97   3848253       125      2662         0    133900     13310   2368831   no data   no data  --
4103.78/1028.30	c  N st    98   3896841       125      2662         0     98750     13310   1391849   no data   no data  --
4198.76/1052.19	c  N st    99   3969725       125      2662         0     85777     13310   1053912   no data   no data  --
4353.20/1090.81	c  N st   100   4079049       125      2662         0    105586     13310   1558763   no data   no data  --
4528.80/1134.83	c  N st   101   4212902       125      2662         0    147419     13310   2651324   no data   no data  --
4528.80/1134.83	c  S st   101   4212902       125      2662         0    147419     13310   2651324   no data   no data  --
4530.79/1135.34	c  S st   101   4213406       125      2662         0    147898     13310   2664437   no data   no data  --
4530.79/1135.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4530.79/1135.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4531.19/1135.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4531.60/1135.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4531.60/1135.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4531.60/1135.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4531.60/1135.51	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368769-1305402619/watcher-3368769-1305402619 -o /tmp/evaluation-result-3368769-1305402619/solver-3368769-1305402619 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368769-1305402619.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.73 8.02 8.01 1/280 4529
/proc/meminfo: memFree=19065176/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 415 0 0 0 0 0 0 0 21 0 4 0 651861538 52465664 356 33554432000 4194304 4650419 140734914368992 18446744073709551615 46984566724125 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 12809 356 306 112 0 7774 0
[pid=4529/tid=4530] ppid=4527 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 651861538 52465664 356 33554432000 4194304 4650419 140734914368992 18446744073709551615 46984566724121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651861538 52465664 356 33554432000 4194304 4650419 140734914368992 18446744073709551615 46984566724530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651861538 52465664 356 33554432000 4194304 4650419 140734914368992 18446744073709551615 46984566724121 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0349349 s]
/proc/loadavg: 7.73 8.02 8.01 1/280 4529
/proc/meminfo: memFree=19065176/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=282616 CPUtime=0.11 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 1506 0 0 0 11 0 0 0 18 0 4 0 651861538 289398784 1355 33554432000 4194304 4650419 140734914368992 18446744073709551615 4334529 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 70654 1355 388 112 0 65619 0
[pid=4529/tid=4530] ppid=4527 vsize=282616 CPUtime=0.03 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 315 0 0 0 3 0 0 0 18 0 4 0 651861538 289398784 1355 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=282616 CPUtime=0.02 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 326 0 0 0 2 0 0 0 23 0 4 0 651861538 289398784 1355 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=282616 CPUtime=0.02 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 155 0 0 0 2 0 0 0 18 0 4 0 651861538 289398784 1355 33554432000 4194304 4650419 140734914368992 18446744073709551615 4333763 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 282616

[startup+0.100923 s]
/proc/loadavg: 7.73 8.02 8.01 1/280 4529
/proc/meminfo: memFree=19065176/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=282616 CPUtime=0.37 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 1884 0 0 0 37 0 0 0 18 0 4 0 651861538 289398784 1733 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 70654 1733 389 112 0 65619 0
[pid=4529/tid=4530] ppid=4527 vsize=282616 CPUtime=0.09 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 406 0 0 0 9 0 0 0 18 0 4 0 651861538 289398784 1733 33554432000 4194304 4650419 140734914368992 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=282616 CPUtime=0.08 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 421 0 0 0 8 0 0 0 23 0 4 0 651861538 289398784 1733 33554432000 4194304 4650419 140734914368992 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=282616 CPUtime=0.09 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 263 0 0 0 9 0 0 0 18 0 4 0 651861538 289398784 1733 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282616

[startup+0.30089 s]
/proc/loadavg: 7.73 8.02 8.01 1/280 4529
/proc/meminfo: memFree=19065176/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=283780 CPUtime=1.17 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 3146 0 0 0 117 0 0 0 18 0 4 0 651861538 290590720 2367 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 70945 2367 391 112 0 65910 0
[pid=4529/tid=4530] ppid=4527 vsize=283780 CPUtime=0.29 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 734 0 0 0 29 0 0 0 18 0 4 0 651861538 290590720 2368 33554432000 4194304 4650419 140734914368992 18446744073709551615 274664469537 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=283780 CPUtime=0.28 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 720 0 0 0 28 0 0 0 23 0 4 0 651861538 290590720 2368 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=283780 CPUtime=0.29 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 589 0 0 0 29 0 0 0 18 0 4 0 651861538 290590720 2369 33554432000 4194304 4650419 140734914368992 18446744073709551615 274664469189 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283780

[startup+0.700821 s]
/proc/loadavg: 7.73 8.02 8.01 1/280 4529
/proc/meminfo: memFree=19065176/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=285388 CPUtime=2.77 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 5629 0 0 0 277 0 0 0 18 0 4 0 651861538 292237312 2720 33554432000 4194304 4650419 140734914368992 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 71347 2720 391 112 0 66312 0
[pid=4529/tid=4530] ppid=4527 vsize=285388 CPUtime=0.69 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 1354 0 0 0 69 0 0 0 18 0 4 0 651861538 292237312 2720 33554432000 4194304 4650419 140734914368992 18446744073709551615 4333213 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=285388 CPUtime=0.68 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 1302 0 0 0 68 0 0 0 25 0 4 0 651861538 292237312 2720 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=285388 CPUtime=0.69 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 1183 0 0 0 69 0 0 0 18 0 4 0 651861538 292237312 2720 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285388

[startup+1.50069 s]
/proc/loadavg: 7.73 8.02 8.01 9/289 4563
/proc/meminfo: memFree=19046976/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=277560 CPUtime=5.96 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 11458 0 0 0 595 1 0 0 20 0 4 0 651861538 284221440 5946 33554432000 4194304 4650419 140734914368992 18446744073709551615 4439014 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 69390 5946 393 112 0 64355 0
[pid=4529/tid=4530] ppid=4527 vsize=277560 CPUtime=1.49 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 3466 0 0 0 149 0 0 0 20 0 4 0 651861538 284221440 5946 33554432000 4194304 4650419 140734914368992 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=277560 CPUtime=1.47 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 2181 0 0 0 147 0 0 0 25 0 4 0 651861538 284221440 5946 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=277560 CPUtime=1.48 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 2081 0 0 0 148 0 0 0 20 0 4 0 651861538 284221440 5946 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 277560

[startup+3.10041 s]
/proc/loadavg: 7.73 8.02 8.01 9/289 4563
/proc/meminfo: memFree=19018336/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=286060 CPUtime=12.35 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 18765 0 0 0 1233 2 0 0 25 0 4 0 651861538 292925440 10937 33554432000 4194304 4650419 140734914368992 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 71515 10937 393 112 0 66480 0
[pid=4529/tid=4530] ppid=4527 vsize=286060 CPUtime=3.08 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 4561 0 0 0 308 0 0 0 25 0 4 0 651861538 292925440 10937 33554432000 4194304 4650419 140734914368992 18446744073709551615 4330592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=286060 CPUtime=3.06 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 4408 0 0 0 306 0 0 0 25 0 4 0 651861538 292925440 10937 33554432000 4194304 4650419 140734914368992 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=286060 CPUtime=3.09 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 4615 0 0 0 308 1 0 0 25 0 4 0 651861538 292925440 10937 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286060

[startup+6.30086 s]
/proc/loadavg: 7.91 8.06 8.02 10/289 4563
/proc/meminfo: memFree=18952496/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=299836 CPUtime=25.12 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 28724 0 0 0 2507 5 0 0 25 0 4 0 651861538 307032064 16177 33554432000 4194304 4650419 140734914368992 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 74959 16178 393 112 0 69924 0
[pid=4529/tid=4530] ppid=4527 vsize=299836 CPUtime=6.28 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 7365 0 0 0 627 1 0 0 25 0 4 0 651861538 307032064 16178 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=299836 CPUtime=6.24 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 7489 0 0 0 623 1 0 0 25 0 4 0 651861538 307032064 16178 33554432000 4194304 4650419 140734914368992 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=299836 CPUtime=6.28 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 6487 0 0 0 627 1 0 0 25 0 4 0 651861538 307032064 16178 33554432000 4194304 4650419 140734914368992 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 299836

[startup+12.7007 s]
/proc/loadavg: 7.92 8.06 8.02 9/289 4563
/proc/meminfo: memFree=18903688/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=300992 CPUtime=50.66 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 42475 0 0 0 5058 8 0 0 25 0 4 0 651861538 308215808 20047 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 75248 20047 393 112 0 70213 0
[pid=4529/tid=4530] ppid=4527 vsize=300992 CPUtime=12.69 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 11393 0 0 0 1267 2 0 0 25 0 4 0 651861538 308215808 20047 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=300992 CPUtime=12.57 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 10487 0 0 0 1256 1 0 0 25 0 4 0 651861538 308215808 20047 33554432000 4194304 4650419 140734914368992 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=300992 CPUtime=12.69 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 9500 0 0 0 1267 2 0 0 25 0 4 0 651861538 308215808 20047 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 300992

[startup+25.5005 s]
/proc/loadavg: 7.94 8.05 8.01 9/289 4563
/proc/meminfo: memFree=18834888/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=311988 CPUtime=101.72 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 65765 0 0 0 10157 15 0 0 25 0 4 0 651861538 319475712 26129 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 77997 26129 393 112 0 72962 0
[pid=4529/tid=4530] ppid=4527 vsize=311988 CPUtime=25.48 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 18102 0 0 0 2544 4 0 0 25 0 4 0 651861538 319475712 26129 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365437 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=311988 CPUtime=25.25 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 17113 0 0 0 2522 3 0 0 25 0 4 0 651861538 319475712 26129 33554432000 4194304 4650419 140734914368992 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=311988 CPUtime=25.49 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 13749 0 0 0 2545 4 0 0 25 0 4 0 651861538 319475712 26129 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 311988

[startup+51.1011 s]
/proc/loadavg: 8.02 8.06 8.02 9/289 4564
/proc/meminfo: memFree=18766732/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=305956 CPUtime=203.85 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 99240 0 0 0 20352 33 0 0 25 0 4 0 651861538 313298944 32299 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 76489 32299 393 112 0 71454 0
[pid=4529/tid=4530] ppid=4527 vsize=305956 CPUtime=51.03 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 27565 0 0 0 5091 12 0 0 25 0 4 0 651861538 313298944 32299 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=305956 CPUtime=50.62 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 26561 0 0 0 5056 6 0 0 25 0 4 0 651861538 313298944 32299 33554432000 4194304 4650419 140734914368992 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=305956 CPUtime=51.09 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 19538 0 0 0 5103 6 0 0 25 0 4 0 651861538 313298944 32299 33554432000 4194304 4650419 140734914368992 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 305956

[startup+102.311 s]
/proc/loadavg: 8.07 8.07 8.02 9/289 4565
/proc/meminfo: memFree=18679056/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=316484 CPUtime=408.22 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 159861 0 0 0 40769 53 0 0 25 0 4 0 651861538 324079616 40819 33554432000 4194304 4650419 140734914368992 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 79121 40819 393 112 0 74086 0
[pid=4529/tid=4530] ppid=4527 vsize=316484 CPUtime=102.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 42962 0 0 0 10207 18 0 0 25 0 4 0 651861538 324079616 40819 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=316484 CPUtime=101.37 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 41114 0 0 0 10125 12 0 0 25 0 4 0 651861538 324079616 40819 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=316484 CPUtime=102.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 32424 0 0 0 10219 11 0 0 25 0 4 0 651861538 324079616 40819 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 316484

[startup+162.301 s]

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

[pid=4529] ppid=4527 vsize=626008 CPUtime=2563.3 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 445160 0 0 0 256152 178 0 0 25 0 4 0 651861538 641032192 97761 33554432000 4194304 4650419 140734914368992 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 156502 97761 393 112 0 151467 0
[pid=4529/tid=4530] ppid=4527 vsize=626008 CPUtime=642.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 117139 0 0 0 64176 49 0 0 25 0 4 0 651861538 641032192 97762 33554432000 4194304 4650419 140734914368992 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=626008 CPUtime=636.46 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 120592 0 0 0 63598 48 0 0 25 0 4 0 651861538 641032192 97762 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=626008 CPUtime=642.31 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 89677 0 0 0 64195 36 0 0 25 0 4 0 651861538 641032192 97762 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.3
Current children cumulated vsize (KiB) 626008

[startup+702.301 s]
/proc/loadavg: 8.24 8.16 8.07 9/289 4590
/proc/meminfo: memFree=18140388/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=677528 CPUtime=2802.73 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 463904 0 0 0 280083 190 0 0 25 0 4 0 651861538 693788672 103977 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 169382 103977 393 112 0 164347 0
[pid=4529/tid=4530] ppid=4527 vsize=677528 CPUtime=702.24 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 118175 0 0 0 70174 50 0 0 25 0 4 0 651861538 693788672 103977 33554432000 4194304 4650419 140734914368992 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=677528 CPUtime=695.92 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 126556 0 0 0 69540 52 0 0 25 0 4 0 651861538 693788672 103977 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=677528 CPUtime=702.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 94804 0 0 0 70190 40 0 0 25 0 4 0 651861538 693788672 103977 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.73
Current children cumulated vsize (KiB) 677528

[startup+762.311 s]
/proc/loadavg: 8.14 8.15 8.07 9/289 4592
/proc/meminfo: memFree=18084572/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=678688 CPUtime=3042.22 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 487671 0 0 0 304017 205 0 0 25 0 4 0 651861538 694976512 115695 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 169672 115695 393 112 0 164637 0
[pid=4529/tid=4530] ppid=4527 vsize=678688 CPUtime=762.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 127130 0 0 0 76169 56 0 0 25 0 4 0 651861538 694976512 115695 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=678688 CPUtime=755.38 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 131243 0 0 0 75483 55 0 0 25 0 4 0 651861538 694976512 115695 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=678688 CPUtime=762.31 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 98532 0 0 0 76189 42 0 0 25 0 4 0 651861538 694976512 115695 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.22
Current children cumulated vsize (KiB) 678688

[startup+822.301 s]
/proc/loadavg: 8.24 8.17 8.08 9/289 4593
/proc/meminfo: memFree=18114808/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=621248 CPUtime=3281.64 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 504923 0 0 0 327950 214 0 0 25 0 4 0 651861538 636157952 105953 33554432000 4194304 4650419 140734914368992 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 155312 105953 393 112 0 150277 0
[pid=4529/tid=4530] ppid=4527 vsize=621248 CPUtime=822.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 132905 0 0 0 82166 59 0 0 25 0 4 0 651861538 636157952 105953 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=621248 CPUtime=814.83 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 138170 0 0 0 81425 58 0 0 25 0 4 0 651861538 636157952 105953 33554432000 4194304 4650419 140734914368992 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=621248 CPUtime=822.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 99787 0 0 0 82188 42 0 0 25 0 4 0 651861538 636157952 105953 33554432000 4194304 4650419 140734914368992 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.64
Current children cumulated vsize (KiB) 621248

[startup+882.3 s]
/proc/loadavg: 8.21 8.16 8.08 9/289 4595
/proc/meminfo: memFree=18106736/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=618376 CPUtime=3521.09 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 524771 0 0 0 351886 223 0 0 25 0 4 0 651861538 633217024 106083 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 154594 106083 393 112 0 149559 0
[pid=4529/tid=4530] ppid=4527 vsize=618376 CPUtime=882.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 137800 0 0 0 88164 61 0 0 25 0 4 0 651861538 633217024 106083 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=618376 CPUtime=874.28 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 140560 0 0 0 87369 59 0 0 25 0 4 0 651861538 633217024 106083 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=618376 CPUtime=882.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 103954 0 0 0 88185 45 0 0 25 0 4 0 651861538 633217024 106083 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.09
Current children cumulated vsize (KiB) 618376

[startup+942.301 s]
/proc/loadavg: 8.18 8.16 8.09 10/290 4600
/proc/meminfo: memFree=18087860/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=633668 CPUtime=3760.56 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 549236 0 0 0 375820 236 0 0 25 0 4 0 651861538 648876032 105508 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 158417 105509 393 112 0 153382 0
[pid=4529/tid=4530] ppid=4527 vsize=633668 CPUtime=942.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 146385 0 0 0 94159 66 0 0 25 0 4 0 651861538 648876032 105509 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=633668 CPUtime=933.74 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 149256 0 0 0 93311 63 0 0 25 0 4 0 651861538 648876032 105509 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=633668 CPUtime=942.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 106359 0 0 0 94184 46 0 0 25 0 4 0 651861538 648876032 105509 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.56
Current children cumulated vsize (KiB) 633668

[startup+1002.3 s]
/proc/loadavg: 8.31 8.22 8.11 9/289 4601
/proc/meminfo: memFree=18080784/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=633864 CPUtime=4000 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 568689 0 0 0 399753 247 0 0 25 0 4 0 651861538 649076736 104519 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 158466 104519 393 112 0 153431 0
[pid=4529/tid=4530] ppid=4527 vsize=633864 CPUtime=1002.24 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 153136 0 0 0 100154 70 0 0 25 0 4 0 651861538 649076736 104519 33554432000 4194304 4650419 140734914368992 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=633864 CPUtime=993.19 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 155624 0 0 0 99253 66 0 0 25 0 4 0 651861538 649076736 104519 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=633864 CPUtime=1002.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 108320 0 0 0 100183 47 0 0 25 0 4 0 651861538 649076736 104519 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000
Current children cumulated vsize (KiB) 633864

[startup+1062.3 s]
/proc/loadavg: 8.20 8.20 8.11 9/289 4603
/proc/meminfo: memFree=18037004/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=647840 CPUtime=4239.46 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 588799 0 0 0 423688 258 0 0 25 0 4 0 651861538 663388160 104225 33554432000 4194304 4650419 140734914368992 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 161960 104225 393 112 0 156925 0
[pid=4529/tid=4530] ppid=4527 vsize=647840 CPUtime=1062.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 158371 0 0 0 106152 73 0 0 25 0 4 0 651861538 663388160 104225 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=647840 CPUtime=1052.65 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 159921 0 0 0 105198 67 0 0 25 0 4 0 651861538 663388160 104225 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=647840 CPUtime=1062.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 112605 0 0 0 106179 51 0 0 25 0 4 0 651861538 663388160 104225 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.46
Current children cumulated vsize (KiB) 647840

[startup+1122.3 s]
/proc/loadavg: 8.24 8.21 8.11 9/289 4604
/proc/meminfo: memFree=18007232/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=648172 CPUtime=4478.92 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 615234 0 0 0 447619 273 0 0 25 0 4 0 651861538 663728128 107127 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 162043 107127 393 112 0 157008 0
[pid=4529/tid=4530] ppid=4527 vsize=648172 CPUtime=1122.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 165138 0 0 0 112148 77 0 0 25 0 4 0 651861538 663728128 107127 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=648172 CPUtime=1112.1 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 167122 0 0 0 111139 71 0 0 25 0 4 0 651861538 663728128 107127 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=648172 CPUtime=1122.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 118247 0 0 0 112177 53 0 0 25 0 4 0 651861538 663728128 107127 33554432000 4194304 4650419 140734914368992 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.92
Current children cumulated vsize (KiB) 648172

[startup+1182.3 s]
/proc/loadavg: 8.21 8.20 8.11 9/289 4606
/proc/meminfo: memFree=18011804/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=648324 CPUtime=4718.38 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 637928 0 0 0 471554 284 0 0 25 0 4 0 651861538 663883776 112656 33554432000 4194304 4650419 140734914368992 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 162081 112656 393 112 0 157046 0
[pid=4529/tid=4530] ppid=4527 vsize=648324 CPUtime=1182.25 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 171505 0 0 0 118143 82 0 0 25 0 4 0 651861538 663883776 112656 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366882 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=648324 CPUtime=1171.56 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 172404 0 0 0 117082 74 0 0 25 0 4 0 651861538 663883776 112656 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=648324 CPUtime=1182.3 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 122114 0 0 0 118175 55 0 0 25 0 4 0 651861538 663883776 112656 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.38
Current children cumulated vsize (KiB) 648324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.15 8.19 8.11 9/289 4607
/proc/meminfo: memFree=17979432/32951132 swapFree=67093824/67111528
[pid=4529] ppid=4527 vsize=648388 CPUtime=4800.2 cores=1,3,5,7
/proc/4529/stat : 4529 (strangenight1-m) R 4527 4529 4127 0 -1 4202496 649283 0 0 0 479732 288 0 0 25 0 4 0 651861538 663949312 118303 33554432000 4194304 4650419 140734914368992 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4529/statm: 162097 118303 393 112 0 157062 0
[pid=4529/tid=4530] ppid=4527 vsize=648388 CPUtime=1202.76 cores=1,3,5,7
/proc/4529/task/4530/stat : 4530 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 178375 0 0 0 120192 84 0 0 25 0 4 0 651861538 663949312 118304 33554432000 4194304 4650419 140734914368992 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4529/tid=4531] ppid=4527 vsize=648388 CPUtime=1191.86 cores=1,3,5,7
/proc/4529/task/4531/stat : 4531 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 175025 0 0 0 119111 75 0 0 25 0 4 0 651861538 663949312 118304 33554432000 4194304 4650419 140734914368992 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4529/tid=4532] ppid=4527 vsize=648388 CPUtime=1202.82 cores=1,3,5,7
/proc/4529/task/4532/stat : 4532 (strangenight1-m) R 4527 4529 4127 0 -1 4202560 122896 0 0 0 120226 56 0 0 25 0 4 0 651861538 663949312 118304 33554432000 4194304 4650419 140734914368992 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 648388

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.27
CPU user time (s): 4797.36
CPU system time (s): 2.90856
CPU usage (%): 399.078
Max. virtual memory (cumulated for all children) (KiB): 759088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.36
system time used= 2.90856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649284
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= 512
involuntary context switches= 33297

runsolver used 2.93755 second user time and 8.03278 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-14 21:50:19
IDJOB=3368769
IDBENCH=82778
IDSOLVER=1846
FILE ID=node131/3368769-1305402619
RUNJOBID= node131-1305401413-4442
PBS_JOBID= 13324467
Free space on /tmp= 73684 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368769-1305402619/watcher-3368769-1305402619 -o /tmp/evaluation-result-3368769-1305402619/solver-3368769-1305402619 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368769-1305402619.cnf

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

MD5SUM BENCH= 4d61767800ed8aa0f56d10b54eba4120
RANDOM SEED=2094167038

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.83
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.830
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.830
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.830
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.830
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.830
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:     32951132 kB
MemFree:      19065332 kB
Buffers:        270552 kB
Cached:        3639116 kB
SwapCached:       1504 kB
Active:       10564600 kB
Inactive:      3064300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      19065332 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:     9717596 kB
Mapped:          26932 kB
Slab:           163660 kB
PageTables:      31048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28025040 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73676 MiB
End job on node131 at 2011-05-14 22:10:24