Trace number 3368718

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.28 1203.44

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
MD5SUM420c3b1966635ea800a6b2af1a449f73
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.004998
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	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-3368718-1305401577.cnf'
0.00/0.01	c -- header says num vars:            400
0.00/0.01	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
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.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:     158 undec:      52 neg:     190
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       391      1698         0         0      5150         0   no data   no data  --
3.21/0.90	c Decided on static restart strategy
3.21/0.90	c  N st     8      4920       391      1698         0      4824      5150     98627   no data   no data  --
3.21/0.90	c  N st    10     11306       391      1698         0      4480      5150     67836   no data   no data  --
3.21/0.90	c  N st    11     17050       391      1698         0     10083      5150    185308   no data   no data  --
4.01/1.10	c  F st    12     25003       391      1698         0     12284      5150    220438   no data   no data  --
4.01/1.10	c  N st    12     25003       391      1698         0     12284      5150    220438   no data   no data  --
4.82/1.30	c Decided on static restart strategy
4.82/1.30	c  N st    18     30000       391      1698         0     10594      5150    166577   no data   no data  --
4.82/1.30	c  S st    18     30000       391      1698         0     10594      5150    166577   no data   no data  --
5.57/1.40	c  S st    18     30506       391      1698         0     11096      5150    176656   no data   no data  --
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.50	c lits-rem:       199  cl-subs:      777  v-elim:      0  v-fix:    0  time:  0.64 s
5.97/1.50	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.03
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N st    18     30506       391      1698         0     10319      5150    161621   no data   no data  --
7.60/1.93	c  N st    20     37617       391      1698         0      9604      5150    134477   no data   no data  --
9.16/2.34	c  N st    21     44016       391      1698         0     15799      5150    253708   no data   no data  --
9.56/2.47	c  S st    22     45760       391      1698         0     17484      5150    287070   no data   no data  --
9.96/2.50	c  S st    22     46265       391      1698         0      9316      5150    117279   no data   no data  --
9.96/2.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.96/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
9.96/2.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.96/2.57	c lits-rem:        34  cl-subs:      147  v-elim:      0  v-fix:    0  time:  0.24 s
9.96/2.57	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
9.96/2.57	c vivif2 --  cl tried     9169 cl shrink        0 lits rem          0 time: 0.00
9.96/2.58	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.03
9.96/2.58	c calculated reachability. Time: 0.00
9.96/2.58	c  N st    22     46265       391      1698         0      9169      5150    114744   no data   no data  --
13.54/3.46	c  N st    23     60663       391      1698         0     13390      5150    190128   no data   no data  --
15.95/4.07	c  N st    24     69398       391      1698         0     11286      5150    140264   no data   no data  --
15.95/4.07	c  S st    24     69398       391      1698         0     11286      5150    140264   no data   no data  --
15.95/4.10	c  S st    24     69905       391      1698         0     11793      5150    150479   no data   no data  --
15.95/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.95/4.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
15.95/4.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.73/4.25	c lits-rem:        68  cl-subs:      211  v-elim:      0  v-fix:    0  time:  0.57 s
16.73/4.25	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
16.73/4.25	c vivif2 --  cl tried    11582 cl shrink        0 lits rem          0 time: 0.01
16.73/4.26	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.03
16.73/4.26	c calculated reachability. Time: 0.00
16.73/4.26	c  N st    24     69905       391      1698         0     11582      5150    146533   no data   no data  --
21.52/5.43	c  F st    25     87501       391      1698         0     17024      5150    251030   no data   no data  --
21.52/5.43	c  N st    25     87501       391      1698         0     17024      5150    251030   no data   no data  --
23.12/5.84	c Decided on static restart strategy
23.92/6.06	c  N st    32     95539       391      1698         0     24801      5150    394118   no data   no data  --
26.70/6.72	c  N st    34    104858       391      1698         0     21252      5150    304330   no data   no data  --
26.70/6.72	c  S st    34    104858       391      1698         0     21252      5150    304330   no data   no data  --
26.70/6.78	c  S st    34    105361       391      1698         0     21754      5150    314224   no data   no data  --
26.70/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.70/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.70/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
27.10/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.10/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
27.10/6.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.89/7.50	c lits-rem:       321  cl-subs:     1466  v-elim:      0  v-fix:    0  time:  2.80 s
29.89/7.50	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
29.89/7.50	c vivif2 --  cl tried    20288 cl shrink        0 lits rem          0 time: 0.01
29.89/7.52	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.06
29.89/7.52	c calculated reachability. Time: 0.00
29.89/7.52	c  N st    34    105361       391      1698         0     20288      5150    288633   no data   no data  --
32.69/8.24	c  N st    35    114959       391      1698         0     16018      5150    191167   no data   no data  --
37.48/9.50	c  N st    36    129356       391      1698         0     15452      5150    172225   no data   no data  --
45.06/11.30	c  N st    37    150951       391      1698         0     20841      5150    264275   no data   no data  --
47.09/11.85	c  S st    38    158041       391      1698         0     27670      5150    399949   no data   no data  --
47.44/11.92	c  S st    38    158543       391      1698         0     28172      5150    410437   no data   no data  --
47.44/11.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.44/11.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.44/11.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
47.44/11.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.44/11.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.44/11.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
47.44/11.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.03/13.30	c lits-rem:      1370  cl-subs:     2640  v-elim:      0  v-fix:    0  time:  5.40 s
53.03/13.30	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
53.03/13.30	c vivif2 --  cl tried    25532 cl shrink        0 lits rem          0 time: 0.02
53.03/13.32	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.07
53.03/13.32	c calculated reachability. Time: 0.00
53.03/13.32	c  N st    38    158543       391      1698         0     25532      5150    361603   no data   no data  --
72.18/18.19	c  N st    39    207132       391      1698         0     20397      5150    230547   no data   no data  --
85.35/21.45	c  N st    40    237814       391      1698         0     30711      5150    423679   no data   no data  --
85.35/21.45	c  S st    40    237814       391      1698         0     30711      5150    423679   no data   no data  --
85.75/21.53	c  S st    40    238319       391      1698         0     31213      5150    433577   no data   no data  --
85.75/21.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
85.75/21.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.75/21.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
85.75/21.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.75/21.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.75/21.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
85.75/21.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.32/22.95	c lits-rem:      1195  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  5.55 s
91.32/22.95	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
91.32/22.95	c vivif2 --  cl tried    29154 cl shrink        0 lits rem          0 time: 0.02
91.32/22.97	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.08
91.32/22.97	c calculated reachability. Time: 0.00
91.32/22.97	c  N st    40    238319       391      1698         0     29154      5150    395672   no data   no data  --
122.04/30.68	c  F st    41    306252       391      1698         0     31148      5150    389673   no data   no data  --
122.04/30.68	c  N st    41    306252       391      1698         0     31148      5150    389673   no data   no data  --
124.84/31.30	c Decided on static restart strategy
134.42/33.80	c  N st    51    334558       391      1698         0     35324      5150    476239   no data   no data  --
145.98/36.69	c  N st    53    357480       391      1698         0     33207      5150    412057   no data   no data  --
145.98/36.69	c  S st    53    357480       391      1698         0     33207      5150    412057   no data   no data  --
146.38/36.77	c  S st    53    357984       391      1698         0     33709      5150    422593   no data   no data  --
146.38/36.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.38/36.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
146.38/36.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
146.78/36.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.78/36.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.78/36.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
146.78/36.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
151.98/38.17	c lits-rem:       569  cl-subs:     1797  v-elim:      0  v-fix:    0  time:  5.47 s
151.98/38.17	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
151.98/38.18	c vivif2 --  cl tried    31912 cl shrink        0 lits rem          0 time: 0.02
151.98/38.20	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.09
151.98/38.20	c calculated reachability. Time: 0.00
151.98/38.20	c  N st    53    357984       391      1698         0     31912      5150    389613   no data   no data  --
167.91/42.10	c  N st    54    390377       391      1698         0     38055      5150    491920   no data   no data  --
196.27/49.26	c  N st    55    438967       391      1698         0     31925      5150    348247   no data   no data  --
233.73/58.67	c  N st    56    511849       391      1698         0     45320      5150    617688   no data   no data  --
245.69/61.69	c  N st    57    536977       391      1698         0     39702      5150    473444   no data   no data  --
245.69/61.69	c  S st    57    536977       391      1698         0     39702      5150    473444   no data   no data  --
246.09/61.79	c  S st    57    537480       391      1698         0     40203      5150    483712   no data   no data  --
246.09/61.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
246.09/61.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
246.49/61.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
246.49/61.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
246.49/61.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.49/61.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
246.49/61.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.48/63.38	c lits-rem:       701  cl-subs:     1903  v-elim:      0  v-fix:    0  time:  6.23 s
252.48/63.38	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
252.48/63.38	c vivif2 --  cl tried    38300 cl shrink        0 lits rem          0 time: 0.02
252.90/63.41	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.10
252.90/63.41	c calculated reachability. Time: 0.00
252.90/63.41	c  N st    57    537480       391      1698         0     38300      5150    448476   no data   no data  --
349.43/87.70	c  N st    58    701465       391      1698         0     67013      5150    942589   no data   no data  --
418.42/104.91	c  N st    59    806221       391      1698         0     61086      5150    837036   no data   no data  --
418.42/104.91	c  S st    59    806221       391      1698         0     61086      5150    837036   no data   no data  --
418.82/105.09	c  S st    59    806726       391      1698         0     61590      5150    847199   no data   no data  --
419.22/105.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
419.22/105.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
419.22/105.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
419.22/105.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
419.22/105.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
419.22/105.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
419.22/105.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
433.22/108.65	c lits-rem:      1448  cl-subs:     5616  v-elim:      0  v-fix:    0  time: 13.94 s
433.22/108.65	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
433.22/108.66	c vivif2 --  cl tried    55974 cl shrink        0 lits rem          0 time: 0.04
433.57/108.72	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.25
433.57/108.72	c calculated reachability. Time: 0.00
433.57/108.72	c  N st    59    806726       391      1698         0     55974      5150    742297   no data   no data  --
609.09/152.78	c  F st    60   1071875       391      1698         0     72054      5150   1029385   no data   no data  --
609.09/152.78	c  N st    60   1071875       391      1698         0     72054      5150   1029385   no data   no data  --
613.87/153.96	c Decided on static restart strategy
631.42/158.36	c  N st    70   1100176       391      1698         0     55888      5150    647912   no data   no data  --
669.33/167.84	c  N st    72   1136170       391      1698         0     46214      5150    429227   no data   no data  --
692.46/173.66	c  N st    73   1168565       391      1698         0     77419      5150   1047141   no data   no data  --
725.57/181.97	c  N st    74   1210089       391      1698         0     71938      5150    941812   no data   no data  --
725.57/181.97	c  S st    74   1210089       391      1698         0     71938      5150    941812   no data   no data  --
726.37/182.18	c  S st    74   1210590       391      1698         0     72439      5150    951823   no data   no data  --
726.37/182.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
726.37/182.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
726.78/182.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
726.78/182.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
726.78/182.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
726.78/182.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
726.78/182.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
744.33/186.63	c lits-rem:      1118  cl-subs:     6210  v-elim:      0  v-fix:    0  time: 17.50 s
744.33/186.63	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
744.33/186.65	c vivif2 --  cl tried    66229 cl shrink        0 lits rem          0 time: 0.05
744.76/186.75	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.40
744.76/186.75	c calculated reachability. Time: 0.00
744.76/186.75	c  N st    74   1210590       391      1698         0     66229      5150    835884   no data   no data  --
804.55/201.80	c  N st    75   1283472       391      1698         0     90467      5150   1257367   no data   no data  --
902.29/226.21	c  N st    76   1392796       391      1698         0     51098      5150    466753   no data   no data  --
1035.90/259.71	c  N st    77   1556780       391      1698         0     56098      5150    534003   no data   no data  --
1164.75/292.04	c  N st    78   1710590       391      1698         0     97782      5150   1429905   no data   no data  --
1164.75/292.04	c  S st    78   1710590       391      1698         0     97782      5150   1429905   no data   no data  --
1165.98/292.38	c  S st    78   1711095       391      1698         0     98285      5150   1440152   no data   no data  --
1165.98/292.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1165.98/292.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1166.33/292.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1166.33/292.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1166.33/292.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1166.33/292.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1166.33/292.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1197.45/300.26	c lits-rem:       700  cl-subs:     7789  v-elim:      0  v-fix:    0  time: 30.99 s
1197.45/300.26	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
1197.45/300.27	c vivif2 --  cl tried    90496 cl shrink        0 lits rem          0 time: 0.07
1197.85/300.39	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.46
1197.85/300.39	c calculated reachability. Time: 0.00
1197.85/300.39	c  N st    78   1711095       391      1698         0     90496      5150   1295571   no data   no data  --
1568.01/393.11	c  N st    79   2080060       391      1698         0    101807      5150   1386736   no data   no data  --
1697.65/425.67	c  N st    80   2211095       391      1698         0    105538      5150   1399741   no data   no data  --
1697.65/425.67	c  S st    80   2211095       391      1698         0    105538      5150   1399741   no data   no data  --
1699.25/426.04	c  S st    80   2211599       391      1698         0    106040      5150   1409617   no data   no data  --
1699.25/426.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1699.25/426.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1699.25/426.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1699.65/426.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1699.65/426.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1699.65/426.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1699.65/426.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1738.34/435.85	c lits-rem:      1760  cl-subs:    13700  v-elim:      0  v-fix:    0  time: 38.69 s
1738.34/435.85	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
1738.34/435.87	c vivif2 --  cl tried    92340 cl shrink        0 lits rem          0 time: 0.07
1738.74/435.98	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.47
1738.74/435.99	c calculated reachability. Time: 0.00
1738.74/435.99	c  N st    80   2211599       391      1698         0     92340      5150   1176714   no data   no data  --
2262.08/567.21	c  N st    81   2711599       391      1698         0    115576      5150   1483082   no data   no data  --
2262.08/567.21	c  S st    81   2711599       391      1698         0    115576      5150   1483082   no data   no data  --
2264.07/567.66	c  S st    81   2712106       391      1698         0    116083      5150   1493672   no data   no data  --
2264.07/567.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2264.07/567.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2264.47/567.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2264.47/567.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2264.47/567.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2264.47/567.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2264.47/567.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2311.53/579.56	c lits-rem:      1061  cl-subs:    17644  v-elim:      0  v-fix:    0  time: 47.01 s
2311.53/579.56	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
2311.53/579.58	c vivif2 --  cl tried    98439 cl shrink        0 lits rem          0 time: 0.07
2312.33/579.70	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.51
2312.33/579.71	c calculated reachability. Time: 0.00
2312.33/579.71	c  N st    81   2712106       391      1698         0     98439      5150   1203726   no data   no data  --
2886.73/723.76	c  N st    82   3212107       391      1698         0     75212      5150    654239   no data   no data  --
2886.73/723.76	c  S st    82   3212107       391      1698         0     75212      5150    654239   no data   no data  --
2887.53/723.98	c  S st    82   3212611       391      1698         0     75715      5150    665399   no data   no data  --
2887.53/723.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2887.53/723.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2887.93/724.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
2887.93/724.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2887.93/724.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2887.93/724.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2887.93/724.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2895.90/726.08	c lits-rem:       270  cl-subs:      112  v-elim:      0  v-fix:    0  time:  8.11 s
2895.90/726.08	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
2895.90/726.09	c vivif2 --  cl tried    75603 cl shrink        0 lits rem          0 time: 0.04
2896.30/726.17	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.32
2896.30/726.17	c calculated reachability. Time: 0.00
2896.30/726.17	c  N st    82   3212611       391      1698         0     75603      5150    663575   no data   no data  --
3459.95/867.41	c  N st    83   3712611       391      1698         0     86204      5150    801172   no data   no data  --
3459.95/867.41	c  S st    83   3712611       391      1698         0     86204      5150    801172   no data   no data  --
3460.79/867.68	c  S st    83   3713116       391      1698         0     86709      5150    812025   no data   no data  --
3460.79/867.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3460.79/867.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3461.14/867.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
3461.14/867.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3461.14/867.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3461.14/867.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3461.14/867.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3472.71/870.69	c lits-rem:       384  cl-subs:     1536  v-elim:      0  v-fix:    0  time: 11.72 s
3472.71/870.69	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
3473.11/870.71	c vivif2 --  cl tried    85173 cl shrink        0 lits rem          0 time: 0.05
3473.11/870.79	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.36
3473.11/870.80	c calculated reachability. Time: 0.00
3473.11/870.80	c  N st    83   3713116       391      1698         0     85173      5150    788017   no data   no data  --
3518.58/882.15	c  F st    84   3751564       391      1698         0    122014      5150   1533487   no data   no data  --
3518.58/882.15	c  N st    84   3751564       391      1698         0    122014      5150   1533487   no data   no data  --
3526.61/884.18	c Decided on static restart strategy
3554.88/891.26	c  N st    94   3779871       391      1698         0    149374      5150   2098572   no data   no data  --
3599.96/902.59	c  N st    96   3815864       391      1698         0    102376      5150   1135311   no data   no data  --
3638.64/912.25	c  N st    97   3848256       391      1698         0    133701      5150   1811526   no data   no data  --
3706.08/929.11	c  N st    98   3896845       391      1698         0     97775      5150   1023536   no data   no data  --
3814.15/956.20	c  N st    99   3969729       391      1698         0     84424      5150    730536   no data   no data  --
3943.00/988.51	c  N st   100   4079052       391      1698         0    104659      5150   1140758   no data   no data  --
4110.18/1030.46	c  N st   101   4213117       391      1698         0    147899      5150   2036575   no data   no data  --
4110.18/1030.46	c  S st   101   4213117       391      1698         0    147899      5150   2036575   no data   no data  --
4112.53/1031.06	c  S st   101   4213619       391      1698         0    148401      5150   2047259   no data   no data  --
4112.53/1031.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4112.53/1031.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4112.92/1031.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4113.32/1031.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4113.32/1031.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4113.32/1031.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4113.32/1031.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4216.22/1057.02	c lits-rem:       571  cl-subs:    14454  v-elim:      0  v-fix:    0  time: 102.88 s
4216.22/1057.02	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
4216.22/1057.05	c vivif2 --  cl tried   133947 cl shrink        0 lits rem          0 time: 0.10
4217.02/1057.24	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.79
4217.02/1057.25	c calculated reachability. Time: 0.00
4217.02/1057.25	c  N st   101   4213619       391      1698         0    133947      5150   1779054   no data   no data  --
4594.37/1151.85	c  N st   102   4459595       391      1698         0    108306      5150   1158627   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-3368718-1305401577/watcher-3368718-1305401577 -o /tmp/evaluation-result-3368718-1305401577/solver-3368718-1305401577 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368718-1305401577.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.56 7.97 8.04 3/344 2935
/proc/meminfo: memFree=26254364/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 416 0 0 0 0 0 0 0 23 0 4 0 651760277 52465664 356 33554432000 4194304 4650419 140736400089536 18446744073709551615 47780405528498 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 12809 356 306 112 0 7774 0
[pid=2935/tid=2936] ppid=2933 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 651760278 52465664 356 33554432000 4194304 4650419 140736400089536 18446744073709551615 47780405528089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651760278 52465664 356 33554432000 4194304 4650419 140736400089536 18446744073709551615 47780405528502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651760278 52465664 356 33554432000 4194304 4650419 140736400089536 18446744073709551615 47780405528089 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.149776 s]
/proc/loadavg: 7.56 7.97 8.04 3/344 2935
/proc/meminfo: memFree=26254364/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=284816 CPUtime=3.21 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 4774 0 0 0 321 0 0 0 25 0 4 0 651760277 291651584 2489 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 71204 2489 393 112 0 66169 0
[pid=2935/tid=2936] ppid=2933 vsize=284816 CPUtime=0.8 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1123 0 0 0 80 0 0 0 18 0 4 0 651760278 291651584 2489 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=284816 CPUtime=0.79 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1173 0 0 0 79 0 0 0 19 0 4 0 651760278 291651584 2489 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=284816 CPUtime=0.8 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1003 0 0 0 80 0 0 0 25 0 4 0 651760278 291651584 2489 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 284816

