Trace number 3175226

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.39 1201.74

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.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-3175226-1304100928.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
0.00/0.01	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.18/0.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.18/0.81	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.81	c calculated reachability. Time: 0.00
3.18/0.81	c Calc default polars -  time:   0.00 s pos:      59 undec:       6 neg:      60
3.18/0.81	c =========================================================================================
3.18/0.81	c types(t): F = full restart, N = normal restart
3.18/0.81	c types(t): S = simplification begin/end, E = solution found
3.18/0.81	c restart types(rt): st = static, dy = dynamic
3.18/0.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.81	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
3.18/0.81	c Decided on static restart strategy
3.18/0.81	c  N st     8      4914       125      2662         0      4679     13310    122903   no data   no data  --
3.18/0.81	c  N st    10     11298       125      2662         0      4298     13310     86916   no data   no data  --
3.18/0.81	c  N st    11     17046       125      2662         0      9701     13310    223976   no data   no data  --
3.58/0.91	c  F st    12     25000       125      2662         0     11885     13310    279503   no data   no data  --
3.58/0.91	c  N st    12     25000       125      2662         0     11885     13310    279503   no data   no data  --
4.39/1.11	c Decided on static restart strategy
4.39/1.11	c  N st    18     30000       125      2662         0     10171     13310    221246   no data   no data  --
4.39/1.11	c  S st    18     30000       125      2662         0     10171     13310    221246   no data   no data  --
4.39/1.11	c  S st    18     30502       125      2662         0     10659     13310    233909   no data   no data  --
4.39/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.39/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.39/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.38/1.68	c lits-rem:      2261  cl-subs:     1578  v-elim:      0  v-fix:    0  time:  2.37 s
6.78/1.72	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.17
6.78/1.72	c calculated reachability. Time: 0.00
6.78/1.72	c  N st    18     30502       125      2662         0      9081     13310    190070   no data   no data  --
7.97/2.04	c  N st    20     37613       125      2662         0      8423     13310    163161   no data   no data  --
9.19/2.32	c  N st    21     44013       125      2662         0     14468     13310    325499   no data   no data  --
9.57/2.44	c  S st    22     45756       125      2662         0     16103     13310    368381   no data   no data  --
9.57/2.48	c  S st    22     46259       125      2662         0     16600     13310    381514   no data   no data  --
9.57/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.57/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.57/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.57/2.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.74	c lits-rem:      4303  cl-subs:     1438  v-elim:      0  v-fix:    0  time:  4.97 s
14.76/3.74	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
14.76/3.74	c vivif2 --  cl tried    15162 cl shrink        0 lits rem          0 time: 0.02
15.16/3.82	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
15.16/3.82	c calculated reachability. Time: 0.00
15.16/3.82	c  N st    22     46259       125      2662         0     15162     13310    336245   no data   no data  --
18.35/4.62	c  N st    23     60657       125      2662         0     10872     13310    193885   no data   no data  --
20.36/5.10	c  N st    24     69388       125      2662         0     19047     13310    409885   no data   no data  --
20.36/5.10	c  S st    24     69388       125      2662         0     19047     13310    409885   no data   no data  --
20.36/5.14	c  S st    24     69892       125      2662         0     19536     13310    422339   no data   no data  --
20.36/5.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
20.36/5.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.36/5.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.36/5.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.36/5.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.36/5.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.36/5.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.69	c lits-rem:      5584  cl-subs:     2156  v-elim:      0  v-fix:    0  time:  6.09 s
26.36/6.69	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.36/6.69	c vivif2 --  cl tried    17380 cl shrink        0 lits rem          0 time: 0.02
26.77/6.78	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.34
26.77/6.78	c calculated reachability. Time: 0.00
26.77/6.78	c  N st    24     69892       125      2662         0     17380     13310    359402   no data   no data  --
31.54/7.90	c  F st    25     87500       125      2662         0     12556     13310    216820   no data   no data  --
31.54/7.90	c  N st    25     87500       125      2662         0     12556     13310    216820   no data   no data  --
32.73/8.21	c Decided on static restart strategy
33.53/8.42	c  N st    32     95541       125      2662         0     20130     13310    415169   no data   no data  --
36.32/9.11	c  N st    34    104838       125      2662         0     16651     13310    316811   no data   no data  --
36.32/9.11	c  S st    34    104838       125      2662         0     16651     13310    316811   no data   no data  --
36.32/9.16	c  S st    34    105341       125      2662         0     17144     13310    329790   no data   no data  --
36.32/9.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.32/9.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.32/9.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.32/9.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.32/9.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.32/9.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.32/9.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.13/10.35	c lits-rem:      1950  cl-subs:     1167  v-elim:      0  v-fix:    0  time:  4.68 s
41.13/10.35	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.13/10.35	c vivif2 --  cl tried    15977 cl shrink        0 lits rem          0 time: 0.01
41.52/10.42	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.29
41.52/10.42	c calculated reachability. Time: 0.00
41.52/10.42	c  N st    34    105341       125      2662         0     15977     13310    295877   no data   no data  --
44.71/11.24	c  N st    35    114940       125      2662         0     24943     13310    530120   no data   no data  --
48.73/12.27	c  N st    36    129338       125      2662         0     25407     13310    539130   no data   no data  --
55.90/14.07	c  N st    37    150935       125      2662         0     16504     13310    262902   no data   no data  --
57.89/14.56	c  S st    38    158011       125      2662         0     23137     13310    440494   no data   no data  --
58.29/14.62	c  S st    38    158517       125      2662         0     23626     13310    453596   no data   no data  --
58.29/14.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.29/14.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.29/14.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
58.29/14.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.29/14.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.29/14.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
58.29/14.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
64.70/16.26	c lits-rem:      3774  cl-subs:     1725  v-elim:      0  v-fix:    0  time:  6.48 s
64.70/16.26	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
64.70/16.26	c vivif2 --  cl tried    21901 cl shrink        0 lits rem          0 time: 0.02
65.10/16.38	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.48
65.10/16.39	c calculated reachability. Time: 0.00
65.10/16.39	c  N st    38    158517       125      2662         0     21901     13310    402809   no data   no data  --
81.47/20.49	c  N st    39    207106       125      2662         0     34818     13310    725354   no data   no data  --
91.86/23.01	c  N st    40    237776       125      2662         0     27014     13310    504740   no data   no data  --
91.86/23.01	c  S st    40    237776       125      2662         0     27014     13310    504740   no data   no data  --
91.86/23.07	c  S st    40    238279       125      2662         0     27504     13310    517300   no data   no data  --
91.86/23.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.86/23.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.86/23.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.86/23.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.86/23.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.86/23.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.86/23.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.65/24.79	c lits-rem:      3718  cl-subs:     1850  v-elim:      0  v-fix:    0  time:  6.77 s
98.65/24.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
99.04/24.80	c vivif2 --  cl tried    25654 cl shrink        0 lits rem          0 time: 0.02
99.44/24.92	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.48
99.44/24.92	c calculated reachability. Time: 0.00
99.44/24.92	c  N st    40    238279       125      2662         0     25654     13310    462216   no data   no data  --
125.01/31.32	c  F st    41    306251       125      2662         0     27413     13310    454056   no data   no data  --
125.01/31.32	c  N st    41    306251       125      2662         0     27413     13310    454056   no data   no data  --
126.61/31.78	c Decided on static restart strategy
135.40/33.99	c  N st    51    334562       125      2662         0     31569     13310    547498   no data   no data  --
145.78/36.56	c  N st    53    357418       125      2662         0     29508     13310    474361   no data   no data  --
145.78/36.56	c  S st    53    357418       125      2662         0     29508     13310    474361   no data   no data  --
146.18/36.63	c  S st    53    357918       125      2662         0     29996     13310    487229   no data   no data  --
146.18/36.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.18/36.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
146.18/36.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
146.18/36.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.18/36.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.18/36.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
146.18/36.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
151.77/38.02	c lits-rem:      3035  cl-subs:     1542  v-elim:      0  v-fix:    0  time:  5.44 s
151.77/38.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
151.77/38.02	c vivif2 --  cl tried    28454 cl shrink        0 lits rem          0 time: 0.02
152.17/38.16	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.54
152.17/38.16	c calculated reachability. Time: 0.00
152.17/38.16	c  N st    53    357918       125      2662         0     28454     13310    444012   no data   no data  --
167.75/42.06	c  N st    54    390310       125      2662         0     34426     13310    593662   no data   no data  --
192.13/48.15	c  N st    55    438898       125      2662         0     28435     13310    413510   no data   no data  --
228.08/57.19	c  N st    56    511780       125      2662         0     41418     13310    733908   no data   no data  --
239.26/59.96	c  N st    57    536877       125      2662         0     35971     13310    556833   no data   no data  --
239.26/59.96	c  S st    57    536877       125      2662         0     35971     13310    556833   no data   no data  --
239.66/60.05	c  S st    57    537379       125      2662         0     36463     13310    569982   no data   no data  --
239.66/60.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
239.66/60.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
239.66/60.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
239.66/60.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.66/60.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.66/60.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
239.66/60.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
247.25/61.95	c lits-rem:      1666  cl-subs:     1533  v-elim:      0  v-fix:    0  time:  7.46 s
247.25/61.95	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
247.25/61.96	c vivif2 --  cl tried    34930 cl shrink        0 lits rem          0 time: 0.02
248.04/62.14	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.73
248.04/62.14	c calculated reachability. Time: 0.00
248.04/62.14	c  N st    57    537379       125      2662         0     34930     13310    529105   no data   no data  --
334.73/83.87	c  N st    58    701364       125      2662         0     62883     13310   1226513   no data   no data  --
403.45/101.02	c  N st    59    806069       125      2662         0     56932     13310    995365   no data   no data  --
403.45/101.02	c  S st    59    806069       125      2662         0     56932     13310    995365   no data   no data  --
403.85/101.18	c  S st    59    806570       125      2662         0     57423     13310   1008309   no data   no data  --
403.85/101.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
403.85/101.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
404.27/101.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
404.27/101.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
404.27/101.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
404.27/101.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
404.27/101.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
424.62/106.31	c lits-rem:      1653  cl-subs:     5156  v-elim:      0  v-fix:    0  time: 20.25 s
424.62/106.31	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
424.62/106.32	c vivif2 --  cl tried    52267 cl shrink        0 lits rem          0 time: 0.04
425.42/106.59	c asymm  cl-useful: 0/2113/2662 lits-rem:0 time: 1.05
425.42/106.59	c calculated reachability. Time: 0.00
425.42/106.59	c  N st    59    806570       125      2662         0     52267     13310    883482   no data   no data  --
595.19/149.07	c  F st    60   1071875       125      2662         0     67564     13310   1208985   no data   no data  --
595.19/149.07	c  N st    60   1071875       125      2662         0     67564     13310   1208985   no data   no data  --
599.59/150.19	c Decided on static restart strategy
617.16/154.54	c  N st    70   1100181       125      2662         0     52213     13310    779517   no data   no data  --
645.53/161.70	c  N st    72   1136173       125      2662         0     42828     13310    521889   no data   no data  --
668.69/167.44	c  N st    73   1168565       125      2662         0     72849     13310   1272711   no data   no data  --
697.46/174.61	c  N st    74   1209857       125      2662         0     67703     13310   1153801   no data   no data  --
697.46/174.61	c  S st    74   1209857       125      2662         0     67703     13310   1153801   no data   no data  --
698.26/174.80	c  S st    74   1210359       125      2662         0     68186     13310   1166908   no data   no data  --
698.26/174.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
698.26/174.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
698.26/174.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
698.26/174.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.26/174.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.26/174.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
698.26/174.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
739.40/185.18	c lits-rem:      3068  cl-subs:     6002  v-elim:      0  v-fix:    0  time: 41.16 s
739.40/185.18	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
739.40/185.19	c vivif2 --  cl tried    62184 cl shrink        0 lits rem          0 time: 0.06
740.20/185.34	c asymm  cl-useful: 0/549/2662 lits-rem:0 time: 0.59
740.20/185.34	c calculated reachability. Time: 0.00
740.20/185.34	c  N st    74   1210359       125      2662         0     62184     13310   1015441   no data   no data  --
806.91/202.08	c  N st    75   1283243       125      2662         0     86025     13310   1648982   no data   no data  --
918.38/229.97	c  N st    76   1392568       125      2662         0     47992     13310    579646   no data   no data  --
1056.97/264.60	c  N st    77   1556552       125      2662         0     52668     13310    655058   no data   no data  --
1188.80/297.65	c  N st    78   1710360       125      2662         0     92260     13310   1665559   no data   no data  --
1188.80/297.65	c  S st    78   1710360       125      2662         0     92260     13310   1665559   no data   no data  --
1190.40/298.04	c  S st    78   1710861       125      2662         0     92746     13310   1678331   no data   no data  --
1190.40/298.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1190.40/298.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1190.40/298.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
1190.81/298.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1190.81/298.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1190.81/298.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1190.81/298.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1341.78/335.93	c lits-rem:      2580  cl-subs:    10458  v-elim:      0  v-fix:    0  time: 150.81 s
1341.78/335.93	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1341.78/335.95	c vivif2 --  cl tried    82288 cl shrink        0 lits rem          0 time: 0.08
1343.38/336.35	c asymm  cl-useful: 0/1455/2662 lits-rem:0 time: 1.60
1343.38/336.35	c calculated reachability. Time: 0.00
1343.38/336.35	c  N st    78   1710861       125      2662         0     82288     13310   1416872   no data   no data  --
1694.92/424.35	c  N st    79   2079825       125      2662         0     93749     13310   1593101   no data   no data  --
1809.96/453.15	c  N st    80   2210863       125      2662         0     97917     13310   1699703   no data   no data  --
1809.96/453.15	c  S st    80   2210863       125      2662         0     97917     13310   1699703   no data   no data  --
1811.15/453.45	c  S st    80   2211365       125      2662         0     98406     13310   1712966   no data   no data  --
1811.15/453.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1811.15/453.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1811.55/453.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1811.55/453.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1811.55/453.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1811.55/453.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1811.55/453.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1921.40/481.07	c lits-rem:      7445  cl-subs:     8847  v-elim:      0  v-fix:    0  time: 109.83 s
1921.40/481.07	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1921.40/481.09	c vivif2 --  cl tried    89559 cl shrink        0 lits rem          0 time: 0.09
1923.40/481.56	c asymm  cl-useful: 0/1099/2662 lits-rem:0 time: 1.90
1923.40/481.57	c calculated reachability. Time: 0.00
1923.40/481.57	c  N st    80   2211365       125      2662         0     89559     13310   1486978   no data   no data  --
2471.46/618.70	c  N st    81   2711365       125      2662         0    112702     13310   2032518   no data   no data  --
2471.46/618.70	c  S st    81   2711365       125      2662         0    112702     13310   2032518   no data   no data  --
2472.66/619.08	c  S st    81   2711870       125      2662         0    113189     13310   2045409   no data   no data  --
2472.66/619.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2472.66/619.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2473.07/619.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2473.47/619.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2473.47/619.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2473.47/619.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2473.47/619.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2651.62/663.86	c lits-rem:      4931  cl-subs:    10460  v-elim:      0  v-fix:    0  time: 178.34 s
2651.62/663.86	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2651.62/663.88	c vivif2 --  cl tried   102729 cl shrink        0 lits rem          0 time: 0.10
2653.62/664.36	c asymm  cl-useful: 0/1154/2662 lits-rem:0 time: 1.90
2653.62/664.36	c calculated reachability. Time: 0.00
2653.62/664.36	c  N st    81   2711870       125      2662         0    102729     13310   1778706   no data   no data  --
3200.07/801.17	c  N st    82   3211871       125      2662         0     79771     13310   1035160   no data   no data  --
3200.07/801.17	c  S st    82   3211871       125      2662         0     79771     13310   1035160   no data   no data  --
3201.27/801.40	c  S st    82   3212378       125      2662         0     80263     13310   1048397   no data   no data  --
3201.27/801.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3201.27/801.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3201.27/801.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3201.27/801.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3201.27/801.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3201.27/801.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3201.27/801.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3238.84/810.87	c lits-rem:      2924  cl-subs:     1629  v-elim:      0  v-fix:    0  time: 37.49 s
3238.84/810.87	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3238.84/810.88	c vivif2 --  cl tried    78634 cl shrink        0 lits rem          0 time: 0.06
3240.82/811.31	c asymm  cl-useful: 0/1314/2662 lits-rem:0 time: 1.69
3240.82/811.31	c calculated reachability. Time: 0.00
3240.82/811.31	c  N st    82   3212378       125      2662         0     78634     13310   1003896   no data   no data  --
3852.00/964.30	c  N st    83   3712379       125      2662         0     89139     13310   1188623   no data   no data  --
3852.00/964.30	c  S st    83   3712379       125      2662         0     89139     13310   1188623   no data   no data  --
3852.80/964.57	c  S st    83   3712881       125      2662         0     89623     13310   1201416   no data   no data  --
3852.80/964.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3852.80/964.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3853.20/964.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
3853.20/964.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3853.20/964.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3853.20/964.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3853.20/964.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3882.76/972.07	c lits-rem:       892  cl-subs:     2907  v-elim:      0  v-fix:    0  time: 29.58 s
3882.76/972.07	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3882.76/972.08	c vivif2 --  cl tried    86716 cl shrink        0 lits rem          0 time: 0.06
3883.96/972.39	c asymm  cl-useful: 0/1392/2662 lits-rem:0 time: 1.26
3883.96/972.40	c calculated reachability. Time: 0.00
3883.96/972.40	c  N st    83   3712881       125      2662         0     86716     13310   1130750   no data   no data  --
3935.49/985.30	c  F st    84   3751562       125      2662         0    122676     13310   2067222   no data   no data  --
3935.89/985.30	c  N st    84   3751562       125      2662         0    122676     13310   2067222   no data   no data  --
3945.47/987.72	c Decided on static restart strategy
3987.82/998.34	c  N st    94   3779868       125      2662         0    149229     13310   2776701   no data   no data  --
4035.36/1010.29	c  N st    96   3815861       125      2662         0    103917     13310   1583162   no data   no data  --
4089.68/1023.85	c  N st    97   3848253       125      2662         0    133888     13310   2344871   no data   no data  --
4155.19/1040.22	c  N st    98   3896841       125      2662         0     99016     13310   1415065   no data   no data  --
4257.46/1065.86	c  N st    99   3969724       125      2662         0     85914     13310   1056303   no data   no data  --
4389.27/1098.82	c  N st   100   4079047       125      2662         0    106030     13310   1580996   no data   no data  --
4569.85/1144.00	c  N st   101   4212881       125      2662         0    147478     13310   2593268   no data   no data  --
4569.85/1144.00	c  S st   101   4212881       125      2662         0    147478     13310   2593268   no data   no data  --
4571.42/1144.49	c  S st   101   4213384       125      2662         0    147963     13310   2606740   no data   no data  --
4571.82/1144.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4571.82/1144.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4571.82/1144.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4572.22/1144.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4572.22/1144.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4572.22/1144.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4572.22/1144.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175226-1304100928/watcher-3175226-1304100928 -o /tmp/evaluation-result-3175226-1304100928/solver-3175226-1304100928 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175226-1304100928.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: 2.73 3.66 5.29 6/180 29499
/proc/meminfo: memFree=30986132/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 415 0 0 0 0 0 0 0 18 0 4 0 521689488 52465664 354 33554432000 4194304 4650419 140733787759824 18446744073709551615 47264536221618 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 12809 354 303 112 0 7774 0
[pid=29499/tid=29500] ppid=29497 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 521689489 52465664 354 33554432000 4194304 4650419 140733787759824 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 521689489 52465664 354 33554432000 4194304 4650419 140733787759824 18446744073709551615 47264536221612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 521689489 52465664 354 33554432000 4194304 4650419 140733787759824 18446744073709551615 47264536221618 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.131117 s]
/proc/loadavg: 2.73 3.66 5.29 6/180 29499
/proc/meminfo: memFree=30986132/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=283116 CPUtime=0.5 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 2187 0 0 0 50 0 0 0 18 0 4 0 521689488 289910784 1847 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 70779 1847 391 112 0 65744 0
[pid=29499/tid=29500] ppid=29497 vsize=283116 CPUtime=0.12 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 452 0 0 0 12 0 0 0 20 0 4 0 521689489 289910784 1847 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=283116 CPUtime=0.12 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 452 0 0 0 12 0 0 0 18 0 4 0 521689489 289910784 1847 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=283116 CPUtime=0.12 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 434 0 0 0 12 0 0 0 18 0 4 0 521689489 289910784 1847 33554432000 4194304 4650419 140733787759824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 283116

