Trace number 3369058

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf
MD5SUMad19e852103e6838347ce97648b48b74
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.141977
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-3369058-1305411079.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.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.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      58 undec:      10 neg:      57
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.41/0.13	c  N st     8      4918       125      2662         0      4639     13310    119601   no data   no data  --
1.17/0.35	c  N st    10     11305       125      2662         0      4293     13310     88324   no data   no data  --
1.97/0.55	c  N st    11     17050       125      2662         0      9695     13310    229074   no data   no data  --
3.17/0.87	c  F st    12     25002       125      2662         0     11893     13310    278400   no data   no data  --
3.17/0.87	c  N st    12     25002       125      2662         0     11893     13310    278400   no data   no data  --
3.97/1.06	c Decided on static restart strategy
3.97/1.06	c  N st    18     30000       125      2662         0     10205     13310    225379   no data   no data  --
3.97/1.06	c  S st    18     30000       125      2662         0     10205     13310    225379   no data   no data  --
3.97/1.09	c  S st    18     30504       125      2662         0     10702     13310    238364   no data   no data  --
3.97/1.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.97/1.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.97/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.97/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.76/1.74	c lits-rem:      2608  cl-subs:     1599  v-elim:      0  v-fix:    0  time:  2.54 s
6.76/1.78	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.17
6.76/1.78	c calculated reachability. Time: 0.00
6.76/1.78	c  N st    18     30504       125      2662         0      9103     13310    192142   no data   no data  --
7.96/2.08	c  N st    20     37615       125      2662         0      8369     13310    159493   no data   no data  --
9.19/2.36	c  N st    21     44014       125      2662         0     14430     13310    328203   no data   no data  --
9.55/2.45	c  S st    22     45756       125      2662         0     16086     13310    372433   no data   no data  --
9.55/2.49	c  S st    22     46258       125      2662         0     16575     13310    384965   no data   no data  --
9.55/2.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.55/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.95/2.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.95/2.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.88	c lits-rem:      4548  cl-subs:     1545  v-elim:      0  v-fix:    0  time:  5.49 s
15.14/3.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.14/3.89	c vivif2 --  cl tried    15030 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     46258       125      2662         0     15030     13310    335306   no data   no data  --
18.73/4.75	c  N st    23     60657       125      2662         0     10788     13310    191234   no data   no data  --
20.73/5.20	c  N st    24     69388       125      2662         0     18972     13310    407813   no data   no data  --
20.73/5.20	c  S st    24     69388       125      2662         0     18972     13310    407813   no data   no data  --
20.73/5.25	c  S st    24     69890       125      2662         0     19466     13310    420681   no data   no data  --
20.73/5.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.73/5.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.73/5.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.73/5.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.73/5.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.73/5.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.73/5.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.34/6.68	c lits-rem:      3690  cl-subs:     1838  v-elim:      0  v-fix:    0  time:  5.60 s
26.34/6.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.34/6.68	c vivif2 --  cl tried    17628 cl shrink        0 lits rem          0 time: 0.02
26.76/6.77	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.33
26.76/6.77	c calculated reachability. Time: 0.00
26.76/6.77	c  N st    24     69890       125      2662         0     17628     13310    367097   no data   no data  --
32.30/8.11	c  F st    25     87500       125      2662         0     12658     13310    220116   no data   no data  --
32.30/8.11	c  N st    25     87500       125      2662         0     12658     13310    220116   no data   no data  --
33.50/8.44	c Decided on static restart strategy
34.30/8.66	c  N st    32     95539       125      2662         0     20264     13310    414761   no data   no data  --
36.69/9.24	c  N st    34    104836       125      2662         0     16775     13310    319724   no data   no data  --
36.69/9.24	c  S st    34    104836       125      2662         0     16775     13310    319724   no data   no data  --
36.69/9.29	c  S st    34    105342       125      2662         0     17269     13310    332792   no data   no data  --
36.69/9.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
36.69/9.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.69/9.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
37.09/9.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.09/9.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.09/9.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
37.09/9.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.48/10.50	c lits-rem:      2312  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  4.77 s
41.48/10.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.88/10.50	c vivif2 --  cl tried    16204 cl shrink        0 lits rem          0 time: 0.01
41.88/10.57	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
41.88/10.57	c calculated reachability. Time: 0.00
41.88/10.57	c  N st    34    105342       125      2662         0     16204     13310    303159   no data   no data  --
44.68/11.22	c  N st    35    114940       125      2662         0     25269     13310    553074   no data   no data  --
48.70/12.24	c  N st    36    129338       125      2662         0     25667     13310    542252   no data   no data  --
55.85/14.03	c  N st    37    150933       125      2662         0     16851     13310    274298   no data   no data  --
57.84/14.51	c  S st    38    158014       125      2662         0     23550     13310    451436   no data   no data  --
57.84/14.57	c  S st    38    158518       125      2662         0     24049     13310    464755   no data   no data  --
57.84/14.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.84/14.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.84/14.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
57.84/14.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.84/14.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.84/14.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.84/14.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.83/16.05	c lits-rem:      3645  cl-subs:     1632  v-elim:      0  v-fix:    0  time:  5.84 s
63.83/16.05	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.83/16.06	c vivif2 --  cl tried    22417 cl shrink        0 lits rem          0 time: 0.02
64.23/16.19	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.53
64.23/16.19	c calculated reachability. Time: 0.00
64.23/16.19	c  N st    38    158518       125      2662         0     22417     13310    416555   no data   no data  --
80.59/20.29	c  N st    39    207107       125      2662         0     34967     13310    715752   no data   no data  --
91.77/23.00	c  N st    40    237782       125      2662         0     27275     13310    500989   no data   no data  --
91.77/23.00	c  S st    40    237782       125      2662         0     27275     13310    500989   no data   no data  --
91.77/23.07	c  S st    40    238287       125      2662         0     27763     13310    513950   no data   no data  --
91.77/23.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
91.77/23.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.77/23.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.77/23.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.77/23.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.77/23.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.77/23.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.55/24.78	c lits-rem:      3515  cl-subs:     2194  v-elim:      0  v-fix:    0  time:  6.71 s
98.55/24.78	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.55/24.79	c vivif2 --  cl tried    25569 cl shrink        0 lits rem          0 time: 0.02
99.36/24.90	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
99.36/24.90	c calculated reachability. Time: 0.00
99.36/24.90	c  N st    40    238287       125      2662         0     25569     13310    455258   no data   no data  --
122.92/30.88	c  F st    41    306250       125      2662         0     27455     13310    458693   no data   no data  --
122.92/30.88	c  N st    41    306250       125      2662         0     27455     13310    458693   no data   no data  --
124.89/31.38	c Decided on static restart strategy
134.47/33.75	c  N st    51    334554       125      2662         0     31625     13310    550261   no data   no data  --
143.25/35.94	c  N st    53    357430       125      2662         0     29589     13310    479427   no data   no data  --
143.25/35.94	c  S st    53    357430       125      2662         0     29589     13310    479427   no data   no data  --
143.65/36.02	c  S st    53    357934       125      2662         0     30083     13310    492152   no data   no data  --
143.65/36.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.65/36.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.65/36.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
143.65/36.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.65/36.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.65/36.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
143.65/36.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
149.26/37.48	c lits-rem:      2147  cl-subs:     1297  v-elim:      0  v-fix:    0  time:  5.72 s
149.26/37.48	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
149.26/37.48	c vivif2 --  cl tried    28786 cl shrink        0 lits rem          0 time: 0.02
150.03/37.63	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.57
150.03/37.63	c calculated reachability. Time: 0.00
150.03/37.63	c  N st    53    357934       125      2662         0     28786     13310    455375   no data   no data  --
164.40/41.21	c  N st    54    390329       125      2662         0     34724     13310    597165   no data   no data  --
191.14/47.97	c  N st    55    438917       125      2662         0     28641     13310    418635   no data   no data  --
225.46/56.51	c  N st    56    511799       125      2662         0     41606     13310    715452   no data   no data  --
237.83/59.68	c  N st    57    536902       125      2662         0     36082     13310    559460   no data   no data  --
237.83/59.68	c  S st    57    536902       125      2662         0     36082     13310    559460   no data   no data  --
238.23/59.77	c  S st    57    537404       125      2662         0     36576     13310    572099   no data   no data  --
238.23/59.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
238.23/59.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
238.23/59.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
238.63/59.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.63/59.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.63/59.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
238.63/59.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.61/61.88	c lits-rem:      2982  cl-subs:     1913  v-elim:      0  v-fix:    0  time:  8.28 s
246.61/61.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
246.61/61.88	c vivif2 --  cl tried    34663 cl shrink        0 lits rem          0 time: 0.02
247.41/62.05	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.68
247.41/62.06	c calculated reachability. Time: 0.00
247.41/62.06	c  N st    57    537404       125      2662         0     34663     13310    523316   no data   no data  --
326.04/81.71	c  N st    58    701388       125      2662         0     62618     13310   1181966   no data   no data  --
380.31/95.30	c  N st    59    806106       125      2662         0     56773     13310   1006858   no data   no data  --
380.31/95.30	c  S st    59    806106       125      2662         0     56773     13310   1006858   no data   no data  --
380.71/95.47	c  S st    59    806612       125      2662         0     57263     13310   1019873   no data   no data  --
380.71/95.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
380.71/95.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
381.11/95.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
381.11/95.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
381.11/95.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.11/95.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
381.11/95.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
406.26/101.84	c lits-rem:      3195  cl-subs:     5170  v-elim:      0  v-fix:    0  time: 25.14 s
406.26/101.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
406.26/101.85	c vivif2 --  cl tried    52093 cl shrink        0 lits rem          0 time: 0.04
407.46/102.11	c asymm  cl-useful: 0/2004/2662 lits-rem:0 time: 1.04
407.46/102.11	c calculated reachability. Time: 0.00
407.46/102.11	c  N st    59    806612       125      2662         0     52093     13310    894002   no data   no data  --
566.31/141.97	c  F st    60   1071875       125      2662         0     67152     13310   1186759   no data   no data  --
566.31/141.97	c  N st    60   1071875       125      2662         0     67152     13310   1186759   no data   no data  --
570.71/143.04	c Decided on static restart strategy
585.85/146.82	c  N st    70   1100178       125      2662         0     51985     13310    799797   no data   no data  --
610.22/152.94	c  N st    72   1136170       125      2662         0     85896     13310   1745169   no data   no data  --
631.75/158.40	c  N st    73   1168562       125      2662         0     73472     13310   1337329   no data   no data  --
658.91/165.18	c  N st    74   1209921       125      2662         0     68279     13310   1197046   no data   no data  --
658.91/165.18	c  S st    74   1209921       125      2662         0     68279     13310   1197046   no data   no data  --
659.67/165.37	c  S st    74   1210425       125      2662         0     68765     13310   1210555   no data   no data  --
659.67/165.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
659.67/165.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
660.07/165.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
660.07/165.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
660.07/165.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
660.07/165.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
660.07/165.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
691.21/173.23	c lits-rem:      1455  cl-subs:     4900  v-elim:      0  v-fix:    0  time: 31.05 s
691.21/173.23	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
691.21/173.24	c vivif2 --  cl tried    63865 cl shrink        0 lits rem          0 time: 0.05
691.61/173.37	c asymm  cl-useful: 0/658/2662 lits-rem:0 time: 0.53
691.61/173.37	c calculated reachability. Time: 0.00
691.61/173.37	c  N st    74   1210425       125      2662         0     63865     13310   1078871   no data   no data  --
758.66/190.19	c  N st    75   1283308       125      2662         0     86910     13310   1620896   no data   no data  --
849.25/212.82	c  N st    76   1392632       125      2662         0     49092     13310    618351   no data   no data  --
981.75/246.06	c  N st    77   1556619       125      2662         0     53751     13310    695824   no data   no data  --
1105.88/277.13	c  N st    78   1710425       125      2662         0     93616     13310   1748890   no data   no data  --
1105.88/277.13	c  S st    78   1710425       125      2662         0     93616     13310   1748890   no data   no data  --
1107.07/277.45	c  S st    78   1710929       125      2662         0     94104     13310   1762225   no data   no data  --
1107.07/277.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1107.07/277.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1107.47/277.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1107.47/277.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1107.47/277.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1107.47/277.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1107.47/277.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1200.46/300.84	c lits-rem:      5883  cl-subs:     9413  v-elim:      0  v-fix:    0  time: 92.91 s
1200.46/300.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1200.46/300.86	c vivif2 --  cl tried    84691 cl shrink        0 lits rem          0 time: 0.10
1202.46/301.32	c asymm  cl-useful: 0/1377/2662 lits-rem:0 time: 1.82
1202.46/301.32	c calculated reachability. Time: 0.00
1202.46/301.32	c  N st    78   1710929       125      2662         0     84691     13310   1518033   no data   no data  --
1554.08/389.47	c  N st    79   2079895       125      2662         0     96595     13310   1732164   no data   no data  --
1674.58/419.68	c  N st    80   2210929       125      2662         0    100430     13310   1790713   no data   no data  --
1674.58/419.68	c  S st    80   2210929       125      2662         0    100430     13310   1790713   no data   no data  --
1676.19/420.02	c  S st    80   2211432       125      2662         0    100923     13310   1804050   no data   no data  --
1676.19/420.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1676.19/420.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1676.19/420.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1676.59/420.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1676.59/420.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1676.59/420.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1676.59/420.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1770.77/443.75	c lits-rem:      1306  cl-subs:     8632  v-elim:      0  v-fix:    0  time: 94.28 s
1770.77/443.75	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1770.77/443.77	c vivif2 --  cl tried    92291 cl shrink        0 lits rem          0 time: 0.08
1772.37/444.12	c asymm  cl-useful: 0/1100/2662 lits-rem:0 time: 1.40
1772.37/444.13	c calculated reachability. Time: 0.00
1772.37/444.13	c  N st    80   2211432       125      2662         0     92291     13310   1587894   no data   no data  --
2305.19/577.66	c  N st    81   2711432       125      2662         0    115073     13310   2122878   no data   no data  --
2305.19/577.66	c  S st    81   2711432       125      2662         0    115073     13310   2122878   no data   no data  --
2306.75/578.00	c  S st    81   2711934       125      2662         0    115564     13310   2136072   no data   no data  --
2306.75/578.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2306.75/578.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2306.75/578.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2307.15/578.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2307.15/578.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2307.15/578.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2307.15/578.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2461.61/616.85	c lits-rem:      5196  cl-subs:    11223  v-elim:      0  v-fix:    0  time: 154.47 s
2461.61/616.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2461.61/616.87	c vivif2 --  cl tried   104341 cl shrink        0 lits rem          0 time: 0.10
2463.24/617.23	c asymm  cl-useful: 0/1083/2662 lits-rem:0 time: 1.41
2463.24/617.23	c calculated reachability. Time: 0.00
2463.24/617.23	c  N st    81   2711934       125      2662         0    104341     13310   1844073   no data   no data  --
3112.96/780.03	c  N st    82   3211935       125      2662         0     81980     13310   1095605   no data   no data  --
3112.96/780.03	c  S st    82   3211935       125      2662         0     81980     13310   1095605   no data   no data  --
3113.72/780.26	c  S st    82   3212438       125      2662         0     82472     13310   1109104   no data   no data  --
3113.72/780.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3113.72/780.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3114.12/780.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3114.12/780.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3114.12/780.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3114.12/780.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3114.12/780.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3136.47/785.91	c lits-rem:       896  cl-subs:     1607  v-elim:      0  v-fix:    0  time: 22.24 s
3136.47/785.91	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3136.47/785.92	c vivif2 --  cl tried    80865 cl shrink        0 lits rem          0 time: 0.06
3137.67/786.25	c asymm  cl-useful: 0/1261/2662 lits-rem:0 time: 1.30
3137.67/786.25	c calculated reachability. Time: 0.00
3137.67/786.25	c  N st    82   3212438       125      2662         0     80865     13310   1066377   no data   no data  --
3747.09/938.98	c  N st    83   3712439       125      2662         0     90804     13310   1232455   no data   no data  --
3747.09/938.98	c  S st    83   3712439       125      2662         0     90804     13310   1232455   no data   no data  --
3748.29/939.26	c  S st    83   3712941       125      2662         0     91287     13310   1245201   no data   no data  --
3748.29/939.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3748.29/939.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3748.69/939.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3748.69/939.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3748.69/939.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3748.69/939.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3748.69/939.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3781.01/947.44	c lits-rem:      1055  cl-subs:     3078  v-elim:      0  v-fix:    0  time: 32.29 s
3781.01/947.44	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3781.01/947.46	c vivif2 --  cl tried    88209 cl shrink        0 lits rem          0 time: 0.06
3782.21/947.77	c asymm  cl-useful: 0/1259/2662 lits-rem:0 time: 1.24
3782.21/947.77	c calculated reachability. Time: 0.00
3782.21/947.77	c  N st    83   3712941       125      2662         0     88209     13310   1169912   no data   no data  --
3832.93/960.46	c  F st    84   3751564       125      2662         0    124375     13310   2153727   no data   no data  --
3832.93/960.46	c  N st    84   3751564       125      2662         0    124375     13310   2153727   no data   no data  --
3843.26/963.07	c Decided on static restart strategy
3881.98/972.70	c  N st    94   3779864       125      2662         0    150910     13310   2847962   no data   no data  --
3927.88/984.20	c  N st    96   3815858       125      2662         0    105277     13310   1593211   no data   no data  --
3975.37/996.19	c  N st    97   3848251       125      2662         0    135643     13310   2412356   no data   no data  --
4047.63/1014.28	c  N st    98   3896840       125      2662         0    100684     13310   1467982   no data   no data  --
4168.14/1044.43	c  N st    99   3969723       125      2662         0     87473     13310   1098378   no data   no data  --
4323.38/1083.35	c  N st   100   4079046       125      2662         0    107211     13310   1615152   no data   no data  --
4498.58/1127.28	c  N st   101   4212942       125      2662         0    149185     13310   2682034   no data   no data  --
4498.58/1127.28	c  S st   101   4212942       125      2662         0    149185     13310   2682034   no data   no data  --
4500.57/1127.74	c  S st   101   4213445       125      2662         0    149670     13310   2695312   no data   no data  --
4500.57/1127.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4500.57/1127.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4500.97/1127.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.31
4501.36/1127.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4501.36/1127.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4501.36/1127.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4501.36/1127.91	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-3369058-1305411079/watcher-3369058-1305411079 -o /tmp/evaluation-result-3369058-1305411079/solver-3369058-1305411079 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369058-1305411079.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.06 4.41 1.85 5/287 3857
/proc/meminfo: memFree=21404260/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=183276 CPUtime=0 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 541 0 0 0 0 0 0 0 25 0 4 0 652706083 187674624 463 33554432000 4194304 4650419 140737232904576 18446744073709551615 232335892411 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 45819 468 340 112 0 40784 0
[pid=3857/tid=3858] ppid=3855 vsize=216232 CPUtime=0 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 100 0 0 0 0 0 0 0 25 0 4 0 652706083 221421568 753 33554432000 4194304 4650419 140737232904576 18446744073709551615 4370477 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=216232 CPUtime=0 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 111 0 0 0 0 0 0 0 25 0 4 0 652706083 221421568 753 33554432000 4194304 4650419 140737232904576 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=216232 CPUtime=0 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 90 0 0 0 0 0 0 0 25 0 4 0 652706083 221421568 753 33554432000 4194304 4650419 140737232904576 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.109929 s]
/proc/loadavg: 8.06 4.41 1.85 5/287 3857
/proc/meminfo: memFree=21404260/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=217256 CPUtime=0.41 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 1929 0 0 0 41 0 0 0 25 0 4 0 652706083 222470144 1770 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 54314 1770 389 112 0 49279 0
[pid=3857/tid=3858] ppid=3855 vsize=217256 CPUtime=0.1 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 408 0 0 0 10 0 0 0 25 0 4 0 652706083 222470144 1770 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=217256 CPUtime=0.09 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 421 0 0 0 9 0 0 0 25 0 4 0 652706083 222470144 1771 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=217256 CPUtime=0.1 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 259 0 0 0 10 0 0 0 25 0 4 0 652706083 222470144 1771 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 217256

