Trace number 3369049

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.14 1203.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
MD5SUM010b9faa30750ce3440cb9a8110ebefe
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.095984
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-3369049-1305410858.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.00 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
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.09/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.09/0.03	c calculated reachability. Time: 0.00
0.09/0.03	c Calc default polars -  time:   0.00 s pos:      62 undec:       6 neg:      57
0.09/0.03	c =========================================================================================
0.09/0.03	c types(t): F = full restart, N = normal restart
0.09/0.03	c types(t): S = simplification begin/end, E = solution found
0.09/0.03	c restart types(rt): st = static, dy = dynamic
0.09/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.09/0.03	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.09/0.07	c Decided on static restart strategy
0.37/0.14	c  N st     8      4916       125      2662         0      4675     13310    121093   no data   no data  --
1.18/0.34	c  N st    10     11299       125      2662         0      4301     13310     87724   no data   no data  --
1.97/0.55	c  N st    11     17043       125      2662         0      9691     13310    234790   no data   no data  --
3.17/0.86	c  F st    12     25000       125      2662         0     11876     13310    283438   no data   no data  --
3.17/0.86	c  N st    12     25000       125      2662         0     11876     13310    283438   no data   no data  --
3.98/1.08	c Decided on static restart strategy
3.98/1.08	c  N st    18     30002       125      2662         0     10199     13310    225995   no data   no data  --
3.98/1.08	c  S st    18     30002       125      2662         0     10199     13310    225995   no data   no data  --
4.41/1.11	c  S st    18     30504       125      2662         0     10685     13310    238817   no data   no data  --
4.41/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.41/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.41/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.41/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.41/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.41/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.76/1.75	c lits-rem:      2417  cl-subs:     1429  v-elim:      0  v-fix:    0  time:  2.52 s
6.76/1.80	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.17
6.76/1.80	c calculated reachability. Time: 0.00
6.76/1.80	c  N st    18     30504       125      2662         0      9256     13310    197098   no data   no data  --
7.96/2.10	c  N st    20     37615       125      2662         0      8539     13310    164716   no data   no data  --
9.55/2.40	c  N st    21     44015       125      2662         0     14541     13310    321219   no data   no data  --
9.55/2.49	c  S st    22     45756       125      2662         0     16183     13310    363621   no data   no data  --
9.95/2.53	c  S st    22     46259       125      2662         0     16672     13310    375872   no data   no data  --
9.95/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.95/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.95/2.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.95/2.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.93	c lits-rem:      4758  cl-subs:     1774  v-elim:      0  v-fix:    0  time:  5.51 s
15.53/3.93	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.53/3.94	c vivif2 --  cl tried    14898 cl shrink        0 lits rem          0 time: 0.01
15.93/4.00	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
15.93/4.00	c calculated reachability. Time: 0.00
15.93/4.00	c  N st    22     46259       125      2662         0     14898     13310    322516   no data   no data  --
19.12/4.84	c  N st    23     60657       125      2662         0     10716     13310    190091   no data   no data  --
21.12/5.32	c  N st    24     69388       125      2662         0     18917     13310    401590   no data   no data  --
21.12/5.32	c  S st    24     69388       125      2662         0     18917     13310    401590   no data   no data  --
21.12/5.37	c  S st    24     69891       125      2662         0     19407     13310    414235   no data   no data  --
21.12/5.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.12/5.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.12/5.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.12/5.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.12/5.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.12/5.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.12/5.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.10/6.85	c lits-rem:      3929  cl-subs:     2198  v-elim:      0  v-fix:    0  time:  5.80 s
27.10/6.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.10/6.85	c vivif2 --  cl tried    17209 cl shrink        0 lits rem          0 time: 0.02
27.50/6.94	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.35
27.50/6.94	c calculated reachability. Time: 0.00
27.50/6.94	c  N st    24     69891       125      2662         0     17209     13310    353217   no data   no data  --
31.88/8.06	c  F st    25     87502       125      2662         0     12291     13310    211550   no data   no data  --
31.88/8.07	c  N st    25     87502       125      2662         0     12291     13310    211550   no data   no data  --
33.08/8.33	c Decided on static restart strategy
33.88/8.50	c  N st    32     95545       125      2662         0     19904     13310    405745   no data   no data  --
36.26/9.17	c  N st    34    104836       125      2662         0     16409     13310    307256   no data   no data  --
36.26/9.17	c  S st    34    104836       125      2662         0     16409     13310    307256   no data   no data  --
36.66/9.22	c  S st    34    105342       125      2662         0     16903     13310    319721   no data   no data  --
36.66/9.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.66/9.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.66/9.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.66/9.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.66/9.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.66/9.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.66/9.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.05/10.34	c lits-rem:      2719  cl-subs:     1134  v-elim:      0  v-fix:    0  time:  4.42 s
41.05/10.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.05/10.34	c vivif2 --  cl tried    15769 cl shrink        0 lits rem          0 time: 0.01
41.45/10.41	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
41.45/10.41	c calculated reachability. Time: 0.00
41.45/10.41	c  N st    34    105342       125      2662         0     15769     13310    288148   no data   no data  --
44.24/11.16	c  N st    35    114941       125      2662         0     24724     13310    514025   no data   no data  --
48.63/12.24	c  N st    36    129340       125      2662         0     25076     13310    514064   no data   no data  --
55.41/13.97	c  N st    37    150937       125      2662         0     16253     13310    257657   no data   no data  --
57.41/14.44	c  S st    38    158014       125      2662         0     22848     13310    427123   no data   no data  --
57.81/14.50	c  S st    38    158519       125      2662         0     23334     13310    439875   no data   no data  --
57.81/14.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.81/14.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.81/14.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
57.81/14.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.81/14.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.81/14.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.81/14.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
64.58/16.21	c lits-rem:      2846  cl-subs:     2104  v-elim:      0  v-fix:    0  time:  6.74 s
64.58/16.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
64.58/16.21	c vivif2 --  cl tried    21230 cl shrink        0 lits rem          0 time: 0.02
64.98/16.32	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.42
64.98/16.32	c calculated reachability. Time: 0.00
64.98/16.32	c  N st    38    158519       125      2662         0     21230     13310    384065   no data   no data  --
82.14/20.67	c  N st    39    207107       125      2662         0     33963     13310    672636   no data   no data  --
93.70/23.58	c  N st    40    237778       125      2662         0     26197     13310    462145   no data   no data  --
93.70/23.58	c  S st    40    237778       125      2662         0     26197     13310    462145   no data   no data  --
94.10/23.65	c  S st    40    238283       125      2662         0     26687     13310    474707   no data   no data  --
94.10/23.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.10/23.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.10/23.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
94.10/23.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.10/23.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.10/23.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
94.10/23.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
100.50/25.21	c lits-rem:      3846  cl-subs:     2230  v-elim:      0  v-fix:    0  time:  6.13 s
100.50/25.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
100.50/25.22	c vivif2 --  cl tried    24457 cl shrink        0 lits rem          0 time: 0.02
100.92/25.33	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.44
100.92/25.33	c calculated reachability. Time: 0.00
100.92/25.33	c  N st    40    238283       125      2662         0     24457     13310    417708   no data   no data  --
128.80/32.30	c  F st    41    306254       125      2662         0     26544     13310    434171   no data   no data  --
128.80/32.30	c  N st    41    306254       125      2662         0     26544     13310    434171   no data   no data  --
130.79/32.83	c Decided on static restart strategy
141.56/35.57	c  N st    51    334560       125      2662         0     30553     13310    514075   no data   no data  --
151.52/38.00	c  N st    53    357424       125      2662         0     28613     13310    454070   no data   no data  --
151.52/38.00	c  S st    53    357424       125      2662         0     28613     13310    454070   no data   no data  --
151.52/38.08	c  S st    53    357933       125      2662         0     29105     13310    466713   no data   no data  --
151.52/38.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
151.52/38.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.52/38.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
151.92/38.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.92/38.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.92/38.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
151.92/38.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
158.70/39.88	c lits-rem:      2187  cl-subs:     1163  v-elim:      0  v-fix:    0  time:  7.06 s
158.70/39.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
158.70/39.88	c vivif2 --  cl tried    27942 cl shrink        0 lits rem          0 time: 0.02
159.90/40.12	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.94
159.90/40.12	c calculated reachability. Time: 0.00
159.90/40.12	c  N st    53    357933       125      2662         0     27942     13310    434023   no data   no data  --
176.65/44.30	c  N st    54    390328       125      2662         0     33913     13310    571019   no data   no data  --
197.78/49.62	c  N st    55    438916       125      2662         0     27991     13310    400167   no data   no data  --
228.90/57.49	c  N st    56    511798       125      2662         0     41054     13310    720080   no data   no data  --
240.88/60.42	c  N st    57    536900       125      2662         0     35526     13310    551007   no data   no data  --
240.88/60.42	c  S st    57    536900       125      2662         0     35526     13310    551007   no data   no data  --
240.88/60.50	c  S st    57    537407       125      2662         0     36017     13310    563984   no data   no data  --
240.88/60.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
240.88/60.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
241.30/60.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
241.30/60.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.30/60.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.30/60.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
241.30/60.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
248.84/62.44	c lits-rem:      2568  cl-subs:     1373  v-elim:      0  v-fix:    0  time:  7.62 s
248.84/62.44	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
248.84/62.45	c vivif2 --  cl tried    34644 cl shrink        0 lits rem          0 time: 0.02
249.66/62.62	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.66
249.66/62.62	c calculated reachability. Time: 0.00
249.66/62.62	c  N st    57    537407       125      2662         0     34644     13310    526423   no data   no data  --
340.57/85.42	c  N st    58    701392       125      2662         0     62353     13310   1227867   no data   no data  --
404.78/101.58	c  N st    59    806111       125      2662         0     56739     13310   1015471   no data   no data  --
404.78/101.58	c  S st    59    806111       125      2662         0     56739     13310   1015471   no data   no data  --
405.57/101.77	c  S st    59    806613       125      2662         0     57223     13310   1028478   no data   no data  --
405.57/101.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
405.57/101.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
405.57/101.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
405.97/101.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
405.97/101.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
405.97/101.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
405.97/101.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
428.71/107.55	c lits-rem:       443  cl-subs:     4677  v-elim:      0  v-fix:    0  time: 22.82 s
428.71/107.55	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
428.71/107.56	c vivif2 --  cl tried    52546 cl shrink        0 lits rem          0 time: 0.04
429.95/107.82	c asymm  cl-useful: 0/2243/2662 lits-rem:0 time: 1.05
429.95/107.82	c calculated reachability. Time: 0.00
429.95/107.82	c  N st    59    806613       125      2662         0     52546     13310    909054   no data   no data  --
599.81/150.42	c  F st    60   1071876       125      2662         0     67906     13310   1227671   no data   no data  --
599.81/150.42	c  N st    60   1071876       125      2662         0     67906     13310   1227671   no data   no data  --
604.59/151.66	c Decided on static restart strategy
620.54/155.66	c  N st    70   1100181       125      2662         0     52494     13310    802143   no data   no data  --
648.46/162.63	c  N st    72   1136176       125      2662         0     43132     13310    532660   no data   no data  --
667.60/167.45	c  N st    73   1168568       125      2662         0     73471     13310   1295219   no data   no data  --
697.14/174.87	c  N st    74   1209921       125      2662         0     68434     13310   1191799   no data   no data  --
697.14/174.87	c  S st    74   1209921       125      2662         0     68434     13310   1191799   no data   no data  --
698.31/175.14	c  S st    74   1210428       125      2662         0     68928     13310   1204837   no data   no data  --
698.31/175.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
698.31/175.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
698.31/175.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
698.71/175.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.71/175.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.71/175.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
698.71/175.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
750.94/188.37	c lits-rem:      1933  cl-subs:     4357  v-elim:      0  v-fix:    0  time: 52.38 s
750.94/188.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
750.94/188.39	c vivif2 --  cl tried    64571 cl shrink        0 lits rem          0 time: 0.06
752.54/188.78	c asymm  cl-useful: 0/2021/2662 lits-rem:0 time: 1.57
752.54/188.78	c calculated reachability. Time: 0.00
752.54/188.79	c  N st    74   1210428       125      2662         0     64571     13310   1090020   no data   no data  --
806.38/202.20	c  N st    75   1283313       125      2662         0     87598     13310   1693805   no data   no data  --
897.31/225.03	c  N st    76   1392636       125      2662         0     49519     13310    625333   no data   no data  --
1036.89/260.02	c  N st    77   1556620       125      2662         0     54378     13310    708194   no data   no data  --
1154.55/289.58	c  N st    78   1710429       125      2662         0     94608     13310   1791703   no data   no data  --
1154.55/289.58	c  S st    78   1710429       125      2662         0     94608     13310   1791703   no data   no data  --
1156.15/289.91	c  S st    78   1710931       125      2662         0     95099     13310   1804754   no data   no data  --
1156.15/289.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1156.15/289.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1156.15/289.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1156.55/290.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1156.55/290.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1156.55/290.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1156.55/290.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1268.20/318.00	c lits-rem:      2286  cl-subs:     8506  v-elim:      0  v-fix:    0  time: 111.53 s
1268.20/318.00	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1268.20/318.02	c vivif2 --  cl tried    86593 cl shrink        0 lits rem          0 time: 0.09
1269.00/318.28	c asymm  cl-useful: 0/641/2662 lits-rem:0 time: 1.03
1269.00/318.29	c calculated reachability. Time: 0.00
1269.00/318.29	c  N st    78   1710931       125      2662         0     86593     13310   1578649   no data   no data  --
1615.55/405.19	c  N st    79   2079895       125      2662         0     97747     13310   1771355   no data   no data  --
1739.99/436.33	c  N st    80   2210931       125      2662         0    101772     13310   1841253   no data   no data  --
1739.99/436.33	c  S st    80   2210931       125      2662         0    101772     13310   1841253   no data   no data  --
1741.21/436.63	c  S st    80   2211434       125      2662         0    102264     13310   1854352   no data   no data  --
1741.21/436.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1741.21/436.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1741.21/436.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1741.63/436.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1741.63/436.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1741.63/436.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1741.63/436.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1843.68/462.32	c lits-rem:      3248  cl-subs:     9007  v-elim:      0  v-fix:    0  time: 101.96 s
1843.68/462.32	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1843.68/462.34	c vivif2 --  cl tried    93257 cl shrink        0 lits rem          0 time: 0.08
1845.28/462.70	c asymm  cl-useful: 0/1247/2662 lits-rem:0 time: 1.42
1845.28/462.70	c calculated reachability. Time: 0.00
1845.28/462.70	c  N st    80   2211434       125      2662         0     93257     13310   1620111   no data   no data  --
2335.43/585.60	c  N st    81   2711434       125      2662         0    115695     13310   2096858   no data   no data  --
2335.43/585.60	c  S st    81   2711434       125      2662         0    115695     13310   2096858   no data   no data  --
2336.63/585.99	c  S st    81   2711936       125      2662         0    116180     13310   2109679   no data   no data  --
2337.02/586.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2337.02/586.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2337.02/586.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2337.42/586.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2337.42/586.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2337.42/586.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2337.42/586.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2487.41/623.76	c lits-rem:      3500  cl-subs:    12493  v-elim:      0  v-fix:    0  time: 150.03 s
2487.41/623.76	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2487.41/623.78	c vivif2 --  cl tried   103687 cl shrink        0 lits rem          0 time: 0.09
2488.96/624.15	c asymm  cl-useful: 0/981/2662 lits-rem:0 time: 1.48
2488.96/624.16	c calculated reachability. Time: 0.00
2488.96/624.16	c  N st    81   2711936       125      2662         0    103687     13310   1800446   no data   no data  --
3034.94/761.04	c  N st    82   3211936       125      2662         0     80884     13310   1049316   no data   no data  --
3034.94/761.04	c  S st    82   3211936       125      2662         0     80884     13310   1049316   no data   no data  --
3035.78/761.27	c  S st    82   3212438       125      2662         0     81371     13310   1062567   no data   no data  --
3035.78/761.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3035.78/761.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3036.13/761.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3036.13/761.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3036.13/761.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3036.13/761.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3036.13/761.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3062.85/768.07	c lits-rem:      1796  cl-subs:     2544  v-elim:      0  v-fix:    0  time: 26.82 s
3062.85/768.07	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3062.85/768.08	c vivif2 --  cl tried    78827 cl shrink        0 lits rem          0 time: 0.06
3064.05/768.39	c asymm  cl-useful: 0/1484/2662 lits-rem:0 time: 1.22
3064.05/768.39	c calculated reachability. Time: 0.00
3064.05/768.39	c  N st    82   3212438       125      2662         0     78827     13310   1004658   no data   no data  --
3679.43/922.61	c  N st    83   3712441       125      2662         0     89548     13310   1203437   no data   no data  --
3679.43/922.61	c  S st    83   3712441       125      2662         0     89548     13310   1203437   no data   no data  --
3680.24/922.89	c  S st    83   3712946       125      2662         0     90042     13310   1216781   no data   no data  --
3680.24/922.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3680.24/922.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3680.67/922.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3680.67/922.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3680.67/922.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3680.67/922.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3680.67/922.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3708.13/929.88	c lits-rem:      1633  cl-subs:     2802  v-elim:      0  v-fix:    0  time: 27.53 s
3708.13/929.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3708.13/929.89	c vivif2 --  cl tried    87240 cl shrink        0 lits rem          0 time: 0.06
3709.73/930.23	c asymm  cl-useful: 0/1138/2662 lits-rem:0 time: 1.34
3709.73/930.23	c calculated reachability. Time: 0.00
3709.73/930.23	c  N st    83   3712946       125      2662         0     87240     13310   1148470   no data   no data  --
3751.20/940.60	c  F st    84   3751564       125      2662         0    123249     13310   2084791   no data   no data  --
3751.20/940.60	c  N st    84   3751564       125      2662         0    123249     13310   2084791   no data   no data  --
3760.37/942.99	c Decided on static restart strategy
3792.28/950.99	c  N st    94   3779867       125      2662         0    149781     13310   2801832   no data   no data  --
3833.79/961.34	c  N st    96   3815862       125      2662         0    104360     13310   1573499   no data   no data  --
3875.25/971.73	c  N st    97   3848255       125      2662         0    134584     13310   2367058   no data   no data  --
3943.88/988.94	c  N st    98   3896845       125      2662         0     99876     13310   1447469   no data   no data  --
4051.52/1015.93	c  N st    99   3969727       125      2662         0     86701     13310   1074608   no data   no data  --
4194.29/1051.72	c  N st   100   4079053       125      2662         0    106462     13310   1580195   no data   no data  --
4396.10/1102.36	c  N st   101   4212946       125      2662         0    148237     13310   2618569   no data   no data  --
4396.10/1102.36	c  S st   101   4212946       125      2662         0    148237     13310   2618569   no data   no data  --
4398.10/1102.83	c  S st   101   4213449       125      2662         0    148721     13310   2631441   no data   no data  --
4398.10/1102.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4398.10/1102.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4398.50/1102.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.31
4398.90/1103.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4398.90/1103.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4398.90/1103.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4398.90/1103.00	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-3369049-1305410858/watcher-3369049-1305410858 -o /tmp/evaluation-result-3369049-1305410858/solver-3369049-1305410858 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369049-1305410858.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: 0.39 0.08 0.08 5/369 6006
/proc/meminfo: memFree=18220864/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 731316513 52465664 352 33554432000 4194304 4650419 140735618327072 18446744073709551615 47395987593138 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 12809 352 303 112 0 7774 0
[pid=6006/tid=6007] ppid=6004 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 731316514 52465664 352 33554432000 4194304 4650419 140735618327072 18446744073709551615 47395987593138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 4 0 731316514 52465664 352 33554432000 4194304 4650419 140735618327072 18446744073709551615 47395987593138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 731316514 52465664 352 33554432000 4194304 4650419 140735618327072 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0300359 s]
/proc/loadavg: 0.39 0.08 0.08 5/369 6006
/proc/meminfo: memFree=18220864/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=282748 CPUtime=0.09 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 1453 0 0 0 9 0 0 0 24 0 4 0 731316513 289533952 1288 33554432000 4194304 4650419 140735618327072 18446744073709551615 4542382 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 70687 1288 386 112 0 65652 0
[pid=6006/tid=6007] ppid=6004 vsize=282748 CPUtime=0.02 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 288 0 0 0 2 0 0 0 24 0 4 0 731316514 289533952 1288 33554432000 4194304 4650419 140735618327072 18446744073709551615 4541826 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=282748 CPUtime=0.02 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 291 0 0 0 2 0 0 0 24 0 4 0 731316514 289533952 1288 33554432000 4194304 4650419 140735618327072 18446744073709551615 4263627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=282748 CPUtime=0.01 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 163 0 0 0 1 0 0 0 25 0 4 0 731316514 289533952 1288 33554432000 4194304 4650419 140735618327072 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 282748