[startup+0.231096 s]
/proc/loadavg: 2.73 3.66 5.29 6/180 29499
/proc/meminfo: memFree=30986132/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=284232 CPUtime=0.9 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 2989 0 0 0 90 0 0 0 18 0 4 0 521689488 291053568 2172 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 71058 2172 391 112 0 66023 0
[pid=29499/tid=29500] ppid=29497 vsize=284232 CPUtime=0.22 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 676 0 0 0 22 0 0 0 20 0 4 0 521689489 291053568 2172 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=284232 CPUtime=0.22 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 675 0 0 0 22 0 0 0 18 0 4 0 521689489 291053568 2173 33554432000 4194304 4650419 140733787759824 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=284232 CPUtime=0.22 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 556 0 0 0 22 0 0 0 18 0 4 0 521689489 291053568 2173 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 284232

[startup+0.331077 s]
/proc/loadavg: 2.73 3.66 5.29 6/180 29499
/proc/meminfo: memFree=30986132/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=284540 CPUtime=1.3 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 3594 0 0 0 130 0 0 0 18 0 4 0 521689488 291368960 2302 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 71135 2302 391 112 0 66100 0
[pid=29499/tid=29500] ppid=29497 vsize=284540 CPUtime=0.32 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 752 0 0 0 32 0 0 0 20 0 4 0 521689489 291368960 2302 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=284540 CPUtime=0.32 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 755 0 0 0 32 0 0 0 18 0 4 0 521689489 291368960 2302 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=284540 CPUtime=0.32 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 780 0 0 0 32 0 0 0 18 0 4 0 521689489 291368960 2302 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 284540

