Trace number 3368956

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.35 1202.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf
MD5SUM2d20051b8a7a248788d1c2610fe5ea54
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
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.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368956-1305407579.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	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.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:      63 undec:       1 neg:      61
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.38/0.16	c Decided on static restart strategy
0.38/0.16	c  N st     8      4918       125      2662         0      4675     13310    123063   no data   no data  --
1.17/0.35	c  N st    10     11302       125      2662         0      4319     13310     88221   no data   no data  --
1.97/0.56	c  N st    11     17046       125      2662         0      9735     13310    227774   no data   no data  --
3.17/0.89	c  F st    12     25000       125      2662         0     11907     13310    280420   no data   no data  --
3.17/0.89	c  N st    12     25000       125      2662         0     11907     13310    280420   no data   no data  --
3.99/1.09	c Decided on static restart strategy
3.99/1.09	c  N st    18     30001       125      2662         0     10199     13310    228217   no data   no data  --
3.99/1.09	c  S st    18     30001       125      2662         0     10199     13310    228217   no data   no data  --
4.41/1.12	c  S st    18     30508       125      2662         0     10695     13310    241212   no data   no data  --
4.41/1.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.41/1.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.41/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.41/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.41/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.41/1.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.76/1.76	c lits-rem:      2504  cl-subs:     1517  v-elim:      0  v-fix:    0  time:  2.49 s
7.16/1.80	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.18
7.16/1.80	c calculated reachability. Time: 0.00
7.16/1.80	c  N st    18     30508       125      2662         0      9178     13310    196755   no data   no data  --
8.38/2.13	c  N st    20     37619       125      2662         0      8479     13310    163901   no data   no data  --
9.55/2.41	c  N st    21     44019       125      2662         0     14456     13310    316869   no data   no data  --
9.55/2.49	c  S st    22     45763       125      2662         0     16091     13310    358621   no data   no data  --
9.95/2.54	c  S st    22     46265       125      2662         0     16574     13310    371647   no data   no data  --
9.95/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.95/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.95/2.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.95/2.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.84	c lits-rem:      4651  cl-subs:     1698  v-elim:      0  v-fix:    0  time:  5.15 s
15.14/3.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.14/3.85	c vivif2 --  cl tried    14876 cl shrink        0 lits rem          0 time: 0.01
15.54/3.92	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
15.54/3.92	c calculated reachability. Time: 0.00
15.54/3.92	c  N st    22     46265       125      2662         0     14876     13310    321837   no data   no data  --
18.33/4.68	c  N st    23     60663       125      2662         0     10718     13310    191264   no data   no data  --
20.33/5.13	c  N st    24     69397       125      2662         0     18910     13310    404290   no data   no data  --
20.33/5.13	c  S st    24     69397       125      2662         0     18910     13310    404290   no data   no data  --
20.33/5.18	c  S st    24     69898       125      2662         0     19401     13310    417084   no data   no data  --
20.33/5.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.33/5.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.33/5.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.33/5.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.33/5.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.33/5.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.33/5.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.71/6.77	c lits-rem:      5538  cl-subs:     2061  v-elim:      0  v-fix:    0  time:  6.27 s
26.71/6.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.71/6.78	c vivif2 --  cl tried    17340 cl shrink        0 lits rem          0 time: 0.02
27.11/6.86	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.35
27.11/6.86	c calculated reachability. Time: 0.00
27.11/6.86	c  N st    24     69898       125      2662         0     17340     13310    356742   no data   no data  --
31.90/8.04	c  F st    25     87500       125      2662         0     12391     13310    210950   no data   no data  --
31.90/8.04	c  N st    25     87500       125      2662         0     12391     13310    210950   no data   no data  --
33.09/8.34	c Decided on static restart strategy
33.89/8.52	c  N st    32     95538       125      2662         0     19958     13310    404966   no data   no data  --
35.88/9.07	c  N st    34    104850       125      2662         0     16469     13310    311134   no data   no data  --
35.88/9.07	c  S st    34    104850       125      2662         0     16469     13310    311134   no data   no data  --
36.28/9.12	c  S st    34    105351       125      2662         0     16959     13310    324260   no data   no data  --
36.28/9.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.28/9.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.28/9.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.28/9.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.28/9.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.28/9.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.28/9.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.08/10.37	c lits-rem:      2078  cl-subs:     1221  v-elim:      0  v-fix:    0  time:  4.92 s
41.08/10.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.08/10.37	c vivif2 --  cl tried    15738 cl shrink        0 lits rem          0 time: 0.01
41.48/10.44	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
41.48/10.44	c calculated reachability. Time: 0.00
41.48/10.44	c  N st    34    105351       125      2662         0     15738     13310    289735   no data   no data  --
44.27/11.14	c  N st    35    114950       125      2662         0     24709     13310    527299   no data   no data  --
48.29/12.14	c  N st    36    129349       125      2662         0     25191     13310    523889   no data   no data  --
55.05/13.87	c  N st    37    150944       125      2662         0     16454     13310    261858   no data   no data  --
57.08/14.39	c  S st    38    158027       125      2662         0     23050     13310    432179   no data   no data  --
57.44/14.45	c  S st    38    158530       125      2662         0     23546     13310    445096   no data   no data  --
57.44/14.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.44/14.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.44/14.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
57.44/14.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.44/14.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.44/14.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.44/14.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.83/16.00	c lits-rem:      3275  cl-subs:     1603  v-elim:      0  v-fix:    0  time:  6.13 s
63.83/16.00	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.83/16.01	c vivif2 --  cl tried    21943 cl shrink        0 lits rem          0 time: 0.02
64.23/16.12	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.45
64.23/16.12	c calculated reachability. Time: 0.00
64.23/16.12	c  N st    38    158530       125      2662         0     21943     13310    399106   no data   no data  --
81.78/20.50	c  N st    39    207119       125      2662         0     34708     13310    712304   no data   no data  --
91.79/23.10	c  N st    40    237795       125      2662         0     26937     13310    480723   no data   no data  --
91.79/23.10	c  S st    40    237795       125      2662         0     26937     13310    480723   no data   no data  --
92.20/23.17	c  S st    40    238301       125      2662         0     27427     13310    493140   no data   no data  --
92.20/23.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
92.20/23.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.20/23.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
92.20/23.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.20/23.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.20/23.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
92.20/23.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
99.75/25.02	c lits-rem:      3644  cl-subs:     2060  v-elim:      0  v-fix:    0  time:  7.26 s
99.75/25.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
99.75/25.02	c vivif2 --  cl tried    25367 cl shrink        0 lits rem          0 time: 0.02
100.15/25.14	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
100.15/25.14	c calculated reachability. Time: 0.00
100.15/25.14	c  N st    40    238301       125      2662         0     25367     13310    439696   no data   no data  --
126.09/31.65	c  F st    41    306251       125      2662         0     27105     13310    446326   no data   no data  --
126.09/31.65	c  N st    41    306251       125      2662         0     27105     13310    446326   no data   no data  --
128.08/32.14	c Decided on static restart strategy
137.25/34.44	c  N st    51    334551       125      2662         0     31241     13310    544472   no data   no data  --
147.63/37.04	c  N st    53    357452       125      2662         0     29307     13310    462210   no data   no data  --
147.63/37.04	c  S st    53    357452       125      2662         0     29307     13310    462210   no data   no data  --
148.03/37.12	c  S st    53    357958       125      2662         0     29799     13310    475148   no data   no data  --
148.03/37.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
148.03/37.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
148.03/37.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
148.03/37.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.03/37.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.03/37.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
148.03/37.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.65/38.59	c lits-rem:      1985  cl-subs:     1493  v-elim:      0  v-fix:    0  time:  5.79 s
153.65/38.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
154.01/38.60	c vivif2 --  cl tried    28306 cl shrink        0 lits rem          0 time: 0.02
154.41/38.74	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.55
154.41/38.74	c calculated reachability. Time: 0.00
154.41/38.74	c  N st    53    357958       125      2662         0     28306     13310    438043   no data   no data  --
170.38/42.71	c  N st    54    390350       125      2662         0     34241     13310    575715   no data   no data  --
193.16/48.46	c  N st    55    438938       125      2662         0     28258     13310    409242   no data   no data  --
226.25/56.77	c  N st    56    511820       125      2662         0     41225     13310    709138   no data   no data  --
238.22/59.70	c  N st    57    536937       125      2662         0     35731     13310    544294   no data   no data  --
238.22/59.70	c  S st    57    536937       125      2662         0     35731     13310    544294   no data   no data  --
238.62/59.80	c  S st    57    537439       125      2662         0     36219     13310    557287   no data   no data  --
238.62/59.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
238.62/59.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
238.62/59.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
238.62/59.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.62/59.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.62/59.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
238.62/59.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
245.84/61.62	c lits-rem:      2232  cl-subs:     1896  v-elim:      0  v-fix:    0  time:  7.16 s
245.84/61.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
245.84/61.63	c vivif2 --  cl tried    34323 cl shrink        0 lits rem          0 time: 0.02
246.60/61.80	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.70
246.60/61.81	c calculated reachability. Time: 0.00
246.60/61.81	c  N st    57    537439       125      2662         0     34323     13310    513024   no data   no data  --
330.01/82.72	c  N st    58    701423       125      2662         0     62161     13310   1160665   no data   no data  --
385.49/96.70	c  N st    59    806158       125      2662         0     56476     13310   1001968   no data   no data  --
385.49/96.70	c  S st    59    806158       125      2662         0     56476     13310   1001968   no data   no data  --
386.32/96.88	c  S st    59    806659       125      2662         0     56958     13310   1014890   no data   no data  --
386.32/96.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
386.32/96.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
386.68/96.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
386.68/96.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
386.68/96.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
386.68/96.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
386.68/96.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
411.83/103.26	c lits-rem:       832  cl-subs:     5432  v-elim:      0  v-fix:    0  time: 25.19 s
411.83/103.26	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
411.83/103.27	c vivif2 --  cl tried    51526 cl shrink        0 lits rem          0 time: 0.04
413.02/103.53	c asymm  cl-useful: 0/2084/2662 lits-rem:0 time: 1.03
413.02/103.53	c calculated reachability. Time: 0.00
413.02/103.53	c  N st    59    806659       125      2662         0     51526     13310    881646   no data   no data  --
577.85/144.88	c  F st    60   1071876       125      2662         0     66697     13310   1190374   no data   no data  --
577.85/144.88	c  N st    60   1071876       125      2662         0     66697     13310   1190374   no data   no data  --
582.63/146.09	c Decided on static restart strategy
600.20/150.41	c  N st    70   1100183       125      2662         0     51460     13310    781464   no data   no data  --
630.13/157.98	c  N st    72   1136175       125      2662         0     85193     13310   1671233   no data   no data  --
653.28/163.75	c  N st    73   1168567       125      2662         0     72511     13310   1314645   no data   no data  --
685.20/171.71	c  N st    74   1209990       125      2662         0     67119     13310   1130355   no data   no data  --
685.20/171.71	c  S st    74   1209990       125      2662         0     67119     13310   1130355   no data   no data  --
686.00/171.92	c  S st    74   1210494       125      2662         0     67612     13310   1143992   no data   no data  --
686.00/171.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
686.00/171.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
686.00/171.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
686.00/171.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
686.00/171.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
686.00/171.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
686.00/171.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
724.70/181.66	c lits-rem:       979  cl-subs:     5528  v-elim:      0  v-fix:    0  time: 38.56 s
724.70/181.66	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
724.70/181.67	c vivif2 --  cl tried    62084 cl shrink        0 lits rem          0 time: 0.06
725.50/181.83	c asymm  cl-useful: 0/578/2662 lits-rem:0 time: 0.62
725.50/181.83	c calculated reachability. Time: 0.00
725.50/181.83	c  N st    74   1210494       125      2662         0     62084     13310   1008130   no data   no data  --
798.13/200.05	c  N st    75   1283376       125      2662         0     85585     13310   1584466   no data   no data  --
895.88/224.59	c  N st    76   1392699       125      2662         0     47805     13310    581486   no data   no data  --
1020.00/255.65	c  N st    77   1556684       125      2662         0     52243     13310    649070   no data   no data  --
1136.98/284.99	c  N st    78   1710494       125      2662         0     91769     13310   1595305   no data   no data  --
1136.98/284.99	c  S st    78   1710494       125      2662         0     91769     13310   1595305   no data   no data  --
1138.14/285.28	c  S st    78   1710996       125      2662         0     92259     13310   1607807   no data   no data  --
1138.14/285.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1138.14/285.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1138.54/285.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1138.54/285.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1138.54/285.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1138.54/285.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1138.54/285.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1225.91/307.26	c lits-rem:      1496  cl-subs:    11788  v-elim:      0  v-fix:    0  time: 87.26 s
1225.91/307.26	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1225.91/307.28	c vivif2 --  cl tried    80471 cl shrink        0 lits rem          0 time: 0.06
1227.51/307.60	c asymm  cl-useful: 0/1268/2662 lits-rem:0 time: 1.31
1227.51/307.61	c calculated reachability. Time: 0.00
1227.51/307.61	c  N st    78   1710996       125      2662         0     80471     13310   1340977   no data   no data  --
1532.78/384.16	c  N st    79   2079960       125      2662         0     92612     13310   1616072   no data   no data  --
1636.55/410.17	c  N st    80   2210996       125      2662         0     96689     13310   1715420   no data   no data  --
1636.55/410.17	c  S st    80   2210996       125      2662         0     96689     13310   1715420   no data   no data  --
1637.74/410.47	c  S st    80   2211498       125      2662         0     97177     13310   1728392   no data   no data  --
1637.74/410.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1637.74/410.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1638.14/410.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1638.14/410.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1638.14/410.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1638.14/410.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1638.14/410.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1721.93/431.52	c lits-rem:      2198  cl-subs:     8267  v-elim:      0  v-fix:    0  time: 83.53 s
1721.93/431.52	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1721.93/431.54	c vivif2 --  cl tried    88910 cl shrink        0 lits rem          0 time: 0.08
1723.14/431.88	c asymm  cl-useful: 0/1109/2662 lits-rem:0 time: 1.39
1723.14/431.89	c calculated reachability. Time: 0.00
1723.14/431.89	c  N st    80   2211498       125      2662         0     88910     13310   1514945   no data   no data  --
2207.63/553.24	c  N st    81   2711498       125      2662         0    111279     13310   1959387   no data   no data  --
2207.63/553.24	c  S st    81   2711498       125      2662         0    111279     13310   1959387   no data   no data  --
2209.20/553.62	c  S st    81   2711999       125      2662         0    111769     13310   1972588   no data   no data  --
2209.20/553.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2209.20/553.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2209.20/553.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2209.60/553.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2209.60/553.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2209.60/553.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2209.60/553.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2338.08/585.95	c lits-rem:      2453  cl-subs:    11417  v-elim:      0  v-fix:    0  time: 128.43 s
2338.08/585.95	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2338.08/585.97	c vivif2 --  cl tried   100352 cl shrink        0 lits rem          0 time: 0.08
2339.71/586.32	c asymm  cl-useful: 0/1177/2662 lits-rem:0 time: 1.37
2339.71/586.32	c calculated reachability. Time: 0.00
2339.71/586.32	c  N st    81   2711999       125      2662         0    100352     13310   1693769   no data   no data  --
2878.01/721.29	c  N st    82   3211999       125      2662         0     78071     13310    997003   no data   no data  --
2878.01/721.29	c  S st    82   3211999       125      2662         0     78071     13310    997003   no data   no data  --
2878.81/721.50	c  S st    82   3212500       125      2662         0     78559     13310   1010440   no data   no data  --
2879.23/721.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2879.23/721.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2879.23/721.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
2879.23/721.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2879.23/721.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2879.23/721.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2879.23/721.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2898.76/726.50	c lits-rem:       565  cl-subs:     1074  v-elim:      0  v-fix:    0  time: 19.65 s
2898.76/726.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2899.16/726.51	c vivif2 --  cl tried    77485 cl shrink        0 lits rem          0 time: 0.05
2900.36/726.82	c asymm  cl-useful: 0/1257/2662 lits-rem:0 time: 1.23
2900.36/726.82	c calculated reachability. Time: 0.00
2900.36/726.82	c  N st    82   3212500       125      2662         0     77485     13310    981533   no data   no data  --
3519.73/882.00	c  N st    83   3712500       125      2662         0     87483     13310   1144409   no data   no data  --
3519.73/882.00	c  S st    83   3712500       125      2662         0     87483     13310   1144409   no data   no data  --
3520.56/882.27	c  S st    83   3713003       125      2662         0     87973     13310   1157586   no data   no data  --
3520.56/882.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3520.56/882.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3520.92/882.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3520.92/882.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3520.92/882.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3520.92/882.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3520.92/882.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3548.85/889.34	c lits-rem:      1034  cl-subs:     3006  v-elim:      0  v-fix:    0  time: 27.90 s
3548.85/889.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3548.85/889.36	c vivif2 --  cl tried    84967 cl shrink        0 lits rem          0 time: 0.06
3550.05/889.67	c asymm  cl-useful: 0/1397/2662 lits-rem:0 time: 1.25
3550.05/889.68	c calculated reachability. Time: 0.00
3550.05/889.68	c  N st    83   3713003       125      2662         0     84967     13310   1087675   no data   no data  --
3594.77/900.85	c  F st    84   3751562       125      2662         0    120833     13310   2050724   no data   no data  --
3594.77/900.86	c  N st    84   3751562       125      2662         0    120833     13310   2050724   no data   no data  --
3603.14/902.99	c Decided on static restart strategy
3641.04/912.41	c  N st    94   3779865       125      2662         0    147392     13310   2743091   no data   no data  --
3685.34/923.51	c  N st    96   3815857       125      2662         0    102157     13310   1517522   no data   no data  --
3730.05/934.72	c  N st    97   3848250       125      2662         0    132236     13310   2280971   no data   no data  --
3796.29/951.34	c  N st    98   3896838       125      2662         0     97599     13310   1380310   no data   no data  --
3896.85/976.50	c  N st    99   3969720       125      2662         0     84604     13310   1023359   no data   no data  --
4040.12/1012.43	c  N st   100   4079043       125      2662         0    104693     13310   1556924   no data   no data  --
4202.95/1053.28	c  N st   101   4213005       125      2662         0    147050     13310   2709693   no data   no data  --
4202.95/1053.28	c  S st   101   4213005       125      2662         0    147050     13310   2709693   no data   no data  --
4205.38/1053.88	c  S st   101   4213508       125      2662         0    147527     13310   2722995   no data   no data  --
4205.38/1053.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4205.38/1053.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4205.74/1053.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.35
4206.14/1054.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4206.14/1054.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4206.14/1054.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4206.14/1054.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4736.82/1187.09	c lits-rem:      4567  cl-subs:    12807  v-elim:      0  v-fix:    0  time: 530.61 s
4736.82/1187.09	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4737.22/1187.12	c vivif2 --  cl tried   134720 cl shrink        0 lits rem          0 time: 0.14
4739.22/1187.63	c asymm  cl-useful: 0/752/2662 lits-rem:0 time: 2.03
4739.22/1187.64	c calculated reachability. Time: 0.00
4739.22/1187.64	c  N st   101   4213508       125      2662         0    134720     13310   2383373   no data   no data  --

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-3368956-1305407579/watcher-3368956-1305407579 -o /tmp/evaluation-result-3368956-1305407579/solver-3368956-1305407579 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368956-1305407579.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: 7.37 7.93 7.85 6/298 21021
/proc/meminfo: memFree=27765044/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 652356424 52465664 353 33554432000 4194304 4650419 140734179881904 18446744073709551615 48009800660914 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 12809 353 303 112 0 7774 0
[pid=21021/tid=21022] ppid=21019 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652356424 52465664 353 33554432000 4194304 4650419 140734179881904 18446744073709551615 48009800660908 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652356424 52465664 353 33554432000 4194304 4650419 140734179881904 18446744073709551615 48009800660908 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652356424 52465664 353 33554432000 4194304 4650419 140734179881904 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.064038 s]
/proc/loadavg: 7.37 7.93 7.85 6/298 21021
/proc/meminfo: memFree=27765044/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=282072 CPUtime=0.23 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 1678 0 0 0 23 0 0 0 25 0 4 0 652356424 288841728 1525 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 70518 1525 388 112 0 65483 0
[pid=21021/tid=21022] ppid=21019 vsize=282072 CPUtime=0.06 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 338 0 0 0 6 0 0 0 25 0 4 0 652356424 288841728 1525 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=282072 CPUtime=0.05 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 378 0 0 0 5 0 0 0 25 0 4 0 652356424 288841728 1525 33554432000 4194304 4650419 140734179881904 18446744073709551615 4306636 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=282072 CPUtime=0.05 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 186 0 0 0 5 0 0 0 25 0 4 0 652356424 288841728 1525 33554432000 4194304 4650419 140734179881904 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 282072

