Trace number 3368778

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.23 1202.84

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf
MD5SUMd9cece0babfb15cb3db695bd3b0b9988
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.039993
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3368778-1305402807.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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
3.16/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.16/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.16/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.16/0.80	c calculated reachability. Time: 0.00
3.16/0.80	c Calc default polars -  time:   0.00 s pos:      63 undec:       3 neg:      59
3.16/0.80	c =========================================================================================
3.16/0.80	c types(t): F = full restart, N = normal restart
3.16/0.80	c types(t): S = simplification begin/end, E = solution found
3.16/0.80	c restart types(rt): st = static, dy = dynamic
3.16/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.80	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
3.16/0.80	c Decided on static restart strategy
3.16/0.80	c  N st     8      4916       125      2662         0      4675     13310    124824   no data   no data  --
3.16/0.80	c  N st    10     11299       125      2662         0      4304     13310     88477   no data   no data  --
3.16/0.80	c  N st    11     17044       125      2662         0      9709     13310    226462   no data   no data  --
3.56/0.90	c  F st    12     25000       125      2662         0     11890     13310    278911   no data   no data  --
3.56/0.90	c  N st    12     25000       125      2662         0     11890     13310    278911   no data   no data  --
3.96/1.10	c Decided on static restart strategy
3.96/1.10	c  N st    18     30003       125      2662         0     10192     13310    222842   no data   no data  --
3.96/1.10	c  S st    18     30003       125      2662         0     10192     13310    222842   no data   no data  --
4.38/1.20	c  S st    18     30508       125      2662         0     10685     13310    235647   no data   no data  --
4.38/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.38/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.38/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.38/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.76/1.75	c lits-rem:      2653  cl-subs:     1587  v-elim:      0  v-fix:    0  time:  2.48 s
6.76/1.79	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.16
6.76/1.79	c calculated reachability. Time: 0.00
6.76/1.79	c  N st    18     30508       125      2662         0      9098     13310    190503   no data   no data  --
8.36/2.13	c  N st    20     37621       125      2662         0      8422     13310    160971   no data   no data  --
9.55/2.42	c  N st    21     44020       125      2662         0     14481     13310    323162   no data   no data  --
9.95/2.51	c  S st    22     45763       125      2662         0     16145     13310    367310   no data   no data  --
9.95/2.56	c  S st    22     46266       125      2662         0     16630     13310    379962   no data   no data  --
9.95/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.95/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.95/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.95/2.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.89	c lits-rem:      4646  cl-subs:     1558  v-elim:      0  v-fix:    0  time:  5.24 s
15.14/3.89	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.14/3.89	c vivif2 --  cl tried    15072 cl shrink        0 lits rem          0 time: 0.01
15.54/3.96	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.29
15.54/3.96	c calculated reachability. Time: 0.00
15.54/3.96	c  N st    22     46266       125      2662         0     15072     13310    333274   no data   no data  --
18.72/4.77	c  N st    23     60666       125      2662         0     10802     13310    193770   no data   no data  --
20.72/5.27	c  N st    24     69399       125      2662         0     19062     13310    419461   no data   no data  --
20.72/5.27	c  S st    24     69399       125      2662         0     19062     13310    419461   no data   no data  --
21.12/5.32	c  S st    24     69903       125      2662         0     19549     13310    432337   no data   no data  --
21.12/5.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.12/5.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.12/5.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.12/5.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.12/5.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.12/5.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.12/5.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.10/6.88	c lits-rem:      4256  cl-subs:     1717  v-elim:      0  v-fix:    0  time:  6.12 s
27.10/6.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.10/6.88	c vivif2 --  cl tried    17832 cl shrink        0 lits rem          0 time: 0.02
27.50/6.97	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.34
27.50/6.97	c calculated reachability. Time: 0.00
27.50/6.97	c  N st    24     69903       125      2662         0     17832     13310    378127   no data   no data  --
32.29/8.10	c  F st    25     87500       125      2662         0     12845     13310    225197   no data   no data  --
32.29/8.10	c  N st    25     87500       125      2662         0     12845     13310    225197   no data   no data  --
33.49/8.41	c Decided on static restart strategy
33.89/8.57	c  N st    32     95539       125      2662         0     20388     13310    416398   no data   no data  --
36.28/9.13	c  N st    34    104856       125      2662         0     16930     13310    328099   no data   no data  --
36.28/9.13	c  S st    34    104856       125      2662         0     16930     13310    328099   no data   no data  --
36.28/9.18	c  S st    34    105363       125      2662         0     17428     13310    341143   no data   no data  --
36.28/9.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.28/9.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.28/9.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.28/9.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.28/9.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.28/9.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.28/9.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.47/10.40	c lits-rem:      2853  cl-subs:     1047  v-elim:      0  v-fix:    0  time:  4.81 s
41.47/10.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.47/10.40	c vivif2 --  cl tried    16381 cl shrink        0 lits rem          0 time: 0.01
41.47/10.47	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
41.47/10.47	c calculated reachability. Time: 0.00
41.47/10.47	c  N st    34    105363       125      2662         0     16381     13310    308125   no data   no data  --
44.30/11.15	c  N st    35    114961       125      2662         0     25385     13310    546884   no data   no data  --
49.05/12.33	c  N st    36    129358       125      2662         0     25738     13310    537407   no data   no data  --
55.43/13.95	c  N st    37    150954       125      2662         0     16907     13310    275185   no data   no data  --
57.05/14.40	c  S st    38    158044       125      2662         0     23579     13310    454943   no data   no data  --
57.46/14.46	c  S st    38    158546       125      2662         0     24066     13310    467860   no data   no data  --
57.46/14.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.46/14.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.46/14.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
57.46/14.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.46/14.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.46/14.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.46/14.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.81/16.01	c lits-rem:      3306  cl-subs:     1890  v-elim:      0  v-fix:    0  time:  6.09 s
63.81/16.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.81/16.01	c vivif2 --  cl tried    22176 cl shrink        0 lits rem          0 time: 0.02
64.21/16.14	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.50
64.21/16.14	c calculated reachability. Time: 0.00
64.21/16.14	c  N st    38    158546       125      2662         0     22176     13310    412501   no data   no data  --
80.98/20.30	c  N st    39    207134       125      2662         0     34897     13310    728440   no data   no data  --
91.36/22.98	c  N st    40    237819       125      2662         0     27121     13310    499239   no data   no data  --
91.36/22.98	c  S st    40    237819       125      2662         0     27121     13310    499239   no data   no data  --
91.76/23.05	c  S st    40    238320       125      2662         0     27613     13310    512086   no data   no data  --
91.76/23.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.76/23.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.76/23.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.76/23.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.76/23.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.76/23.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.76/23.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.54/24.74	c lits-rem:      2979  cl-subs:     1990  v-elim:      0  v-fix:    0  time:  6.62 s
98.54/24.74	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.54/24.74	c vivif2 --  cl tried    25623 cl shrink        0 lits rem          0 time: 0.02
98.93/24.86	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
98.93/24.86	c calculated reachability. Time: 0.00
98.93/24.86	c  N st    40    238320       125      2662         0     25623     13310    456298   no data   no data  --
123.67/31.02	c  F st    41    306252       125      2662         0     27548     13310    456675   no data   no data  --
123.67/31.02	c  N st    41    306252       125      2662         0     27548     13310    456675   no data   no data  --
125.27/31.48	c Decided on static restart strategy
135.25/33.98	c  N st    51    334555       125      2662         0     31717     13310    550966   no data   no data  --
145.27/36.41	c  N st    53    357480       125      2662         0     29720     13310    477488   no data   no data  --
145.27/36.41	c  S st    53    357480       125      2662         0     29720     13310    477488   no data   no data  --
145.27/36.49	c  S st    53    357982       125      2662         0     30213     13310    490111   no data   no data  --
145.27/36.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.27/36.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.63/36.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
145.63/36.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.63/36.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.63/36.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
145.63/36.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
151.61/38.01	c lits-rem:      2675  cl-subs:     1410  v-elim:      0  v-fix:    0  time:  5.98 s
151.61/38.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
151.61/38.02	c vivif2 --  cl tried    28803 cl shrink        0 lits rem          0 time: 0.02
152.01/38.16	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.55
152.01/38.16	c calculated reachability. Time: 0.00
152.01/38.16	c  N st    53    357982       125      2662         0     28803     13310    452837   no data   no data  --
169.57/42.55	c  N st    54    390376       125      2662         0     34823     13310    606143   no data   no data  --
190.73/47.86	c  N st    55    438966       125      2662         0     28934     13310    424183   no data   no data  --
224.65/56.32	c  N st    56    511848       125      2662         0     41815     13310    722546   no data   no data  --
238.60/59.82	c  N st    57    536975       125      2662         0     36337     13310    561136   no data   no data  --
238.60/59.82	c  S st    57    536975       125      2662         0     36337     13310    561136   no data   no data  --
239.00/59.91	c  S st    57    537477       125      2662         0     36830     13310    574536   no data   no data  --
239.00/59.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
239.00/59.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
239.00/59.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
239.00/59.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.00/59.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.00/59.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
239.00/59.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.23/61.71	c lits-rem:      2909  cl-subs:     1851  v-elim:      0  v-fix:    0  time:  7.06 s
246.23/61.71	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
246.23/61.71	c vivif2 --  cl tried    34979 cl shrink        0 lits rem          0 time: 0.02
246.59/61.88	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.67
246.59/61.88	c calculated reachability. Time: 0.00
246.59/61.88	c  N st    57    537477       125      2662         0     34979     13310    527846   no data   no data  --
332.40/83.37	c  N st    58    701462       125      2662         0     62845     13310   1206523   no data   no data  --
391.10/98.07	c  N st    59    806215       125      2662         0     56785     13310   1005851   no data   no data  --
391.10/98.07	c  S st    59    806215       125      2662         0     56785     13310   1005851   no data   no data  --
391.86/98.25	c  S st    59    806717       125      2662         0     57269     13310   1018413   no data   no data  --
391.86/98.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
391.86/98.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
391.86/98.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
392.26/98.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
392.26/98.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
392.26/98.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
392.26/98.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
415.40/104.13	c lits-rem:       514  cl-subs:     5747  v-elim:      0  v-fix:    0  time: 23.21 s
415.40/104.13	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
415.40/104.14	c vivif2 --  cl tried    51522 cl shrink        0 lits rem          0 time: 0.04
416.61/104.40	c asymm  cl-useful: 0/2113/2662 lits-rem:0 time: 1.07
416.61/104.40	c calculated reachability. Time: 0.00
416.61/104.40	c  N st    59    806717       125      2662         0     51522     13310    875142   no data   no data  --
581.43/145.75	c  F st    60   1071875       125      2662         0     66970     13310   1187852   no data   no data  --
581.43/145.75	c  N st    60   1071875       125      2662         0     66970     13310   1187852   no data   no data  --
586.61/147.05	c Decided on static restart strategy
605.37/151.74	c  N st    70   1100181       125      2662         0     51652     13310    779669   no data   no data  --
632.53/158.53	c  N st    72   1136173       125      2662         0     85526     13310   1697783   no data   no data  --
655.25/164.29	c  N st    73   1168565       125      2662         0     72776     13310   1311748   no data   no data  --
686.78/172.11	c  N st    74   1210075       125      2662         0     67719     13310   1177556   no data   no data  --
686.78/172.11	c  S st    74   1210075       125      2662         0     67719     13310   1177556   no data   no data  --
687.58/172.34	c  S st    74   1210579       125      2662         0     68213     13310   1190672   no data   no data  --
687.58/172.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
687.58/172.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
687.58/172.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
687.98/172.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
687.98/172.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
687.98/172.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
687.98/172.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
743.04/186.23	c lits-rem:      1980  cl-subs:     4511  v-elim:      0  v-fix:    0  time: 55.08 s
743.04/186.24	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
743.04/186.25	c vivif2 --  cl tried    63702 cl shrink        0 lits rem          0 time: 0.06
743.44/186.39	c asymm  cl-useful: 0/549/2662 lits-rem:0 time: 0.57
743.44/186.40	c calculated reachability. Time: 0.00
743.44/186.40	c  N st    74   1210579       125      2662         0     63702     13310   1068479   no data   no data  --
797.32/199.86	c  N st    75   1283461       125      2662         0     87001     13310   1663141   no data   no data  --
895.09/224.36	c  N st    76   1392788       125      2662         0     48928     13310    602566   no data   no data  --
1051.13/263.44	c  N st    77   1556773       125      2662         0     53338     13310    676333   no data   no data  --
1178.03/295.21	c  N st    78   1710579       125      2662         0     93391     13310   1678891   no data   no data  --
1178.03/295.21	c  S st    78   1710579       125      2662         0     93391     13310   1678891   no data   no data  --
1178.83/295.49	c  S st    78   1711083       125      2662         0     93879     13310   1691955   no data   no data  --
1179.23/295.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1179.23/295.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1179.23/295.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1179.64/295.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1179.64/295.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1179.64/295.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1179.64/295.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1301.74/326.25	c lits-rem:      4935  cl-subs:    10819  v-elim:      0  v-fix:    0  time: 122.27 s
1301.74/326.25	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1301.74/326.27	c vivif2 --  cl tried    83060 cl shrink        0 lits rem          0 time: 0.08
1303.75/326.73	c asymm  cl-useful: 0/1323/2662 lits-rem:0 time: 1.82
1303.75/326.74	c calculated reachability. Time: 0.00
1303.75/326.74	c  N st    78   1711083       125      2662         0     83060     13310   1431816   no data   no data  --
1660.92/416.24	c  N st    79   2080049       125      2662         0     94361     13310   1630564   no data   no data  --
1789.42/448.42	c  N st    80   2211083       125      2662         0     98526     13310   1723406   no data   no data  --
1789.42/448.42	c  S st    80   2211083       125      2662         0     98526     13310   1723406   no data   no data  --
1790.61/448.75	c  S st    80   2211585       125      2662         0     99011     13310   1736254   no data   no data  --
1790.61/448.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1790.61/448.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1790.61/448.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1791.03/448.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1791.03/448.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1791.03/448.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1791.03/448.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1885.97/472.62	c lits-rem:      9086  cl-subs:     9475  v-elim:      0  v-fix:    0  time: 94.74 s
1885.97/472.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1885.97/472.64	c vivif2 --  cl tried    89536 cl shrink        0 lits rem          0 time: 0.08
1887.17/472.99	c asymm  cl-useful: 0/1206/2662 lits-rem:0 time: 1.41
1887.17/473.00	c calculated reachability. Time: 0.00
1887.17/473.00	c  N st    80   2211585       125      2662         0     89536     13310   1495713   no data   no data  --
2423.93/607.45	c  N st    81   2711586       125      2662         0    112012     13310   1960157   no data   no data  --
2423.93/607.45	c  S st    81   2711586       125      2662         0    112012     13310   1960157   no data   no data  --
2425.53/607.84	c  S st    81   2712089       125      2662         0    112502     13310   1972904   no data   no data  --
2425.53/607.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2425.53/607.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2425.93/607.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2425.93/607.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2425.93/607.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2425.93/607.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2425.93/607.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2580.78/646.78	c lits-rem:      6107  cl-subs:    13502  v-elim:      0  v-fix:    0  time: 154.89 s
2580.78/646.78	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2580.78/646.81	c vivif2 --  cl tried    99000 cl shrink        0 lits rem          0 time: 0.09
2582.77/647.24	c asymm  cl-useful: 0/1278/2662 lits-rem:0 time: 1.75
2582.77/647.25	c calculated reachability. Time: 0.00
2582.77/647.25	c  N st    81   2712089       125      2662         0     99000     13310   1647648   no data   no data  --
3202.16/802.48	c  N st    82   3212089       125      2662         0     77000     13310    957101   no data   no data  --
3202.16/802.48	c  S st    82   3212089       125      2662         0     77000     13310    957101   no data   no data  --
3203.37/802.71	c  S st    82   3212591       125      2662         0     77489     13310    970538   no data   no data  --
3203.37/802.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3203.37/802.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3203.37/802.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
3203.37/802.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3203.37/802.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3203.37/802.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3203.37/802.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3228.50/809.01	c lits-rem:      1934  cl-subs:     1251  v-elim:      0  v-fix:    0  time: 24.84 s
3228.50/809.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3228.50/809.03	c vivif2 --  cl tried    76238 cl shrink        0 lits rem          0 time: 0.06
3229.70/809.39	c asymm  cl-useful: 0/1372/2662 lits-rem:0 time: 1.46
3229.70/809.39	c calculated reachability. Time: 0.00
3229.70/809.39	c  N st    82   3212591       125      2662         0     76238     13310    941529   no data   no data  --
3784.85/948.40	c  N st    83   3712591       125      2662         0     86674     13310   1119888   no data   no data  --
3784.85/948.40	c  S st    83   3712591       125      2662         0     86674     13310   1119888   no data   no data  --
3785.65/948.67	c  S st    83   3713095       125      2662         0     87163     13310   1133060   no data   no data  --
3785.65/948.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3785.65/948.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3786.05/948.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3786.05/948.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3786.05/948.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3786.05/948.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3786.05/948.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3810.41/954.84	c lits-rem:      1768  cl-subs:     2172  v-elim:      0  v-fix:    0  time: 24.30 s
3810.41/954.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3810.41/954.85	c vivif2 --  cl tried    84991 cl shrink        0 lits rem          0 time: 0.06
3811.59/955.16	c asymm  cl-useful: 0/1450/2662 lits-rem:0 time: 1.24
3811.59/955.17	c calculated reachability. Time: 0.00
3811.59/955.17	c  N st    83   3713095       125      2662         0     84991     13310   1083720   no data   no data  --
3857.09/966.58	c  F st    84   3751564       125      2662         0    120808     13310   2011184   no data   no data  --
3857.09/966.58	c  N st    84   3751564       125      2662         0    120808     13310   2011184   no data   no data  --
3865.87/968.75	c Decided on static restart strategy
3897.80/976.72	c  N st    94   3779871       125      2662         0    147486     13310   2741068   no data   no data  --
3940.09/987.38	c  N st    96   3815863       125      2662         0    101973     13310   1522363   no data   no data  --
3982.79/998.09	c  N st    97   3848255       125      2662         0    132254     13310   2333670   no data   no data  --
4058.63/1017.04	c  N st    98   3896843       125      2662         0     97526     13310   1397194   no data   no data  --
4165.59/1043.83	c  N st    99   3969725       125      2662         0     84512     13310   1015834   no data   no data  --
4314.06/1081.07	c  N st   100   4079048       125      2662         0    104126     13310   1524978   no data   no data  --
4489.66/1125.10	c  N st   101   4213098       125      2662         0    145748     13310   2553938   no data   no data  --
4489.66/1125.10	c  S st   101   4213098       125      2662         0    145748     13310   2553938   no data   no data  --
4491.65/1125.59	c  S st   101   4213601       125      2662         0    146229     13310   2567165   no data   no data  --
4492.05/1125.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4492.05/1125.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4492.05/1125.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.31
4492.45/1125.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4492.45/1125.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4492.45/1125.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4492.45/1125.76	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-3368778-1305402807/watcher-3368778-1305402807 -o /tmp/evaluation-result-3368778-1305402807/solver-3368778-1305402807 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368778-1305402807.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.04 8.09 8.02 2/290 3310
/proc/meminfo: memFree=15893420/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 107890126 52465664 352 33554432000 4194304 4650419 140733356554528 18446744073709551615 218880621553 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3310/statm: 12809 352 303 112 0 7774 0
[pid=3310/tid=3311] ppid=3307 vsize=216232 CPUtime=0 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 101 0 0 0 0 0 0 0 18 0 4 0 107890126 221421568 743 33554432000 4194304 4650419 140733356554528 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=216232 CPUtime=0 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 94 0 0 0 0 0 0 0 25 0 4 0 107890126 221421568 743 33554432000 4194304 4650419 140733356554528 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=216232 CPUtime=0 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 99 0 0 0 0 0 0 0 25 0 4 0 107890126 221421568 743 33554432000 4194304 4650419 140733356554528 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.111431 s]
/proc/loadavg: 8.04 8.09 8.02 2/290 3310
/proc/meminfo: memFree=15893420/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=217240 CPUtime=0.41 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 1930 0 0 0 41 0 0 0 18 0 4 0 107890126 222453760 1789 33554432000 4194304 4650419 140733356554528 18446744073709551615 4363314 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 54310 1789 389 112 0 49275 0
[pid=3310/tid=3311] ppid=3307 vsize=217240 CPUtime=0.1 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 415 0 0 0 10 0 0 0 18 0 4 0 107890126 222453760 1790 33554432000 4194304 4650419 140733356554528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=217240 CPUtime=0.09 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 416 0 0 0 9 0 0 0 25 0 4 0 107890126 222453760 1791 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=217240 CPUtime=0.1 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 246 0 0 0 10 0 0 0 18 0 4 0 107890126 222453760 1791 33554432000 4194304 4650419 140733356554528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 217240