[startup+0.701005 s]
/proc/loadavg: 2.73 3.66 5.29 6/180 29499
/proc/meminfo: memFree=30986132/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=285756 CPUtime=2.78 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 5715 0 0 0 277 1 0 0 18 0 4 0 521689488 292614144 2764 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 71439 2764 391 112 0 66404 0
[pid=29499/tid=29500] ppid=29497 vsize=285756 CPUtime=0.69 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 1352 0 0 0 69 0 0 0 21 0 4 0 521689489 292614144 2764 33554432000 4194304 4650419 140733787759824 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=285756 CPUtime=0.69 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 1369 0 0 0 69 0 0 0 18 0 4 0 521689489 292614144 2764 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=285756 CPUtime=0.69 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 1204 0 0 0 69 0 0 0 18 0 4 0 521689489 292614144 2764 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285756

[startup+1.50085 s]
/proc/loadavg: 2.73 3.66 5.29 10/184 29503
/proc/meminfo: memFree=30961920/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=282800 CPUtime=5.98 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 11512 0 0 0 596 2 0 0 20 0 4 0 521689488 289587200 6344 33554432000 4194304 4650419 140733787759824 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 70700 6344 393 112 0 65665 0
[pid=29499/tid=29500] ppid=29497 vsize=282800 CPUtime=1.48 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 3405 0 0 0 148 0 0 0 23 0 4 0 521689489 289587200 6344 33554432000 4194304 4650419 140733787759824 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=282800 CPUtime=1.49 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 2319 0 0 0 149 0 0 0 20 0 4 0 521689489 289587200 6344 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=282800 CPUtime=1.49 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 2072 0 0 0 149 0 0 0 20 0 4 0 521689489 289587200 6344 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 282800