[startup+0.200914 s]
/proc/loadavg: 8.06 4.41 1.85 5/287 3857
/proc/meminfo: memFree=21404260/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=218604 CPUtime=0.77 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 2757 0 0 0 77 0 0 0 25 0 4 0 652706083 223850496 1972 33554432000 4194304 4650419 140737232904576 18446744073709551615 4334297 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 54651 1972 391 112 0 49616 0
[pid=3857/tid=3858] ppid=3855 vsize=218604 CPUtime=0.19 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 622 0 0 0 19 0 0 0 25 0 4 0 652706083 223850496 1972 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=218604 CPUtime=0.18 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 618 0 0 0 18 0 0 0 25 0 4 0 652706083 223850496 1972 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=218604 CPUtime=0.19 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 469 0 0 0 19 0 0 0 25 0 4 0 652706083 223850496 1972 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 218604

[startup+0.300896 s]
/proc/loadavg: 8.06 4.41 1.85 5/287 3857
/proc/meminfo: memFree=21404260/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=218604 CPUtime=1.17 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 3189 0 0 0 117 0 0 0 25 0 4 0 652706083 223850496 2404 33554432000 4194304 4650419 140737232904576 18446744073709551615 4314688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 54651 2405 391 112 0 49616 0
[pid=3857/tid=3858] ppid=3855 vsize=218604 CPUtime=0.29 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 718 0 0 0 29 0 0 0 25 0 4 0 652706083 223850496 2405 33554432000 4194304 4650419 140737232904576 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=218604 CPUtime=0.28 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 738 0 0 0 28 0 0 0 25 0 4 0 652706083 223850496 2405 33554432000 4194304 4650419 140737232904576 18446744073709551615 4330510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=218604 CPUtime=0.29 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 593 0 0 0 29 0 0 0 25 0 4 0 652706083 223850496 2405 33554432000 4194304 4650419 140737232904576 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218604