[startup+0.913313 s]
/proc/loadavg: 7.56 7.97 8.04 3/344 2935
/proc/meminfo: memFree=26254364/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=284816 CPUtime=3.61 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 4964 0 0 0 361 0 0 0 25 0 4 0 651760277 291651584 2679 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363556 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 71204 2679 393 112 0 66169 0
[pid=2935/tid=2936] ppid=2933 vsize=284816 CPUtime=0.9 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1171 0 0 0 90 0 0 0 19 0 4 0 651760278 291651584 2679 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=284816 CPUtime=0.89 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1220 0 0 0 89 0 0 0 19 0 4 0 651760278 291651584 2679 33554432000 4194304 4650419 140736400089536 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=284816 CPUtime=0.9 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1054 0 0 0 90 0 0 0 25 0 4 0 651760278 291651584 2679 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 284816

[startup+1.0133 s]
/proc/loadavg: 7.56 7.97 8.04 3/344 2935
/proc/meminfo: memFree=26254364/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=284996 CPUtime=4.01 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 5241 0 0 0 401 0 0 0 25 0 4 0 651760277 291835904 2956 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 71249 2956 394 112 0 66214 0
[pid=2935/tid=2936] ppid=2933 vsize=284996 CPUtime=1 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1249 0 0 0 100 0 0 0 19 0 4 0 651760278 291835904 2956 33554432000 4194304 4650419 140736400089536 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=284996 CPUtime=0.99 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1290 0 0 0 99 0 0 0 19 0 4 0 651760278 291835904 2956 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=284996 CPUtime=1 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1120 0 0 0 100 0 0 0 25 0 4 0 651760278 291835904 2956 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 284996