[startup+0.101025 s]
/proc/loadavg: 0.39 0.08 0.08 5/369 6006
/proc/meminfo: memFree=18220864/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=282748 CPUtime=0.37 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 1843 0 0 0 37 0 0 0 24 0 4 0 731316513 289533952 1678 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 70687 1679 389 112 0 65652 0
[pid=6006/tid=6007] ppid=6004 vsize=282748 CPUtime=0.09 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 381 0 0 0 9 0 0 0 24 0 4 0 731316514 289533952 1679 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=282748 CPUtime=0.09 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 402 0 0 0 9 0 0 0 24 0 4 0 731316514 289533952 1679 33554432000 4194304 4650419 140735618327072 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=282748 CPUtime=0.08 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 256 0 0 0 8 0 0 0 25 0 4 0 731316514 289533952 1679 33554432000 4194304 4650419 140735618327072 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282748

[startup+0.300991 s]
/proc/loadavg: 0.39 0.08 0.08 5/369 6006
/proc/meminfo: memFree=18220864/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=284164 CPUtime=1.18 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 3142 0 0 0 117 1 0 0 25 0 4 0 731316513 290983936 2356 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 71041 2356 391 112 0 66006 0
[pid=6006/tid=6007] ppid=6004 vsize=284164 CPUtime=0.29 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 672 0 0 0 29 0 0 0 25 0 4 0 731316514 290983936 2356 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=284164 CPUtime=0.29 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 740 0 0 0 29 0 0 0 25 0 4 0 731316514 290983936 2356 33554432000 4194304 4650419 140735618327072 18446744073709551615 4363637 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=284164 CPUtime=0.28 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 584 0 0 0 28 0 0 0 25 0 4 0 731316514 290983936 2357 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284164