[startup+0.101031 s]
/proc/loadavg: 7.37 7.93 7.85 6/298 21021
/proc/meminfo: memFree=27765044/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=282212 CPUtime=0.38 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 1871 0 0 0 38 0 0 0 25 0 4 0 652356424 288985088 1718 33554432000 4194304 4650419 140734179881904 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 70553 1718 389 112 0 65518 0
[pid=21021/tid=21022] ppid=21019 vsize=282212 CPUtime=0.09 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 390 0 0 0 9 0 0 0 25 0 4 0 652356424 288985088 1719 33554432000 4194304 4650419 140734179881904 18446744073709551615 210204307777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=282212 CPUtime=0.09 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 421 0 0 0 9 0 0 0 25 0 4 0 652356424 288985088 1719 33554432000 4194304 4650419 140734179881904 18446744073709551615 4355007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=282212 CPUtime=0.08 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 235 0 0 0 8 0 0 0 25 0 4 0 652356424 288985088 1719 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282212

[startup+0.300999 s]
/proc/loadavg: 7.37 7.93 7.85 6/298 21021
/proc/meminfo: memFree=27765044/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=283372 CPUtime=1.17 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 3168 0 0 0 117 0 0 0 25 0 4 0 652356424 290172928 2386 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 70843 2386 391 112 0 65808 0
[pid=21021/tid=21022] ppid=21019 vsize=283372 CPUtime=0.29 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 710 0 0 0 29 0 0 0 25 0 4 0 652356424 290172928 2386 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=283372 CPUtime=0.29 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 776 0 0 0 29 0 0 0 25 0 4 0 652356424 290172928 2386 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=283372 CPUtime=0.28 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 545 0 0 0 28 0 0 0 25 0 4 0 652356424 290172928 2386 33554432000 4194304 4650419 140734179881904 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283372