[startup+3.10053 s]
/proc/loadavg: 2.73 3.66 5.29 9/184 29503
/proc/meminfo: memFree=30932292/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=283004 CPUtime=12.37 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 18883 0 0 0 1234 3 0 0 25 0 4 0 521689488 289796096 12255 33554432000 4194304 4650419 140733787759824 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 70751 12255 393 112 0 65716 0
[pid=29499/tid=29500] ppid=29497 vsize=283004 CPUtime=3.07 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 4421 0 0 0 307 0 0 0 25 0 4 0 521689489 289796096 12255 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=283004 CPUtime=3.09 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 4642 0 0 0 309 0 0 0 25 0 4 0 521689489 289796096 12255 33554432000 4194304 4650419 140733787759824 18446744073709551615 4476227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=283004 CPUtime=3.09 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 4317 0 0 0 309 0 0 0 25 0 4 0 521689489 289796096 12255 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 283004

[startup+6.30089 s]
/proc/loadavg: 3.15 3.74 5.31 9/184 29503
/proc/meminfo: memFree=30906732/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=299540 CPUtime=25.15 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 28015 0 0 0 2511 4 0 0 25 0 4 0 521689488 306728960 15484 33554432000 4194304 4650419 140733787759824 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 74885 15484 393 112 0 69850 0
[pid=29499/tid=29500] ppid=29497 vsize=299540 CPUtime=6.26 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 6833 0 0 0 626 0 0 0 25 0 4 0 521689489 306728960 15484 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=299540 CPUtime=6.28 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 7857 0 0 0 628 0 0 0 25 0 4 0 521689489 306728960 15484 33554432000 4194304 4650419 140733787759824 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=299540 CPUtime=6.28 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 5743 0 0 0 628 0 0 0 25 0 4 0 521689489 306728960 15484 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 299540