[startup+0.700925 s]
/proc/loadavg: 0.39 0.08 0.08 5/369 6006
/proc/meminfo: memFree=18220864/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=285916 CPUtime=2.77 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 5669 0 0 0 276 1 0 0 25 0 4 0 731316513 292777984 2751 33554432000 4194304 4650419 140735618327072 18446744073709551615 4311310 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 71479 2751 391 112 0 66444 0
[pid=6006/tid=6007] ppid=6004 vsize=285916 CPUtime=0.69 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 1316 0 0 0 69 0 0 0 25 0 4 0 731316514 292777984 2751 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=285916 CPUtime=0.69 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 1364 0 0 0 69 0 0 0 25 0 4 0 731316514 292777984 2751 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=285916 CPUtime=0.68 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 1209 0 0 0 68 0 0 0 25 0 4 0 731316514 292777984 2751 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285916

[startup+1.50079 s]
/proc/loadavg: 0.39 0.08 0.08 9/373 6010
/proc/meminfo: memFree=18205216/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=301884 CPUtime=5.96 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 11450 0 0 0 594 2 0 0 25 0 4 0 731316513 309129216 6314 33554432000 4194304 4650419 140735618327072 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 75471 6314 393 112 0 70436 0
[pid=6006/tid=6007] ppid=6004 vsize=301884 CPUtime=1.48 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 3359 0 0 0 148 0 0 0 25 0 4 0 731316514 309129216 6314 33554432000 4194304 4650419 140735618327072 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=301884 CPUtime=1.49 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 2322 0 0 0 149 0 0 0 25 0 4 0 731316514 309129216 6314 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=301884 CPUtime=1.46 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 2059 0 0 0 146 0 0 0 25 0 4 0 731316514 309129216 6314 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 301884