[startup+0.700933 s]
/proc/loadavg: 7.37 7.93 7.85 6/298 21021
/proc/meminfo: memFree=27765044/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=284876 CPUtime=2.77 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 5648 0 0 0 277 0 0 0 25 0 4 0 652356424 291713024 2708 33554432000 4194304 4650419 140734179881904 18446744073709551615 4331351 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 71219 2708 391 112 0 66184 0
[pid=21021/tid=21022] ppid=21019 vsize=284876 CPUtime=0.69 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 1336 0 0 0 69 0 0 0 25 0 4 0 652356424 291713024 2708 33554432000 4194304 4650419 140734179881904 18446744073709551615 4334421 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=284876 CPUtime=0.69 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 1424 0 0 0 69 0 0 0 25 0 4 0 652356424 291713024 2708 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=284876 CPUtime=0.68 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 1117 0 0 0 68 0 0 0 25 0 4 0 652356424 291713024 2708 33554432000 4194304 4650419 140734179881904 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284876

[startup+1.5008 s]
/proc/loadavg: 7.37 7.93 7.85 10/302 21025
/proc/meminfo: memFree=27741836/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=276936 CPUtime=5.96 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 11506 0 0 0 595 1 0 0 25 0 4 0 652356424 283582464 6298 33554432000 4194304 4650419 140734179881904 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 69234 6298 393 112 0 64199 0
[pid=21021/tid=21022] ppid=21019 vsize=276936 CPUtime=1.49 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 3464 0 0 0 149 0 0 0 25 0 4 0 652356424 283582464 6298 33554432000 4194304 4650419 140734179881904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=276936 CPUtime=1.49 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 2410 0 0 0 149 0 0 0 25 0 4 0 652356424 283582464 6298 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=276936 CPUtime=1.47 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 1942 0 0 0 147 0 0 0 25 0 4 0 652356424 283582464 6298 33554432000 4194304 4650419 140734179881904 18446744073709551615 4360517 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 276936