[startup+1.11328 s]
/proc/loadavg: 7.56 7.97 8.04 3/344 2935
/proc/meminfo: memFree=26254364/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=285492 CPUtime=4.42 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 6029 0 0 0 441 1 0 0 25 0 4 0 651760277 292343808 2615 33554432000 4194304 4650419 140736400089536 18446744073709551615 4330601 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 71373 2615 394 112 0 66338 0
[pid=2935/tid=2936] ppid=2933 vsize=285492 CPUtime=1.1 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1450 0 0 0 110 0 0 0 19 0 4 0 651760278 292343808 2615 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=285492 CPUtime=1.09 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1508 0 0 0 109 0 0 0 19 0 4 0 651760278 292343808 2615 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=285492 CPUtime=1.1 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1316 0 0 0 110 0 0 0 25 0 4 0 651760278 292343808 2615 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 285492

[startup+1.50021 s]
/proc/loadavg: 7.56 7.97 8.04 3/344 2935
/proc/meminfo: memFree=26254364/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=285540 CPUtime=5.97 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 7900 0 0 0 596 1 0 0 25 0 4 0 651760277 292392960 4181 33554432000 4194304 4650419 140736400089536 18446744073709551615 4371131 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 71385 4181 395 112 0 66350 0
[pid=2935/tid=2936] ppid=2933 vsize=285540 CPUtime=1.49 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1782 0 0 0 149 0 0 0 19 0 4 0 651760278 292392960 4181 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=285540 CPUtime=1.48 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1671 0 0 0 148 0 0 0 20 0 4 0 651760278 292392960 4181 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=285540 CPUtime=1.49 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 1476 0 0 0 149 0 0 0 25 0 4 0 651760278 292392960 4181 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285540

