Trace number 3175449

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.22 1201.74

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-3175449-1304124459.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      58 undec:      10 neg:      57
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.39/0.80	c  N st     8      4918       125      2662         0      4639     13310    119601   no data   no data  --
0.39/0.80	c  N st    10     11305       125      2662         0      4293     13310     88324   no data   no data  --
0.39/0.80	c  N st    11     17050       125      2662         0      9695     13310    229074   no data   no data  --
3.57/0.90	c  F st    12     25002       125      2662         0     11893     13310    278400   no data   no data  --
3.57/0.90	c  N st    12     25002       125      2662         0     11893     13310    278400   no data   no data  --
4.37/1.10	c Decided on static restart strategy
4.37/1.10	c  N st    18     30000       125      2662         0     10205     13310    225379   no data   no data  --
4.37/1.10	c  S st    18     30000       125      2662         0     10205     13310    225379   no data   no data  --
4.37/1.10	c  S st    18     30504       125      2662         0     10702     13310    238364   no data   no data  --
4.37/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.37/1.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.37/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.77/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.77/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.78/1.75	c lits-rem:      2608  cl-subs:     1599  v-elim:      0  v-fix:    0  time:  2.54 s
6.78/1.79	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.18
6.78/1.79	c calculated reachability. Time: 0.00
6.78/1.79	c  N st    18     30504       125      2662         0      9103     13310    192142   no data   no data  --
7.96/2.09	c  N st    20     37615       125      2662         0      8369     13310    159493   no data   no data  --
9.16/2.37	c  N st    21     44014       125      2662         0     14430     13310    328203   no data   no data  --
9.57/2.46	c  S st    22     45756       125      2662         0     16086     13310    372433   no data   no data  --
9.97/2.50	c  S st    22     46258       125      2662         0     16575     13310    384965   no data   no data  --
9.97/2.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.97/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.97/2.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.97/2.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.89	c lits-rem:      4548  cl-subs:     1545  v-elim:      0  v-fix:    0  time:  5.47 s
15.16/3.89	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.16/3.89	c vivif2 --  cl tried    15030 cl shrink        0 lits rem          0 time: 0.02
15.57/3.97	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
15.57/3.97	c calculated reachability. Time: 0.00
15.57/3.97	c  N st    22     46258       125      2662         0     15030     13310    335306   no data   no data  --
18.75/4.76	c  N st    23     60657       125      2662         0     10788     13310    191234   no data   no data  --
20.75/5.21	c  N st    24     69388       125      2662         0     18972     13310    407813   no data   no data  --
20.75/5.21	c  S st    24     69388       125      2662         0     18972     13310    407813   no data   no data  --
20.75/5.27	c  S st    24     69890       125      2662         0     19466     13310    420681   no data   no data  --
20.75/5.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.75/5.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.75/5.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.75/5.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.75/5.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.75/5.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.75/5.28	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.59 s
26.34/6.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.34/6.69	c vivif2 --  cl tried    17628 cl shrink        0 lits rem          0 time: 0.02
26.74/6.77	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.33
26.74/6.77	c calculated reachability. Time: 0.00
26.74/6.77	c  N st    24     69890       125      2662         0     17628     13310    367097   no data   no data  --
32.33/8.12	c  F st    25     87500       125      2662         0     12658     13310    220116   no data   no data  --
32.33/8.12	c  N st    25     87500       125      2662         0     12658     13310    220116   no data   no data  --
33.55/8.45	c Decided on static restart strategy
34.32/8.67	c  N st    32     95539       125      2662         0     20264     13310    414761   no data   no data  --
36.73/9.25	c  N st    34    104836       125      2662         0     16775     13310    319724   no data   no data  --
36.73/9.25	c  S st    34    104836       125      2662         0     16775     13310    319724   no data   no data  --
37.13/9.30	c  S st    34    105342       125      2662         0     17269     13310    332792   no data   no data  --
37.13/9.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
37.13/9.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.13/9.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
37.13/9.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.13/9.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.13/9.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
37.13/9.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.94/10.50	c lits-rem:      2312  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  4.73 s
41.94/10.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.94/10.51	c vivif2 --  cl tried    16204 cl shrink        0 lits rem          0 time: 0.01
41.94/10.58	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.29
41.94/10.58	c calculated reachability. Time: 0.00
41.94/10.58	c  N st    34    105342       125      2662         0     16204     13310    303159   no data   no data  --
44.72/11.23	c  N st    35    114940       125      2662         0     25269     13310    553074   no data   no data  --
48.71/12.26	c  N st    36    129338       125      2662         0     25667     13310    542252   no data   no data  --
55.89/14.05	c  N st    37    150933       125      2662         0     16851     13310    274298   no data   no data  --
57.90/14.53	c  S st    38    158014       125      2662         0     23550     13310    451436   no data   no data  --
57.90/14.59	c  S st    38    158518       125      2662         0     24049     13310    464755   no data   no data  --
57.90/14.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.90/14.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.90/14.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
58.30/14.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.30/14.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.30/14.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
58.30/14.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.91/16.09	c lits-rem:      3645  cl-subs:     1632  v-elim:      0  v-fix:    0  time:  5.93 s
63.91/16.09	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.91/16.10	c vivif2 --  cl tried    22417 cl shrink        0 lits rem          0 time: 0.02
64.68/16.22	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.51
64.68/16.23	c calculated reachability. Time: 0.00
64.68/16.23	c  N st    38    158518       125      2662         0     22417     13310    416555   no data   no data  --
81.06/20.33	c  N st    39    207107       125      2662         0     34967     13310    715752   no data   no data  --
91.84/23.05	c  N st    40    237782       125      2662         0     27275     13310    500989   no data   no data  --
91.84/23.05	c  S st    40    237782       125      2662         0     27275     13310    500989   no data   no data  --
92.24/23.12	c  S st    40    238287       125      2662         0     27763     13310    513950   no data   no data  --
92.24/23.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
92.24/23.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.24/23.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
92.24/23.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.24/23.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.24/23.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
92.24/23.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
99.05/24.82	c lits-rem:      3515  cl-subs:     2194  v-elim:      0  v-fix:    0  time:  6.69 s
99.05/24.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
99.05/24.82	c vivif2 --  cl tried    25569 cl shrink        0 lits rem          0 time: 0.02
99.45/24.94	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
99.45/24.94	c calculated reachability. Time: 0.00
99.45/24.94	c  N st    40    238287       125      2662         0     25569     13310    455258   no data   no data  --
123.40/30.94	c  F st    41    306250       125      2662         0     27455     13310    458693   no data   no data  --
123.40/30.94	c  N st    41    306250       125      2662         0     27455     13310    458693   no data   no data  --
125.41/31.44	c Decided on static restart strategy
134.99/33.81	c  N st    51    334554       125      2662         0     31625     13310    550261   no data   no data  --
143.77/36.00	c  N st    53    357430       125      2662         0     29589     13310    479427   no data   no data  --
143.77/36.00	c  S st    53    357430       125      2662         0     29589     13310    479427   no data   no data  --
143.77/36.08	c  S st    53    357934       125      2662         0     30083     13310    492152   no data   no data  --
143.77/36.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
143.77/36.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.77/36.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
144.17/36.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.17/36.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.17/36.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
144.17/36.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
149.76/37.53	c lits-rem:      2147  cl-subs:     1297  v-elim:      0  v-fix:    0  time:  5.69 s
149.76/37.53	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
149.76/37.53	c vivif2 --  cl tried    28786 cl shrink        0 lits rem          0 time: 0.02
150.16/37.68	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.59
150.16/37.68	c calculated reachability. Time: 0.00
150.16/37.68	c  N st    53    357934       125      2662         0     28786     13310    455375   no data   no data  --
164.97/41.33	c  N st    54    390329       125      2662         0     34724     13310    597165   no data   no data  --
191.32/48.00	c  N st    55    438917       125      2662         0     28641     13310    418635   no data   no data  --
225.66/56.57	c  N st    56    511799       125      2662         0     41606     13310    715452   no data   no data  --
238.45/59.77	c  N st    57    536902       125      2662         0     36082     13310    559460   no data   no data  --
238.45/59.77	c  S st    57    536902       125      2662         0     36082     13310    559460   no data   no data  --
238.84/59.86	c  S st    57    537404       125      2662         0     36576     13310    572099   no data   no data  --
238.84/59.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
238.84/59.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
238.84/59.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
238.84/59.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.84/59.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.84/59.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
238.84/59.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
247.23/61.97	c lits-rem:      2982  cl-subs:     1913  v-elim:      0  v-fix:    0  time:  8.28 s
247.23/61.97	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
247.23/61.98	c vivif2 --  cl tried    34663 cl shrink        0 lits rem          0 time: 0.02
248.02/62.15	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.70
248.02/62.15	c calculated reachability. Time: 0.00
248.02/62.15	c  N st    57    537404       125      2662         0     34663     13310    523316   no data   no data  --
326.73/81.86	c  N st    58    701388       125      2662         0     62618     13310   1181966   no data   no data  --
381.04/95.48	c  N st    59    806106       125      2662         0     56773     13310   1006858   no data   no data  --
381.04/95.48	c  S st    59    806106       125      2662         0     56773     13310   1006858   no data   no data  --
381.84/95.66	c  S st    59    806612       125      2662         0     57263     13310   1019873   no data   no data  --
381.84/95.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
381.84/95.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
381.84/95.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
382.24/95.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
382.24/95.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.24/95.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
382.24/95.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
407.81/102.12	c lits-rem:      3195  cl-subs:     5170  v-elim:      0  v-fix:    0  time: 25.52 s
407.81/102.12	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
407.81/102.13	c vivif2 --  cl tried    52093 cl shrink        0 lits rem          0 time: 0.05
409.01/102.47	c asymm  cl-useful: 0/2004/2662 lits-rem:0 time: 1.38
409.01/102.47	c calculated reachability. Time: 0.00
409.01/102.47	c  N st    59    806612       125      2662         0     52093     13310    894002   no data   no data  --
568.39/142.36	c  F st    60   1071875       125      2662         0     67152     13310   1186759   no data   no data  --
568.39/142.36	c  N st    60   1071875       125      2662         0     67152     13310   1186759   no data   no data  --
572.78/143.44	c Decided on static restart strategy
587.95/147.22	c  N st    70   1100178       125      2662         0     51985     13310    799797   no data   no data  --
612.32/153.39	c  N st    72   1136170       125      2662         0     85896     13310   1745169   no data   no data  --
634.29/158.85	c  N st    73   1168562       125      2662         0     73472     13310   1337329   no data   no data  --
661.48/165.61	c  N st    74   1209921       125      2662         0     68279     13310   1197046   no data   no data  --
661.48/165.61	c  S st    74   1209921       125      2662         0     68279     13310   1197046   no data   no data  --
662.26/165.80	c  S st    74   1210425       125      2662         0     68765     13310   1210555   no data   no data  --
662.26/165.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
662.26/165.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
662.26/165.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
662.26/165.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
662.26/165.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
662.26/165.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
662.26/165.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
693.01/173.59	c lits-rem:      1455  cl-subs:     4900  v-elim:      0  v-fix:    0  time: 30.80 s
693.01/173.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
693.41/173.60	c vivif2 --  cl tried    63865 cl shrink        0 lits rem          0 time: 0.05
693.81/173.73	c asymm  cl-useful: 0/658/2662 lits-rem:0 time: 0.52
693.81/173.73	c calculated reachability. Time: 0.00
693.81/173.73	c  N st    74   1210425       125      2662         0     63865     13310   1078871   no data   no data  --
761.32/190.67	c  N st    75   1283308       125      2662         0     86910     13310   1620896   no data   no data  --
854.00/213.82	c  N st    76   1392632       125      2662         0     49092     13310    618351   no data   no data  --
985.01/246.65	c  N st    77   1556619       125      2662         0     53751     13310    695824   no data   no data  --
1109.66/277.82	c  N st    78   1710425       125      2662         0     93616     13310   1748890   no data   no data  --
1109.66/277.82	c  S st    78   1710425       125      2662         0     93616     13310   1748890   no data   no data  --
1110.84/278.13	c  S st    78   1710929       125      2662         0     94104     13310   1762225   no data   no data  --
1110.84/278.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1110.84/278.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1110.84/278.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1111.24/278.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1111.24/278.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1111.24/278.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1111.24/278.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1204.31/301.58	c lits-rem:      5883  cl-subs:     9413  v-elim:      0  v-fix:    0  time: 93.19 s
1204.31/301.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1204.71/301.60	c vivif2 --  cl tried    84691 cl shrink        0 lits rem          0 time: 0.09
1206.32/302.07	c asymm  cl-useful: 0/1377/2662 lits-rem:0 time: 1.85
1206.32/302.07	c calculated reachability. Time: 0.00
1206.32/302.07	c  N st    78   1710929       125      2662         0     84691     13310   1518033   no data   no data  --
1558.61/390.25	c  N st    79   2079895       125      2662         0     96595     13310   1732164   no data   no data  --
1679.66/420.52	c  N st    80   2210929       125      2662         0    100430     13310   1790713   no data   no data  --
1679.66/420.52	c  S st    80   2210929       125      2662         0    100430     13310   1790713   no data   no data  --
1680.87/420.86	c  S st    80   2211432       125      2662         0    100923     13310   1804050   no data   no data  --
1680.87/420.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1680.87/420.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1681.27/420.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1681.27/420.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1681.27/420.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1681.27/420.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1681.27/420.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1774.33/444.25	c lits-rem:      1306  cl-subs:     8632  v-elim:      0  v-fix:    0  time: 92.94 s
1774.33/444.25	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1774.33/444.27	c vivif2 --  cl tried    92291 cl shrink        0 lits rem          0 time: 0.08
1775.93/444.62	c asymm  cl-useful: 0/1100/2662 lits-rem:0 time: 1.40
1775.93/444.62	c calculated reachability. Time: 0.00
1775.93/444.62	c  N st    80   2211432       125      2662         0     92291     13310   1587894   no data   no data  --
2311.18/578.66	c  N st    81   2711432       125      2662         0    115073     13310   2122878   no data   no data  --
2311.18/578.66	c  S st    81   2711432       125      2662         0    115073     13310   2122878   no data   no data  --
2312.38/578.99	c  S st    81   2711934       125      2662         0    115564     13310   2136072   no data   no data  --
2312.78/579.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2312.78/579.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2312.78/579.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2313.18/579.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2313.18/579.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2313.18/579.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2313.18/579.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2466.18/617.48	c lits-rem:      5196  cl-subs:    11223  v-elim:      0  v-fix:    0  time: 153.17 s
2466.18/617.48	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2466.58/617.50	c vivif2 --  cl tried   104341 cl shrink        0 lits rem          0 time: 0.10
2467.79/617.86	c asymm  cl-useful: 0/1083/2662 lits-rem:0 time: 1.43
2467.79/617.86	c calculated reachability. Time: 0.00
2467.79/617.86	c  N st    81   2711934       125      2662         0    104341     13310   1844073   no data   no data  --
3118.88/780.86	c  N st    82   3211935       125      2662         0     81980     13310   1095605   no data   no data  --
3118.88/780.86	c  S st    82   3211935       125      2662         0     81980     13310   1095605   no data   no data  --
3119.68/781.09	c  S st    82   3212438       125      2662         0     82472     13310   1109104   no data   no data  --
3120.08/781.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3120.08/781.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3120.08/781.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3120.08/781.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3120.08/781.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3120.08/781.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3120.08/781.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3142.84/786.80	c lits-rem:       896  cl-subs:     1607  v-elim:      0  v-fix:    0  time: 22.48 s
3142.84/786.80	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3142.84/786.81	c vivif2 --  cl tried    80865 cl shrink        0 lits rem          0 time: 0.06
3144.06/787.13	c asymm  cl-useful: 0/1261/2662 lits-rem:0 time: 1.28
3144.06/787.13	c calculated reachability. Time: 0.00
3144.06/787.13	c  N st    82   3212438       125      2662         0     80865     13310   1066377   no data   no data  --
3757.99/940.82	c  N st    83   3712439       125      2662         0     90804     13310   1232455   no data   no data  --
3757.99/940.82	c  S st    83   3712439       125      2662         0     90804     13310   1232455   no data   no data  --
3758.79/941.10	c  S st    83   3712941       125      2662         0     91287     13310   1245201   no data   no data  --
3759.21/941.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3759.21/941.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3759.21/941.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3759.21/941.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3759.21/941.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3759.21/941.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3759.21/941.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3791.93/949.32	c lits-rem:      1055  cl-subs:     3078  v-elim:      0  v-fix:    0  time: 32.52 s
3791.93/949.32	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3791.93/949.34	c vivif2 --  cl tried    88209 cl shrink        0 lits rem          0 time: 0.06
3793.13/949.66	c asymm  cl-useful: 0/1259/2662 lits-rem:0 time: 1.30
3793.13/949.67	c calculated reachability. Time: 0.00
3793.13/949.67	c  N st    83   3712941       125      2662         0     88209     13310   1169912   no data   no data  --
3844.66/962.50	c  F st    84   3751564       125      2662         0    124375     13310   2153727   no data   no data  --
3844.66/962.50	c  N st    84   3751564       125      2662         0    124375     13310   2153727   no data   no data  --
3855.05/965.11	c Decided on static restart strategy
3893.80/974.86	c  N st    94   3779864       125      2662         0    150910     13310   2847962   no data   no data  --
3940.13/986.41	c  N st    96   3815858       125      2662         0    105277     13310   1593211   no data   no data  --
3988.86/998.67	c  N st    97   3848251       125      2662         0    135643     13310   2412356   no data   no data  --
4063.56/1017.33	c  N st    98   3896840       125      2662         0    100684     13310   1467982   no data   no data  --
4179.80/1046.43	c  N st    99   3969723       125      2662         0     87473     13310   1098378   no data   no data  --
4335.99/1085.57	c  N st   100   4079046       125      2662         0    107211     13310   1615152   no data   no data  --
4511.74/1129.56	c  N st   101   4212942       125      2662         0    149185     13310   2682034   no data   no data  --
4511.74/1129.56	c  S st   101   4212942       125      2662         0    149185     13310   2682034   no data   no data  --
4513.74/1130.03	c  S st   101   4213445       125      2662         0    149670     13310   2695312   no data   no data  --
4513.74/1130.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4513.74/1130.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4514.14/1130.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4514.55/1130.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4514.55/1130.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4514.55/1130.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4514.55/1130.20	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-3175449-1304124459/watcher-3175449-1304124459 -o /tmp/evaluation-result-3175449-1304124459/solver-3175449-1304124459 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175449-1304124459.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: 3.46 5.08 6.63 7/180 23956
/proc/meminfo: memFree=31034192/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 4 0 602676568 52465664 352 33554432000 4194304 4650419 140733625349616 18446744073709551615 46990548834226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 12809 352 303 112 0 7774 0
[pid=23956/tid=23957] ppid=23954 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 602676568 52465664 352 33554432000 4194304 4650419 140733625349616 18446744073709551615 46990548834226 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602676568 52465664 352 33554432000 4194304 4650419 140733625349616 18446744073709551615 46990548834224 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602676568 52465664 352 33554432000 4194304 4650419 140733625349616 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.10422 s]
/proc/loadavg: 3.46 5.08 6.63 7/180 23956
/proc/meminfo: memFree=31034192/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=282336 CPUtime=0.39 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 1935 0 0 0 39 0 0 0 18 0 4 0 602676568 289112064 1758 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 70584 1758 389 112 0 65549 0
[pid=23956/tid=23957] ppid=23954 vsize=282336 CPUtime=0.09 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 419 0 0 0 9 0 0 0 18 0 4 0 602676568 289112064 1758 33554432000 4194304 4650419 140733625349616 18446744073709551615 224284622967 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=282336 CPUtime=0.09 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 423 0 0 0 9 0 0 0 18 0 4 0 602676568 289112064 1758 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=282336 CPUtime=0.09 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 269 0 0 0 9 0 0 0 18 0 4 0 602676568 289112064 1758 33554432000 4194304 4650419 140733625349616 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282336