[startup+3.10054 s]
/proc/loadavg: 7.37 7.93 7.85 10/302 21025
/proc/meminfo: memFree=27702352/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=268260 CPUtime=12.35 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 18347 0 0 0 1232 3 0 0 25 0 4 0 652356424 274698240 11491 33554432000 4194304 4650419 140734179881904 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 67065 11491 393 112 0 62030 0
[pid=21021/tid=21022] ppid=21019 vsize=268260 CPUtime=3.09 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 4446 0 0 0 308 1 0 0 25 0 4 0 652356424 274698240 11491 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=268260 CPUtime=3.08 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 4603 0 0 0 308 0 0 0 25 0 4 0 652356424 274698240 11491 33554432000 4194304 4650419 140734179881904 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=268260 CPUtime=3.06 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 4571 0 0 0 306 0 0 0 25 0 4 0 652356424 274698240 11491 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 268260

[startup+6.301 s]
/proc/loadavg: 7.50 7.95 7.85 10/302 21025
/proc/meminfo: memFree=27652016/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=277776 CPUtime=25.12 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 26910 0 0 0 2508 4 0 0 25 0 4 0 652356424 284442624 16420 33554432000 4194304 4650419 140734179881904 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 69444 16420 393 112 0 64409 0
[pid=21021/tid=21022] ppid=21019 vsize=277776 CPUtime=6.29 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 7102 0 0 0 628 1 0 0 25 0 4 0 652356424 284442624 16420 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=277776 CPUtime=6.28 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 7346 0 0 0 628 0 0 0 25 0 4 0 652356424 284442624 16420 33554432000 4194304 4650419 140734179881904 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=277776 CPUtime=6.23 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 5853 0 0 0 623 0 0 0 25 0 4 0 652356424 284442624 16420 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 277776