[startup+3.10093 s]
/proc/loadavg: 7.68 7.99 8.05 9/356 2947
/proc/meminfo: memFree=26177748/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=294596 CPUtime=12.34 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 15094 0 0 0 1232 2 0 0 25 0 4 0 651760277 301666304 9043 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 73649 9043 395 112 0 68614 0
[pid=2935/tid=2936] ppid=2933 vsize=294596 CPUtime=3.09 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 3553 0 0 0 309 0 0 0 25 0 4 0 651760278 301666304 9043 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=294596 CPUtime=3.05 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 4013 0 0 0 305 0 0 0 25 0 4 0 651760278 301666304 9043 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=294596 CPUtime=3.08 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 3529 0 0 0 308 0 0 0 25 0 4 0 651760278 301666304 9043 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 294596

[startup+6.31337 s]
/proc/loadavg: 7.68 7.99 8.05 9/356 2947
/proc/meminfo: memFree=26155452/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=304068 CPUtime=25.16 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 22529 0 0 0 2513 3 0 0 25 0 4 0 651760277 311365632 12455 33554432000 4194304 4650419 140736400089536 18446744073709551615 4333632 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 76017 12455 395 112 0 70982 0
[pid=2935/tid=2936] ppid=2933 vsize=304068 CPUtime=6.3 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 5667 0 0 0 630 0 0 0 25 0 4 0 651760278 311365632 12455 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=304068 CPUtime=6.23 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 6361 0 0 0 622 1 0 0 25 0 4 0 651760278 311365632 12455 33554432000 4194304 4650419 140736400089536 18446744073709551615 4438402 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=304068 CPUtime=6.3 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 4564 0 0 0 630 0 0 0 25 0 4 0 651760278 311365632 12455 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 304068

