Trace number 3175347

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

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.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-3175347-1304120125.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.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.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      63 undec:       1 neg:      61
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.20/0.06	c Decided on static restart strategy
0.20/0.13	c  N st     8      4918       125      2662         0      4675     13310    123063   no data   no data  --
1.18/0.34	c  N st    10     11302       125      2662         0      4319     13310     88221   no data   no data  --
1.98/0.56	c  N st    11     17046       125      2662         0      9735     13310    227774   no data   no data  --
3.18/0.88	c  F st    12     25000       125      2662         0     11907     13310    280420   no data   no data  --
3.18/0.88	c  N st    12     25000       125      2662         0     11907     13310    280420   no data   no data  --
3.99/1.08	c Decided on static restart strategy
3.99/1.08	c  N st    18     30001       125      2662         0     10199     13310    228217   no data   no data  --
3.99/1.08	c  S st    18     30001       125      2662         0     10199     13310    228217   no data   no data  --
4.40/1.11	c  S st    18     30508       125      2662         0     10695     13310    241212   no data   no data  --
4.40/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.40/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.40/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.40/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.78/1.75	c lits-rem:      2504  cl-subs:     1517  v-elim:      0  v-fix:    0  time:  2.48 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     30508       125      2662         0      9178     13310    196755   no data   no data  --
8.39/2.12	c  N st    20     37619       125      2662         0      8479     13310    163901   no data   no data  --
9.17/2.39	c  N st    21     44019       125      2662         0     14456     13310    316869   no data   no data  --
9.57/2.48	c  S st    22     45763       125      2662         0     16091     13310    358621   no data   no data  --
9.97/2.52	c  S st    22     46265       125      2662         0     16574     13310    371647   no data   no data  --
9.97/2.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.97/2.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.97/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.97/2.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.17/3.83	c lits-rem:      4651  cl-subs:     1698  v-elim:      0  v-fix:    0  time:  5.14 s
15.17/3.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.17/3.83	c vivif2 --  cl tried    14876 cl shrink        0 lits rem          0 time: 0.01
15.56/3.91	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
15.56/3.91	c calculated reachability. Time: 0.00
15.56/3.91	c  N st    22     46265       125      2662         0     14876     13310    321837   no data   no data  --
18.36/4.67	c  N st    23     60663       125      2662         0     10718     13310    191264   no data   no data  --
20.35/5.11	c  N st    24     69397       125      2662         0     18910     13310    404290   no data   no data  --
20.35/5.11	c  S st    24     69397       125      2662         0     18910     13310    404290   no data   no data  --
20.35/5.16	c  S st    24     69898       125      2662         0     19401     13310    417084   no data   no data  --
20.35/5.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.35/5.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.35/5.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.35/5.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.35/5.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.35/5.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.35/5.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.74/6.76	c lits-rem:      5538  cl-subs:     2061  v-elim:      0  v-fix:    0  time:  6.29 s
26.74/6.76	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.74/6.76	c vivif2 --  cl tried    17340 cl shrink        0 lits rem          0 time: 0.02
27.14/6.85	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.35
27.14/6.85	c calculated reachability. Time: 0.00
27.14/6.85	c  N st    24     69898       125      2662         0     17340     13310    356742   no data   no data  --
31.95/8.02	c  F st    25     87500       125      2662         0     12391     13310    210950   no data   no data  --
31.95/8.02	c  N st    25     87500       125      2662         0     12391     13310    210950   no data   no data  --
33.14/8.32	c Decided on static restart strategy
33.54/8.49	c  N st    32     95538       125      2662         0     19958     13310    404966   no data   no data  --
35.93/9.05	c  N st    34    104850       125      2662         0     16469     13310    311134   no data   no data  --
35.93/9.05	c  S st    34    104850       125      2662         0     16469     13310    311134   no data   no data  --
36.33/9.10	c  S st    34    105351       125      2662         0     16959     13310    324260   no data   no data  --
36.33/9.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.33/9.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.33/9.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.33/9.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.33/9.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.33/9.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.33/9.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.13/10.34	c lits-rem:      2078  cl-subs:     1221  v-elim:      0  v-fix:    0  time:  4.88 s
41.13/10.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.13/10.34	c vivif2 --  cl tried    15738 cl shrink        0 lits rem          0 time: 0.01
41.53/10.41	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.30
41.53/10.41	c calculated reachability. Time: 0.00
41.53/10.41	c  N st    34    105351       125      2662         0     15738     13310    289735   no data   no data  --
44.32/11.11	c  N st    35    114950       125      2662         0     24709     13310    527299   no data   no data  --
47.94/12.10	c  N st    36    129349       125      2662         0     25191     13310    523889   no data   no data  --
55.11/13.82	c  N st    37    150944       125      2662         0     16454     13310    261858   no data   no data  --
57.13/14.34	c  S st    38    158027       125      2662         0     23050     13310    432179   no data   no data  --
57.13/14.40	c  S st    38    158530       125      2662         0     23546     13310    445096   no data   no data  --
57.51/14.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.51/14.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.51/14.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
57.51/14.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.51/14.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.51/14.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.51/14.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.50/15.94	c lits-rem:      3275  cl-subs:     1603  v-elim:      0  v-fix:    0  time:  6.09 s
63.50/15.94	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.50/15.94	c vivif2 --  cl tried    21943 cl shrink        0 lits rem          0 time: 0.02
63.89/16.06	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
63.89/16.06	c calculated reachability. Time: 0.00
63.89/16.06	c  N st    38    158530       125      2662         0     21943     13310    399106   no data   no data  --
81.47/20.44	c  N st    39    207119       125      2662         0     34708     13310    712304   no data   no data  --
91.88/23.02	c  N st    40    237795       125      2662         0     26937     13310    480723   no data   no data  --
91.88/23.02	c  S st    40    237795       125      2662         0     26937     13310    480723   no data   no data  --
91.88/23.09	c  S st    40    238301       125      2662         0     27427     13310    493140   no data   no data  --
91.88/23.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.88/23.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.88/23.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
92.28/23.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.28/23.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.28/23.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
92.28/23.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
99.46/24.93	c lits-rem:      3644  cl-subs:     2060  v-elim:      0  v-fix:    0  time:  7.26 s
99.46/24.93	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
99.46/24.94	c vivif2 --  cl tried    25367 cl shrink        0 lits rem          0 time: 0.01
99.85/25.05	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
99.85/25.05	c calculated reachability. Time: 0.00
99.85/25.05	c  N st    40    238301       125      2662         0     25367     13310    439696   no data   no data  --
125.82/31.56	c  F st    41    306251       125      2662         0     27105     13310    446326   no data   no data  --
125.82/31.56	c  N st    41    306251       125      2662         0     27105     13310    446326   no data   no data  --
127.81/32.04	c Decided on static restart strategy
137.00/34.33	c  N st    51    334551       125      2662         0     31241     13310    544472   no data   no data  --
147.38/36.93	c  N st    53    357452       125      2662         0     29307     13310    462210   no data   no data  --
147.38/36.93	c  S st    53    357452       125      2662         0     29307     13310    462210   no data   no data  --
147.79/37.00	c  S st    53    357958       125      2662         0     29799     13310    475148   no data   no data  --
147.79/37.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.79/37.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
147.79/37.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
147.79/37.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.79/37.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.79/37.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
147.79/37.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
153.39/38.49	c lits-rem:      1985  cl-subs:     1493  v-elim:      0  v-fix:    0  time:  5.82 s
153.39/38.49	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
153.39/38.49	c vivif2 --  cl tried    28306 cl shrink        0 lits rem          0 time: 0.02
154.17/38.63	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.55
154.17/38.63	c calculated reachability. Time: 0.00
154.17/38.63	c  N st    53    357958       125      2662         0     28306     13310    438043   no data   no data  --
170.15/42.60	c  N st    54    390350       125      2662         0     34241     13310    575715   no data   no data  --
192.94/48.34	c  N st    55    438938       125      2662         0     28258     13310    409242   no data   no data  --
226.07/56.65	c  N st    56    511820       125      2662         0     41225     13310    709138   no data   no data  --
237.66/59.58	c  N st    57    536937       125      2662         0     35731     13310    544294   no data   no data  --
237.66/59.58	c  S st    57    536937       125      2662         0     35731     13310    544294   no data   no data  --
238.06/59.68	c  S st    57    537439       125      2662         0     36219     13310    557287   no data   no data  --
238.06/59.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
238.06/59.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
238.06/59.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
238.46/59.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
238.46/59.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.46/59.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
238.46/59.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
245.25/61.49	c lits-rem:      2232  cl-subs:     1896  v-elim:      0  v-fix:    0  time:  7.14 s
245.25/61.49	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
245.25/61.50	c vivif2 --  cl tried    34323 cl shrink        0 lits rem          0 time: 0.02
246.07/61.67	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.69
246.07/61.67	c calculated reachability. Time: 0.00
246.07/61.67	c  N st    57    537439       125      2662         0     34323     13310    513024   no data   no data  --
329.56/82.55	c  N st    58    701423       125      2662         0     62161     13310   1160665   no data   no data  --
385.46/96.51	c  N st    59    806158       125      2662         0     56476     13310   1001968   no data   no data  --
385.46/96.51	c  S st    59    806158       125      2662         0     56476     13310   1001968   no data   no data  --
385.86/96.69	c  S st    59    806659       125      2662         0     56958     13310   1014890   no data   no data  --
385.86/96.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
385.86/96.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
386.28/96.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
386.28/96.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
386.28/96.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
386.28/96.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
386.28/96.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
411.43/103.03	c lits-rem:       832  cl-subs:     5432  v-elim:      0  v-fix:    0  time: 25.09 s
411.43/103.03	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
411.43/103.04	c vivif2 --  cl tried    51526 cl shrink        0 lits rem          0 time: 0.04
412.22/103.30	c asymm  cl-useful: 0/2084/2662 lits-rem:0 time: 1.02
412.22/103.30	c calculated reachability. Time: 0.00
412.22/103.30	c  N st    59    806659       125      2662         0     51526     13310    881646   no data   no data  --
577.60/144.60	c  F st    60   1071876       125      2662         0     66697     13310   1190374   no data   no data  --
577.60/144.60	c  N st    60   1071876       125      2662         0     66697     13310   1190374   no data   no data  --
582.39/145.82	c Decided on static restart strategy
599.58/150.14	c  N st    70   1100183       125      2662         0     51460     13310    781464   no data   no data  --
629.53/157.68	c  N st    72   1136175       125      2662         0     85193     13310   1671233   no data   no data  --
652.70/163.42	c  N st    73   1168567       125      2662         0     72511     13310   1314645   no data   no data  --
684.66/171.40	c  N st    74   1209990       125      2662         0     67119     13310   1130355   no data   no data  --
684.66/171.40	c  S st    74   1209990       125      2662         0     67119     13310   1130355   no data   no data  --
685.48/171.61	c  S st    74   1210494       125      2662         0     67612     13310   1143992   no data   no data  --
685.48/171.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
685.48/171.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
685.48/171.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
685.48/171.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
685.48/171.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
685.48/171.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
685.48/171.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
723.41/181.14	c lits-rem:       979  cl-subs:     5528  v-elim:      0  v-fix:    0  time: 37.78 s
723.41/181.14	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
723.41/181.15	c vivif2 --  cl tried    62084 cl shrink        0 lits rem          0 time: 0.06
724.21/181.31	c asymm  cl-useful: 0/578/2662 lits-rem:0 time: 0.63
724.21/181.31	c calculated reachability. Time: 0.00
724.21/181.31	c  N st    74   1210494       125      2662         0     62084     13310   1008130   no data   no data  --
796.90/199.50	c  N st    75   1283376       125      2662         0     85585     13310   1584466   no data   no data  --
895.17/224.16	c  N st    76   1392699       125      2662         0     47805     13310    581486   no data   no data  --
1019.42/255.22	c  N st    77   1556684       125      2662         0     52243     13310    649070   no data   no data  --
1136.44/284.55	c  N st    78   1710494       125      2662         0     91769     13310   1595305   no data   no data  --
1136.44/284.55	c  S st    78   1710494       125      2662         0     91769     13310   1595305   no data   no data  --
1137.66/284.83	c  S st    78   1710996       125      2662         0     92259     13310   1607807   no data   no data  --
1137.66/284.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1137.66/284.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1137.66/284.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1138.06/284.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1138.06/284.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1138.06/284.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1138.06/284.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1224.32/306.55	c lits-rem:      1496  cl-subs:    11788  v-elim:      0  v-fix:    0  time: 86.33 s
1224.32/306.55	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1224.32/306.57	c vivif2 --  cl tried    80471 cl shrink        0 lits rem          0 time: 0.07
1225.54/306.90	c asymm  cl-useful: 0/1268/2662 lits-rem:0 time: 1.30
1225.54/306.90	c calculated reachability. Time: 0.00
1225.54/306.90	c  N st    78   1710996       125      2662         0     80471     13310   1340977   no data   no data  --
1532.70/383.74	c  N st    79   2079960       125      2662         0     92612     13310   1616072   no data   no data  --
1636.56/409.71	c  N st    80   2210996       125      2662         0     96689     13310   1715420   no data   no data  --
1636.56/409.71	c  S st    80   2210996       125      2662         0     96689     13310   1715420   no data   no data  --
1637.76/410.01	c  S st    80   2211498       125      2662         0     97177     13310   1728392   no data   no data  --
1637.76/410.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1637.76/410.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1637.76/410.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1638.16/410.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1638.16/410.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1638.16/410.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1638.16/410.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1721.65/431.05	c lits-rem:      2198  cl-subs:     8267  v-elim:      0  v-fix:    0  time: 83.61 s
1721.65/431.05	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1721.65/431.07	c vivif2 --  cl tried    88910 cl shrink        0 lits rem          0 time: 0.08
1723.24/431.41	c asymm  cl-useful: 0/1109/2662 lits-rem:0 time: 1.37
1723.24/431.42	c calculated reachability. Time: 0.00
1723.24/431.42	c  N st    80   2211498       125      2662         0     88910     13310   1514945   no data   no data  --
2207.79/552.72	c  N st    81   2711498       125      2662         0    111279     13310   1959387   no data   no data  --
2207.79/552.72	c  S st    81   2711498       125      2662         0    111279     13310   1959387   no data   no data  --
2209.39/553.10	c  S st    81   2711999       125      2662         0    111769     13310   1972588   no data   no data  --
2209.39/553.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2209.39/553.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2209.39/553.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2209.80/553.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2209.80/553.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2209.80/553.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2209.80/553.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2338.01/585.37	c lits-rem:      2453  cl-subs:    11417  v-elim:      0  v-fix:    0  time: 128.32 s
2338.01/585.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2338.01/585.39	c vivif2 --  cl tried   100352 cl shrink        0 lits rem          0 time: 0.08
2339.61/585.73	c asymm  cl-useful: 0/1177/2662 lits-rem:0 time: 1.38
2339.61/585.74	c calculated reachability. Time: 0.00
2339.61/585.74	c  N st    81   2711999       125      2662         0    100352     13310   1693769   no data   no data  --
2879.67/720.92	c  N st    82   3211999       125      2662         0     78071     13310    997003   no data   no data  --
2879.67/720.92	c  S st    82   3211999       125      2662         0     78071     13310    997003   no data   no data  --
2880.47/721.14	c  S st    82   3212500       125      2662         0     78559     13310   1010440   no data   no data  --
2880.47/721.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2880.47/721.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2880.47/721.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
2880.87/721.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2880.87/721.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2880.87/721.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2880.87/721.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2900.44/726.16	c lits-rem:       565  cl-subs:     1074  v-elim:      0  v-fix:    0  time: 19.77 s
2900.44/726.16	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2900.44/726.18	c vivif2 --  cl tried    77485 cl shrink        0 lits rem          0 time: 0.06
2901.64/726.49	c asymm  cl-useful: 0/1257/2662 lits-rem:0 time: 1.24
2901.64/726.49	c calculated reachability. Time: 0.00
2901.64/726.49	c  N st    82   3212500       125      2662         0     77485     13310    981533   no data   no data  --
3521.61/881.65	c  N st    83   3712500       125      2662         0     87483     13310   1144409   no data   no data  --
3521.61/881.65	c  S st    83   3712500       125      2662         0     87483     13310   1144409   no data   no data  --
3522.81/881.92	c  S st    83   3713003       125      2662         0     87973     13310   1157586   no data   no data  --
3522.81/881.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3522.81/881.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3522.81/881.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3523.21/882.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3523.21/882.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3523.21/882.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3523.21/882.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3551.16/889.00	c lits-rem:      1034  cl-subs:     3006  v-elim:      0  v-fix:    0  time: 27.98 s
3551.16/889.00	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3551.16/889.02	c vivif2 --  cl tried    84967 cl shrink        0 lits rem          0 time: 0.06
3552.36/889.33	c asymm  cl-useful: 0/1397/2662 lits-rem:0 time: 1.25
3552.36/889.33	c calculated reachability. Time: 0.00
3552.36/889.33	c  N st    83   3713003       125      2662         0     84967     13310   1087675   no data   no data  --
3597.10/900.53	c  F st    84   3751562       125      2662         0    120833     13310   2050724   no data   no data  --
3597.10/900.54	c  N st    84   3751562       125      2662         0    120833     13310   2050724   no data   no data  --
3605.48/902.66	c Decided on static restart strategy
3643.04/912.07	c  N st    94   3779865       125      2662         0    147392     13310   2743091   no data   no data  --
3687.77/923.24	c  N st    96   3815857       125      2662         0    102157     13310   1517522   no data   no data  --
3732.52/934.49	c  N st    97   3848250       125      2662         0    132236     13310   2280971   no data   no data  --
3798.43/950.92	c  N st    98   3896838       125      2662         0     97599     13310   1380310   no data   no data  --
3899.89/976.32	c  N st    99   3969720       125      2662         0     84604     13310   1023359   no data   no data  --
4043.30/1012.29	c  N st   100   4079043       125      2662         0    104693     13310   1556924   no data   no data  --
4208.68/1053.61	c  N st   101   4213005       125      2662         0    147050     13310   2709693   no data   no data  --
4208.68/1053.61	c  S st   101   4213005       125      2662         0    147050     13310   2709693   no data   no data  --
4211.08/1054.21	c  S st   101   4213508       125      2662         0    147527     13310   2722995   no data   no data  --
4211.08/1054.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4211.08/1054.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4211.48/1054.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.35
4211.88/1054.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4211.88/1054.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4211.88/1054.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4211.88/1054.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4733.17/1184.96	c lits-rem:      4567  cl-subs:    12807  v-elim:      0  v-fix:    0  time: 521.34 s
4733.17/1184.96	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4733.57/1185.00	c vivif2 --  cl tried   134720 cl shrink        0 lits rem          0 time: 0.14
4735.57/1185.51	c asymm  cl-useful: 0/752/2662 lits-rem:0 time: 2.06
4735.57/1185.52	c calculated reachability. Time: 0.00
4735.57/1185.52	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: 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-3175347-1304120125/watcher-3175347-1304120125 -o /tmp/evaluation-result-3175347-1304120125/solver-3175347-1304120125 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175347-1304120125.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: 3.79 5.05 6.60 2/176 31971
/proc/meminfo: memFree=24669948/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 602243264 52465664 353 33554432000 4194304 4650419 140736227544832 18446744073709551615 47980846139314 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 12809 353 303 112 0 7774 0
[pid=31971/tid=31974] ppid=31967 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 602243264 52465664 353 33554432000 4194304 4650419 140736227544832 18446744073709551615 47980846139318 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602243264 52465664 353 33554432000 4194304 4650419 140736227544832 18446744073709551615 47980846139318 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602243264 52465664 353 33554432000 4194304 4650419 140736227544832 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0563719 s]
/proc/loadavg: 3.79 5.05 6.60 2/176 31971
/proc/meminfo: memFree=24669948/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=282532 CPUtime=0.2 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 1677 0 0 0 20 0 0 0 25 0 4 0 602243264 289312768 1503 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 70633 1503 388 112 0 65598 0
[pid=31971/tid=31974] ppid=31967 vsize=282532 CPUtime=0.05 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 368 0 0 0 5 0 0 0 25 0 4 0 602243264 289312768 1503 33554432000 4194304 4650419 140736227544832 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=282532 CPUtime=0.05 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 337 0 0 0 5 0 0 0 25 0 4 0 602243264 289312768 1503 33554432000 4194304 4650419 140736227544832 18446744073709551615 4333820 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=282532 CPUtime=0.04 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 216 0 0 0 4 0 0 0 25 0 4 0 602243264 289312768 1503 33554432000 4194304 4650419 140736227544832 18446744073709551615 4331301 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282532