[startup+0.857577 s]
/proc/loadavg: 3.46 5.08 6.63 7/180 23956
/proc/meminfo: memFree=31034192/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=285568 CPUtime=3.4 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 6108 0 0 0 339 1 0 0 19 0 4 0 602676568 292421632 3169 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 71392 3169 391 112 0 66357 0
[pid=23956/tid=23957] ppid=23954 vsize=285568 CPUtime=0.85 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1475 0 0 0 85 0 0 0 19 0 4 0 602676568 292421632 3170 33554432000 4194304 4650419 140733625349616 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=285568 CPUtime=0.84 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1475 0 0 0 84 0 0 0 18 0 4 0 602676568 292421632 3170 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=285568 CPUtime=0.84 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1307 0 0 0 84 0 0 0 19 0 4 0 602676568 292421632 3170 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 285568

[startup+0.900571 s]
/proc/loadavg: 3.46 5.08 6.63 7/180 23956
/proc/meminfo: memFree=31034192/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=285828 CPUtime=3.57 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 6326 0 0 0 356 1 0 0 19 0 4 0 602676568 292687872 3387 33554432000 4194304 4650419 140733625349616 18446744073709551615 4334343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 71457 3387 392 112 0 66422 0
[pid=23956/tid=23957] ppid=23954 vsize=285828 CPUtime=0.89 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1529 0 0 0 89 0 0 0 19 0 4 0 602676568 292687872 3387 33554432000 4194304 4650419 140733625349616 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=285828 CPUtime=0.88 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1531 0 0 0 88 0 0 0 18 0 4 0 602676568 292687872 3387 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=285828 CPUtime=0.88 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1358 0 0 0 88 0 0 0 19 0 4 0 602676568 292687872 3387 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 285828