[startup+3.10053 s]
/proc/loadavg: 1.00 0.21 0.13 9/373 6010
/proc/meminfo: memFree=18177192/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=313100 CPUtime=12.34 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 17903 0 0 0 1231 3 0 0 25 0 4 0 731316513 320614400 11738 33554432000 4194304 4650419 140735618327072 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 78275 11738 393 112 0 73240 0
[pid=6006/tid=6007] ppid=6004 vsize=313100 CPUtime=3.09 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 4067 0 0 0 308 1 0 0 25 0 4 0 731316514 320614400 11738 33554432000 4194304 4650419 140735618327072 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=313100 CPUtime=3.08 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 4397 0 0 0 308 0 0 0 25 0 4 0 731316514 320614400 11738 33554432000 4194304 4650419 140735618327072 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=313100 CPUtime=3.05 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 4120 0 0 0 305 0 0 0 25 0 4 0 731316514 320614400 11738 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 313100

[startup+6.301 s]
/proc/loadavg: 1.00 0.21 0.13 9/373 6010
/proc/meminfo: memFree=18142988/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=322040 CPUtime=25.11 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 26476 0 0 0 2506 5 0 0 25 0 4 0 731316513 329768960 15299 33554432000 4194304 4650419 140735618327072 18446744073709551615 4438671 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 80510 15299 393 112 0 75475 0
[pid=6006/tid=6007] ppid=6004 vsize=322040 CPUtime=6.29 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 6889 0 0 0 628 1 0 0 25 0 4 0 731316514 329768960 15299 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=322040 CPUtime=6.29 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 7158 0 0 0 628 1 0 0 25 0 4 0 731316514 329768960 15299 33554432000 4194304 4650419 140735618327072 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=322040 CPUtime=6.21 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 5454 0 0 0 621 0 0 0 25 0 4 0 731316514 329768960 15299 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 322040