[startup+0.700825 s]
/proc/loadavg: 8.06 4.41 1.85 5/287 3857
/proc/meminfo: memFree=21404260/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=220240 CPUtime=2.77 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 5649 0 0 0 277 0 0 0 25 0 4 0 652706083 225525760 2733 33554432000 4194304 4650419 140737232904576 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 55060 2733 391 112 0 50025 0
[pid=3857/tid=3858] ppid=3855 vsize=220240 CPUtime=0.69 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 1388 0 0 0 69 0 0 0 25 0 4 0 652706083 225525760 2734 33554432000 4194304 4650419 140737232904576 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=220240 CPUtime=0.68 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 1330 0 0 0 68 0 0 0 25 0 4 0 652706083 225525760 2734 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=220240 CPUtime=0.69 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 1183 0 0 0 69 0 0 0 25 0 4 0 652706083 225525760 2734 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220240

[startup+1.50068 s]
/proc/loadavg: 8.06 4.41 1.85 9/291 3861
/proc/meminfo: memFree=21385268/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=218356 CPUtime=5.96 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 11396 0 0 0 595 1 0 0 25 0 4 0 652706083 223596544 6285 33554432000 4194304 4650419 140737232904576 18446744073709551615 4439224 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 54589 6285 393 112 0 49554 0
[pid=3857/tid=3858] ppid=3855 vsize=218356 CPUtime=1.49 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 3425 0 0 0 149 0 0 0 25 0 4 0 652706083 223596544 6285 33554432000 4194304 4650419 140737232904576 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=218356 CPUtime=1.47 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 2282 0 0 0 147 0 0 0 25 0 4 0 652706083 223596544 6285 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=218356 CPUtime=1.49 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 1997 0 0 0 149 0 0 0 25 0 4 0 652706083 223596544 6285 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 218356