[startup+0.200416 s]
/proc/loadavg: 8.04 8.09 8.02 2/290 3310
/proc/meminfo: memFree=15893420/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=218592 CPUtime=0.76 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 2727 0 0 0 76 0 0 0 18 0 4 0 107890126 223838208 1953 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366127 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 54648 1953 391 112 0 49613 0
[pid=3310/tid=3311] ppid=3307 vsize=218592 CPUtime=0.19 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 620 0 0 0 19 0 0 0 18 0 4 0 107890126 223838208 1953 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=218592 CPUtime=0.18 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 607 0 0 0 18 0 0 0 25 0 4 0 107890126 223838208 1953 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=218592 CPUtime=0.19 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 458 0 0 0 19 0 0 0 18 0 4 0 107890126 223838208 1953 33554432000 4194304 4650419 140733356554528 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 218592

[startup+0.300397 s]
/proc/loadavg: 8.04 8.09 8.02 2/290 3310
/proc/meminfo: memFree=15893420/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=218592 CPUtime=1.16 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 3156 0 0 0 116 0 0 0 18 0 4 0 107890126 223838208 2382 33554432000 4194304 4650419 140733356554528 18446744073709551615 4328119 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 54648 2382 391 112 0 49613 0
[pid=3310/tid=3311] ppid=3307 vsize=218592 CPUtime=0.29 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 723 0 0 0 29 0 0 0 18 0 4 0 107890126 223838208 2382 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=218592 CPUtime=0.28 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 712 0 0 0 28 0 0 0 25 0 4 0 107890126 223838208 2382 33554432000 4194304 4650419 140733356554528 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=218592 CPUtime=0.28 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 568 0 0 0 28 0 0 0 18 0 4 0 107890126 223838208 2382 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 218592