[startup+12.7009 s]
/proc/loadavg: 2.08 0.47 0.21 9/373 6010
/proc/meminfo: memFree=18096316/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=332000 CPUtime=50.63 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 39870 0 0 0 5055 8 0 0 25 0 4 0 731316513 339968000 19969 33554432000 4194304 4650419 140735618327072 18446744073709551615 4355007 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 83000 19969 393 112 0 77965 0
[pid=6006/tid=6007] ppid=6004 vsize=332000 CPUtime=12.69 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 10653 0 0 0 1267 2 0 0 25 0 4 0 731316514 339968000 19969 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=332000 CPUtime=12.69 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 11102 0 0 0 1267 2 0 0 25 0 4 0 731316514 339968000 19969 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=332000 CPUtime=12.53 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 8003 0 0 0 1252 1 0 0 25 0 4 0 731316514 339968000 19969 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 332000

[startup+25.5008 s]
/proc/loadavg: 2.99 0.72 0.29 9/373 6010
/proc/meminfo: memFree=18062336/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=304592 CPUtime=101.67 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 59698 0 0 0 10155 12 0 0 25 0 4 0 731316513 311902208 25669 33554432000 4194304 4650419 140735618327072 18446744073709551615 4367824 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 76148 25669 393 112 0 71113 0
[pid=6006/tid=6007] ppid=6004 vsize=304592 CPUtime=25.48 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 16861 0 0 0 2545 3 0 0 25 0 4 0 731316514 311902208 25669 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=304592 CPUtime=25.48 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 17492 0 0 0 2545 3 0 0 25 0 4 0 731316514 311902208 25669 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=304592 CPUtime=25.17 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 10780 0 0 0 2516 1 0 0 25 0 4 0 731316514 311902208 25669 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 304592