[startup+0.156356 s]
/proc/loadavg: 3.79 5.05 6.60 2/176 31971
/proc/meminfo: memFree=24669948/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=283884 CPUtime=0.6 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 2572 0 0 0 60 0 0 0 25 0 4 0 602243264 290697216 1769 33554432000 4194304 4650419 140736227544832 18446744073709551615 4310830 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 70971 1769 391 112 0 65936 0
[pid=31971/tid=31974] ppid=31967 vsize=283884 CPUtime=0.15 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 582 0 0 0 15 0 0 0 25 0 4 0 602243264 290697216 1769 33554432000 4194304 4650419 140736227544832 18446744073709551615 4334365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=283884 CPUtime=0.14 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 564 0 0 0 14 0 0 0 25 0 4 0 602243264 290697216 1769 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=283884 CPUtime=0.14 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 464 0 0 0 14 0 0 0 25 0 4 0 602243264 290697216 1769 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283884

[startup+0.30033 s]
/proc/loadavg: 3.79 5.05 6.60 2/176 31971
/proc/meminfo: memFree=24669948/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=284060 CPUtime=1.18 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 3216 0 0 0 117 1 0 0 25 0 4 0 602243264 290877440 2413 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 71015 2413 391 112 0 65980 0
[pid=31971/tid=31974] ppid=31967 vsize=284060 CPUtime=0.29 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 757 0 0 0 29 0 0 0 25 0 4 0 602243264 290877440 2413 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=284060 CPUtime=0.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 728 0 0 0 29 0 0 0 25 0 4 0 602243264 290877440 2413 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=284060 CPUtime=0.29 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 608 0 0 0 29 0 0 0 25 0 4 0 602243264 290877440 2413 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284060