[startup+1.00055 s]
/proc/loadavg: 3.46 5.08 6.63 7/180 23956
/proc/meminfo: memFree=31034192/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=286384 CPUtime=3.97 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 7393 0 0 0 396 1 0 0 19 0 4 0 602676568 293257216 3066 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 71596 3066 392 112 0 66561 0
[pid=23956/tid=23957] ppid=23954 vsize=286384 CPUtime=0.99 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1815 0 0 0 99 0 0 0 19 0 4 0 602676568 293257216 3066 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=286384 CPUtime=0.98 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1783 0 0 0 98 0 0 0 19 0 4 0 602676568 293257216 3066 33554432000 4194304 4650419 140733625349616 18446744073709551615 4329401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=286384 CPUtime=0.98 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 1616 0 0 0 98 0 0 0 19 0 4 0 602676568 293257216 3066 33554432000 4194304 4650419 140733625349616 18446744073709551615 4314951 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 286384

[startup+1.50047 s]
/proc/loadavg: 3.46 5.08 6.63 7/180 23956
/proc/meminfo: memFree=31034192/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=295572 CPUtime=5.97 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 11443 0 0 0 595 2 0 0 20 0 4 0 602676568 302665728 6309 33554432000 4194304 4650419 140733625349616 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 73893 6309 393 112 0 68858 0
[pid=23956/tid=23957] ppid=23954 vsize=295572 CPUtime=1.49 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 3354 0 0 0 149 0 0 0 20 0 4 0 602676568 302665728 6309 33554432000 4194304 4650419 140733625349616 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=295572 CPUtime=1.48 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 2309 0 0 0 148 0 0 0 20 0 4 0 602676568 302665728 6309 33554432000 4194304 4650419 140733625349616 18446744073709551615 4514177 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=295572 CPUtime=1.48 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 2078 0 0 0 148 0 0 0 20 0 4 0 602676568 302665728 6309 33554432000 4194304 4650419 140733625349616 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 295572