[startup+51.1005 s]
/proc/loadavg: 4.70 1.30 0.50 9/373 6012
/proc/meminfo: memFree=18013140/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=348012 CPUtime=203.77 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 89287 0 0 0 20357 20 0 0 25 0 4 0 731316513 356364288 33350 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 87003 33350 393 112 0 81968 0
[pid=6006/tid=6007] ppid=6004 vsize=348012 CPUtime=51.09 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 25585 0 0 0 5104 5 0 0 25 0 4 0 731316514 356364288 33350 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=348012 CPUtime=51.08 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 26669 0 0 0 5103 5 0 0 25 0 4 0 731316514 356364288 33350 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=348012 CPUtime=50.48 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 14417 0 0 0 5045 3 0 0 25 0 4 0 731316514 356364288 33350 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 348012

[startup+102.314 s]
/proc/loadavg: 6.80 2.46 0.94 9/373 6012
/proc/meminfo: memFree=17942304/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=356268 CPUtime=408.01 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 141979 0 0 0 40766 35 0 0 25 0 4 0 731316513 364818432 42711 33554432000 4194304 4650419 140735618327072 18446744073709551615 4434310 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 89067 42711 393 112 0 84032 0
[pid=6006/tid=6007] ppid=6004 vsize=356268 CPUtime=102.3 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 42610 0 0 0 10220 10 0 0 25 0 4 0 731316514 364818432 42711 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=356268 CPUtime=102.3 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 40764 0 0 0 10220 10 0 0 25 0 4 0 731316514 364818432 42711 33554432000 4194304 4650419 140735618327072 18446744073709551615 4360439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=356268 CPUtime=101.08 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 21729 0 0 0 10103 5 0 0 25 0 4 0 731316514 364818432 42711 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.01
Current children cumulated vsize (KiB) 356268

[startup+162.301 s]

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

[pid=6006] ppid=6004 vsize=640308 CPUtime=2561.56 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 443372 0 0 0 255992 164 0 0 25 0 4 0 731316513 655675392 98445 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 160077 98445 393 112 0 155042 0
[pid=6006/tid=6007] ppid=6004 vsize=640308 CPUtime=642.31 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 133835 0 0 0 64186 45 0 0 25 0 4 0 731316514 655675392 98446 33554432000 4194304 4650419 140735618327072 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=640308 CPUtime=642.31 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 134625 0 0 0 64178 53 0 0 25 0 4 0 731316514 655675392 98446 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=640308 CPUtime=634.63 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 53200 0 0 0 63442 21 0 0 25 0 4 0 731316514 655675392 98446 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.56
Current children cumulated vsize (KiB) 640308

[startup+702.301 s]
/proc/loadavg: 8.11 7.35 4.34 9/373 6028
/proc/meminfo: memFree=17484508/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=574876 CPUtime=2800.83 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 463665 0 0 0 279906 177 0 0 25 0 4 0 731316513 588673024 100690 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 143719 100690 393 112 0 138684 0
[pid=6006/tid=6007] ppid=6004 vsize=574876 CPUtime=702.29 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 136540 0 0 0 70183 46 0 0 25 0 4 0 731316514 588673024 100690 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=574876 CPUtime=702.29 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 142272 0 0 0 70172 57 0 0 25 0 4 0 731316514 588673024 100690 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=574876 CPUtime=693.91 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 54271 0 0 0 69369 22 0 0 25 0 4 0 731316514 588673024 100690 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.83
Current children cumulated vsize (KiB) 574876