[startup+0.700261 s]
/proc/loadavg: 3.79 5.05 6.60 2/176 31971
/proc/meminfo: memFree=24669948/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=285468 CPUtime=2.78 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 5659 0 0 0 277 1 0 0 25 0 4 0 602243264 292319232 2697 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 71367 2697 391 112 0 66332 0
[pid=31971/tid=31974] ppid=31967 vsize=285468 CPUtime=0.69 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 1376 0 0 0 69 0 0 0 25 0 4 0 602243264 292319232 2697 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=285468 CPUtime=0.69 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 1416 0 0 0 69 0 0 0 25 0 4 0 602243264 292319232 2697 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=285468 CPUtime=0.69 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 1143 0 0 0 69 0 0 0 25 0 4 0 602243264 292319232 2697 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285468

[startup+1.50112 s]
/proc/loadavg: 3.79 5.05 6.60 10/184 31979
/proc/meminfo: memFree=24645840/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=277536 CPUtime=5.98 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 11520 0 0 0 596 2 0 0 25 0 4 0 602243264 284196864 6315 33554432000 4194304 4650419 140736227544832 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 69384 6315 393 112 0 64349 0
[pid=31971/tid=31974] ppid=31967 vsize=277536 CPUtime=1.49 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 3470 0 0 0 149 0 0 0 25 0 4 0 602243264 284196864 6315 33554432000 4194304 4650419 140736227544832 18446744073709551615 4476213 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=277536 CPUtime=1.49 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 2436 0 0 0 149 0 0 0 25 0 4 0 602243264 284196864 6315 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=277536 CPUtime=1.48 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 1930 0 0 0 148 0 0 0 25 0 4 0 602243264 284196864 6315 33554432000 4194304 4650419 140736227544832 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 277536