[startup+3.10021 s]
/proc/loadavg: 3.82 5.12 6.63 9/184 23960
/proc/meminfo: memFree=30955560/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=295752 CPUtime=12.35 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 18815 0 0 0 1231 4 0 0 25 0 4 0 602676568 302850048 11631 33554432000 4194304 4650419 140733625349616 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 73938 11631 393 112 0 68903 0
[pid=23956/tid=23957] ppid=23954 vsize=295752 CPUtime=3.09 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 4409 0 0 0 308 1 0 0 25 0 4 0 602676568 302850048 11631 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=295752 CPUtime=3.08 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 4532 0 0 0 307 1 0 0 25 0 4 0 602676568 302850048 11631 33554432000 4194304 4650419 140733625349616 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=295752 CPUtime=3.07 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 4389 0 0 0 307 0 0 0 25 0 4 0 602676568 302850048 11631 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 295752

[startup+6.30067 s]
/proc/loadavg: 3.82 5.12 6.63 9/184 23960
/proc/meminfo: memFree=30924876/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=287320 CPUtime=25.14 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 26907 0 0 0 2508 6 0 0 25 0 4 0 602676568 294215680 15397 33554432000 4194304 4650419 140733625349616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 71830 15397 393 112 0 66795 0
[pid=23956/tid=23957] ppid=23954 vsize=287320 CPUtime=6.29 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 7103 0 0 0 627 2 0 0 25 0 4 0 602676568 294215680 15397 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=287320 CPUtime=6.29 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 7705 0 0 0 627 2 0 0 25 0 4 0 602676568 294215680 15397 33554432000 4194304 4650419 140733625349616 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=287320 CPUtime=6.25 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 5756 0 0 0 625 0 0 0 25 0 4 0 602676568 294215680 15397 33554432000 4194304 4650419 140733625349616 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 287320