[startup+0.700327 s]
/proc/loadavg: 8.04 8.09 8.02 2/290 3310
/proc/meminfo: memFree=15893420/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=220280 CPUtime=2.76 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 5651 0 0 0 275 1 0 0 18 0 4 0 107890126 225566720 2736 33554432000 4194304 4650419 140733356554528 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 55070 2736 391 112 0 50035 0
[pid=3310/tid=3311] ppid=3307 vsize=220280 CPUtime=0.69 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 1362 0 0 0 69 0 0 0 18 0 4 0 107890126 225566720 2736 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=220280 CPUtime=0.68 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 1361 0 0 0 68 0 0 0 25 0 4 0 107890126 225566720 2736 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=220280 CPUtime=0.68 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 1185 0 0 0 68 0 0 0 18 0 4 0 107890126 225566720 2736 33554432000 4194304 4650419 140733356554528 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 220280

[startup+1.50019 s]
/proc/loadavg: 8.04 8.09 8.02 10/302 3327
/proc/meminfo: memFree=15860400/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=218152 CPUtime=5.95 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 11390 0 0 0 593 2 0 0 19 0 4 0 107890126 223387648 5871 33554432000 4194304 4650419 140733356554528 18446744073709551615 4438402 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 54538 5871 393 112 0 49503 0
[pid=3310/tid=3311] ppid=3307 vsize=218152 CPUtime=1.48 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 3432 0 0 0 148 0 0 0 20 0 4 0 107890126 223387648 5871 33554432000 4194304 4650419 140733356554528 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=218152 CPUtime=1.47 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 2320 0 0 0 147 0 0 0 25 0 4 0 107890126 223387648 5871 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=218152 CPUtime=1.48 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 2002 0 0 0 148 0 0 0 19 0 4 0 107890126 223387648 5871 33554432000 4194304 4650419 140733356554528 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 218152