[startup+3.1004 s]
/proc/loadavg: 8.06 4.41 1.85 9/291 3861
/proc/meminfo: memFree=21361212/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=223164 CPUtime=12.35 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 18102 0 0 0 1233 2 0 0 25 0 4 0 652706083 228519936 11064 33554432000 4194304 4650419 140737232904576 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 55791 11064 393 112 0 50756 0
[pid=3857/tid=3858] ppid=3855 vsize=223164 CPUtime=3.09 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 4427 0 0 0 309 0 0 0 25 0 4 0 652706083 228519936 11064 33554432000 4194304 4650419 140737232904576 18446744073709551615 4333862 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=223164 CPUtime=3.06 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 4095 0 0 0 306 0 0 0 25 0 4 0 652706083 228519936 11064 33554432000 4194304 4650419 140737232904576 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=223164 CPUtime=3.08 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 4159 0 0 0 308 0 0 0 25 0 4 0 652706083 228519936 11064 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 223164

[startup+6.30083 s]
/proc/loadavg: 8.14 4.48 1.89 9/291 3861
/proc/meminfo: memFree=21331008/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=232432 CPUtime=25.13 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 27065 0 0 0 2508 5 0 0 25 0 4 0 652706083 238010368 14911 33554432000 4194304 4650419 140737232904576 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 58108 14911 393 112 0 53073 0
[pid=3857/tid=3858] ppid=3855 vsize=232432 CPUtime=6.29 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 6994 0 0 0 628 1 0 0 25 0 4 0 652706083 238010368 14911 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=232432 CPUtime=6.24 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 7309 0 0 0 622 2 0 0 25 0 4 0 652706083 238010368 14911 33554432000 4194304 4650419 140737232904576 18446744073709551615 4476902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=232432 CPUtime=6.28 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 5925 0 0 0 628 0 0 0 25 0 4 0 652706083 238010368 14911 33554432000 4194304 4650419 140737232904576 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 232432