[startup+762.314 s]
/proc/loadavg: 8.04 7.47 4.56 9/373 6030
/proc/meminfo: memFree=17452980/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=628816 CPUtime=3040.16 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 482083 0 0 0 303829 187 0 0 25 0 4 0 731316513 643907584 104054 33554432000 4194304 4650419 140735618327072 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 157204 104054 393 112 0 152169 0
[pid=6006/tid=6007] ppid=6004 vsize=628816 CPUtime=762.31 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 138386 0 0 0 76184 47 0 0 25 0 4 0 731316514 643907584 104054 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=628816 CPUtime=762.31 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 149161 0 0 0 76170 61 0 0 25 0 4 0 731316514 643907584 104054 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=628816 CPUtime=753.2 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 55069 0 0 0 75298 22 0 0 25 0 4 0 731316514 643907584 104054 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.16
Current children cumulated vsize (KiB) 628816

[startup+822.301 s]
/proc/loadavg: 8.10 7.58 4.77 9/373 6032
/proc/meminfo: memFree=17467328/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=579396 CPUtime=3279.4 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 499220 0 0 0 327746 194 0 0 25 0 4 0 731316513 593301504 101415 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 144849 101415 393 112 0 139814 0
[pid=6006/tid=6007] ppid=6004 vsize=579396 CPUtime=822.3 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 142509 0 0 0 82181 49 0 0 25 0 4 0 731316514 593301504 101415 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=579396 CPUtime=822.3 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 152271 0 0 0 82168 62 0 0 25 0 4 0 731316514 593301504 101415 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=579396 CPUtime=812.48 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 58354 0 0 0 81224 24 0 0 25 0 4 0 731316514 593301504 101415 33554432000 4194304 4650419 140735618327072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.4
Current children cumulated vsize (KiB) 579396

[startup+882.301 s]
/proc/loadavg: 8.15 7.69 5.00 9/373 6034
/proc/meminfo: memFree=17467672/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=592104 CPUtime=3518.69 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 529209 0 0 0 351661 208 0 0 25 0 4 0 731316513 606314496 106517 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 148026 106517 393 112 0 142991 0
[pid=6006/tid=6007] ppid=6004 vsize=592104 CPUtime=882.3 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 152453 0 0 0 88178 52 0 0 25 0 4 0 731316514 606314496 106517 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=592104 CPUtime=882.3 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 161614 0 0 0 88163 67 0 0 25 0 4 0 731316514 606314496 106517 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=592104 CPUtime=871.77 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 60897 0 0 0 87151 26 0 0 25 0 4 0 731316514 606314496 106517 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.69
Current children cumulated vsize (KiB) 592104

[startup+942.301 s]
/proc/loadavg: 8.10 7.76 5.17 9/373 6036
/proc/meminfo: memFree=17479304/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=566868 CPUtime=3757.99 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 554592 0 0 0 375578 221 0 0 25 0 4 0 731316513 580472832 101497 33554432000 4194304 4650419 140735618327072 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 141717 101497 393 112 0 136682 0
[pid=6006/tid=6007] ppid=6004 vsize=566868 CPUtime=942.3 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 160380 0 0 0 94173 57 0 0 25 0 4 0 731316514 580472832 101497 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=566868 CPUtime=942.29 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 169349 0 0 0 94159 70 0 0 25 0 4 0 731316514 580472832 101497 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=566868 CPUtime=931.06 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 63491 0 0 0 93079 27 0 0 25 0 4 0 731316514 580472832 101497 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.99
Current children cumulated vsize (KiB) 566868

[startup+1002.3 s]
/proc/loadavg: 8.13 7.83 5.37 9/373 6036
/proc/meminfo: memFree=17386284/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=657484 CPUtime=3997.28 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 579707 0 0 0 399493 235 0 0 25 0 4 0 731316513 673263616 114297 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 164371 114297 393 112 0 159336 0
[pid=6006/tid=6007] ppid=6004 vsize=657484 CPUtime=1002.3 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 167853 0 0 0 100169 61 0 0 25 0 4 0 731316514 673263616 114297 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=657484 CPUtime=1002.29 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 174543 0 0 0 100156 73 0 0 25 0 4 0 731316514 673263616 114297 33554432000 4194304 4650419 140735618327072 18446744073709551615 4313764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=657484 CPUtime=990.35 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 68696 0 0 0 99005 30 0 0 25 0 4 0 731316514 673263616 114297 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.28
Current children cumulated vsize (KiB) 657484

[startup+1062.3 s]
/proc/loadavg: 8.15 7.89 5.53 9/373 6038
/proc/meminfo: memFree=17378684/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=594732 CPUtime=4236.58 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 597318 0 0 0 423413 245 0 0 25 0 4 0 731316513 609005568 106571 33554432000 4194304 4650419 140735618327072 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 148683 106571 393 112 0 143648 0
[pid=6006/tid=6007] ppid=6004 vsize=594732 CPUtime=1062.31 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 171923 0 0 0 106168 63 0 0 25 0 4 0 731316514 609005568 106571 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=594732 CPUtime=1062.3 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 179117 0 0 0 106153 77 0 0 25 0 4 0 731316514 609005568 106571 33554432000 4194304 4650419 140735618327072 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=594732 CPUtime=1049.65 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 70566 0 0 0 104934 31 0 0 25 0 4 0 731316514 609005568 106571 33554432000 4194304 4650419 140735618327072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.58
Current children cumulated vsize (KiB) 594732