[startup+3.10091 s]
/proc/loadavg: 8.03 8.09 8.02 9/302 3327
/proc/meminfo: memFree=15818860/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=223052 CPUtime=12.34 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 18484 0 0 0 1231 3 0 0 25 0 4 0 107890126 228405248 11108 33554432000 4194304 4650419 140733356554528 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 55763 11108 393 112 0 50728 0
[pid=3310/tid=3311] ppid=3307 vsize=223052 CPUtime=3.09 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 4494 0 0 0 308 1 0 0 25 0 4 0 107890126 228405248 11108 33554432000 4194304 4650419 140733356554528 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=223052 CPUtime=3.06 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 4495 0 0 0 305 1 0 0 25 0 4 0 107890126 228405248 11108 33554432000 4194304 4650419 140733356554528 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=223052 CPUtime=3.08 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 4138 0 0 0 308 0 0 0 25 0 4 0 107890126 228405248 11108 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 223052

[startup+6.30035 s]
/proc/loadavg: 8.03 8.09 8.02 9/302 3327
/proc/meminfo: memFree=15784504/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=227632 CPUtime=25.11 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 27844 0 0 0 2506 5 0 0 25 0 4 0 107890126 233095168 15023 33554432000 4194304 4650419 140733356554528 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 56908 15023 393 112 0 51873 0
[pid=3310/tid=3311] ppid=3307 vsize=227632 CPUtime=6.29 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 7080 0 0 0 628 1 0 0 25 0 4 0 107890126 233095168 15023 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=227632 CPUtime=6.23 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 7773 0 0 0 622 1 0 0 25 0 4 0 107890126 233095168 15023 33554432000 4194304 4650419 140733356554528 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=227632 CPUtime=6.28 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 5938 0 0 0 627 1 0 0 25 0 4 0 107890126 233095168 15023 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 227632