[startup+12.7009 s]
/proc/loadavg: 7.54 7.95 7.85 10/302 21025
/proc/meminfo: memFree=27615152/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=279456 CPUtime=50.66 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 40186 0 0 0 5059 7 0 0 25 0 4 0 652356424 286162944 20249 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365686 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 69864 20249 393 112 0 64829 0
[pid=21021/tid=21022] ppid=21019 vsize=279456 CPUtime=12.69 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 10786 0 0 0 1267 2 0 0 25 0 4 0 652356424 286162944 20249 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=279456 CPUtime=12.68 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 10576 0 0 0 1267 1 0 0 25 0 4 0 652356424 286162944 20249 33554432000 4194304 4650419 140734179881904 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=279456 CPUtime=12.57 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 9183 0 0 0 1256 1 0 0 25 0 4 0 652356424 286162944 20249 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 279456

[startup+25.5008 s]
/proc/loadavg: 7.64 7.95 7.85 10/302 21025
/proc/meminfo: memFree=27553732/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=300380 CPUtime=101.73 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 62214 0 0 0 10160 13 0 0 25 0 4 0 652356424 307589120 25983 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 75095 25983 393 112 0 70060 0
[pid=21021/tid=21022] ppid=21019 vsize=300380 CPUtime=25.49 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 18216 0 0 0 2545 4 0 0 25 0 4 0 652356424 307589120 25984 33554432000 4194304 4650419 140734179881904 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=300380 CPUtime=25.48 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 17012 0 0 0 2545 3 0 0 25 0 4 0 652356424 307589120 25984 33554432000 4194304 4650419 140734179881904 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=300380 CPUtime=25.24 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 12174 0 0 0 2523 1 0 0 25 0 4 0 652356424 307589120 25984 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 300380