[startup+12.7007 s]
/proc/loadavg: 8.21 4.56 1.93 9/291 3861
/proc/meminfo: memFree=21319988/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=229504 CPUtime=50.66 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 40114 0 0 0 5059 7 0 0 25 0 4 0 652706083 235012096 19041 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 57376 19042 393 112 0 52341 0
[pid=3857/tid=3858] ppid=3855 vsize=229504 CPUtime=12.69 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 11477 0 0 0 1267 2 0 0 25 0 4 0 652706083 235012096 19042 33554432000 4194304 4650419 140737232904576 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=229504 CPUtime=12.57 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 9605 0 0 0 1255 2 0 0 25 0 4 0 652706083 235012096 19042 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=229504 CPUtime=12.68 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 8966 0 0 0 1267 1 0 0 25 0 4 0 652706083 235012096 19042 33554432000 4194304 4650419 140737232904576 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 229504

[startup+25.5004 s]
/proc/loadavg: 8.24 4.74 2.03 10/291 3862
/proc/meminfo: memFree=21278580/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=249988 CPUtime=101.74 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 60354 0 0 0 10161 13 0 0 25 0 4 0 652706083 255987712 27365 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 62497 27365 393 112 0 57462 0
[pid=3857/tid=3858] ppid=3855 vsize=249988 CPUtime=25.49 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 18556 0 0 0 2545 4 0 0 25 0 4 0 652706083 255987712 27365 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=249988 CPUtime=25.25 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 13840 0 0 0 2522 3 0 0 25 0 4 0 652706083 255987712 27365 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=249988 CPUtime=25.49 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 12477 0 0 0 2547 2 0 0 25 0 4 0 652706083 255987712 27365 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 249988