[startup+12.7002 s]
/proc/loadavg: 8.03 8.09 8.02 10/302 3327
/proc/meminfo: memFree=15742240/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=236864 CPUtime=50.65 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 40560 0 0 0 5057 8 0 0 25 0 4 0 107890126 242548736 20600 33554432000 4194304 4650419 140733356554528 18446744073709551615 4331254 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 59216 20601 393 112 0 54181 0
[pid=3310/tid=3311] ppid=3307 vsize=236864 CPUtime=12.69 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 10409 0 0 0 1267 2 0 0 25 0 4 0 107890126 242548736 20601 33554432000 4194304 4650419 140733356554528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=236864 CPUtime=12.56 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 10297 0 0 0 1254 2 0 0 25 0 4 0 107890126 242548736 20601 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=236864 CPUtime=12.68 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 9968 0 0 0 1267 1 0 0 25 0 4 0 107890126 242548736 20601 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 236864

[startup+25.501 s]
/proc/loadavg: 8.10 8.10 8.03 9/302 3327
/proc/meminfo: memFree=15690792/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=229308 CPUtime=101.72 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 59550 0 0 0 10159 13 0 0 25 0 4 0 107890126 234811392 27893 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 57327 27893 393 112 0 52292 0
[pid=3310/tid=3311] ppid=3307 vsize=229308 CPUtime=25.49 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 14924 0 0 0 2546 3 0 0 25 0 4 0 107890126 234811392 27893 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=229308 CPUtime=25.24 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 15039 0 0 0 2521 3 0 0 25 0 4 0 107890126 234811392 27893 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=229308 CPUtime=25.48 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 14809 0 0 0 2545 3 0 0 25 0 4 0 107890126 234811392 27893 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 229308