[startup+12.7002 s]
/proc/loadavg: 7.72 7.99 8.05 9/356 2947
/proc/meminfo: memFree=26119516/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=313588 CPUtime=50.64 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 33434 0 0 0 5059 5 0 0 25 0 4 0 651760277 321114112 17337 33554432000 4194304 4650419 140736400089536 18446744073709551615 4439111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 78397 17337 395 112 0 73362 0
[pid=2935/tid=2936] ppid=2933 vsize=313588 CPUtime=12.68 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 8678 0 0 0 1267 1 0 0 25 0 4 0 651760278 321114112 17337 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=313588 CPUtime=12.55 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 8743 0 0 0 1254 1 0 0 25 0 4 0 651760278 321114112 17337 33554432000 4194304 4650419 140736400089536 18446744073709551615 4331989 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=313588 CPUtime=12.68 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 6606 0 0 0 1268 0 0 0 25 0 4 0 651760278 321114112 17337 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 313588

[startup+25.501 s]
/proc/loadavg: 7.77 7.99 8.04 9/356 2950
/proc/meminfo: memFree=26067084/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=326912 CPUtime=101.7 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 50503 0 0 0 10161 9 0 0 25 0 4 0 651760277 334757888 22738 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 81728 22738 395 112 0 76693 0
[pid=2935/tid=2936] ppid=2933 vsize=326912 CPUtime=25.48 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 14194 0 0 0 2546 2 0 0 25 0 4 0 651760278 334757888 22738 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=326912 CPUtime=25.22 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 13743 0 0 0 2519 3 0 0 25 0 4 0 651760278 334757888 22738 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=326912 CPUtime=25.49 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 9464 0 0 0 2548 1 0 0 25 0 4 0 651760278 334757888 22738 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 326912