[startup+51.1005 s]
/proc/loadavg: 7.76 7.95 7.86 9/302 21026
/proc/meminfo: memFree=27506748/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=291296 CPUtime=203.9 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 95882 0 0 0 20367 23 0 0 25 0 4 0 652356424 298287104 32674 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 72824 32674 393 112 0 67789 0
[pid=21021/tid=21022] ppid=21019 vsize=291296 CPUtime=51.09 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 29152 0 0 0 5103 6 0 0 25 0 4 0 652356424 298287104 32674 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=291296 CPUtime=51.09 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 25729 0 0 0 5103 6 0 0 25 0 4 0 652356424 298287104 32674 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=291296 CPUtime=50.62 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 17164 0 0 0 5059 3 0 0 25 0 4 0 652356424 298287104 32674 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 291296

[startup+102.311 s]
/proc/loadavg: 7.94 7.97 7.87 10/302 21027
/proc/meminfo: memFree=27411004/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=303084 CPUtime=408.27 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 147422 0 0 0 40789 38 0 0 25 0 4 0 652356424 310358016 44871 33554432000 4194304 4650419 140734179881904 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 75771 44871 393 112 0 70736 0
[pid=21021/tid=21022] ppid=21019 vsize=303084 CPUtime=102.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 44857 0 0 0 10219 11 0 0 25 0 4 0 652356424 310358016 44871 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=303084 CPUtime=102.29 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 41154 0 0 0 10218 11 0 0 25 0 4 0 652356424 310358016 44871 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=303084 CPUtime=101.35 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 25622 0 0 0 10130 5 0 0 25 0 4 0 652356424 310358016 44871 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 303084

[startup+162.301 s]

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

[pid=21021] ppid=21019 vsize=505360 CPUtime=2802.58 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 468522 0 0 0 280068 190 0 0 25 0 4 0 652356424 517488640 94882 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 126340 94882 393 112 0 121305 0
[pid=21021/tid=21022] ppid=21019 vsize=505360 CPUtime=702.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 116563 0 0 0 70192 38 0 0 25 0 4 0 652356424 517488640 94882 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=505360 CPUtime=702.29 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 147069 0 0 0 70167 62 0 0 25 0 4 0 652356424 517488640 94882 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=505360 CPUtime=695.67 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 78572 0 0 0 69535 32 0 0 25 0 4 0 652356424 517488640 94882 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.58
Current children cumulated vsize (KiB) 505360

[startup+762.311 s]
/proc/loadavg: 8.15 8.11 7.97 9/302 21045
/proc/meminfo: memFree=26938620/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=584168 CPUtime=3042.07 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 495356 0 0 0 304006 201 0 0 25 0 4 0 652356424 598188032 111081 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 146042 111081 393 112 0 141007 0
[pid=21021/tid=21022] ppid=21019 vsize=584168 CPUtime=762.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 124219 0 0 0 76189 41 0 0 25 0 4 0 652356424 598188032 111081 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=584168 CPUtime=762.31 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 155805 0 0 0 76165 66 0 0 25 0 4 0 652356424 598188032 111081 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=584168 CPUtime=755.13 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 84283 0 0 0 75479 34 0 0 25 0 4 0 652356424 598188032 111081 33554432000 4194304 4650419 140734179881904 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.07
Current children cumulated vsize (KiB) 584168