[startup+12.7006 s]
/proc/loadavg: 4.46 5.22 6.65 9/184 23960
/proc/meminfo: memFree=30887084/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=296868 CPUtime=50.73 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 40887 0 0 0 5064 9 0 0 25 0 4 0 602676568 303992832 19752 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 74217 19752 393 112 0 69182 0
[pid=23956/tid=23957] ppid=23954 vsize=296868 CPUtime=12.69 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 11407 0 0 0 1267 2 0 0 25 0 4 0 602676568 303992832 19752 33554432000 4194304 4650419 140733625349616 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=296868 CPUtime=12.69 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 10927 0 0 0 1267 2 0 0 25 0 4 0 602676568 303992832 19752 33554432000 4194304 4650419 140733625349616 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=296868 CPUtime=12.62 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 8861 0 0 0 1261 1 0 0 25 0 4 0 602676568 303992832 19752 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 296868

[startup+25.5005 s]
/proc/loadavg: 5.01 5.31 6.66 9/184 23960
/proc/meminfo: memFree=30843412/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=304572 CPUtime=101.83 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 63122 0 0 0 10170 13 0 0 25 0 4 0 602676568 311881728 24665 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 76143 24665 393 112 0 71108 0
[pid=23956/tid=23957] ppid=23954 vsize=304572 CPUtime=25.48 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 17487 0 0 0 2545 3 0 0 25 0 4 0 602676568 311881728 24665 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=304572 CPUtime=25.48 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 17870 0 0 0 2544 4 0 0 25 0 4 0 602676568 311881728 24665 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=304572 CPUtime=25.35 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 12239 0 0 0 2533 2 0 0 25 0 4 0 602676568 311881728 24665 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 304572

