Trace number 3368835

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.21 1203.44

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf
MD5SUMb936bd7aa1624f527379bba2a9d6f8ed
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-3368835-1305404192.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.02	c Parsing time:  0.00 s
0.00/0.02	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.49/0.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.49/0.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.49/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.49/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.49/0.14	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.49/0.14	c calculated reachability. Time: 0.00
0.49/0.14	c Calc default polars -  time:   0.00 s pos:      59 undec:       6 neg:      60
0.49/0.14	c =========================================================================================
0.49/0.14	c types(t): F = full restart, N = normal restart
0.49/0.14	c types(t): S = simplification begin/end, E = solution found
0.49/0.14	c restart types(rt): st = static, dy = dynamic
0.49/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.49/0.14	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.49/0.14	c Decided on static restart strategy
0.77/0.90	c  N st     8      4914       125      2662         0      4679     13310    122903   no data   no data  --
0.77/0.90	c  N st    10     11298       125      2662         0      4298     13310     86916   no data   no data  --
0.77/0.90	c  N st    11     17046       125      2662         0      9701     13310    223976   no data   no data  --
0.77/0.90	c  F st    12     25000       125      2662         0     11885     13310    279503   no data   no data  --
0.77/0.90	c  N st    12     25000       125      2662         0     11885     13310    279503   no data   no data  --
4.37/1.10	c Decided on static restart strategy
4.37/1.10	c  N st    18     30000       125      2662         0     10171     13310    221246   no data   no data  --
4.37/1.10	c  S st    18     30000       125      2662         0     10171     13310    221246   no data   no data  --
4.37/1.10	c  S st    18     30502       125      2662         0     10659     13310    233909   no data   no data  --
4.37/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.37/1.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.37/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.37/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.37/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.37/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.37/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.37/1.69	c lits-rem:      2261  cl-subs:     1578  v-elim:      0  v-fix:    0  time:  2.39 s
6.80/1.73	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.16
6.80/1.73	c calculated reachability. Time: 0.00
6.80/1.73	c  N st    18     30502       125      2662         0      9081     13310    190070   no data   no data  --
7.96/2.05	c  N st    20     37613       125      2662         0      8423     13310    163161   no data   no data  --
9.16/2.33	c  N st    21     44013       125      2662         0     14468     13310    325499   no data   no data  --
9.56/2.45	c  S st    22     45756       125      2662         0     16103     13310    368381   no data   no data  --
9.56/2.49	c  S st    22     46259       125      2662         0     16600     13310    381514   no data   no data  --
9.56/2.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.56/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.96/2.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.96/2.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.75/3.76	c lits-rem:      4303  cl-subs:     1438  v-elim:      0  v-fix:    0  time:  5.00 s
14.75/3.76	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
14.75/3.76	c vivif2 --  cl tried    15162 cl shrink        0 lits rem          0 time: 0.02
15.15/3.84	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
15.15/3.84	c calculated reachability. Time: 0.00
15.15/3.84	c  N st    22     46259       125      2662         0     15162     13310    336245   no data   no data  --
18.34/4.64	c  N st    23     60657       125      2662         0     10872     13310    193885   no data   no data  --
20.37/5.12	c  N st    24     69388       125      2662         0     19047     13310    409885   no data   no data  --
20.37/5.12	c  S st    24     69388       125      2662         0     19047     13310    409885   no data   no data  --
20.37/5.16	c  S st    24     69892       125      2662         0     19536     13310    422339   no data   no data  --
20.37/5.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.37/5.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.37/5.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.37/5.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.37/5.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.37/5.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.37/5.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.71/6.71	c lits-rem:      5584  cl-subs:     2156  v-elim:      0  v-fix:    0  time:  6.11 s
26.71/6.71	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.71/6.72	c vivif2 --  cl tried    17380 cl shrink        0 lits rem          0 time: 0.02
27.11/6.80	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.35
27.11/6.80	c calculated reachability. Time: 0.00
27.11/6.80	c  N st    24     69892       125      2662         0     17380     13310    359402   no data   no data  --
31.50/7.93	c  F st    25     87500       125      2662         0     12556     13310    216820   no data   no data  --
31.50/7.93	c  N st    25     87500       125      2662         0     12556     13310    216820   no data   no data  --
32.70/8.24	c Decided on static restart strategy
33.54/8.44	c  N st    32     95541       125      2662         0     20130     13310    415169   no data   no data  --
36.28/9.14	c  N st    34    104838       125      2662         0     16651     13310    316811   no data   no data  --
36.28/9.14	c  S st    34    104838       125      2662         0     16651     13310    316811   no data   no data  --
36.28/9.19	c  S st    34    105341       125      2662         0     17144     13310    329790   no data   no data  --
36.28/9.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.28/9.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.68/9.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.68/9.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.68/9.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.68/9.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.68/9.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.08/10.38	c lits-rem:      1950  cl-subs:     1167  v-elim:      0  v-fix:    0  time:  4.66 s
41.08/10.38	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.08/10.38	c vivif2 --  cl tried    15977 cl shrink        0 lits rem          0 time: 0.01
41.48/10.45	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
41.48/10.45	c calculated reachability. Time: 0.00
41.48/10.45	c  N st    34    105341       125      2662         0     15977     13310    295877   no data   no data  --
44.66/11.26	c  N st    35    114940       125      2662         0     24943     13310    530120   no data   no data  --
48.65/12.28	c  N st    36    129338       125      2662         0     25407     13310    539130   no data   no data  --
55.82/14.09	c  N st    37    150935       125      2662         0     16504     13310    262902   no data   no data  --
57.82/14.58	c  S st    38    158011       125      2662         0     23137     13310    440494   no data   no data  --
58.22/14.63	c  S st    38    158517       125      2662         0     23626     13310    453596   no data   no data  --
58.22/14.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.22/14.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.22/14.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
58.22/14.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.22/14.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.22/14.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
58.22/14.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
64.60/16.29	c lits-rem:      3774  cl-subs:     1725  v-elim:      0  v-fix:    0  time:  6.53 s
64.60/16.29	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
65.00/16.30	c vivif2 --  cl tried    21901 cl shrink        0 lits rem          0 time: 0.02
65.40/16.42	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.49
65.40/16.42	c calculated reachability. Time: 0.00
65.40/16.42	c  N st    38    158517       125      2662         0     21901     13310    402809   no data   no data  --
81.80/20.54	c  N st    39    207106       125      2662         0     34818     13310    725354   no data   no data  --
91.73/23.04	c  N st    40    237776       125      2662         0     27014     13310    504740   no data   no data  --
91.73/23.04	c  S st    40    237776       125      2662         0     27014     13310    504740   no data   no data  --
92.13/23.10	c  S st    40    238279       125      2662         0     27504     13310    517300   no data   no data  --
92.13/23.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
92.13/23.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.13/23.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
92.13/23.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.13/23.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.13/23.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
92.13/23.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.94/24.83	c lits-rem:      3718  cl-subs:     1850  v-elim:      0  v-fix:    0  time:  6.80 s
98.94/24.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.94/24.84	c vivif2 --  cl tried    25654 cl shrink        0 lits rem          0 time: 0.02
99.35/24.96	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.48
99.35/24.96	c calculated reachability. Time: 0.00
99.35/24.96	c  N st    40    238279       125      2662         0     25654     13310    462216   no data   no data  --
124.84/31.35	c  F st    41    306251       125      2662         0     27413     13310    454056   no data   no data  --
124.84/31.35	c  N st    41    306251       125      2662         0     27413     13310    454056   no data   no data  --
126.82/31.82	c Decided on static restart strategy
135.61/34.02	c  N st    51    334562       125      2662         0     31569     13310    547498   no data   no data  --
145.58/36.59	c  N st    53    357418       125      2662         0     29508     13310    474361   no data   no data  --
145.58/36.59	c  S st    53    357418       125      2662         0     29508     13310    474361   no data   no data  --
145.98/36.66	c  S st    53    357918       125      2662         0     29996     13310    487229   no data   no data  --
145.98/36.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.98/36.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.98/36.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
145.98/36.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.98/36.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.98/36.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
145.98/36.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
151.60/38.03	c lits-rem:      3035  cl-subs:     1542  v-elim:      0  v-fix:    0  time:  5.36 s
151.60/38.03	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
151.60/38.03	c vivif2 --  cl tried    28454 cl shrink        0 lits rem          0 time: 0.02
152.00/38.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.54
152.00/38.17	c calculated reachability. Time: 0.00
152.00/38.17	c  N st    53    357918       125      2662         0     28454     13310    444012   no data   no data  --
167.92/42.10	c  N st    54    390310       125      2662         0     34426     13310    593662   no data   no data  --
191.84/48.15	c  N st    55    438898       125      2662         0     28435     13310    413510   no data   no data  --
227.75/57.15	c  N st    56    511780       125      2662         0     41418     13310    733908   no data   no data  --
238.92/59.91	c  N st    57    536877       125      2662         0     35971     13310    556833   no data   no data  --
238.92/59.91	c  S st    57    536877       125      2662         0     35971     13310    556833   no data   no data  --
238.92/60.00	c  S st    57    537379       125      2662         0     36463     13310    569982   no data   no data  --
238.92/60.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
238.92/60.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
239.35/60.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.03
239.35/60.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.35/60.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.35/60.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
239.35/60.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.50/61.88	c lits-rem:      1666  cl-subs:     1533  v-elim:      0  v-fix:    0  time:  7.40 s
246.50/61.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
246.50/61.89	c vivif2 --  cl tried    34930 cl shrink        0 lits rem          0 time: 0.03
247.30/62.07	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.73
247.30/62.08	c calculated reachability. Time: 0.00
247.30/62.08	c  N st    57    537379       125      2662         0     34930     13310    529105   no data   no data  --
333.86/83.76	c  N st    58    701364       125      2662         0     62883     13310   1226513   no data   no data  --
402.11/100.88	c  N st    59    806069       125      2662         0     56932     13310    995365   no data   no data  --
402.11/100.88	c  S st    59    806069       125      2662         0     56932     13310    995365   no data   no data  --
402.86/101.05	c  S st    59    806570       125      2662         0     57423     13310   1008309   no data   no data  --
402.86/101.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
402.86/101.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
402.86/101.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
403.26/101.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
403.26/101.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
403.26/101.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
403.26/101.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.22/106.13	c lits-rem:      1653  cl-subs:     5156  v-elim:      0  v-fix:    0  time: 20.01 s
423.22/106.13	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
423.22/106.14	c vivif2 --  cl tried    52267 cl shrink        0 lits rem          0 time: 0.04
424.05/106.40	c asymm  cl-useful: 0/2113/2662 lits-rem:0 time: 1.02
424.40/106.40	c calculated reachability. Time: 0.00
424.40/106.40	c  N st    59    806570       125      2662         0     52267     13310    883482   no data   no data  --
593.14/148.78	c  F st    60   1071875       125      2662         0     67564     13310   1208985   no data   no data  --
593.14/148.78	c  N st    60   1071875       125      2662         0     67564     13310   1208985   no data   no data  --
597.93/149.92	c Decided on static restart strategy
615.08/154.26	c  N st    70   1100181       125      2662         0     52213     13310    779517   no data   no data  --
643.80/161.42	c  N st    72   1136173       125      2662         0     42828     13310    521889   no data   no data  --
666.54/167.13	c  N st    73   1168565       125      2662         0     72849     13310   1272711   no data   no data  --
695.27/174.30	c  N st    74   1209857       125      2662         0     67703     13310   1153801   no data   no data  --
695.27/174.30	c  S st    74   1209857       125      2662         0     67703     13310   1153801   no data   no data  --
695.70/174.49	c  S st    74   1210359       125      2662         0     68186     13310   1166908   no data   no data  --
695.70/174.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
695.70/174.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
696.10/174.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
696.10/174.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
696.10/174.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
696.10/174.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
696.10/174.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
741.53/185.98	c lits-rem:      3068  cl-subs:     6002  v-elim:      0  v-fix:    0  time: 45.57 s
741.53/185.99	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
741.93/186.00	c vivif2 --  cl tried    62184 cl shrink        0 lits rem          0 time: 0.06
742.33/186.15	c asymm  cl-useful: 0/549/2662 lits-rem:0 time: 0.60
742.33/186.15	c calculated reachability. Time: 0.00
742.33/186.15	c  N st    74   1210359       125      2662         0     62184     13310   1015441   no data   no data  --
807.34/202.47	c  N st    75   1283243       125      2662         0     86025     13310   1648982   no data   no data  --
916.62/229.87	c  N st    76   1392568       125      2662         0     47992     13310    579646   no data   no data  --
1055.89/264.78	c  N st    77   1556552       125      2662         0     52668     13310    655058   no data   no data  --
1189.87/298.35	c  N st    78   1710360       125      2662         0     92260     13310   1665559   no data   no data  --
1189.87/298.35	c  S st    78   1710360       125      2662         0     92260     13310   1665559   no data   no data  --
1191.50/298.72	c  S st    78   1710861       125      2662         0     92746     13310   1678331   no data   no data  --
1191.50/298.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1191.50/298.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1191.50/298.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
1191.91/298.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1191.91/298.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1191.91/298.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1191.91/298.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1341.07/336.22	c lits-rem:      2580  cl-subs:    10458  v-elim:      0  v-fix:    0  time: 149.00 s
1341.07/336.22	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1341.07/336.24	c vivif2 --  cl tried    82288 cl shrink        0 lits rem          0 time: 0.08
1342.62/336.63	c asymm  cl-useful: 0/1455/2662 lits-rem:0 time: 1.58
1342.62/336.64	c calculated reachability. Time: 0.00
1342.62/336.64	c  N st    78   1710861       125      2662         0     82288     13310   1416872   no data   no data  --
1691.26/424.07	c  N st    79   2079825       125      2662         0     93749     13310   1593101   no data   no data  --
1806.18/452.81	c  N st    80   2210863       125      2662         0     97917     13310   1699703   no data   no data  --
1806.18/452.81	c  S st    80   2210863       125      2662         0     97917     13310   1699703   no data   no data  --
1807.34/453.11	c  S st    80   2211365       125      2662         0     98406     13310   1712966   no data   no data  --
1807.34/453.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1807.34/453.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1807.34/453.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1807.73/453.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1807.73/453.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1807.73/453.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1807.73/453.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1928.18/483.42	c lits-rem:      7445  cl-subs:     8847  v-elim:      0  v-fix:    0  time: 120.42 s
1928.18/483.42	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1928.18/483.44	c vivif2 --  cl tried    89559 cl shrink        0 lits rem          0 time: 0.09
1930.17/483.92	c asymm  cl-useful: 0/1099/2662 lits-rem:0 time: 1.87
1930.17/483.92	c calculated reachability. Time: 0.00
1930.17/483.92	c  N st    80   2211365       125      2662         0     89559     13310   1486978   no data   no data  --
2471.08/619.52	c  N st    81   2711365       125      2662         0    112702     13310   2032518   no data   no data  --
2471.08/619.52	c  S st    81   2711365       125      2662         0    112702     13310   2032518   no data   no data  --
2472.28/619.91	c  S st    81   2711870       125      2662         0    113189     13310   2045409   no data   no data  --
2472.71/619.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2472.71/619.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2472.71/619.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2473.12/620.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2473.12/620.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2473.12/620.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2473.12/620.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2665.31/668.24	c lits-rem:      4931  cl-subs:    10460  v-elim:      0  v-fix:    0  time: 192.19 s
2665.31/668.24	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2665.31/668.26	c vivif2 --  cl tried   102729 cl shrink        0 lits rem          0 time: 0.10
2667.29/668.70	c asymm  cl-useful: 0/1154/2662 lits-rem:0 time: 1.74
2667.29/668.70	c calculated reachability. Time: 0.00
2667.29/668.70	c  N st    81   2711870       125      2662         0    102729     13310   1778706   no data   no data  --
3206.19/803.86	c  N st    82   3211871       125      2662         0     79771     13310   1035160   no data   no data  --
3206.19/803.86	c  S st    82   3211871       125      2662         0     79771     13310   1035160   no data   no data  --
3207.39/804.16	c  S st    82   3212378       125      2662         0     80263     13310   1048397   no data   no data  --
3207.39/804.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3207.39/804.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3207.79/804.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
3207.79/804.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3207.79/804.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3207.79/804.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3207.79/804.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3251.26/815.19	c lits-rem:      2924  cl-subs:     1629  v-elim:      0  v-fix:    0  time: 43.59 s
3251.26/815.19	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3251.66/815.20	c vivif2 --  cl tried    78634 cl shrink        0 lits rem          0 time: 0.06
3253.26/815.63	c asymm  cl-useful: 0/1314/2662 lits-rem:0 time: 1.71
3253.26/815.63	c calculated reachability. Time: 0.00
3253.26/815.63	c  N st    82   3212378       125      2662         0     78634     13310   1003896   no data   no data  --
3859.20/967.58	c  N st    83   3712379       125      2662         0     89139     13310   1188623   no data   no data  --
3859.20/967.58	c  S st    83   3712379       125      2662         0     89139     13310   1188623   no data   no data  --
3860.36/967.84	c  S st    83   3712881       125      2662         0     89623     13310   1201416   no data   no data  --
3860.36/967.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3860.36/967.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3860.36/967.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3860.77/967.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3860.77/967.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3860.77/967.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3860.77/967.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3897.86/977.23	c lits-rem:       892  cl-subs:     2907  v-elim:      0  v-fix:    0  time: 37.10 s
3897.86/977.23	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3897.86/977.25	c vivif2 --  cl tried    86716 cl shrink        0 lits rem          0 time: 0.07
3899.45/977.64	c asymm  cl-useful: 0/1392/2662 lits-rem:0 time: 1.55
3899.45/977.64	c calculated reachability. Time: 0.00
3899.45/977.64	c  N st    83   3712881       125      2662         0     86716     13310   1130750   no data   no data  --
3948.12/989.84	c  F st    84   3751562       125      2662         0    122676     13310   2067222   no data   no data  --
3948.12/989.84	c  N st    84   3751562       125      2662         0    122676     13310   2067222   no data   no data  --
3957.69/992.27	c Decided on static restart strategy
4000.02/1002.82	c  N st    94   3779868       125      2662         0    149229     13310   2776701   no data   no data  --
4049.82/1015.35	c  N st    96   3815861       125      2662         0    103917     13310   1583162   no data   no data  --
4101.28/1028.30	c  N st    97   3848253       125      2662         0    133888     13310   2344871   no data   no data  --
4166.34/1044.59	c  N st    98   3896841       125      2662         0     99016     13310   1415065   no data   no data  --
4265.23/1069.30	c  N st    99   3969724       125      2662         0     85914     13310   1056303   no data   no data  --
4399.65/1103.00	c  N st   100   4079047       125      2662         0    106030     13310   1580996   no data   no data  --
4579.21/1148.04	c  N st   101   4212881       125      2662         0    147478     13310   2593268   no data   no data  --
4579.21/1148.04	c  S st   101   4212881       125      2662         0    147478     13310   2593268   no data   no data  --
4581.15/1148.51	c  S st   101   4213384       125      2662         0    147963     13310   2606740   no data   no data  --
4581.15/1148.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4581.15/1148.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4581.55/1148.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4581.55/1148.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4581.55/1148.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4581.55/1148.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4581.55/1148.69	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-3368835-1305404192/watcher-3368835-1305404192 -o /tmp/evaluation-result-3368835-1305404192/solver-3368835-1305404192 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368835-1305404192.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: 4.08 4.44 5.94 6/352 26723
/proc/meminfo: memFree=21527336/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 632835306 52465664 352 33554432000 4194304 4650419 140735514764160 18446744073709551615 47433908377522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 12809 352 303 112 0 7774 0
[pid=26723/tid=26724] ppid=26721 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632835306 52465664 352 33554432000 4194304 4650419 140735514764160 18446744073709551615 47433908377522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632835306 52465664 352 33554432000 4194304 4650419 140735514764160 18446744073709551615 47433908377522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632835306 52465664 352 33554432000 4194304 4650419 140735514764160 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0638 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26723
/proc/meminfo: memFree=21527336/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=282772 CPUtime=0.22 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 1692 0 0 0 22 0 0 0 18 0 4 0 632835306 289558528 1514 33554432000 4194304 4650419 140735514764160 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 70693 1514 388 112 0 65658 0
[pid=26723/tid=26724] ppid=26721 vsize=282772 CPUtime=0.06 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 345 0 0 0 6 0 0 0 18 0 4 0 632835306 289558528 1514 33554432000 4194304 4650419 140735514764160 18446744073709551615 4331879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=282772 CPUtime=0.05 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 366 0 0 0 5 0 0 0 18 0 4 0 632835306 289558528 1514 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=282772 CPUtime=0.04 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 221 0 0 0 4 0 0 0 25 0 4 0 632835306 289558528 1514 33554432000 4194304 4650419 140735514764160 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282772