[startup+51.1005 s]
/proc/loadavg: 8.06 8.09 8.02 9/302 3328
/proc/meminfo: memFree=15662208/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=250972 CPUtime=203.89 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 89999 0 0 0 20368 21 0 0 25 0 4 0 107890126 256995328 33951 33554432000 4194304 4650419 140733356554528 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 62743 33951 393 112 0 57708 0
[pid=3310/tid=3311] ppid=3307 vsize=250972 CPUtime=51.09 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 24555 0 0 0 5105 4 0 0 25 0 4 0 107890126 256995328 33951 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=250972 CPUtime=50.62 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 23764 0 0 0 5055 7 0 0 25 0 4 0 107890126 256995328 33951 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=250972 CPUtime=51.08 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 18445 0 0 0 5104 4 0 0 25 0 4 0 107890126 256995328 33951 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 250972

[startup+102.301 s]
/proc/loadavg: 8.11 8.10 8.03 9/302 3329
/proc/meminfo: memFree=15608488/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=341976 CPUtime=408.24 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 142093 0 0 0 40787 37 0 0 25 0 4 0 107890126 350183424 41014 33554432000 4194304 4650419 140733356554528 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 85494 41014 393 112 0 80459 0
[pid=3310/tid=3311] ppid=3307 vsize=341976 CPUtime=102.3 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 40155 0 0 0 10222 8 0 0 25 0 4 0 107890126 350183424 41015 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=341976 CPUtime=101.34 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 38703 0 0 0 10123 11 0 0 25 0 4 0 107890126 350183424 41015 33554432000 4194304 4650419 140733356554528 18446744073709551615 4303968 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=341976 CPUtime=102.29 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 26472 0 0 0 10222 7 0 0 25 0 4 0 107890126 350183424 41015 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.24
Current children cumulated vsize (KiB) 341976

[startup+162.301 s]

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

[pid=3310] ppid=3307 vsize=528264 CPUtime=2802.67 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 448145 0 0 0 280110 157 0 0 25 0 4 0 107890126 540942336 96861 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 132066 96861 393 112 0 127031 0
[pid=3310/tid=3311] ppid=3307 vsize=528264 CPUtime=702.29 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 124421 0 0 0 70189 40 0 0 25 0 4 0 107890126 540942336 96861 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=528264 CPUtime=695.75 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 135596 0 0 0 69528 47 0 0 25 0 4 0 107890126 540942336 96861 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=528264 CPUtime=702.28 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 77274 0 0 0 70198 30 0 0 25 0 4 0 107890126 540942336 96861 33554432000 4194304 4650419 140733356554528 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.67
Current children cumulated vsize (KiB) 528264