[startup+51.1009 s]
/proc/loadavg: 8.15 5.00 2.19 9/291 3862
/proc/meminfo: memFree=21224064/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=316792 CPUtime=203.91 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 92215 0 0 0 20369 22 0 0 25 0 4 0 652706083 324395008 33464 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 79198 33464 393 112 0 74163 0
[pid=3857/tid=3858] ppid=3855 vsize=316792 CPUtime=51.08 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 29282 0 0 0 5102 6 0 0 25 0 4 0 652706083 324395008 33464 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=316792 CPUtime=50.62 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 21455 0 0 0 5057 5 0 0 25 0 4 0 652706083 324395008 33464 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=316792 CPUtime=51.09 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 17683 0 0 0 5106 3 0 0 25 0 4 0 652706083 324395008 33464 33554432000 4194304 4650419 140737232904576 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 316792

[startup+102.301 s]
/proc/loadavg: 8.16 5.49 2.50 9/291 3864
/proc/meminfo: memFree=21190188/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=305120 CPUtime=408.28 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 145581 0 0 0 40788 40 0 0 25 0 4 0 652706083 312442880 44029 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 76280 44029 393 112 0 71245 0
[pid=3857/tid=3858] ppid=3855 vsize=305120 CPUtime=102.29 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 45262 0 0 0 10218 11 0 0 25 0 4 0 652706083 312442880 44030 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=305120 CPUtime=101.37 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 35436 0 0 0 10126 11 0 0 25 0 4 0 652706083 312442880 44030 33554432000 4194304 4650419 140737232904576 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=305120 CPUtime=102.29 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 26608 0 0 0 10223 6 0 0 25 0 4 0 652706083 312442880 44030 33554432000 4194304 4650419 140737232904576 18446744073709551615 4314885 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 305120

[startup+162.301 s]

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

[pid=3857] ppid=3855 vsize=566900 CPUtime=2802.83 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 419760 0 0 0 280120 163 0 0 25 0 4 0 652706083 580505600 98155 33554432000 4194304 4650419 140737232904576 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 141725 98155 393 112 0 136690 0
[pid=3857/tid=3858] ppid=3855 vsize=566900 CPUtime=702.3 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 119187 0 0 0 70187 43 0 0 25 0 4 0 652706083 580505600 98155 33554432000 4194304 4650419 140737232904576 18446744073709551615 4351626 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=566900 CPUtime=695.91 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 107267 0 0 0 69548 43 0 0 25 0 4 0 652706083 580505600 98155 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=566900 CPUtime=702.28 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 64317 0 0 0 70203 25 0 0 25 0 4 0 652706083 580505600 98155 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.83
Current children cumulated vsize (KiB) 566900