[startup+0.130571 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26723
/proc/meminfo: memFree=21527336/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=282772 CPUtime=0.49 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 2041 0 0 0 49 0 0 0 18 0 4 0 632835306 289558528 1863 33554432000 4194304 4650419 140735514764160 18446744073709551615 4334234 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 70693 1863 391 112 0 65658 0
[pid=26723/tid=26724] ppid=26721 vsize=282772 CPUtime=0.12 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 433 0 0 0 12 0 0 0 18 0 4 0 632835306 289558528 1863 33554432000 4194304 4650419 140735514764160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=282772 CPUtime=0.12 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 447 0 0 0 12 0 0 0 18 0 4 0 632835306 289558528 1863 33554432000 4194304 4650419 140735514764160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=282772 CPUtime=0.11 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 313 0 0 0 11 0 0 0 25 0 4 0 632835306 289558528 1863 33554432000 4194304 4650419 140735514764160 18446744073709551615 255106811994 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 282772

[startup+1.00464 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26723
/proc/meminfo: memFree=21527336/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=277724 CPUtime=3.98 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 7459 0 0 0 398 0 0 0 19 0 4 0 632835306 284389376 3107 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 69431 3107 392 112 0 64396 0
[pid=26723/tid=26724] ppid=26721 vsize=277724 CPUtime=1 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 1782 0 0 0 100 0 0 0 19 0 4 0 632835306 284389376 3107 33554432000 4194304 4650419 140735514764160 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=277724 CPUtime=0.99 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 1819 0 0 0 99 0 0 0 19 0 4 0 632835306 284389376 3107 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=277724 CPUtime=0.98 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 1617 0 0 0 98 0 0 0 25 0 4 0 632835306 284389376 3107 33554432000 4194304 4650419 140735514764160 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 277724

[startup+1.10062 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26723
/proc/meminfo: memFree=21527336/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=277724 CPUtime=4.37 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 9109 0 0 0 436 1 0 0 19 0 4 0 632835306 284389376 4757 33554432000 4194304 4650419 140735514764160 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 69431 4757 393 112 0 64396 0
[pid=26723/tid=26724] ppid=26721 vsize=277724 CPUtime=1.09 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 1846 0 0 0 109 0 0 0 19 0 4 0 632835306 284389376 4757 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=277724 CPUtime=1.09 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 1882 0 0 0 109 0 0 0 19 0 4 0 632835306 284389376 4757 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=277724 CPUtime=1.08 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 1677 0 0 0 108 0 0 0 25 0 4 0 632835306 284389376 4757 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 277724

[startup+1.50055 s]
/proc/loadavg: 4.08 4.44 5.94 6/352 26723
/proc/meminfo: memFree=21527336/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=278100 CPUtime=5.97 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 11471 0 0 0 596 1 0 0 20 0 4 0 632835306 284774400 6308 33554432000 4194304 4650419 140735514764160 18446744073709551615 4439106 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 69525 6308 393 112 0 64490 0
[pid=26723/tid=26724] ppid=26721 vsize=278100 CPUtime=1.49 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 3387 0 0 0 149 0 0 0 20 0 4 0 632835306 284774400 6308 33554432000 4194304 4650419 140735514764160 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=278100 CPUtime=1.49 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 2311 0 0 0 149 0 0 0 20 0 4 0 632835306 284774400 6308 33554432000 4194304 4650419 140735514764160 18446744073709551615 4328199 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=278100 CPUtime=1.48 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 2069 0 0 0 148 0 0 0 25 0 4 0 632835306 284774400 6308 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 278100

[startup+3.10027 s]
/proc/loadavg: 4.39 4.50 5.95 9/356 26727
/proc/meminfo: memFree=21465444/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=287340 CPUtime=12.34 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 18873 0 0 0 1232 2 0 0 25 0 4 0 632835306 294236160 12187 33554432000 4194304 4650419 140735514764160 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 71835 12187 393 112 0 66800 0
[pid=26723/tid=26724] ppid=26721 vsize=287340 CPUtime=3.09 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 4434 0 0 0 309 0 0 0 25 0 4 0 632835306 294236160 12187 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=287340 CPUtime=3.09 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 4617 0 0 0 309 0 0 0 25 0 4 0 632835306 294236160 12187 33554432000 4194304 4650419 140735514764160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=287340 CPUtime=3.05 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 4307 0 0 0 305 0 0 0 25 0 4 0 632835306 294236160 12187 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366943 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) 287340

[startup+6.30071 s]
/proc/loadavg: 4.39 4.50 5.95 9/356 26727
/proc/meminfo: memFree=21446244/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=292168 CPUtime=25.11 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 28011 0 0 0 2507 4 0 0 25 0 4 0 632835306 299180032 15453 33554432000 4194304 4650419 140735514764160 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 73042 15453 393 112 0 68007 0
[pid=26723/tid=26724] ppid=26721 vsize=292168 CPUtime=6.28 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 6894 0 0 0 628 0 0 0 25 0 4 0 632835306 299180032 15453 33554432000 4194304 4650419 140735514764160 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=292168 CPUtime=6.29 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 7841 0 0 0 628 1 0 0 25 0 4 0 632835306 299180032 15453 33554432000 4194304 4650419 140735514764160 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=292168 CPUtime=6.22 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 5695 0 0 0 622 0 0 0 25 0 4 0 632835306 299180032 15453 33554432000 4194304 4650419 140735514764160 18446744073709551615 4367236 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) 292168

[startup+12.7006 s]
/proc/loadavg: 4.95 4.62 5.97 9/356 26727
/proc/meminfo: memFree=21409324/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=284156 CPUtime=50.68 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 42332 0 0 0 5061 7 0 0 25 0 4 0 632835306 290975744 19770 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 71039 19770 393 112 0 66004 0
[pid=26723/tid=26724] ppid=26721 vsize=284156 CPUtime=12.7 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 11133 0 0 0 1269 1 0 0 25 0 4 0 632835306 290975744 19773 33554432000 4194304 4650419 140735514764160 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=284156 CPUtime=12.7 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 10993 0 0 0 1268 2 0 0 25 0 4 0 632835306 290975744 19773 33554432000 4194304 4650419 140735514764160 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=284156 CPUtime=12.56 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 8885 0 0 0 1255 1 0 0 25 0 4 0 632835306 290975744 19773 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 284156

[startup+25.5003 s]
/proc/loadavg: 5.41 4.73 6.00 9/356 26727
/proc/meminfo: memFree=21360104/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=281652 CPUtime=101.7 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 64007 0 0 0 10157 13 0 0 25 0 4 0 632835306 288411648 26542 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 70413 26543 393 112 0 65378 0
[pid=26723/tid=26724] ppid=26721 vsize=281652 CPUtime=25.49 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 17843 0 0 0 2546 3 0 0 25 0 4 0 632835306 288411648 26543 33554432000 4194304 4650419 140735514764160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=281652 CPUtime=25.48 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 18023 0 0 0 2545 3 0 0 25 0 4 0 632835306 288411648 26543 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=281652 CPUtime=25.21 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 12345 0 0 0 2519 2 0 0 25 0 4 0 632835306 288411648 26543 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 281652

[startup+51.1008 s]
/proc/loadavg: 6.30 4.99 6.05 9/356 26728
/proc/meminfo: memFree=21301208/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=354324 CPUtime=203.82 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 93011 0 0 0 20360 22 0 0 25 0 4 0 632835306 362827776 35178 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 88581 35178 393 112 0 83546 0
[pid=26723/tid=26724] ppid=26721 vsize=354324 CPUtime=51.09 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 25433 0 0 0 5104 5 0 0 25 0 4 0 632835306 362827776 35178 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=354324 CPUtime=51.08 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 28068 0 0 0 5102 6 0 0 25 0 4 0 632835306 362827776 35178 33554432000 4194304 4650419 140735514764160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=354324 CPUtime=50.53 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 16628 0 0 0 5049 4 0 0 25 0 4 0 632835306 362827776 35178 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 354324

[startup+102.301 s]
/proc/loadavg: 7.43 5.52 6.17 9/356 26729
/proc/meminfo: memFree=21251940/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=301552 CPUtime=408.05 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 143036 0 0 0 40765 40 0 0 25 0 4 0 632835306 308789248 41249 33554432000 4194304 4650419 140735514764160 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 75388 41249 393 112 0 70353 0
[pid=26723/tid=26724] ppid=26721 vsize=301552 CPUtime=102.28 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 36537 0 0 0 10219 9 0 0 25 0 4 0 632835306 308789248 41249 33554432000 4194304 4650419 140735514764160 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=301552 CPUtime=102.29 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 43126 0 0 0 10217 12 0 0 25 0 4 0 632835306 308789248 41249 33554432000 4194304 4650419 140735514764160 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=301552 CPUtime=101.16 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 23553 0 0 0 10110 6 0 0 25 0 4 0 632835306 308789248 41249 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 301552

[startup+162.3 s]

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

[pid=26723] ppid=26721 vsize=613332 CPUtime=2801.33 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 483821 0 0 0 279942 191 0 0 25 0 4 0 632835306 628051968 97376 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 153333 97376 393 112 0 148298 0
[pid=26723/tid=26724] ppid=26721 vsize=613332 CPUtime=702.29 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 129896 0 0 0 70181 48 0 0 25 0 4 0 632835306 628051968 97376 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=613332 CPUtime=702.3 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 143066 0 0 0 70170 60 0 0 25 0 4 0 632835306 628051968 97376 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=613332 CPUtime=694.4 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 72871 0 0 0 69410 30 0 0 25 0 4 0 632835306 628051968 97376 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.33
Current children cumulated vsize (KiB) 613332

[startup+762.301 s]
/proc/loadavg: 8.14 7.89 7.17 9/356 26750
/proc/meminfo: memFree=20833668/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=564644 CPUtime=3040.67 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 507392 0 0 0 303864 203 0 0 25 0 4 0 632835306 578195456 104885 33554432000 4194304 4650419 140735514764160 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 141161 104885 393 112 0 136126 0
[pid=26723/tid=26724] ppid=26721 vsize=564644 CPUtime=762.29 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 136351 0 0 0 76178 51 0 0 25 0 4 0 632835306 578195456 104885 33554432000 4194304 4650419 140735514764160 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=564644 CPUtime=762.3 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 148210 0 0 0 76167 63 0 0 25 0 4 0 632835306 578195456 104885 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=564644 CPUtime=753.73 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 77344 0 0 0 75341 32 0 0 25 0 4 0 632835306 578195456 104885 33554432000 4194304 4650419 140735514764160 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.67
Current children cumulated vsize (KiB) 564644

[startup+822.3 s]
/proc/loadavg: 8.08 7.92 7.22 9/356 26751
/proc/meminfo: memFree=20783292/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=618604 CPUtime=3280.02 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 523040 0 0 0 327791 211 0 0 25 0 4 0 632835306 633450496 107357 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 154651 107357 393 112 0 149616 0
[pid=26723/tid=26724] ppid=26721 vsize=618604 CPUtime=822.31 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 141606 0 0 0 82176 55 0 0 25 0 4 0 632835306 633450496 107357 33554432000 4194304 4650419 140735514764160 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=618604 CPUtime=822.31 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 150911 0 0 0 82167 64 0 0 25 0 4 0 632835306 633450496 107357 33554432000 4194304 4650419 140735514764160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=618604 CPUtime=813.05 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 79695 0 0 0 81271 34 0 0 25 0 4 0 632835306 633450496 107357 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.02
Current children cumulated vsize (KiB) 618604

[startup+882.301 s]
/proc/loadavg: 8.10 7.96 7.28 9/356 26753
/proc/meminfo: memFree=20783408/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=605512 CPUtime=3519.31 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 544907 0 0 0 351709 222 0 0 25 0 4 0 632835306 620044288 111748 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365311 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 151378 111748 393 112 0 146343 0
[pid=26723/tid=26724] ppid=26721 vsize=605512 CPUtime=882.3 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 149320 0 0 0 88171 59 0 0 25 0 4 0 632835306 620044288 111748 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=605512 CPUtime=882.3 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 152534 0 0 0 88165 65 0 0 25 0 4 0 632835306 620044288 111748 33554432000 4194304 4650419 140735514764160 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=605512 CPUtime=872.38 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 83903 0 0 0 87201 37 0 0 25 0 4 0 632835306 620044288 111748 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.31
Current children cumulated vsize (KiB) 605512

[startup+942.313 s]
/proc/loadavg: 8.07 7.98 7.33 9/356 26755
/proc/meminfo: memFree=20777320/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=660008 CPUtime=3758.7 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 568702 0 0 0 375638 232 0 0 25 0 4 0 632835306 675848192 108845 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 165002 108845 393 112 0 159967 0
[pid=26723/tid=26724] ppid=26721 vsize=660008 CPUtime=942.31 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 157024 0 0 0 94169 62 0 0 25 0 4 0 632835306 675848192 108845 33554432000 4194304 4650419 140735514764160 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=660008 CPUtime=942.32 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 155815 0 0 0 94165 67 0 0 25 0 4 0 632835306 675848192 108845 33554432000 4194304 4650419 140735514764160 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=660008 CPUtime=931.72 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 86546 0 0 0 93134 38 0 0 25 0 4 0 632835306 675848192 108845 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.7
Current children cumulated vsize (KiB) 660008

[startup+1002.3 s]
/proc/loadavg: 8.17 8.02 7.38 9/356 26756
/proc/meminfo: memFree=20781400/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=606004 CPUtime=3997.98 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 589820 0 0 0 399555 243 0 0 25 0 4 0 632835306 620548096 108540 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 151501 108540 393 112 0 146466 0
[pid=26723/tid=26724] ppid=26721 vsize=606004 CPUtime=1002.3 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 163695 0 0 0 100165 65 0 0 25 0 4 0 632835306 620548096 108540 33554432000 4194304 4650419 140735514764160 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=606004 CPUtime=1002.3 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 159236 0 0 0 100162 68 0 0 25 0 4 0 632835306 620548096 108540 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=606004 CPUtime=991.04 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 90023 0 0 0 99063 41 0 0 25 0 4 0 632835306 620548096 108540 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.98
Current children cumulated vsize (KiB) 606004

[startup+1062.3 s]
/proc/loadavg: 8.17 8.04 7.43 9/356 26758
/proc/meminfo: memFree=20745780/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=606224 CPUtime=4237.3 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 611535 0 0 0 423475 255 0 0 25 0 4 0 632835306 620773376 111662 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 151556 111662 393 112 0 146521 0
[pid=26723/tid=26724] ppid=26721 vsize=606224 CPUtime=1062.3 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 170638 0 0 0 106161 69 0 0 25 0 4 0 632835306 620773376 111662 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=606224 CPUtime=1062.31 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 163092 0 0 0 106160 71 0 0 25 0 4 0 632835306 620773376 111662 33554432000 4194304 4650419 140735514764160 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=606224 CPUtime=1050.35 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 93157 0 0 0 104993 42 0 0 25 0 4 0 632835306 620773376 111662 33554432000 4194304 4650419 140735514764160 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.3
Current children cumulated vsize (KiB) 606224

[startup+1122.3 s]
/proc/loadavg: 8.13 8.05 7.47 9/356 26759
/proc/meminfo: memFree=20758168/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=606452 CPUtime=4476.65 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 634398 0 0 0 447397 268 0 0 25 0 4 0 632835306 621006848 114756 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 151613 114756 393 112 0 146578 0
[pid=26723/tid=26724] ppid=26721 vsize=606452 CPUtime=1122.3 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 177391 0 0 0 112157 73 0 0 25 0 4 0 632835306 621006848 114756 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=606452 CPUtime=1122.3 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 166873 0 0 0 112157 73 0 0 25 0 4 0 632835306 621006848 114756 33554432000 4194304 4650419 140735514764160 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=606452 CPUtime=1109.69 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 97472 0 0 0 110924 45 0 0 25 0 4 0 632835306 621006848 114756 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.65
Current children cumulated vsize (KiB) 606452

[startup+1182.3 s]
/proc/loadavg: 8.17 8.07 7.51 9/356 26761
/proc/meminfo: memFree=20668008/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=742056 CPUtime=4715.96 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 655637 0 0 0 471320 276 0 0 25 0 4 0 632835306 759865344 125187 33554432000 4194304 4650419 140735514764160 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 185514 125187 393 112 0 180479 0
[pid=26723/tid=26724] ppid=26721 vsize=742056 CPUtime=1182.3 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 185294 0 0 0 118154 76 0 0 25 0 4 0 632835306 759865344 125187 33554432000 4194304 4650419 140735514764160 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=742056 CPUtime=1182.31 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 170564 0 0 0 118156 75 0 0 25 0 4 0 632835306 759865344 125187 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=742056 CPUtime=1169 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 98033 0 0 0 116855 45 0 0 25 0 4 0 632835306 759865344 125187 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.96
Current children cumulated vsize (KiB) 742056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.12 8.06 7.52 5/349 26764
/proc/meminfo: memFree=21064588/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=672096 CPUtime=4800.14 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 657328 0 0 0 479737 277 0 0 25 0 4 0 632835306 688226304 123238 33554432000 4194304 4650419 140735514764160 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 168024 123238 393 112 0 162989 0
[pid=26723/tid=26724] ppid=26721 vsize=672096 CPUtime=1203.42 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 185294 0 0 0 120266 76 0 0 25 0 4 0 632835306 688226304 123238 33554432000 4194304 4650419 140735514764160 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=672096 CPUtime=1203.42 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 170658 0 0 0 120267 75 0 0 25 0 4 0 632835306 688226304 123238 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=672096 CPUtime=1189.85 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 99630 0 0 0 118939 46 0 0 25 0 4 0 632835306 688226304 123238 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 672096

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

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

[startup+1203.4 s]
/proc/loadavg: 8.12 8.06 7.52 5/349 26764
/proc/meminfo: memFree=21064588/32951124 swapFree=67111348/67111528
[pid=26723] ppid=26721 vsize=672096 CPUtime=4800.14 cores=1,3,5,7
/proc/26723/stat : 26723 (strangenight1-m) R 26721 26723 26096 0 -1 4202496 657328 0 0 0 479737 277 0 0 25 0 4 0 632835306 688226304 123238 33554432000 4194304 4650419 140735514764160 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26723/statm: 168024 123238 393 112 0 162989 0
[pid=26723/tid=26724] ppid=26721 vsize=672096 CPUtime=1203.42 cores=1,3,5,7
/proc/26723/task/26724/stat : 26724 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 185294 0 0 0 120266 76 0 0 25 0 4 0 632835306 688226304 123238 33554432000 4194304 4650419 140735514764160 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26723/tid=26725] ppid=26721 vsize=672096 CPUtime=1203.42 cores=1,3,5,7
/proc/26723/task/26725/stat : 26725 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 170658 0 0 0 120267 75 0 0 25 0 4 0 632835306 688226304 123238 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26723/tid=26726] ppid=26721 vsize=672096 CPUtime=1189.85 cores=1,3,5,7
/proc/26723/task/26726/stat : 26726 (strangenight1-m) R 26721 26723 26096 0 -1 4202560 99630 0 0 0 118939 46 0 0 25 0 4 0 632835306 688226304 123238 33554432000 4194304 4650419 140735514764160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 672096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.44
CPU time (s): 4800.21
CPU user time (s): 4797.41
CPU system time (s): 2.79657
CPU usage (%): 398.872
Max. virtual memory (cumulated for all children) (KiB): 742812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.41
system time used= 2.79657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 657328
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= 265
involuntary context switches= 29421

runsolver used 3.75743 second user time and 9.8325 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-14 22:16:32
IDJOB=3368835
IDBENCH=82844
IDSOLVER=1846
FILE ID=node144/3368835-1305404192
RUNJOBID= node144-1305404186-26640
PBS_JOBID= 13324479
Free space on /tmp= 73236 MiB

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

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

MD5SUM BENCH= b936bd7aa1624f527379bba2a9d6f8ed
RANDOM SEED=2003464586

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21527616 kB
Buffers:        288532 kB
Cached:        3629888 kB
SwapCached:          0 kB
Active:        8208552 kB
Inactive:      2868828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21527616 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12568 kB
Writeback:           0 kB
AnonPages:     7158568 kB
Mapped:          27840 kB
Slab:           246176 kB
PageTables:      37188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82100168 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= 73236 MiB
End job on node144 at 2011-05-14 22:36:37