[startup+12.7006 s]
/proc/loadavg: 3.54 3.81 5.32 9/184 29503
/proc/meminfo: memFree=30873628/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=285656 CPUtime=50.71 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 42146 0 0 0 5063 8 0 0 25 0 4 0 521689488 292511744 19618 33554432000 4194304 4650419 140733787759824 18446744073709551615 4367245 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 71414 19618 393 112 0 66379 0
[pid=29499/tid=29500] ppid=29497 vsize=285656 CPUtime=12.62 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 10880 0 0 0 1261 1 0 0 25 0 4 0 521689489 292511744 19618 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=285656 CPUtime=12.68 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 11055 0 0 0 1266 2 0 0 25 0 4 0 521689489 292511744 19618 33554432000 4194304 4650419 140733787759824 18446744073709551615 4360016 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=285656 CPUtime=12.69 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 8856 0 0 0 1268 1 0 0 25 0 4 0 521689489 292511744 19618 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 285656

[startup+25.5011 s]
/proc/loadavg: 4.53 4.01 5.36 9/184 29503
/proc/meminfo: memFree=30813520/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=294108 CPUtime=101.84 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 63383 0 0 0 10171 13 0 0 25 0 4 0 521689488 301166592 28568 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 73527 28568 393 112 0 68492 0
[pid=29499/tid=29500] ppid=29497 vsize=294108 CPUtime=25.35 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 17072 0 0 0 2533 2 0 0 25 0 4 0 521689489 301166592 28568 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=294108 CPUtime=25.48 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 18294 0 0 0 2545 3 0 0 25 0 4 0 521689489 301166592 28568 33554432000 4194304 4650419 140733787759824 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=294108 CPUtime=25.49 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 12222 0 0 0 2546 3 0 0 25 0 4 0 521689489 301166592 28568 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 294108