[startup+762.301 s]
/proc/loadavg: 4.45 6.54 7.46 5/293 3408
/proc/meminfo: memFree=15482944/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=541552 CPUtime=3042.15 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 468644 0 0 0 304049 166 0 0 25 0 4 0 107890126 554549248 102534 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 135388 102534 393 112 0 130353 0
[pid=3310/tid=3311] ppid=3307 vsize=541552 CPUtime=762.31 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 132817 0 0 0 76187 44 0 0 25 0 4 0 107890126 554549248 102535 33554432000 4194304 4650419 140733356554528 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=541552 CPUtime=755.21 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 142784 0 0 0 75471 50 0 0 25 0 4 0 107890126 554549248 102535 33554432000 4194304 4650419 140733356554528 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=541552 CPUtime=762.3 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 79966 0 0 0 76198 32 0 0 25 0 4 0 107890126 554549248 102535 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.15
Current children cumulated vsize (KiB) 541552

[startup+822.3 s]
/proc/loadavg: 4.21 6.09 7.25 5/293 3410
/proc/meminfo: memFree=15485860/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=541716 CPUtime=3281.58 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 487258 0 0 0 327985 173 0 0 25 0 4 0 107890126 554717184 101537 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 135429 101537 393 112 0 130394 0
[pid=3310/tid=3311] ppid=3307 vsize=541716 CPUtime=822.3 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 137844 0 0 0 82183 47 0 0 25 0 4 0 107890126 554717184 101537 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=541716 CPUtime=814.67 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 151111 0 0 0 81414 53 0 0 25 0 4 0 107890126 554717184 101537 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=541716 CPUtime=822.28 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 83815 0 0 0 82195 33 0 0 25 0 4 0 107890126 554717184 101537 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.58
Current children cumulated vsize (KiB) 541716

[startup+882.311 s]
/proc/loadavg: 4.13 5.73 7.05 5/293 3411
/proc/meminfo: memFree=15472900/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=555244 CPUtime=3521.08 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 503485 0 0 0 351928 180 0 0 25 0 4 0 107890126 568569856 105062 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 138811 105062 393 112 0 133776 0
[pid=3310/tid=3311] ppid=3307 vsize=555244 CPUtime=882.31 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 141836 0 0 0 88183 48 0 0 25 0 4 0 107890126 568569856 105062 33554432000 4194304 4650419 140733356554528 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=555244 CPUtime=874.13 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 156439 0 0 0 87357 56 0 0 25 0 4 0 107890126 568569856 105062 33554432000 4194304 4650419 140733356554528 18446744073709551615 4331351 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=555244 CPUtime=882.3 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 85773 0 0 0 88196 34 0 0 25 0 4 0 107890126 568569856 105062 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.08
Current children cumulated vsize (KiB) 555244

[startup+942.301 s]
/proc/loadavg: 4.09 5.42 6.86 5/293 3413
/proc/meminfo: memFree=15480652/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=555408 CPUtime=3760.5 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 527965 0 0 0 375859 191 0 0 25 0 4 0 107890126 568737792 103174 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 138852 103174 393 112 0 133817 0
[pid=3310/tid=3311] ppid=3307 vsize=555408 CPUtime=942.3 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 150812 0 0 0 94178 52 0 0 25 0 4 0 107890126 568737792 103174 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=555408 CPUtime=933.59 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 164125 0 0 0 93299 60 0 0 25 0 4 0 107890126 568737792 103174 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=555408 CPUtime=942.29 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 91549 0 0 0 94192 37 0 0 25 0 4 0 107890126 568737792 103174 33554432000 4194304 4650419 140733356554528 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.5
Current children cumulated vsize (KiB) 555408

[startup+1002.3 s]
/proc/loadavg: 4.03 5.16 6.68 5/293 3414
/proc/meminfo: memFree=15433936/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=555752 CPUtime=3999.96 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 553938 0 0 0 399794 202 0 0 25 0 4 0 107890126 569090048 114789 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 138938 114789 393 112 0 133903 0
[pid=3310/tid=3311] ppid=3307 vsize=555752 CPUtime=1002.3 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 157904 0 0 0 100174 56 0 0 25 0 4 0 107890126 569090048 114789 33554432000 4194304 4650419 140733356554528 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=555752 CPUtime=993.04 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 171609 0 0 0 99241 63 0 0 25 0 4 0 107890126 569090048 114789 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=555752 CPUtime=1002.29 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 96219 0 0 0 100191 38 0 0 25 0 4 0 107890126 569090048 114789 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.96
Current children cumulated vsize (KiB) 555752

[startup+1062.3 s]
/proc/loadavg: 4.01 4.95 6.51 5/293 3416
/proc/meminfo: memFree=15432252/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=542164 CPUtime=4239.42 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 575399 0 0 0 423731 211 0 0 25 0 4 0 107890126 555175936 115211 33554432000 4194304 4650419 140733356554528 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 135541 115211 393 112 0 130506 0
[pid=3310/tid=3311] ppid=3307 vsize=542164 CPUtime=1062.3 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 162827 0 0 0 106171 59 0 0 25 0 4 0 107890126 555175936 115211 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=542164 CPUtime=1052.49 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 177699 0 0 0 105183 66 0 0 25 0 4 0 107890126 555175936 115211 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=542164 CPUtime=1062.29 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 102062 0 0 0 106190 39 0 0 25 0 4 0 107890126 555175936 115211 33554432000 4194304 4650419 140733356554528 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.42
Current children cumulated vsize (KiB) 542164