[startup+3.10084 s]
/proc/loadavg: 3.79 5.05 6.60 10/184 31979
/proc/meminfo: memFree=24599464/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=284056 CPUtime=12.37 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 18314 0 0 0 1233 4 0 0 25 0 4 0 602243264 290873344 11694 33554432000 4194304 4650419 140736227544832 18446744073709551615 4439120 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 71014 11694 393 112 0 65979 0
[pid=31971/tid=31974] ppid=31967 vsize=284056 CPUtime=3.09 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 4479 0 0 0 309 0 0 0 25 0 4 0 602243264 290873344 11694 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=284056 CPUtime=3.08 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 4670 0 0 0 308 0 0 0 25 0 4 0 602243264 290873344 11694 33554432000 4194304 4650419 140736227544832 18446744073709551615 4370658 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=284056 CPUtime=3.07 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 4180 0 0 0 307 0 0 0 25 0 4 0 602243264 290873344 11694 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 284056

[startup+6.30029 s]
/proc/loadavg: 4.28 5.13 6.62 10/184 31979
/proc/meminfo: memFree=24555584/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=287060 CPUtime=25.15 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 27639 0 0 0 2509 6 0 0 25 0 4 0 602243264 293949440 14970 33554432000 4194304 4650419 140736227544832 18446744073709551615 4438235 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 71765 14970 393 112 0 66730 0
[pid=31971/tid=31974] ppid=31967 vsize=287060 CPUtime=6.29 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 7304 0 0 0 628 1 0 0 25 0 4 0 602243264 293949440 14970 33554432000 4194304 4650419 140736227544832 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=287060 CPUtime=6.28 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 7519 0 0 0 627 1 0 0 25 0 4 0 602243264 293949440 14970 33554432000 4194304 4650419 140736227544832 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=287060 CPUtime=6.26 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 6043 0 0 0 625 1 0 0 25 0 4 0 602243264 293949440 14970 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 287060