[startup+51.1002 s]
/proc/loadavg: 6.03 5.52 6.69 9/184 23962
/proc/meminfo: memFree=30786664/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=307000 CPUtime=204.09 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 97587 0 0 0 20387 22 0 0 25 0 4 0 602676568 314368000 32392 33554432000 4194304 4650419 140733625349616 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 76750 32392 393 112 0 71715 0
[pid=23956/tid=23957] ppid=23954 vsize=307000 CPUtime=51.07 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 28082 0 0 0 5102 5 0 0 25 0 4 0 602676568 314368000 32392 33554432000 4194304 4650419 140733625349616 18446744073709551615 4240999 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=307000 CPUtime=51.08 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 27620 0 0 0 5102 6 0 0 25 0 4 0 602676568 314368000 32392 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=307000 CPUtime=50.81 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 17703 0 0 0 5078 3 0 0 25 0 4 0 602676568 314368000 32392 33554432000 4194304 4650419 140733625349616 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 307000

[startup+102.301 s]
/proc/loadavg: 7.21 5.94 6.77 9/184 23962
/proc/meminfo: memFree=30695240/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=329812 CPUtime=408.61 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 151512 0 0 0 40822 39 0 0 25 0 4 0 602676568 337727488 42576 33554432000 4194304 4650419 140733625349616 18446744073709551615 4370567 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 82453 42576 393 112 0 77418 0
[pid=23956/tid=23957] ppid=23954 vsize=329812 CPUtime=102.27 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 41164 0 0 0 10217 10 0 0 25 0 4 0 602676568 337727488 42576 33554432000 4194304 4650419 140733625349616 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=329812 CPUtime=102.29 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 45780 0 0 0 10217 12 0 0 25 0 4 0 602676568 337727488 42576 33554432000 4194304 4650419 140733625349616 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=329812 CPUtime=101.73 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 24188 0 0 0 10167 6 0 0 25 0 4 0 602676568 337727488 42576 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 329812

[startup+162.301 s]

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

[pid=23956] ppid=23954 vsize=565528 CPUtime=2565.64 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 415607 0 0 0 256428 136 0 0 25 0 4 0 602676568 579100672 96611 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 141382 96611 393 112 0 136347 0
[pid=23956/tid=23957] ppid=23954 vsize=565528 CPUtime=642.22 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 105661 0 0 0 64192 30 0 0 25 0 4 0 602676568 579100672 96611 33554432000 4194304 4650419 140733625349616 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=565528 CPUtime=642.29 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 132000 0 0 0 64184 45 0 0 25 0 4 0 602676568 579100672 96611 33554432000 4194304 4650419 140733625349616 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=565528 CPUtime=638.79 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 57898 0 0 0 63862 17 0 0 25 0 4 0 602676568 579100672 96611 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.64
Current children cumulated vsize (KiB) 565528