[startup+51.101 s]
/proc/loadavg: 5.84 4.36 5.44 9/184 29504
/proc/meminfo: memFree=30753392/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=325568 CPUtime=204.11 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 91023 0 0 0 20390 21 0 0 25 0 4 0 521689488 333381632 37326 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 81392 37327 393 112 0 76357 0
[pid=29499/tid=29500] ppid=29497 vsize=325568 CPUtime=50.82 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 22621 0 0 0 5079 3 0 0 25 0 4 0 521689489 333381632 37327 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=325568 CPUtime=51.08 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 28574 0 0 0 5102 6 0 0 25 0 4 0 521689489 333381632 37327 33554432000 4194304 4650419 140733787759824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=325568 CPUtime=51.09 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 16957 0 0 0 5104 5 0 0 25 0 4 0 521689489 333381632 37327 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 325568

[startup+102.301 s]
/proc/loadavg: 7.19 4.95 5.58 9/184 29505
/proc/meminfo: memFree=30718248/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=321888 CPUtime=408.65 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 139231 0 0 0 40831 34 0 0 25 0 4 0 521689488 329613312 40962 33554432000 4194304 4650419 140733787759824 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 80472 40962 393 112 0 75437 0
[pid=29499/tid=29500] ppid=29497 vsize=321888 CPUtime=101.75 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 31938 0 0 0 10169 6 0 0 25 0 4 0 521689489 329613312 40962 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=321888 CPUtime=102.28 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 44567 0 0 0 10218 10 0 0 25 0 4 0 521689489 329613312 40962 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=321888 CPUtime=102.3 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 25612 0 0 0 10223 7 0 0 25 0 4 0 521689489 329613312 40962 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 321888

[startup+162.301 s]

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

[pid=29499] ppid=29497 vsize=559524 CPUtime=2565.73 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 415027 0 0 0 256434 139 0 0 25 0 4 0 521689488 572952576 96187 33554432000 4194304 4650419 140733787759824 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 139881 96187 393 112 0 134846 0
[pid=29499/tid=29500] ppid=29497 vsize=559524 CPUtime=638.84 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 81923 0 0 0 63859 25 0 0 25 0 4 0 521689489 572952576 96187 33554432000 4194304 4650419 140733787759824 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=559524 CPUtime=642.24 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 144046 0 0 0 64177 47 0 0 25 0 4 0 521689489 572952576 96187 33554432000 4194304 4650419 140733787759824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=559524 CPUtime=642.31 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 58774 0 0 0 64208 23 0 0 25 0 4 0 521689489 572952576 96187 33554432000 4194304 4650419 140733787759824 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 559524