[startup+51.1005 s]
/proc/loadavg: 7.99 8.02 8.05 9/356 2950
/proc/meminfo: memFree=26036436/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=310052 CPUtime=203.82 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 73630 0 0 0 20367 15 0 0 25 0 4 0 651760277 317493248 25697 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 77513 25697 395 112 0 72478 0
[pid=2935/tid=2936] ppid=2933 vsize=310052 CPUtime=51.08 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 22714 0 0 0 5104 4 0 0 25 0 4 0 651760278 317493248 25697 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=310052 CPUtime=50.53 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 21281 0 0 0 5048 5 0 0 25 0 4 0 651760278 317493248 25697 33554432000 4194304 4650419 140736400089536 18446744073709551615 4361062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=310052 CPUtime=51.09 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 11834 0 0 0 5107 2 0 0 25 0 4 0 651760278 317493248 25697 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 310052

[startup+102.3 s]
/proc/loadavg: 8.14 8.05 8.06 9/356 2952
/proc/meminfo: memFree=25996844/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=311112 CPUtime=408.05 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 115925 0 0 0 40777 28 0 0 25 0 4 0 651760277 318578688 32179 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365606 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 77778 32179 395 112 0 72743 0
[pid=2935/tid=2936] ppid=2933 vsize=311112 CPUtime=102.28 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 34729 0 0 0 10221 7 0 0 25 0 4 0 651760278 318578688 32179 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=311112 CPUtime=101.16 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 32848 0 0 0 10108 8 0 0 25 0 4 0 651760278 318578688 32179 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=311112 CPUtime=102.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 18795 0 0 0 10224 4 0 0 25 0 4 0 651760278 318578688 32179 33554432000 4194304 4650419 140736400089536 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 311112

[startup+162.301 s]

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

[pid=2935] ppid=2933 vsize=554976 CPUtime=2562.03 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 387074 0 0 0 256076 127 0 0 25 0 4 0 651760277 568295424 78209 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 138744 78209 395 112 0 133709 0
[pid=2935/tid=2936] ppid=2933 vsize=554976 CPUtime=642.28 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 106895 0 0 0 64196 32 0 0 25 0 4 0 651760278 568295424 78209 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=554976 CPUtime=635.14 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 115321 0 0 0 63476 38 0 0 25 0 4 0 651760278 568295424 78209 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=554976 CPUtime=642.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 55247 0 0 0 64208 20 0 0 25 0 4 0 651760278 568295424 78209 33554432000 4194304 4650419 140736400089536 18446744073709551615 4352065 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.03
Current children cumulated vsize (KiB) 554976

[startup+702.301 s]
/proc/loadavg: 8.07 8.08 8.06 9/356 2969
/proc/meminfo: memFree=25667548/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=521380 CPUtime=2801.38 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 405562 0 0 0 280004 134 0 0 25 0 4 0 651760277 533893120 79010 33554432000 4194304 4650419 140736400089536 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 130345 79010 395 112 0 125310 0
[pid=2935/tid=2936] ppid=2933 vsize=521380 CPUtime=702.28 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 113810 0 0 0 70194 34 0 0 25 0 4 0 651760278 533893120 79010 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=521380 CPUtime=694.48 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 121547 0 0 0 69408 40 0 0 25 0 4 0 651760278 533893120 79010 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=521380 CPUtime=702.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 56459 0 0 0 70208 20 0 0 25 0 4 0 651760278 533893120 79010 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.38
Current children cumulated vsize (KiB) 521380