[startup+702.301 s]
/proc/loadavg: 8.09 7.82 7.39 9/184 23978
/proc/meminfo: memFree=30287404/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=630104 CPUtime=2805.31 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 429420 0 0 0 280388 143 0 0 25 0 4 0 602676568 645226496 101860 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 157526 101860 393 112 0 152491 0
[pid=23956/tid=23957] ppid=23954 vsize=630104 CPUtime=702.22 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 107736 0 0 0 70191 31 0 0 25 0 4 0 602676568 645226496 101860 33554432000 4194304 4650419 140733625349616 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=630104 CPUtime=702.3 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 139758 0 0 0 70180 50 0 0 25 0 4 0 602676568 645226496 101860 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=630104 CPUtime=698.47 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 58395 0 0 0 69830 17 0 0 25 0 4 0 602676568 645226496 101860 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 630104

[startup+762.301 s]
/proc/loadavg: 8.07 7.87 7.43 9/184 23980
/proc/meminfo: memFree=30278424/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=584472 CPUtime=3044.98 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 452737 0 0 0 304347 151 0 0 25 0 4 0 602676568 598499328 102348 33554432000 4194304 4650419 140733625349616 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 146118 102348 393 112 0 141083 0
[pid=23956/tid=23957] ppid=23954 vsize=584472 CPUtime=762.22 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 112523 0 0 0 76189 33 0 0 25 0 4 0 602676568 598499328 102348 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=584472 CPUtime=762.3 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 148808 0 0 0 76177 53 0 0 25 0 4 0 602676568 598499328 102348 33554432000 4194304 4650419 140733625349616 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=584472 CPUtime=758.15 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 58395 0 0 0 75797 18 0 0 25 0 4 0 602676568 598499328 102348 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 584472

[startup+822.301 s]
/proc/loadavg: 8.14 7.92 7.48 9/184 23991
/proc/meminfo: memFree=30214528/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=596272 CPUtime=3284.65 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 475656 0 0 0 328305 160 0 0 25 0 4 0 602676568 610582528 107425 33554432000 4194304 4650419 140733625349616 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 149068 107425 393 112 0 144033 0
[pid=23956/tid=23957] ppid=23954 vsize=596272 CPUtime=822.22 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 117612 0 0 0 82187 35 0 0 25 0 4 0 602676568 610582528 107425 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=596272 CPUtime=822.29 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 158315 0 0 0 82173 56 0 0 25 0 4 0 602676568 610582528 107425 33554432000 4194304 4650419 140733625349616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=596272 CPUtime=817.82 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 58395 0 0 0 81764 18 0 0 25 0 4 0 602676568 610582528 107425 33554432000 4194304 4650419 140733625349616 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 596272

[startup+882.301 s]
/proc/loadavg: 8.15 7.96 7.52 9/184 23993
/proc/meminfo: memFree=30197612/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=596460 CPUtime=3524.31 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 490551 0 0 0 352262 169 0 0 25 0 4 0 602676568 610775040 110323 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 149115 110323 393 112 0 144080 0
[pid=23956/tid=23957] ppid=23954 vsize=596460 CPUtime=882.2 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 118599 0 0 0 88185 35 0 0 25 0 4 0 602676568 610775040 110323 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=596460 CPUtime=882.28 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 164423 0 0 0 88169 59 0 0 25 0 4 0 602676568 610775040 110323 33554432000 4194304 4650419 140733625349616 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=596460 CPUtime=877.49 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 58395 0 0 0 87731 18 0 0 25 0 4 0 602676568 610775040 110323 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 596460

[startup+942.307 s]
/proc/loadavg: 8.23 8.01 7.56 9/184 23995
/proc/meminfo: memFree=30201904/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=575040 CPUtime=3764 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 513792 0 0 0 376222 178 0 0 25 0 4 0 602676568 588840960 107580 33554432000 4194304 4650419 140733625349616 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 143760 107580 393 112 0 138725 0
[pid=23956/tid=23957] ppid=23954 vsize=575040 CPUtime=942.2 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 122199 0 0 0 94183 37 0 0 25 0 4 0 602676568 588840960 107580 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=575040 CPUtime=942.29 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 169076 0 0 0 94168 61 0 0 25 0 4 0 602676568 588840960 107580 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=575040 CPUtime=937.17 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 63923 0 0 0 93697 20 0 0 25 0 4 0 602676568 588840960 107580 33554432000 4194304 4650419 140733625349616 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 575040

[startup+1002.3 s]
/proc/loadavg: 8.21 8.04 7.59 9/184 23995
/proc/meminfo: memFree=30214612/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=588868 CPUtime=4003.65 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 530739 0 0 0 400179 186 0 0 25 0 4 0 602676568 603000832 107084 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 147217 107084 393 112 0 142182 0
[pid=23956/tid=23957] ppid=23954 vsize=588868 CPUtime=1002.19 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 127590 0 0 0 100180 39 0 0 25 0 4 0 602676568 603000832 107084 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=588868 CPUtime=1002.28 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 174602 0 0 0 100164 64 0 0 25 0 4 0 602676568 603000832 107084 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=588868 CPUtime=996.84 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 64516 0 0 0 99664 20 0 0 25 0 4 0 602676568 603000832 107084 33554432000 4194304 4650419 140733625349616 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 588868