[startup+822.301 s]
/proc/loadavg: 8.14 8.11 7.99 9/302 21047
/proc/meminfo: memFree=26981120/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=598052 CPUtime=3281.48 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 517687 0 0 0 327939 209 0 0 25 0 4 0 652356424 612405248 106888 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 149513 106888 393 112 0 144478 0
[pid=21021/tid=21022] ppid=21019 vsize=598052 CPUtime=822.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 126016 0 0 0 82188 42 0 0 25 0 4 0 652356424 612405248 106888 33554432000 4194304 4650419 140734179881904 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=598052 CPUtime=822.3 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 166251 0 0 0 82161 69 0 0 25 0 4 0 652356424 612405248 106888 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=598052 CPUtime=814.56 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 87160 0 0 0 81421 35 0 0 25 0 4 0 652356424 612405248 106888 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.48
Current children cumulated vsize (KiB) 598052

[startup+882.301 s]
/proc/loadavg: 8.14 8.12 8.00 10/302 21048
/proc/meminfo: memFree=26905672/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=598312 CPUtime=3520.92 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 537894 0 0 0 351873 219 0 0 25 0 4 0 652356424 612671488 107370 33554432000 4194304 4650419 140734179881904 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 149578 107370 393 112 0 144543 0
[pid=21021/tid=21022] ppid=21019 vsize=598312 CPUtime=882.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 128039 0 0 0 88187 43 0 0 25 0 4 0 652356424 612671488 107370 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=598312 CPUtime=882.29 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 174387 0 0 0 88156 73 0 0 25 0 4 0 652356424 612671488 107370 33554432000 4194304 4650419 140734179881904 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=598312 CPUtime=874.01 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 88710 0 0 0 87365 36 0 0 25 0 4 0 652356424 612671488 107370 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.92
Current children cumulated vsize (KiB) 598312

[startup+942.301 s]
/proc/loadavg: 8.13 8.12 8.00 9/302 21050
/proc/meminfo: memFree=26902280/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=599120 CPUtime=3760.38 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 552684 0 0 0 375810 228 0 0 25 0 4 0 652356424 613498880 107695 33554432000 4194304 4650419 140734179881904 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 149780 107695 393 112 0 144745 0
[pid=21021/tid=21022] ppid=21019 vsize=599120 CPUtime=942.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 128356 0 0 0 94187 43 0 0 25 0 4 0 652356424 613498880 107695 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=599120 CPUtime=942.3 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 183202 0 0 0 94152 78 0 0 25 0 4 0 652356424 613498880 107695 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=599120 CPUtime=933.46 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 88822 0 0 0 93310 36 0 0 25 0 4 0 652356424 613498880 107695 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.38
Current children cumulated vsize (KiB) 599120

[startup+1002.3 s]
/proc/loadavg: 8.12 8.13 8.01 10/302 21051
/proc/meminfo: memFree=26869364/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=599316 CPUtime=3999.81 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 571288 0 0 0 399743 238 0 0 25 0 4 0 652356424 613699584 109619 33554432000 4194304 4650419 140734179881904 18446744073709551615 4328000 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 149829 109619 393 112 0 144794 0
[pid=21021/tid=21022] ppid=21019 vsize=599316 CPUtime=1002.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 131765 0 0 0 100184 46 0 0 25 0 4 0 652356424 613699584 109619 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=599316 CPUtime=1002.3 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 190945 0 0 0 100149 81 0 0 25 0 4 0 652356424 613699584 109619 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=599316 CPUtime=992.89 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 88822 0 0 0 99253 36 0 0 25 0 4 0 652356424 613699584 109619 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.81
Current children cumulated vsize (KiB) 599316

[startup+1062.3 s]
/proc/loadavg: 8.19 8.15 8.02 10/302 21053
/proc/meminfo: memFree=26910996/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=638760 CPUtime=4239.26 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 600496 0 0 0 423675 251 0 0 25 0 4 0 652356424 654090240 113630 33554432000 4194304 4650419 140734179881904 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 159690 113630 393 112 0 154655 0
[pid=21021/tid=21022] ppid=21019 vsize=638760 CPUtime=1062.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 135262 0 0 0 106181 49 0 0 25 0 4 0 652356424 654090240 113630 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=638760 CPUtime=1062.3 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 198781 0 0 0 106145 85 0 0 25 0 4 0 652356424 654090240 113630 33554432000 4194304 4650419 140734179881904 18446744073709551615 4331775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=638760 CPUtime=1052.34 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 96284 0 0 0 105196 38 0 0 25 0 4 0 652356424 654090240 113630 33554432000 4194304 4650419 140734179881904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.26
Current children cumulated vsize (KiB) 638760