[startup+762.3 s]
/proc/loadavg: 8.02 8.06 8.05 9/356 2970
/proc/meminfo: memFree=25654136/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=534260 CPUtime=3040.7 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 428467 0 0 0 303927 143 0 0 25 0 4 0 651760277 547082240 78655 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 133565 78655 395 112 0 128530 0
[pid=2935/tid=2936] ppid=2933 vsize=534260 CPUtime=762.29 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 117233 0 0 0 76193 36 0 0 25 0 4 0 651760278 547082240 78655 33554432000 4194304 4650419 140736400089536 18446744073709551615 4367372 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=534260 CPUtime=753.8 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 128794 0 0 0 75338 42 0 0 25 0 4 0 651760278 547082240 78655 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=534260 CPUtime=762.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 60886 0 0 0 76205 23 0 0 25 0 4 0 651760278 547082240 78655 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.7
Current children cumulated vsize (KiB) 534260

[startup+822.301 s]
/proc/loadavg: 8.08 8.08 8.06 9/356 2972
/proc/meminfo: memFree=25649544/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=546088 CPUtime=3280.05 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 453838 0 0 0 327852 153 0 0 25 0 4 0 651760277 559194112 79474 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 136522 79474 395 112 0 131487 0
[pid=2935/tid=2936] ppid=2933 vsize=546088 CPUtime=822.29 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 124491 0 0 0 82191 38 0 0 25 0 4 0 651760278 559194112 79474 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=546088 CPUtime=813.15 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 135816 0 0 0 81270 45 0 0 25 0 4 0 651760278 559194112 79474 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=546088 CPUtime=822.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 64319 0 0 0 82204 24 0 0 25 0 4 0 651760278 559194112 79474 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.05
Current children cumulated vsize (KiB) 546088

[startup+882.3 s]
/proc/loadavg: 8.03 8.06 8.05 9/356 2973
/proc/meminfo: memFree=25620360/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=544220 CPUtime=3519.38 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 473946 0 0 0 351775 163 0 0 25 0 4 0 651760277 557281280 81402 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 136055 81402 395 112 0 131020 0
[pid=2935/tid=2936] ppid=2933 vsize=544220 CPUtime=882.29 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 130654 0 0 0 88188 41 0 0 25 0 4 0 651760278 557281280 81402 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=544220 CPUtime=872.47 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 141941 0 0 0 87200 47 0 0 25 0 4 0 651760278 557281280 81402 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=544220 CPUtime=882.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 67050 0 0 0 88202 26 0 0 25 0 4 0 651760278 557281280 81402 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.38
Current children cumulated vsize (KiB) 544220

[startup+942.301 s]
/proc/loadavg: 8.09 8.06 8.05 9/356 2975
/proc/meminfo: memFree=25632220/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=547860 CPUtime=3758.72 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 497027 0 0 0 375699 173 0 0 25 0 4 0 651760277 561008640 76358 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 136965 76358 395 112 0 131930 0
[pid=2935/tid=2936] ppid=2933 vsize=547860 CPUtime=942.3 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 137794 0 0 0 94186 44 0 0 25 0 4 0 651760278 561008640 76359 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=547860 CPUtime=931.8 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 149310 0 0 0 93130 50 0 0 25 0 4 0 651760278 561008640 76359 33554432000 4194304 4650419 140736400089536 18446744073709551615 4307317 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=547860 CPUtime=942.29 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 69489 0 0 0 94202 27 0 0 25 0 4 0 651760278 561008640 76359 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.72
Current children cumulated vsize (KiB) 547860

[startup+1002.3 s]
/proc/loadavg: 8.10 8.07 8.05 9/356 2977
/proc/meminfo: memFree=25583348/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=562380 CPUtime=3998.04 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 514721 0 0 0 399623 181 0 0 25 0 4 0 651760277 575877120 84291 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 140595 84291 395 112 0 135560 0
[pid=2935/tid=2936] ppid=2933 vsize=562380 CPUtime=1002.3 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 144609 0 0 0 100183 47 0 0 25 0 4 0 651760278 575877120 84291 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=562380 CPUtime=991.13 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 153774 0 0 0 99061 52 0 0 25 0 4 0 651760278 575877120 84291 33554432000 4194304 4650419 140736400089536 18446744073709551615 4313311 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=562380 CPUtime=1002.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 71655 0 0 0 100200 28 0 0 25 0 4 0 651760278 575877120 84291 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.04
Current children cumulated vsize (KiB) 562380