[startup+1122.3 s]
/proc/loadavg: 4.00 4.77 6.35 5/293 3418
/proc/meminfo: memFree=15434924/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=607808 CPUtime=4478.88 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 594727 0 0 0 447668 220 0 0 25 0 4 0 107890126 622395392 114517 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 151952 114517 393 112 0 146917 0
[pid=3310/tid=3311] ppid=3307 vsize=607808 CPUtime=1122.3 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 166872 0 0 0 112169 61 0 0 25 0 4 0 107890126 622395392 114517 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=607808 CPUtime=1111.95 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 184709 0 0 0 111126 69 0 0 25 0 4 0 107890126 622395392 114517 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=607808 CPUtime=1122.3 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 106619 0 0 0 112189 41 0 0 25 0 4 0 107890126 622395392 114517 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.88
Current children cumulated vsize (KiB) 607808

[startup+1182.3 s]
/proc/loadavg: 4.04 4.64 6.20 5/293 3423
/proc/meminfo: memFree=15444868/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=560064 CPUtime=4718.34 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 606466 0 0 0 471607 227 0 0 25 0 4 0 107890126 573505536 112032 33554432000 4194304 4650419 140733356554528 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 140016 112032 393 112 0 134981 0
[pid=3310/tid=3311] ppid=3307 vsize=560064 CPUtime=1182.3 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 169949 0 0 0 118168 62 0 0 25 0 4 0 107890126 573505536 112032 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=560064 CPUtime=1171.4 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 190652 0 0 0 117068 72 0 0 25 0 4 0 107890126 573505536 112032 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=560064 CPUtime=1182.3 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 108917 0 0 0 118187 43 0 0 25 0 4 0 107890126 573505536 112032 33554432000 4194304 4650419 140733356554528 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.34
Current children cumulated vsize (KiB) 560064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 4.09 4.62 6.16 5/293 3424
/proc/meminfo: memFree=15429180/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=611592 CPUtime=4800.16 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 614539 0 0 0 479787 229 0 0 25 0 4 0 107890126 626270208 115923 33554432000 4194304 4650419 140733356554528 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 152898 115923 393 112 0 147863 0
[pid=3310/tid=3311] ppid=3307 vsize=611592 CPUtime=1202.82 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 176854 0 0 0 120218 64 0 0 25 0 4 0 107890126 626270208 115923 33554432000 4194304 4650419 140733356554528 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=611592 CPUtime=1191.71 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 191528 0 0 0 119099 72 0 0 25 0 4 0 107890126 626270208 115923 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=611592 CPUtime=1202.8 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 109209 0 0 0 120237 43 0 0 25 0 4 0 107890126 626270208 115923 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 611592

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

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

[startup+1202.8 s]
/proc/loadavg: 4.09 4.62 6.16 5/293 3424
/proc/meminfo: memFree=15429180/32950928 swapFree=67111364/67111528
[pid=3310] ppid=3307 vsize=611592 CPUtime=4800.16 cores=0,2,4,6
/proc/3310/stat : 3310 (strangenight1-m) R 3307 3310 2853 0 -1 4202496 614539 0 0 0 479787 229 0 0 25 0 4 0 107890126 626270208 115923 33554432000 4194304 4650419 140733356554528 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3310/statm: 152898 115923 393 112 0 147863 0
[pid=3310/tid=3311] ppid=3307 vsize=611592 CPUtime=1202.82 cores=0,2,4,6
/proc/3310/task/3311/stat : 3311 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 176854 0 0 0 120218 64 0 0 25 0 4 0 107890126 626270208 115923 33554432000 4194304 4650419 140733356554528 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3310/tid=3312] ppid=3307 vsize=611592 CPUtime=1191.71 cores=0,2,4,6
/proc/3310/task/3312/stat : 3312 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 191528 0 0 0 119099 72 0 0 25 0 4 0 107890126 626270208 115923 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3310/tid=3313] ppid=3307 vsize=611592 CPUtime=1202.8 cores=0,2,4,6
/proc/3310/task/3313/stat : 3313 (strangenight1-m) R 3307 3310 2853 0 -1 4202560 109209 0 0 0 120237 43 0 0 25 0 4 0 107890126 626270208 115923 33554432000 4194304 4650419 140733356554528 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 611592

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.23
CPU user time (s): 4797.91
CPU system time (s): 2.31365
CPU usage (%): 399.075
Max. virtual memory (cumulated for all children) (KiB): 677268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.91
system time used= 2.31365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 614539
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= 296
involuntary context switches= 21070

runsolver used 3.2595 second user time and 7.74582 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-14 21:53:27
IDJOB=3368778
IDBENCH=82787
IDSOLVER=1846
FILE ID=node112/3368778-1305402807
RUNJOBID= node112-1305401602-3195
PBS_JOBID= 13324474
Free space on /tmp= 73564 MiB

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

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

MD5SUM BENCH= d9cece0babfb15cb3db695bd3b0b9988
RANDOM SEED=1170830865

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15893576 kB
Buffers:        289256 kB
Cached:        2774188 kB
SwapCached:          0 kB
Active:       15058784 kB
Inactive:      1760244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15893576 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:    13755604 kB
Mapped:          21060 kB
Slab:           132612 kB
PageTables:      42168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 34988632 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= 73556 MiB
End job on node112 at 2011-05-14 22:13:32