[startup+1122.3 s]
/proc/loadavg: 8.13 7.94 5.70 9/373 6040
/proc/meminfo: memFree=17325348/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=601056 CPUtime=4475.86 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 615938 0 0 0 447333 253 0 0 25 0 4 0 731316513 615481344 113497 33554432000 4194304 4650419 140735618327072 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 150264 113497 393 112 0 145229 0
[pid=6006/tid=6007] ppid=6004 vsize=601056 CPUtime=1122.31 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 177173 0 0 0 112165 66 0 0 25 0 4 0 731316514 615481344 113497 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=601056 CPUtime=1122.29 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 186173 0 0 0 112150 79 0 0 25 0 4 0 731316514 615481344 113497 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=601056 CPUtime=1108.92 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 72211 0 0 0 110861 31 0 0 25 0 4 0 731316514 615481344 113497 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.86
Current children cumulated vsize (KiB) 601056

[startup+1182.3 s]
/proc/loadavg: 8.05 7.94 5.83 9/373 6042
/proc/meminfo: memFree=17273004/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=679244 CPUtime=4715.12 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 632127 0 0 0 471252 260 0 0 25 0 4 0 731316513 695545856 125825 33554432000 4194304 4650419 140735618327072 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 169811 125825 393 112 0 164776 0
[pid=6006/tid=6007] ppid=6004 vsize=679244 CPUtime=1182.3 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 185645 0 0 0 118163 67 0 0 25 0 4 0 731316514 695545856 125825 33554432000 4194304 4650419 140735618327072 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=679244 CPUtime=1182.29 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 190537 0 0 0 118147 82 0 0 25 0 4 0 731316514 695545856 125825 33554432000 4194304 4650419 140735618327072 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=679244 CPUtime=1168.18 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 75564 0 0 0 116785 33 0 0 25 0 4 0 731316514 695545856 125825 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.12
Current children cumulated vsize (KiB) 679244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 7.74 7.88 5.87 10/373 6073
/proc/meminfo: memFree=17712844/32951124 swapFree=45193364/67111528
[pid=6006] ppid=6004 vsize=691904 CPUtime=4800.06 cores=1,3,5,7
/proc/6006/stat : 6006 (strangenight1-m) R 6004 6006 5935 0 -1 4202496 633806 0 0 0 479746 260 0 0 25 0 4 0 731316513 708509696 127504 33554432000 4194304 4650419 140735618327072 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6006/statm: 172976 127504 393 112 0 167941 0
[pid=6006/tid=6007] ppid=6004 vsize=691904 CPUtime=1203.62 cores=1,3,5,7
/proc/6006/task/6007/stat : 6007 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 185645 0 0 0 120295 67 0 0 25 0 4 0 731316514 708509696 127504 33554432000 4194304 4650419 140735618327072 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6006/tid=6008] ppid=6004 vsize=691904 CPUtime=1203.61 cores=1,3,5,7
/proc/6006/task/6008/stat : 6008 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 190537 0 0 0 120279 82 0 0 25 0 4 0 731316514 708509696 127504 33554432000 4194304 4650419 140735618327072 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6006/tid=6009] ppid=6004 vsize=691904 CPUtime=1189.2 cores=1,3,5,7
/proc/6006/task/6009/stat : 6009 (strangenight1-m) R 6004 6006 5935 0 -1 4202560 77243 0 0 0 118886 34 0 0 25 0 4 0 731316514 708509696 127504 33554432000 4194304 4650419 140735618327072 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 691904

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): 1203.64
CPU time (s): 4800.14
CPU user time (s): 4797.51
CPU system time (s): 2.6306
CPU usage (%): 398.801
Max. virtual memory (cumulated for all children) (KiB): 712584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.51
system time used= 2.6306
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633806
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= 399
involuntary context switches= 34332

runsolver used 3.99439 second user time and 10.4304 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-15 00:07:38
IDJOB=3369049
IDBENCH=83058
IDSOLVER=1846
FILE ID=node118/3369049-1305410858
RUNJOBID= node118-1305410849-5954
PBS_JOBID= 13324527
Free space on /tmp= 73044 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369049-1305410858/watcher-3369049-1305410858 -o /tmp/evaluation-result-3369049-1305410858/solver-3369049-1305410858 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369049-1305410858.cnf

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

MD5SUM BENCH= 010b9faa30750ce3440cb9a8110ebefe
RANDOM SEED=1628417270

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18221144 kB
Buffers:        275732 kB
Cached:        4389144 kB
SwapCached:      22084 kB
Active:       11844464 kB
Inactive:      2582416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18221144 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:           12820 kB
Writeback:           0 kB
AnonPages:     9752984 kB
Mapped:          15672 kB
Slab:           148892 kB
PageTables:      90124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88828692 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= 73040 MiB
End job on node118 at 2011-05-15 00:27:44