[startup+12.7012 s]
/proc/loadavg: 4.58 5.18 6.62 10/184 31979
/proc/meminfo: memFree=24516540/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=315888 CPUtime=50.72 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 40140 0 0 0 5063 9 0 0 25 0 4 0 602243264 323469312 20531 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 78972 20531 393 112 0 73937 0
[pid=31971/tid=31974] ppid=31967 vsize=315888 CPUtime=12.69 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 10551 0 0 0 1268 1 0 0 25 0 4 0 602243264 323469312 20531 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=315888 CPUtime=12.68 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 10866 0 0 0 1266 2 0 0 25 0 4 0 602243264 323469312 20531 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=315888 CPUtime=12.62 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 8690 0 0 0 1260 2 0 0 25 0 4 0 602243264 323469312 20531 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 315888

[startup+25.5009 s]
/proc/loadavg: 5.34 5.32 6.65 10/184 31979
/proc/meminfo: memFree=24454672/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=303816 CPUtime=101.84 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 60559 0 0 0 10170 14 0 0 25 0 4 0 602243264 311107584 27919 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 75954 27919 393 112 0 70919 0
[pid=31971/tid=31974] ppid=31967 vsize=303816 CPUtime=25.49 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 16680 0 0 0 2546 3 0 0 25 0 4 0 602243264 311107584 27919 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=303816 CPUtime=25.49 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 18066 0 0 0 2545 4 0 0 25 0 4 0 602243264 311107584 27919 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=303816 CPUtime=25.34 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 13260 0 0 0 2531 3 0 0 25 0 4 0 602243264 311107584 27919 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 303816