[startup+762.301 s]
/proc/loadavg: 8.08 7.82 5.34 10/291 3911
/proc/meminfo: memFree=20801860/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=548488 CPUtime=3042.3 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 444299 0 0 0 304058 172 0 0 25 0 4 0 652706083 561651712 104214 33554432000 4194304 4650419 140737232904576 18446744073709551615 4349680 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 137122 104214 393 112 0 132087 0
[pid=3857/tid=3858] ppid=3855 vsize=548488 CPUtime=762.31 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 126345 0 0 0 76185 46 0 0 25 0 4 0 652706083 561651712 104215 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=548488 CPUtime=755.37 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 112719 0 0 0 75492 45 0 0 25 0 4 0 652706083 561651712 104215 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=548488 CPUtime=762.28 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 66978 0 0 0 76203 25 0 0 25 0 4 0 652706083 561651712 104215 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.3
Current children cumulated vsize (KiB) 548488

[startup+822.301 s]
/proc/loadavg: 8.03 7.85 5.51 10/291 3913
/proc/meminfo: memFree=20763268/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=561616 CPUtime=3281.74 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 460449 0 0 0 327993 181 0 0 25 0 4 0 652706083 575094784 113780 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 140404 113780 393 112 0 135369 0
[pid=3857/tid=3858] ppid=3855 vsize=561616 CPUtime=822.31 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 132534 0 0 0 82182 49 0 0 25 0 4 0 652706083 575094784 113780 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=561616 CPUtime=814.83 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 116465 0 0 0 81436 47 0 0 25 0 4 0 652706083 575094784 113780 33554432000 4194304 4650419 140737232904576 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=561616 CPUtime=822.27 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 71665 0 0 0 82199 28 0 0 25 0 4 0 652706083 575094784 113780 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.74
Current children cumulated vsize (KiB) 561616

[startup+882.311 s]
/proc/loadavg: 8.12 7.90 5.67 10/291 3915
/proc/meminfo: memFree=20758780/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=536364 CPUtime=3521.23 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 474397 0 0 0 351936 187 0 0 25 0 4 0 652706083 549236736 107652 33554432000 4194304 4650419 140737232904576 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 134091 107652 393 112 0 129056 0
[pid=3857/tid=3858] ppid=3855 vsize=536364 CPUtime=882.31 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 136095 0 0 0 88180 51 0 0 25 0 4 0 652706083 549236736 107652 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=536364 CPUtime=874.28 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 120986 0 0 0 87380 48 0 0 25 0 4 0 652706083 549236736 107652 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=536364 CPUtime=882.28 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 74107 0 0 0 88199 29 0 0 25 0 4 0 652706083 549236736 107652 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.23
Current children cumulated vsize (KiB) 536364

[startup+942.3 s]
/proc/loadavg: 8.27 8.00 5.84 10/291 3916
/proc/meminfo: memFree=20727384/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=536708 CPUtime=3760.65 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 493271 0 0 0 375868 197 0 0 25 0 4 0 652706083 549588992 106555 33554432000 4194304 4650419 140737232904576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 134177 106555 393 112 0 129142 0
[pid=3857/tid=3858] ppid=3855 vsize=536708 CPUtime=942.3 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 141053 0 0 0 94176 54 0 0 25 0 4 0 652706083 549588992 106555 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=536708 CPUtime=933.73 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 124864 0 0 0 93323 50 0 0 25 0 4 0 652706083 549588992 106555 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=536708 CPUtime=942.27 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 75628 0 0 0 94197 30 0 0 25 0 4 0 652706083 549588992 106555 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.65
Current children cumulated vsize (KiB) 536708

[startup+1002.3 s]
/proc/loadavg: 8.18 8.03 5.99 9/291 3918
/proc/meminfo: memFree=20736404/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=537084 CPUtime=4000.12 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 514813 0 0 0 399802 210 0 0 25 0 4 0 652706083 549974016 107685 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 134271 107685 393 112 0 129236 0
[pid=3857/tid=3858] ppid=3855 vsize=537084 CPUtime=1002.3 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 148106 0 0 0 100173 57 0 0 25 0 4 0 652706083 549974016 107685 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=537084 CPUtime=993.19 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 131253 0 0 0 99265 54 0 0 25 0 4 0 652706083 549974016 107685 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=537084 CPUtime=1002.27 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 78513 0 0 0 100195 32 0 0 25 0 4 0 652706083 549974016 107685 33554432000 4194304 4650419 140737232904576 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.12
Current children cumulated vsize (KiB) 537084

[startup+1062.3 s]
/proc/loadavg: 8.30 8.11 6.14 10/291 3919
/proc/meminfo: memFree=20705504/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=537456 CPUtime=4239.57 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 540803 0 0 0 423735 222 0 0 25 0 4 0 652706083 550354944 107145 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 134364 107145 393 112 0 129329 0
[pid=3857/tid=3858] ppid=3855 vsize=537456 CPUtime=1062.3 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 154786 0 0 0 106168 62 0 0 25 0 4 0 652706083 550354944 107145 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=537456 CPUtime=1052.64 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 138970 0 0 0 105206 58 0 0 25 0 4 0 652706083 550354944 107145 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=537456 CPUtime=1062.28 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 83475 0 0 0 106195 33 0 0 25 0 4 0 652706083 550354944 107145 33554432000 4194304 4650419 140737232904576 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.57
Current children cumulated vsize (KiB) 537456