[startup+1122.3 s]
/proc/loadavg: 8.18 8.15 8.02 9/302 21055
/proc/meminfo: memFree=26891380/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=652636 CPUtime=4478.67 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 611090 0 0 0 447610 257 0 0 25 0 4 0 652356424 668299264 118441 33554432000 4194304 4650419 140734179881904 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 163159 118441 393 112 0 158124 0
[pid=21021/tid=21022] ppid=21019 vsize=652636 CPUtime=1122.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 138714 0 0 0 112180 50 0 0 25 0 4 0 652356424 668299264 118441 33554432000 4194304 4650419 140734179881904 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=652636 CPUtime=1122.3 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 203691 0 0 0 112142 88 0 0 25 0 4 0 652356424 668299264 118441 33554432000 4194304 4650419 140734179881904 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=652636 CPUtime=1111.74 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 98148 0 0 0 111135 39 0 0 25 0 4 0 652356424 668299264 118441 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.67
Current children cumulated vsize (KiB) 652636

[startup+1182.3 s]
/proc/loadavg: 8.21 8.15 8.03 10/302 21056
/proc/meminfo: memFree=26853516/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=666564 CPUtime=4718.08 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 625857 0 0 0 471543 265 0 0 25 0 4 0 652356424 682561536 129366 33554432000 4194304 4650419 140734179881904 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 166641 129366 393 112 0 161606 0
[pid=21021/tid=21022] ppid=21019 vsize=666564 CPUtime=1182.3 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 142418 0 0 0 118177 53 0 0 25 0 4 0 652356424 682561536 129366 33554432000 4194304 4650419 140734179881904 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=666564 CPUtime=1182.3 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 212391 0 0 0 118138 92 0 0 25 0 4 0 652356424 682561536 129366 33554432000 4194304 4650419 140734179881904 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=666564 CPUtime=1171.15 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 100511 0 0 0 117074 41 0 0 25 0 4 0 652356424 682561536 129366 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4718.08
Current children cumulated vsize (KiB) 666564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.15 8.14 8.03 5/297 21058
/proc/meminfo: memFree=27233976/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=788020 CPUtime=4800.28 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 630426 0 0 0 479762 266 0 0 25 0 4 0 652356424 806932480 133931 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 197005 133931 393 112 0 191970 0
[pid=21021/tid=21022] ppid=21019 vsize=788020 CPUtime=1202.92 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 145647 0 0 0 120238 54 0 0 25 0 4 0 652356424 806932480 133932 33554432000 4194304 4650419 140734179881904 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=788020 CPUtime=1202.92 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 212391 0 0 0 120200 92 0 0 25 0 4 0 652356424 806932480 133932 33554432000 4194304 4650419 140734179881904 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=788020 CPUtime=1191.53 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 101167 0 0 0 119112 41 0 0 25 0 4 0 652356424 806932480 133932 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 788020

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

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

[startup+1202.9 s]
/proc/loadavg: 8.15 8.14 8.03 5/297 21058
/proc/meminfo: memFree=27233976/32951124 swapFree=63649232/67111528
[pid=21021] ppid=21019 vsize=788020 CPUtime=4800.28 cores=1,3,5,7
/proc/21021/stat : 21021 (strangenight1-m) R 21019 21021 20874 0 -1 4202496 630426 0 0 0 479762 266 0 0 25 0 4 0 652356424 806932480 133931 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21021/statm: 197005 133931 393 112 0 191970 0
[pid=21021/tid=21022] ppid=21019 vsize=788020 CPUtime=1202.92 cores=1,3,5,7
/proc/21021/task/21022/stat : 21022 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 145647 0 0 0 120238 54 0 0 25 0 4 0 652356424 806932480 133932 33554432000 4194304 4650419 140734179881904 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21021/tid=21023] ppid=21019 vsize=788020 CPUtime=1202.92 cores=1,3,5,7
/proc/21021/task/21023/stat : 21023 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 212391 0 0 0 120200 92 0 0 25 0 4 0 652356424 806932480 133932 33554432000 4194304 4650419 140734179881904 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21021/tid=21024] ppid=21019 vsize=788020 CPUtime=1191.53 cores=1,3,5,7
/proc/21021/task/21024/stat : 21024 (strangenight1-m) R 21019 21021 20874 0 -1 4202560 101167 0 0 0 119112 41 0 0 25 0 4 0 652356424 806932480 133932 33554432000 4194304 4650419 140734179881904 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 788020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.94
CPU time (s): 4800.35
CPU user time (s): 4797.66
CPU system time (s): 2.69259
CPU usage (%): 399.051
Max. virtual memory (cumulated for all children) (KiB): 788020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.69259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630427
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= 456
involuntary context switches= 32612

runsolver used 3.12852 second user time and 8.26074 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 23:12:59
IDJOB=3368956
IDBENCH=82965
IDSOLVER=1846
FILE ID=node130/3368956-1305407579
RUNJOBID= node130-1305406374-20893
PBS_JOBID= 13324512
Free space on /tmp= 73424 MiB

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

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

MD5SUM BENCH= 2d20051b8a7a248788d1c2610fe5ea54
RANDOM SEED=522244223

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27765324 kB
Buffers:        258552 kB
Cached:        3595896 kB
SwapCached:      10248 kB
Active:        1153244 kB
Inactive:      3760932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27765324 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           12468 kB
Writeback:           0 kB
AnonPages:     1057888 kB
Mapped:          13484 kB
Slab:           182852 kB
PageTables:      25124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51550832 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= 73424 MiB
End job on node130 at 2011-05-14 23:33:04