[startup+51.1004 s]
/proc/loadavg: 6.24 5.53 6.68 10/184 31980
/proc/meminfo: memFree=24403752/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=360456 CPUtime=204.1 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 90677 0 0 0 20388 22 0 0 25 0 4 0 602243264 369106944 35840 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 90114 35840 393 112 0 85079 0
[pid=31971/tid=31974] ppid=31967 vsize=360456 CPUtime=51.09 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 27246 0 0 0 5104 5 0 0 25 0 4 0 602243264 369106944 35840 33554432000 4194304 4650419 140736227544832 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=360456 CPUtime=51.08 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 27456 0 0 0 5102 6 0 0 25 0 4 0 602243264 369106944 35840 33554432000 4194304 4650419 140736227544832 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=360456 CPUtime=50.82 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 19353 0 0 0 5076 6 0 0 25 0 4 0 602243264 369106944 35840 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 360456

[startup+102.306 s]
/proc/loadavg: 7.37 5.97 6.76 10/184 31981
/proc/meminfo: memFree=24339992/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=306932 CPUtime=408.65 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 140051 0 0 0 40828 37 0 0 25 0 4 0 602243264 314298368 41905 33554432000 4194304 4650419 140736227544832 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 76733 41905 393 112 0 71698 0
[pid=31971/tid=31974] ppid=31967 vsize=306932 CPUtime=102.29 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 41061 0 0 0 10220 9 0 0 25 0 4 0 602243264 314298368 41905 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=306932 CPUtime=102.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 42513 0 0 0 10218 11 0 0 25 0 4 0 602243264 314298368 41905 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=306932 CPUtime=101.74 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 26932 0 0 0 10166 8 0 0 25 0 4 0 602243264 314298368 41905 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 306932

[startup+162.301 s]

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

[pid=31971] ppid=31967 vsize=617428 CPUtime=2805.37 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 450938 0 0 0 280348 189 0 0 25 0 4 0 602243264 632246272 103619 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 154357 103619 393 112 0 149322 0
[pid=31971/tid=31974] ppid=31967 vsize=617428 CPUtime=702.3 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 118524 0 0 0 70188 42 0 0 25 0 4 0 602243264 632246272 103619 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=617428 CPUtime=702.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 138592 0 0 0 70168 61 0 0 25 0 4 0 602243264 632246272 103619 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=617428 CPUtime=698.44 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 78028 0 0 0 69809 35 0 0 25 0 4 0 602243264 632246272 103619 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 617428