[startup+1122.3 s]
/proc/loadavg: 8.18 8.11 6.26 10/291 3921
/proc/meminfo: memFree=20690724/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=537764 CPUtime=4479.01 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 567200 0 0 0 447666 235 0 0 25 0 4 0 652706083 550670336 110597 33554432000 4194304 4650419 140737232904576 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 134441 110597 393 112 0 129406 0
[pid=3857/tid=3858] ppid=3855 vsize=537764 CPUtime=1122.3 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 162528 0 0 0 112165 65 0 0 25 0 4 0 652706083 550670336 110597 33554432000 4194304 4650419 140737232904576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=537764 CPUtime=1112.1 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 146217 0 0 0 111147 63 0 0 25 0 4 0 652706083 550670336 110597 33554432000 4194304 4650419 140737232904576 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=537764 CPUtime=1122.27 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 87661 0 0 0 112192 35 0 0 25 0 4 0 652706083 550670336 110597 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.01
Current children cumulated vsize (KiB) 537764

[startup+1182.3 s]
/proc/loadavg: 8.26 8.16 6.40 9/291 3923
/proc/meminfo: memFree=20657336/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=622388 CPUtime=4718.49 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 588687 0 0 0 471603 246 0 0 25 0 4 0 652706083 637325312 121571 33554432000 4194304 4650419 140737232904576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 155597 121571 393 112 0 150562 0
[pid=3857/tid=3858] ppid=3855 vsize=622388 CPUtime=1182.31 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 170573 0 0 0 118162 69 0 0 25 0 4 0 652706083 637325312 121571 33554432000 4194304 4650419 140737232904576 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=622388 CPUtime=1171.55 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 151379 0 0 0 117089 66 0 0 25 0 4 0 652706083 637325312 121571 33554432000 4194304 4650419 140737232904576 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=622388 CPUtime=1182.27 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 90832 0 0 0 118190 37 0 0 25 0 4 0 652706083 637325312 121571 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.49
Current children cumulated vsize (KiB) 622388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.24 8.16 6.44 9/291 3923
/proc/meminfo: memFree=20644800/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=623464 CPUtime=4800.3 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 591235 0 0 0 479783 247 0 0 25 0 4 0 652706083 638427136 120415 33554432000 4194304 4650419 140737232904576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 155866 120415 393 112 0 150831 0
[pid=3857/tid=3858] ppid=3855 vsize=623464 CPUtime=1202.82 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 170573 0 0 0 120213 69 0 0 25 0 4 0 652706083 638427136 120415 33554432000 4194304 4650419 140737232904576 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=623464 CPUtime=1191.85 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 153851 0 0 0 119117 68 0 0 25 0 4 0 652706083 638427136 120415 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=623464 CPUtime=1202.78 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 90832 0 0 0 120241 37 0 0 25 0 4 0 652706083 638427136 120415 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 623464

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: 8.24 8.16 6.44 9/291 3923
/proc/meminfo: memFree=20644800/32951124 swapFree=66457188/67111528
[pid=3857] ppid=3855 vsize=623464 CPUtime=4800.3 cores=1,3,5,7
/proc/3857/stat : 3857 (strangenight1-m) R 3855 3857 3750 0 -1 4202496 591235 0 0 0 479783 247 0 0 25 0 4 0 652706083 638427136 120415 33554432000 4194304 4650419 140737232904576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3857/statm: 155866 120415 393 112 0 150831 0
[pid=3857/tid=3858] ppid=3855 vsize=623464 CPUtime=1202.82 cores=1,3,5,7
/proc/3857/task/3858/stat : 3858 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 170573 0 0 0 120213 69 0 0 25 0 4 0 652706083 638427136 120415 33554432000 4194304 4650419 140737232904576 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=623464 CPUtime=1191.85 cores=1,3,5,7
/proc/3857/task/3859/stat : 3859 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 153851 0 0 0 119117 68 0 0 25 0 4 0 652706083 638427136 120415 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=623464 CPUtime=1202.78 cores=1,3,5,7
/proc/3857/task/3860/stat : 3860 (strangenight1-m) R 3855 3857 3750 0 -1 4202560 90832 0 0 0 120241 37 0 0 25 0 4 0 652706083 638427136 120415 33554432000 4194304 4650419 140737232904576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 623464

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.36
CPU user time (s): 4797.87
CPU system time (s): 2.49762
CPU usage (%): 399.086
Max. virtual memory (cumulated for all children) (KiB): 731620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.49762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591235
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= 189
involuntary context switches= 22528

runsolver used 3.08953 second user time and 7.9018 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-15 00:11:19
IDJOB=3369058
IDBENCH=83067
IDSOLVER=1846
FILE ID=node132/3369058-1305411079
RUNJOBID= node132-1305410848-3769
PBS_JOBID= 13324521
Free space on /tmp= 73328 MiB

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

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

MD5SUM BENCH= ad19e852103e6838347ce97648b48b74
RANDOM SEED=740118240

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.67
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.833
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.833
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:     32951124 kB
MemFree:      21404416 kB
Buffers:        279732 kB
Cached:        5566072 kB
SwapCached:       6904 kB
Active:        4929708 kB
Inactive:      6312672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21404416 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:            6248 kB
Writeback:           0 kB
AnonPages:     5395240 kB
Mapped:          19468 kB
Slab:           217852 kB
PageTables:      24212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 35035276 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73320 MiB
End job on node132 at 2011-05-15 00:31:24