[startup+702.3 s]
/proc/loadavg: 8.03 7.62 6.75 9/184 29521
/proc/meminfo: memFree=30301356/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=558792 CPUtime=2805.41 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 432433 0 0 0 280393 148 0 0 25 0 4 0 521689488 572203008 101058 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 139698 101058 393 112 0 134663 0
[pid=29499/tid=29500] ppid=29497 vsize=558792 CPUtime=698.52 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 82965 0 0 0 69826 26 0 0 25 0 4 0 521689489 572203008 101058 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=558792 CPUtime=702.25 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 151645 0 0 0 70174 51 0 0 25 0 4 0 521689489 572203008 101058 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=558792 CPUtime=702.32 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 60789 0 0 0 70207 25 0 0 25 0 4 0 521689489 572203008 101058 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 558792

[startup+762.3 s]
/proc/loadavg: 8.20 7.74 6.84 9/184 29523
/proc/meminfo: memFree=30290912/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=567224 CPUtime=3045.1 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 449742 0 0 0 304355 155 0 0 25 0 4 0 521689488 580837376 105719 33554432000 4194304 4650419 140733787759824 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 141806 105719 393 112 0 136771 0
[pid=29499/tid=29500] ppid=29497 vsize=567224 CPUtime=758.2 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 85285 0 0 0 75793 27 0 0 25 0 4 0 521689489 580837376 105719 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=567224 CPUtime=762.24 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 159280 0 0 0 76171 53 0 0 25 0 4 0 521689489 580837376 105719 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=567224 CPUtime=762.33 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 61501 0 0 0 76208 25 0 0 25 0 4 0 521689489 580837376 105719 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 567224

[startup+822.3 s]
/proc/loadavg: 8.15 7.80 6.91 9/184 29525
/proc/meminfo: memFree=30258012/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=540936 CPUtime=3284.76 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 467278 0 0 0 328314 162 0 0 25 0 4 0 521689488 553918464 99772 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 135234 99772 393 112 0 130199 0
[pid=29499/tid=29500] ppid=29497 vsize=540936 CPUtime=817.87 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 88049 0 0 0 81758 29 0 0 25 0 4 0 521689489 553918464 99772 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=540936 CPUtime=822.23 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 168936 0 0 0 82167 56 0 0 25 0 4 0 521689489 553918464 99772 33554432000 4194304 4650419 140733787759824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=540936 CPUtime=822.33 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 61537 0 0 0 82208 25 0 0 25 0 4 0 521689489 553918464 99772 33554432000 4194304 4650419 140733787759824 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 540936

[startup+882.307 s]
/proc/loadavg: 8.05 7.83 6.98 9/184 29526
/proc/meminfo: memFree=30274084/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=578968 CPUtime=3524.46 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 488800 0 0 0 352275 171 0 0 25 0 4 0 521689488 592863232 105317 33554432000 4194304 4650419 140733787759824 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 144742 105317 393 112 0 139707 0
[pid=29499/tid=29500] ppid=29497 vsize=578968 CPUtime=877.55 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 91320 0 0 0 87725 30 0 0 25 0 4 0 521689489 592863232 105317 33554432000 4194304 4650419 140733787759824 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=578968 CPUtime=882.24 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 175061 0 0 0 88164 60 0 0 25 0 4 0 521689489 592863232 105317 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=578968 CPUtime=882.33 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 65387 0 0 0 88207 26 0 0 25 0 4 0 521689489 592863232 105317 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 578968

[startup+942.301 s]
/proc/loadavg: 8.09 7.88 7.04 9/184 29528
/proc/meminfo: memFree=30253216/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=579312 CPUtime=3764.12 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 509589 0 0 0 376233 179 0 0 25 0 4 0 521689488 593215488 104326 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 144828 104326 393 112 0 139793 0
[pid=29499/tid=29500] ppid=29497 vsize=579312 CPUtime=937.22 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 91650 0 0 0 93691 31 0 0 25 0 4 0 521689489 593215488 104327 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=579312 CPUtime=942.24 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 183626 0 0 0 94161 63 0 0 25 0 4 0 521689489 593215488 104327 33554432000 4194304 4650419 140733787759824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=579312 CPUtime=942.33 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 67133 0 0 0 94206 27 0 0 25 0 4 0 521689489 593215488 104327 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 579312

[startup+1002.3 s]
/proc/loadavg: 8.10 7.91 7.11 9/184 29529
/proc/meminfo: memFree=30214356/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=689700 CPUtime=4003.79 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 526664 0 0 0 400193 186 0 0 25 0 4 0 521689488 706252800 108898 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 172425 108898 393 112 0 167390 0
[pid=29499/tid=29500] ppid=29497 vsize=689700 CPUtime=996.9 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 95139 0 0 0 99657 33 0 0 25 0 4 0 521689489 706252800 108898 33554432000 4194304 4650419 140733787759824 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=689700 CPUtime=1002.23 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 189785 0 0 0 100157 66 0 0 25 0 4 0 521689489 706252800 108898 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=689700 CPUtime=1002.33 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 67136 0 0 0 100206 27 0 0 25 0 4 0 521689489 706252800 108898 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 689700