[startup+1062.31 s]
/proc/loadavg: 8.10 8.07 8.05 9/356 2979
/proc/meminfo: memFree=25579716/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=568368 CPUtime=4237.4 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 536855 0 0 0 423551 189 0 0 25 0 4 0 651760277 582008832 89559 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 142092 89559 395 112 0 137057 0
[pid=2935/tid=2936] ppid=2933 vsize=568368 CPUtime=1062.31 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 150330 0 0 0 106182 49 0 0 25 0 4 0 651760278 582008832 89559 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=568368 CPUtime=1050.45 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 159758 0 0 0 104990 55 0 0 25 0 4 0 651760278 582008832 89559 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=568368 CPUtime=1062.29 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 74212 0 0 0 106200 29 0 0 25 0 4 0 651760278 582008832 89559 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.4
Current children cumulated vsize (KiB) 568368

[startup+1122.3 s]
/proc/loadavg: 8.16 8.08 8.06 9/356 2981
/proc/meminfo: memFree=25552020/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=555616 CPUtime=4476.68 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 556338 0 0 0 447471 197 0 0 25 0 4 0 651760277 568950784 91136 33554432000 4194304 4650419 140736400089536 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 138904 91136 395 112 0 133869 0
[pid=2935/tid=2936] ppid=2933 vsize=555616 CPUtime=1122.3 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 156141 0 0 0 112179 51 0 0 25 0 4 0 651760278 568950784 91136 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=555616 CPUtime=1109.76 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 165308 0 0 0 110919 57 0 0 25 0 4 0 651760278 568950784 91136 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=555616 CPUtime=1122.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 76659 0 0 0 112198 30 0 0 25 0 4 0 651760278 568950784 91136 33554432000 4194304 4650419 140736400089536 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.68
Current children cumulated vsize (KiB) 555616

[startup+1182.3 s]
/proc/loadavg: 8.17 8.10 8.06 9/356 2983
/proc/meminfo: memFree=25544924/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=621000 CPUtime=4716.02 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 572778 0 0 0 471398 204 0 0 25 0 4 0 651760277 635904000 92185 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 155250 92185 395 112 0 150215 0
[pid=2935/tid=2936] ppid=2933 vsize=621000 CPUtime=1182.3 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 161634 0 0 0 118177 53 0 0 25 0 4 0 651760278 635904000 92185 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=621000 CPUtime=1169.09 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 168597 0 0 0 116851 58 0 0 25 0 4 0 651760278 635904000 92185 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=621000 CPUtime=1182.28 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 78465 0 0 0 118197 31 0 0 25 0 4 0 651760278 635904000 92185 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.02
Current children cumulated vsize (KiB) 621000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.12 8.09 8.06 9/356 2983
/proc/meminfo: memFree=25547128/32951124 swapFree=53501236/67111528
[pid=2935] ppid=2933 vsize=555732 CPUtime=4800.2 cores=0,2,4,6
/proc/2935/stat : 2935 (strangenight1-m) R 2933 2935 2586 0 -1 4202496 579326 0 0 0 479814 206 0 0 25 0 4 0 651760277 569069568 94939 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2935/statm: 138933 94939 395 112 0 133898 0
[pid=2935/tid=2936] ppid=2933 vsize=555732 CPUtime=1203.41 cores=0,2,4,6
/proc/2935/task/2936/stat : 2936 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 162994 0 0 0 120287 54 0 0 25 0 4 0 651760278 569069568 94941 33554432000 4194304 4650419 140736400089536 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2935/tid=2937] ppid=2933 vsize=555732 CPUtime=1189.97 cores=0,2,4,6
/proc/2935/task/2937/stat : 2937 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 171327 0 0 0 118938 59 0 0 25 0 4 0 651760278 569069568 94941 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2935/tid=2938] ppid=2933 vsize=555732 CPUtime=1203.39 cores=0,2,4,6
/proc/2935/task/2938/stat : 2938 (strangenight1-m) R 2933 2935 2586 0 -1 4202560 79246 0 0 0 120308 31 0 0 25 0 4 0 651760278 569069568 94941 33554432000 4194304 4650419 140736400089536 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 555732

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.44
CPU time (s): 4800.28
CPU user time (s): 4798.19
CPU system time (s): 2.08368
CPU usage (%): 398.881
Max. virtual memory (cumulated for all children) (KiB): 621000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.19
system time used= 2.08368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579329
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= 290
involuntary context switches= 21794

runsolver used 3.71943 second user time and 9.54855 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 21:32:57
IDJOB=3368718
IDBENCH=82727
IDSOLVER=1846
FILE ID=node103/3368718-1305401577
RUNJOBID= node103-1305401577-2919
PBS_JOBID= 13324472
Free space on /tmp= 72992 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368718-1305401577/watcher-3368718-1305401577 -o /tmp/evaluation-result-3368718-1305401577/solver-3368718-1305401577 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368718-1305401577.cnf

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

MD5SUM BENCH= 420c3b1966635ea800a6b2af1a449f73
RANDOM SEED=1332764038

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26255388 kB
Buffers:        296368 kB
Cached:        3865176 kB
SwapCached:     340192 kB
Active:        1311604 kB
Inactive:      5115292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26255388 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           11664 kB
Writeback:           0 kB
AnonPages:     1936036 kB
Mapped:          10196 kB
Slab:           151480 kB
PageTables:      53100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78289960 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= 72980 MiB
End job on node103 at 2011-05-14 21:53:02