[startup+762.307 s]
/proc/loadavg: 8.07 7.86 7.44 10/184 32002
/proc/meminfo: memFree=23893568/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=604792 CPUtime=3045.07 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 472868 0 0 0 304306 201 0 0 25 0 4 0 602243264 619307008 102509 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 151198 102509 393 112 0 146163 0
[pid=31971/tid=31974] ppid=31967 vsize=604792 CPUtime=762.31 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 123060 0 0 0 76187 44 0 0 25 0 4 0 602243264 619307008 102509 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=604792 CPUtime=762.3 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 143824 0 0 0 76165 65 0 0 25 0 4 0 602243264 619307008 102509 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=604792 CPUtime=758.12 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 81232 0 0 0 75774 38 0 0 25 0 4 0 602243264 619307008 102509 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 604792

[startup+822.301 s]
/proc/loadavg: 8.07 7.90 7.47 10/184 32004
/proc/meminfo: memFree=23852472/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=618412 CPUtime=3284.73 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 494782 0 0 0 328261 212 0 0 25 0 4 0 602243264 633253888 102837 33554432000 4194304 4650419 140736227544832 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 154603 102837 393 112 0 149568 0
[pid=31971/tid=31974] ppid=31967 vsize=618412 CPUtime=822.3 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 127824 0 0 0 82184 46 0 0 25 0 4 0 602243264 633253888 102837 33554432000 4194304 4650419 140736227544832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=618412 CPUtime=822.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 150614 0 0 0 82162 67 0 0 25 0 4 0 602243264 633253888 102837 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=618412 CPUtime=817.78 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 84486 0 0 0 81739 39 0 0 25 0 4 0 602243264 633253888 102837 33554432000 4194304 4650419 140736227544832 18446744073709551615 4360448 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 618412

[startup+882.301 s]
/proc/loadavg: 8.06 7.93 7.51 10/184 32005
/proc/meminfo: memFree=23866688/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=618956 CPUtime=3524.4 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 519322 0 0 0 352213 227 0 0 25 0 4 0 602243264 633810944 101210 33554432000 4194304 4650419 140736227544832 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 154739 101210 393 112 0 149704 0
[pid=31971/tid=31974] ppid=31967 vsize=618956 CPUtime=882.3 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 132926 0 0 0 88181 49 0 0 25 0 4 0 602243264 633810944 101210 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=618956 CPUtime=882.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 158471 0 0 0 88156 73 0 0 25 0 4 0 602243264 633810944 101210 33554432000 4194304 4650419 140736227544832 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=618956 CPUtime=877.46 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 87550 0 0 0 87705 41 0 0 25 0 4 0 602243264 633810944 101210 33554432000 4194304 4650419 140736227544832 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 618956

[startup+942.301 s]
/proc/loadavg: 8.07 7.95 7.54 10/184 32007
/proc/meminfo: memFree=23804656/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=673924 CPUtime=3764.07 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 542681 0 0 0 376168 239 0 0 25 0 4 0 602243264 690098176 112842 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 168481 112842 393 112 0 163446 0
[pid=31971/tid=31974] ppid=31967 vsize=673924 CPUtime=942.31 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 139548 0 0 0 94178 53 0 0 25 0 4 0 602243264 690098176 112842 33554432000 4194304 4650419 140736227544832 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=673924 CPUtime=942.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 165963 0 0 0 94152 77 0 0 25 0 4 0 602243264 690098176 112842 33554432000 4194304 4650419 140736227544832 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=673924 CPUtime=937.13 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 90424 0 0 0 93671 42 0 0 25 0 4 0 602243264 690098176 112842 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 673924

[startup+1002.3 s]
/proc/loadavg: 8.06 7.97 7.57 10/184 32008
/proc/meminfo: memFree=23802400/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=619420 CPUtime=4003.75 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 564344 0 0 0 400124 251 0 0 25 0 4 0 602243264 634286080 110570 33554432000 4194304 4650419 140736227544832 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 154855 110570 393 112 0 149820 0
[pid=31971/tid=31974] ppid=31967 vsize=619420 CPUtime=1002.3 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 145846 0 0 0 100175 55 0 0 25 0 4 0 602243264 634286080 110570 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=619420 CPUtime=1002.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 171828 0 0 0 100148 81 0 0 25 0 4 0 602243264 634286080 110570 33554432000 4194304 4650419 140736227544832 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=619420 CPUtime=996.8 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 92752 0 0 0 99637 43 0 0 25 0 4 0 602243264 634286080 110570 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 619420

[startup+1062.3 s]
/proc/loadavg: 8.06 7.99 7.60 10/184 32010
/proc/meminfo: memFree=23796292/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=685200 CPUtime=4243.43 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 586853 0 0 0 424081 262 0 0 25 0 4 0 602243264 701644800 114949 33554432000 4194304 4650419 140736227544832 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 171300 114949 393 112 0 166265 0
[pid=31971/tid=31974] ppid=31967 vsize=685200 CPUtime=1062.31 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 152561 0 0 0 106172 59 0 0 25 0 4 0 602243264 701644800 114949 33554432000 4194304 4650419 140736227544832 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=685200 CPUtime=1062.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 175426 0 0 0 106147 82 0 0 25 0 4 0 602243264 701644800 114949 33554432000 4194304 4650419 140736227544832 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=685200 CPUtime=1056.48 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 97144 0 0 0 105603 45 0 0 25 0 4 0 602243264 701644800 114949 33554432000 4194304 4650419 140736227544832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 685200