[startup+1062.3 s]
/proc/loadavg: 8.16 7.96 7.17 9/184 29531
/proc/meminfo: memFree=30217396/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=646100 CPUtime=4243.47 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 548104 0 0 0 424152 195 0 0 25 0 4 0 521689488 661606400 112677 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 161525 112677 393 112 0 156490 0
[pid=29499/tid=29500] ppid=29497 vsize=646100 CPUtime=1056.57 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 95256 0 0 0 105624 33 0 0 25 0 4 0 521689489 661606400 112677 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=646100 CPUtime=1062.23 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 198907 0 0 0 106153 70 0 0 25 0 4 0 521689489 661606400 112677 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=646100 CPUtime=1062.34 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 71588 0 0 0 106206 28 0 0 25 0 4 0 521689489 661606400 112677 33554432000 4194304 4650419 140733787759824 18446744073709551615 4441740 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 646100

[startup+1122.3 s]
/proc/loadavg: 8.17 7.99 7.23 9/184 29533
/proc/meminfo: memFree=30234964/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=664888 CPUtime=4483.15 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 574498 0 0 0 448110 205 0 0 25 0 4 0 521689488 680845312 105362 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 166222 105362 393 112 0 161187 0
[pid=29499/tid=29500] ppid=29497 vsize=664888 CPUtime=1116.24 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 101403 0 0 0 111590 34 0 0 25 0 4 0 521689489 680845312 105362 33554432000 4194304 4650419 140733787759824 18446744073709551615 4328094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=664888 CPUtime=1122.22 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 206794 0 0 0 112150 72 0 0 25 0 4 0 521689489 680845312 105362 33554432000 4194304 4650419 140733787759824 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=664888 CPUtime=1122.34 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 75895 0 0 0 112205 29 0 0 25 0 4 0 521689489 680845312 105362 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 664888

[startup+1182.3 s]
/proc/loadavg: 8.17 8.02 7.29 9/184 29534
/proc/meminfo: memFree=30137584/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=682008 CPUtime=4722.83 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 601358 0 0 0 472068 215 0 0 25 0 4 0 521689488 698376192 120679 33554432000 4194304 4650419 140733787759824 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 170502 120679 393 112 0 165467 0
[pid=29499/tid=29500] ppid=29497 vsize=682008 CPUtime=1175.93 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 109007 0 0 0 117556 37 0 0 25 0 4 0 521689489 698376192 120679 33554432000 4194304 4650419 140733787759824 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=682008 CPUtime=1182.22 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 212568 0 0 0 118146 76 0 0 25 0 4 0 521689489 698376192 120679 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=682008 CPUtime=1182.34 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 80681 0 0 0 118203 31 0 0 25 0 4 0 521689489 698376192 120679 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 682008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.02 7.30 9/184 29566
/proc/meminfo: memFree=30531696/32950928 swapFree=67111464/67111528
[pid=29499] ppid=29497 vsize=626104 CPUtime=4800.34 cores=0,2,4,6
/proc/29499/stat : 29499 (strangenight1-m) R 29497 29499 29397 0 -1 4202496 604823 0 0 0 479816 218 0 0 25 0 4 0 521689488 641130496 120203 33554432000 4194304 4650419 140733787759824 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29499/statm: 156526 120203 393 112 0 151491 0
[pid=29499/tid=29500] ppid=29497 vsize=626104 CPUtime=1195.22 cores=0,2,4,6
/proc/29499/task/29500/stat : 29500 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 109007 0 0 0 119485 37 0 0 25 0 4 0 521689489 641130496 120203 33554432000 4194304 4650419 140733787759824 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29499/tid=29501] ppid=29497 vsize=626104 CPUtime=1201.62 cores=0,2,4,6
/proc/29499/task/29501/stat : 29501 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 215324 0 0 0 120084 78 0 0 25 0 4 0 521689489 641130496 120203 33554432000 4194304 4650419 140733787759824 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29499/tid=29502] ppid=29497 vsize=626104 CPUtime=1201.74 cores=0,2,4,6
/proc/29499/task/29502/stat : 29502 (strangenight1-m) R 29497 29499 29397 0 -1 4202560 81390 0 0 0 120142 32 0 0 25 0 4 0 521689489 641130496 120203 33554432000 4194304 4650419 140733787759824 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 626104

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.39
CPU user time (s): 4798.18
CPU system time (s): 2.20966
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 779392

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

runsolver used 1.88471 second user time and 4.64929 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 20:15:28
IDJOB=3175226
IDBENCH=82844
IDSOLVER=1588
FILE ID=node149/3175226-1304100928
RUNJOBID= node149-1304100922-29415
PBS_JOBID= 13170626
Free space on /tmp= 71928 MiB

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

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

MD5SUM BENCH= b936bd7aa1624f527379bba2a9d6f8ed
RANDOM SEED=1534242546

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30986412 kB
Buffers:        424360 kB
Cached:        1074804 kB
SwapCached:         60 kB
Active:         129896 kB
Inactive:      1463548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30986412 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           12856 kB
Writeback:           4 kB
AnonPages:       93580 kB
Mapped:          15548 kB
Slab:           306712 kB
PageTables:       4564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   313204 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= 71920 MiB
End job on node149 at 2011-04-29 20:35:32