[startup+1062.3 s]
/proc/loadavg: 8.20 8.06 7.63 9/184 23997
/proc/meminfo: memFree=30171168/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=601744 CPUtime=4243.31 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 552991 0 0 0 424135 196 0 0 25 0 4 0 602676568 616185856 108621 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 150436 108621 393 112 0 145401 0
[pid=23956/tid=23957] ppid=23954 vsize=601744 CPUtime=1062.19 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 134765 0 0 0 106177 42 0 0 25 0 4 0 602676568 616185856 108621 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=601744 CPUtime=1062.29 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 183894 0 0 0 106161 68 0 0 25 0 4 0 602676568 616185856 108621 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=601744 CPUtime=1056.5 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 67015 0 0 0 105629 21 0 0 25 0 4 0 602676568 616185856 108621 33554432000 4194304 4650419 140733625349616 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.31
Current children cumulated vsize (KiB) 601744

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 7.65 9/184 23999
/proc/meminfo: memFree=30134912/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=588108 CPUtime=4482.99 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 576616 0 0 0 448090 209 0 0 25 0 4 0 602676568 602222592 109871 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 147027 109871 393 112 0 141992 0
[pid=23956/tid=23957] ppid=23954 vsize=588108 CPUtime=1122.18 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 142811 0 0 0 112172 46 0 0 25 0 4 0 602676568 602222592 109871 33554432000 4194304 4650419 140733625349616 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=588108 CPUtime=1122.28 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 191219 0 0 0 112156 72 0 0 25 0 4 0 602676568 602222592 109871 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=588108 CPUtime=1116.18 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 70668 0 0 0 111595 23 0 0 25 0 4 0 602676568 602222592 109871 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 588108

[startup+1182.3 s]
/proc/loadavg: 8.09 8.06 7.68 9/184 24001
/proc/meminfo: memFree=30062216/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=709696 CPUtime=4722.65 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 600868 0 0 0 472047 218 0 0 25 0 4 0 602676568 726728704 126553 33554432000 4194304 4650419 140733625349616 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 177424 126553 393 112 0 172389 0
[pid=23956/tid=23957] ppid=23954 vsize=709696 CPUtime=1182.18 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 152240 0 0 0 118168 50 0 0 25 0 4 0 602676568 726728704 126553 33554432000 4194304 4650419 140733625349616 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=709696 CPUtime=1182.28 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 196172 0 0 0 118153 75 0 0 25 0 4 0 602676568 726728704 126553 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=709696 CPUtime=1175.86 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 74507 0 0 0 117561 25 0 0 25 0 4 0 602676568 726728704 126553 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.65
Current children cumulated vsize (KiB) 709696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.07 7.69 6/183 24002
/proc/meminfo: memFree=30376192/32951124 swapFree=67103364/67111528
[pid=23956] ppid=23954 vsize=719316 CPUtime=4800.17 cores=0,2,4,6
/proc/23956/stat : 23956 (strangenight1-m) R 23954 23956 23915 0 -1 4202496 605328 0 0 0 479796 221 0 0 25 0 4 0 602676568 736579584 121449 33554432000 4194304 4650419 140733625349616 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 179829 121449 393 112 0 174794 0
[pid=23956/tid=23957] ppid=23954 vsize=719316 CPUtime=1201.58 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 152240 0 0 0 120108 50 0 0 25 0 4 0 602676568 736579584 121449 33554432000 4194304 4650419 140733625349616 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23956/tid=23958] ppid=23954 vsize=719316 CPUtime=1201.69 cores=0,2,4,6
/proc/23956/task/23958/stat : 23958 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 198724 0 0 0 120092 77 0 0 25 0 4 0 602676568 736579584 121449 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=719316 CPUtime=1195.16 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (strangenight1-m) R 23954 23956 23915 0 -1 4202560 76339 0 0 0 119490 26 0 0 25 0 4 0 602676568 736579584 121449 33554432000 4194304 4650419 140733625349616 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 719316

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.22
CPU user time (s): 4797.99
CPU system time (s): 2.23466
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 719316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.99
system time used= 2.23466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605329
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= 530
involuntary context switches= 19584

runsolver used 1.90771 second user time and 4.66429 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-30 02:47:39
IDJOB=3175449
IDBENCH=83067
IDSOLVER=1588
FILE ID=node118/3175449-1304124459
RUNJOBID= node118-1304124459-23933
PBS_JOBID= 13170759
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= ad19e852103e6838347ce97648b48b74
RANDOM SEED=941596571

node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31034472 kB
Buffers:        376848 kB
Cached:        1136508 kB
SwapCached:       2408 kB
Active:         102336 kB
Inactive:      1473740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31034472 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           12556 kB
Writeback:           0 kB
AnonPages:       61540 kB
Mapped:          14696 kB
Slab:           275376 kB
PageTables:       5032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   275140 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= 71604 MiB
End job on node118 at 2011-04-30 03:07:43