[startup+1122.3 s]
/proc/loadavg: 8.06 8.00 7.63 10/184 32012
/proc/meminfo: memFree=23748768/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=685244 CPUtime=4483.11 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 598716 0 0 0 448041 270 0 0 25 0 4 0 602243264 701689856 121071 33554432000 4194304 4650419 140736227544832 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 171311 121071 393 112 0 166276 0
[pid=31971/tid=31974] ppid=31967 vsize=685244 CPUtime=1122.31 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 157177 0 0 0 112169 62 0 0 25 0 4 0 602243264 701689856 121071 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=685244 CPUtime=1122.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 180791 0 0 0 112143 86 0 0 25 0 4 0 602243264 701689856 121071 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=685244 CPUtime=1116.16 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 99026 0 0 0 111569 47 0 0 25 0 4 0 602243264 701689856 121071 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 685244

[startup+1182.3 s]
/proc/loadavg: 8.21 8.04 7.66 10/184 32013
/proc/meminfo: memFree=23737312/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=701620 CPUtime=4722.79 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 613680 0 0 0 472000 279 0 0 25 0 4 0 602243264 718458880 124907 33554432000 4194304 4650419 140736227544832 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 175405 124907 393 112 0 170370 0
[pid=31971/tid=31974] ppid=31967 vsize=701620 CPUtime=1182.32 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 163513 0 0 0 118165 67 0 0 25 0 4 0 602243264 718458880 124907 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=701620 CPUtime=1182.29 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 186838 0 0 0 118140 89 0 0 25 0 4 0 602243264 718458880 124907 33554432000 4194304 4650419 140736227544832 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=701620 CPUtime=1175.83 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 101607 0 0 0 117535 48 0 0 25 0 4 0 602243264 718458880 124907 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 701620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.04 7.67 9/184 32014
/proc/meminfo: memFree=23666384/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=759700 CPUtime=4800.3 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 620762 0 0 0 479747 283 0 0 25 0 4 0 602243264 777932800 131871 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 189925 131871 393 112 0 184890 0
[pid=31971/tid=31974] ppid=31967 vsize=759700 CPUtime=1201.72 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 168012 0 0 0 120104 68 0 0 25 0 4 0 602243264 777932800 131871 33554432000 4194304 4650419 140736227544832 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=759700 CPUtime=1201.7 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 186979 0 0 0 120081 89 0 0 25 0 4 0 602243264 777932800 131871 33554432000 4194304 4650419 140736227544832 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=759700 CPUtime=1195.12 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 103182 0 0 0 119463 49 0 0 25 0 4 0 602243264 777932800 131871 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 759700

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

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

[startup+1201.7 s]
/proc/loadavg: 8.15 8.04 7.67 9/184 32014
/proc/meminfo: memFree=23666384/32950940 swapFree=67111364/67111528
[pid=31971] ppid=31967 vsize=759700 CPUtime=4800.3 cores=1,3,5,7
/proc/31971/stat : 31971 (strangenight1-m) R 31967 31971 31608 0 -1 4202496 620762 0 0 0 479747 283 0 0 25 0 4 0 602243264 777932800 131871 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31971/statm: 189925 131871 393 112 0 184890 0
[pid=31971/tid=31974] ppid=31967 vsize=759700 CPUtime=1201.72 cores=1,3,5,7
/proc/31971/task/31974/stat : 31974 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 168012 0 0 0 120104 68 0 0 25 0 4 0 602243264 777932800 131871 33554432000 4194304 4650419 140736227544832 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31971/tid=31975] ppid=31967 vsize=759700 CPUtime=1201.7 cores=1,3,5,7
/proc/31971/task/31975/stat : 31975 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 186979 0 0 0 120081 89 0 0 25 0 4 0 602243264 777932800 131871 33554432000 4194304 4650419 140736227544832 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31971/tid=31976] ppid=31967 vsize=759700 CPUtime=1195.12 cores=1,3,5,7
/proc/31971/task/31976/stat : 31976 (strangenight1-m) R 31967 31971 31608 0 -1 4202560 103182 0 0 0 119463 49 0 0 25 0 4 0 602243264 777932800 131871 33554432000 4194304 4650419 140736227544832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 759700

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.36
CPU user time (s): 4797.5
CPU system time (s): 2.85856
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 759700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.5
system time used= 2.85857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620763
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= 538
involuntary context switches= 27522

runsolver used 1.80373 second user time and 4.80327 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 01:35:25
IDJOB=3175347
IDBENCH=82965
IDSOLVER=1588
FILE ID=node117/3175347-1304120125
RUNJOBID= node117-1304120125-31953
PBS_JOBID= 13170714
Free space on /tmp= 71680 MiB

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

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

MD5SUM BENCH= 2d20051b8a7a248788d1c2610fe5ea54
RANDOM SEED=1553453732

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24670384 kB
Buffers:       1865472 kB
Cached:        5792292 kB
SwapCached:        160 kB
Active:         687316 kB
Inactive:      7034320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24670384 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12432 kB
Writeback:           0 kB
AnonPages:       63492 kB
Mapped:          14492 kB
Slab:           495432 kB
PageTables:       4308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   185616 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= 71668 MiB
End job on node117 at 2011-04-30 01:55:29