Trace number 3175109

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.31 1201.73

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-3175109-1304088527.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.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.15	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.15	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.15	c calculated reachability. Time: 0.00
0.00/0.15	c Calc default polars -  time:   0.00 s pos:     158 undec:      52 neg:     190
0.00/0.15	c =========================================================================================
0.00/0.15	c types(t): F = full restart, N = normal restart
0.00/0.15	c types(t): S = simplification begin/end, E = solution found
0.00/0.15	c restart types(rt): st = static, dy = dynamic
0.00/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.15	c  B st     0         0       391      1698         0         0      5150         0   no data   no data  --
0.00/0.90	c Decided on static restart strategy
0.00/0.90	c  N st     8      4920       391      1698         0      4824      5150     98627   no data   no data  --
0.00/0.90	c  N st    10     11306       391      1698         0      4480      5150     67836   no data   no data  --
0.00/0.90	c  N st    11     17050       391      1698         0     10083      5150    185308   no data   no data  --
3.99/1.10	c  F st    12     25003       391      1698         0     12284      5150    220438   no data   no data  --
3.99/1.10	c  N st    12     25003       391      1698         0     12284      5150    220438   no data   no data  --
4.79/1.30	c Decided on static restart strategy
4.79/1.30	c  N st    18     30000       391      1698         0     10594      5150    166577   no data   no data  --
4.79/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.62 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.58/1.91	c  N st    20     37617       391      1698         0      9604      5150    134477   no data   no data  --
9.17/2.31	c  N st    21     44016       391      1698         0     15799      5150    253708   no data   no data  --
9.57/2.44	c  S st    22     45760       391      1698         0     17484      5150    287070   no data   no data  --
9.57/2.48	c  S st    22     46265       391      1698         0      9316      5150    117279   no data   no data  --
9.57/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.57/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.57/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
9.57/2.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.96/2.55	c lits-rem:        34  cl-subs:      147  v-elim:      0  v-fix:    0  time:  0.24 s
9.96/2.55	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c vivif2 --  cl tried     9169 cl shrink        0 lits rem          0 time: 0.00
9.96/2.56	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.02
9.96/2.56	c calculated reachability. Time: 0.00
9.96/2.56	c  N st    22     46265       391      1698         0      9169      5150    114744   no data   no data  --
13.55/3.43	c  N st    23     60663       391      1698         0     13390      5150    190128   no data   no data  --
15.96/4.03	c  N st    24     69398       391      1698         0     11286      5150    140264   no data   no data  --
15.96/4.03	c  S st    24     69398       391      1698         0     11286      5150    140264   no data   no data  --
15.96/4.07	c  S st    24     69905       391      1698         0     11793      5150    150479   no data   no data  --
15.96/4.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.96/4.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
15.96/4.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.78/4.21	c lits-rem:        68  cl-subs:      211  v-elim:      0  v-fix:    0  time:  0.53 s
16.78/4.21	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
16.78/4.21	c vivif2 --  cl tried    11582 cl shrink        0 lits rem          0 time: 0.01
16.78/4.22	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.03
16.78/4.22	c calculated reachability. Time: 0.00
16.78/4.22	c  N st    24     69905       391      1698         0     11582      5150    146533   no data   no data  --
21.16/5.39	c  F st    25     87501       391      1698         0     17024      5150    251030   no data   no data  --
21.16/5.39	c  N st    25     87501       391      1698         0     17024      5150    251030   no data   no data  --
22.75/5.79	c Decided on static restart strategy
23.95/6.01	c  N st    32     95539       391      1698         0     24801      5150    394118   no data   no data  --
26.34/6.67	c  N st    34    104858       391      1698         0     21252      5150    304330   no data   no data  --
26.34/6.67	c  S st    34    104858       391      1698         0     21252      5150    304330   no data   no data  --
26.74/6.73	c  S st    34    105361       391      1698         0     21754      5150    314224   no data   no data  --
26.74/6.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
26.74/6.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
26.74/6.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.56/7.42	c lits-rem:       321  cl-subs:     1466  v-elim:      0  v-fix:    0  time:  2.69 s
29.56/7.42	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
29.56/7.42	c vivif2 --  cl tried    20288 cl shrink        0 lits rem          0 time: 0.01
29.56/7.44	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.06
29.56/7.44	c calculated reachability. Time: 0.00
29.56/7.44	c  N st    34    105361       391      1698         0     20288      5150    288633   no data   no data  --
32.34/8.16	c  N st    35    114959       391      1698         0     16018      5150    191167   no data   no data  --
37.53/9.40	c  N st    36    129356       391      1698         0     15452      5150    172225   no data   no data  --
44.31/11.19	c  N st    37    150951       391      1698         0     20841      5150    264275   no data   no data  --
46.72/11.74	c  S st    38    158041       391      1698         0     27670      5150    399949   no data   no data  --
47.13/11.81	c  S st    38    158543       391      1698         0     28172      5150    410437   no data   no data  --
47.13/11.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.13/11.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.13/11.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
47.13/11.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.13/11.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.13/11.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
47.13/11.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
52.31/13.11	c lits-rem:      1370  cl-subs:     2640  v-elim:      0  v-fix:    0  time:  5.11 s
52.31/13.11	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
52.31/13.12	c vivif2 --  cl tried    25532 cl shrink        0 lits rem          0 time: 0.02
52.31/13.13	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.07
52.31/13.13	c calculated reachability. Time: 0.00
52.31/13.13	c  N st    38    158543       391      1698         0     25532      5150    361603   no data   no data  --
71.49/17.97	c  N st    39    207132       391      1698         0     20397      5150    230547   no data   no data  --
84.67/21.20	c  N st    40    237814       391      1698         0     30711      5150    423679   no data   no data  --
84.67/21.20	c  S st    40    237814       391      1698         0     30711      5150    423679   no data   no data  --
84.67/21.28	c  S st    40    238319       391      1698         0     31213      5150    433577   no data   no data  --
84.67/21.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.67/21.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.67/21.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
85.06/21.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.06/21.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.06/21.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
85.06/21.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.26/22.66	c lits-rem:      1195  cl-subs:     2059  v-elim:      0  v-fix:    0  time:  5.40 s
90.26/22.66	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
90.26/22.66	c vivif2 --  cl tried    29154 cl shrink        0 lits rem          0 time: 0.02
90.26/22.69	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.09
90.26/22.69	c calculated reachability. Time: 0.00
90.26/22.69	c  N st    40    238319       391      1698         0     29154      5150    395672   no data   no data  --
121.01/30.37	c  F st    41    306252       391      1698         0     31148      5150    389673   no data   no data  --
121.01/30.37	c  N st    41    306252       391      1698         0     31148      5150    389673   no data   no data  --
123.41/30.98	c Decided on static restart strategy
133.39/33.46	c  N st    51    334558       391      1698         0     35324      5150    476239   no data   no data  --
144.98/36.33	c  N st    53    357480       391      1698         0     33207      5150    412057   no data   no data  --
144.98/36.33	c  S st    53    357480       391      1698         0     33207      5150    412057   no data   no data  --
145.38/36.41	c  S st    53    357984       391      1698         0     33709      5150    422593   no data   no data  --
145.38/36.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.38/36.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.38/36.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
145.38/36.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.38/36.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.38/36.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
145.38/36.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
150.57/37.76	c lits-rem:       569  cl-subs:     1797  v-elim:      0  v-fix:    0  time:  5.30 s
150.57/37.76	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
150.57/37.77	c vivif2 --  cl tried    31912 cl shrink        0 lits rem          0 time: 0.02
150.57/37.79	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.09
150.57/37.79	c calculated reachability. Time: 0.00
150.57/37.79	c  N st    53    357984       391      1698         0     31912      5150    389613   no data   no data  --
166.18/41.66	c  N st    54    390377       391      1698         0     38055      5150    491920   no data   no data  --
194.92/48.82	c  N st    55    438967       391      1698         0     31925      5150    348247   no data   no data  --
232.09/58.19	c  N st    56    511849       391      1698         0     45320      5150    617688   no data   no data  --
244.05/61.19	c  N st    57    536977       391      1698         0     39702      5150    473444   no data   no data  --
244.05/61.19	c  S st    57    536977       391      1698         0     39702      5150    473444   no data   no data  --
244.45/61.29	c  S st    57    537480       391      1698         0     40203      5150    483712   no data   no data  --
244.45/61.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
244.45/61.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
244.86/61.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
244.86/61.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
244.86/61.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.86/61.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
244.86/61.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
250.84/62.85	c lits-rem:       701  cl-subs:     1903  v-elim:      0  v-fix:    0  time:  6.11 s
250.84/62.85	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
250.84/62.85	c vivif2 --  cl tried    38300 cl shrink        0 lits rem          0 time: 0.02
250.84/62.88	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.12
250.84/62.88	c calculated reachability. Time: 0.00
250.84/62.88	c  N st    57    537480       391      1698         0     38300      5150    448476   no data   no data  --
347.51/87.04	c  N st    58    701465       391      1698         0     67013      5150    942589   no data   no data  --
415.82/104.11	c  N st    59    806221       391      1698         0     61086      5150    837036   no data   no data  --
415.82/104.11	c  S st    59    806221       391      1698         0     61086      5150    837036   no data   no data  --
416.23/104.29	c  S st    59    806726       391      1698         0     61590      5150    847199   no data   no data  --
416.23/104.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
416.23/104.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
416.64/104.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
416.64/104.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
416.64/104.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
416.64/104.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
416.64/104.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
430.20/107.79	c lits-rem:      1448  cl-subs:     5616  v-elim:      0  v-fix:    0  time: 13.75 s
430.20/107.79	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
430.60/107.80	c vivif2 --  cl tried    55974 cl shrink        0 lits rem          0 time: 0.04
430.60/107.86	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.24
430.60/107.86	c calculated reachability. Time: 0.00
430.60/107.86	c  N st    59    806726       391      1698         0     55974      5150    742297   no data   no data  --
605.58/151.70	c  F st    60   1071875       391      1698         0     72054      5150   1029385   no data   no data  --
605.96/151.70	c  N st    60   1071875       391      1698         0     72054      5150   1029385   no data   no data  --
610.36/152.84	c Decided on static restart strategy
627.94/157.24	c  N st    70   1100176       391      1698         0     55888      5150    647912   no data   no data  --
665.48/166.65	c  N st    72   1136170       391      1698         0     46214      5150    429227   no data   no data  --
688.66/172.44	c  N st    73   1168565       391      1698         0     77419      5150   1047141   no data   no data  --
721.81/180.77	c  N st    74   1210089       391      1698         0     71938      5150    941812   no data   no data  --
721.81/180.77	c  S st    74   1210089       391      1698         0     71938      5150    941812   no data   no data  --
722.61/180.98	c  S st    74   1210590       391      1698         0     72439      5150    951823   no data   no data  --
722.61/180.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
722.61/180.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
723.01/181.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
723.01/181.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
723.01/181.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
723.01/181.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
723.01/181.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
737.79/184.75	c lits-rem:      1118  cl-subs:     6210  v-elim:      0  v-fix:    0  time: 14.80 s
737.79/184.75	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
737.79/184.76	c vivif2 --  cl tried    66229 cl shrink        0 lits rem          0 time: 0.04
738.19/184.84	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.30
738.19/184.84	c calculated reachability. Time: 0.00
738.19/184.84	c  N st    74   1210590       391      1698         0     66229      5150    835884   no data   no data  --
798.92/200.06	c  N st    75   1283472       391      1698         0     90467      5150   1257367   no data   no data  --
896.36/224.40	c  N st    76   1392796       391      1698         0     51098      5150    466753   no data   no data  --
1029.38/257.77	c  N st    77   1556780       391      1698         0     56098      5150    534003   no data   no data  --
1158.42/290.00	c  N st    78   1710590       391      1698         0     97782      5150   1429905   no data   no data  --
1158.42/290.00	c  S st    78   1710590       391      1698         0     97782      5150   1429905   no data   no data  --
1159.61/290.35	c  S st    78   1711095       391      1698         0     98285      5150   1440152   no data   no data  --
1159.61/290.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1159.61/290.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1160.01/290.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1160.01/290.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1160.01/290.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1160.01/290.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1160.01/290.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1190.37/298.04	c lits-rem:       700  cl-subs:     7789  v-elim:      0  v-fix:    0  time: 30.29 s
1190.37/298.04	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
1190.37/298.05	c vivif2 --  cl tried    90496 cl shrink        0 lits rem          0 time: 0.07
1190.77/298.17	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.46
1190.77/298.17	c calculated reachability. Time: 0.00
1190.77/298.17	c  N st    78   1711095       391      1698         0     90496      5150   1295571   no data   no data  --
1560.26/390.64	c  N st    79   2080060       391      1698         0    101807      5150   1386736   no data   no data  --
1689.70/423.06	c  N st    80   2211095       391      1698         0    105538      5150   1399741   no data   no data  --
1689.70/423.06	c  S st    80   2211095       391      1698         0    105538      5150   1399741   no data   no data  --
1691.29/423.44	c  S st    80   2211599       391      1698         0    106040      5150   1409617   no data   no data  --
1691.29/423.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1691.29/423.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1691.69/423.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1691.69/423.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1691.69/423.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1691.69/423.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1691.69/423.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1730.05/433.17	c lits-rem:      1760  cl-subs:    13700  v-elim:      0  v-fix:    0  time: 38.45 s
1730.05/433.17	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
1730.05/433.19	c vivif2 --  cl tried    92340 cl shrink        0 lits rem          0 time: 0.06
1730.84/433.31	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.47
1730.84/433.31	c calculated reachability. Time: 0.00
1730.84/433.31	c  N st    80   2211599       391      1698         0     92340      5150   1176714   no data   no data  --
2253.34/564.19	c  N st    81   2711599       391      1698         0    115576      5150   1483082   no data   no data  --
2253.34/564.19	c  S st    81   2711599       391      1698         0    115576      5150   1483082   no data   no data  --
2255.33/564.63	c  S st    81   2712106       391      1698         0    116083      5150   1493672   no data   no data  --
2255.33/564.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2255.33/564.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2255.33/564.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2255.73/564.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2255.73/564.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2255.73/564.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2255.73/564.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2302.46/576.46	c lits-rem:      1061  cl-subs:    17644  v-elim:      0  v-fix:    0  time: 46.78 s
2302.46/576.46	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
2302.46/576.48	c vivif2 --  cl tried    98439 cl shrink        0 lits rem          0 time: 0.07
2303.26/576.60	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.50
2303.26/576.61	c calculated reachability. Time: 0.00
2303.26/576.61	c  N st    81   2712106       391      1698         0     98439      5150   1203726   no data   no data  --
2876.08/720.09	c  N st    82   3212107       391      1698         0     75212      5150    654239   no data   no data  --
2876.08/720.09	c  S st    82   3212107       391      1698         0     75212      5150    654239   no data   no data  --
2877.29/720.32	c  S st    82   3212611       391      1698         0     75715      5150    665399   no data   no data  --
2877.29/720.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2877.29/720.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2877.29/720.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
2877.29/720.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2877.29/720.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2877.29/720.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2877.29/720.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2885.67/722.41	c lits-rem:       270  cl-subs:      112  v-elim:      0  v-fix:    0  time:  8.14 s
2885.67/722.42	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
2885.67/722.43	c vivif2 --  cl tried    75603 cl shrink        0 lits rem          0 time: 0.04
2886.08/722.51	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.32
2886.08/722.51	c calculated reachability. Time: 0.00
2886.08/722.51	c  N st    82   3212611       391      1698         0     75603      5150    663575   no data   no data  --
3447.68/863.16	c  N st    83   3712611       391      1698         0     86204      5150    801172   no data   no data  --
3447.68/863.16	c  S st    83   3712611       391      1698         0     86204      5150    801172   no data   no data  --
3448.88/863.43	c  S st    83   3713116       391      1698         0     86709      5150    812025   no data   no data  --
3448.88/863.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3448.88/863.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3448.88/863.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
3449.28/863.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3449.28/863.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3449.28/863.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3449.28/863.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3460.87/866.43	c lits-rem:       384  cl-subs:     1536  v-elim:      0  v-fix:    0  time: 11.70 s
3460.87/866.43	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
3460.87/866.44	c vivif2 --  cl tried    85173 cl shrink        0 lits rem          0 time: 0.05
3461.28/866.54	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.36
3461.28/866.54	c calculated reachability. Time: 0.00
3461.28/866.54	c  N st    83   3713116       391      1698         0     85173      5150    788017   no data   no data  --
3506.80/877.91	c  F st    84   3751564       391      1698         0    122014      5150   1533487   no data   no data  --
3506.80/877.91	c  N st    84   3751564       391      1698         0    122014      5150   1533487   no data   no data  --
3514.79/879.92	c Decided on static restart strategy
3542.75/886.99	c  N st    94   3779871       391      1698         0    149374      5150   2098572   no data   no data  --
3586.29/897.89	c  N st    96   3815864       391      1698         0    102376      5150   1135311   no data   no data  --
3625.04/907.50	c  N st    97   3848256       391      1698         0    133701      5150   1811526   no data   no data  --
3692.95/924.52	c  N st    98   3896845       391      1698         0     97775      5150   1023536   no data   no data  --
3800.40/951.46	c  N st    99   3969729       391      1698         0     84424      5150    730536   no data   no data  --
3929.02/983.61	c  N st   100   4079052       391      1698         0    104659      5150   1140758   no data   no data  --
4095.99/1025.43	c  N st   101   4213117       391      1698         0    147899      5150   2036575   no data   no data  --
4095.99/1025.43	c  S st   101   4213117       391      1698         0    147899      5150   2036575   no data   no data  --
4098.41/1026.04	c  S st   101   4213619       391      1698         0    148401      5150   2047259   no data   no data  --
4098.41/1026.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4098.41/1026.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4098.82/1026.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4098.82/1026.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4098.82/1026.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4098.82/1026.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4098.82/1026.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4197.46/1050.80	c lits-rem:       571  cl-subs:    14454  v-elim:      0  v-fix:    0  time: 98.30 s
4197.46/1050.80	c vivif2 --  cl tried     1698 cl shrink        0 lits rem          0 time: 0.00
4197.46/1050.83	c vivif2 --  cl tried   133947 cl shrink        0 lits rem          0 time: 0.11
4198.26/1051.05	c asymm  cl-useful: 0/1698/1698 lits-rem:0 time: 0.90
4198.26/1051.06	c calculated reachability. Time: 0.00
4198.26/1051.06	c  N st   101   4213619       391      1698         0    133947      5150   1779054   no data   no data  --
4578.14/1146.12	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: 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-3175109-1304088527/watcher-3175109-1304088527 -o /tmp/evaluation-result-3175109-1304088527/solver-3175109-1304088527 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175109-1304088527.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: 1.75 2.49 3.06 2/172 2193
/proc/meminfo: memFree=27647604/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=40992 CPUtime=0 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 3 0 520450420 41975808 351 33554432000 4194304 4650419 140736309923840 18446744073709551615 218905787377 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 10248 351 303 112 0 5213 0
[pid=2193/tid=2194] ppid=2191 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 520450421 52465664 353 33554432000 4194304 4650419 140736309923840 18446744073709551615 47741408384940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 520450421 52465664 353 33554432000 4194304 4650419 140736309923840 18446744073709551615 47741408384940 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520450421 52465664 353 33554432000 4194304 4650419 140736309923840 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.152949 s]
/proc/loadavg: 1.75 2.49 3.06 2/172 2193
/proc/meminfo: memFree=27647604/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=284648 CPUtime=3.59 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 4936 0 0 0 359 0 0 0 19 0 4 0 520450420 291479552 2668 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 71162 2668 393 112 0 66127 0
[pid=2193/tid=2194] ppid=2191 vsize=284648 CPUtime=0.89 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1104 0 0 0 89 0 0 0 19 0 4 0 520450421 291479552 2668 33554432000 4194304 4650419 140736309923840 18446744073709551615 4330626 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=284648 CPUtime=0.9 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1142 0 0 0 90 0 0 0 19 0 4 0 520450421 291479552 2668 33554432000 4194304 4650419 140736309923840 18446744073709551615 4520129 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=284648 CPUtime=0.88 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1048 0 0 0 88 0 0 0 19 0 4 0 520450421 291479552 2668 33554432000 4194304 4650419 140736309923840 18446744073709551615 4331089 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 284648

[startup+1.00612 s]
/proc/loadavg: 1.75 2.49 3.06 2/172 2193
/proc/meminfo: memFree=27647604/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=284892 CPUtime=3.99 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 5191 0 0 0 398 1 0 0 19 0 4 0 520450420 291729408 2923 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 71223 2923 394 112 0 66188 0
[pid=2193/tid=2194] ppid=2191 vsize=284892 CPUtime=0.99 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1187 0 0 0 99 0 0 0 19 0 4 0 520450421 291729408 2923 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=284892 CPUtime=1 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1205 0 0 0 100 0 0 0 19 0 4 0 520450421 291729408 2923 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=284892 CPUtime=0.98 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1111 0 0 0 98 0 0 0 19 0 4 0 520450421 291729408 2923 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 284892

[startup+1.1061 s]
/proc/loadavg: 1.75 2.49 3.06 2/172 2193
/proc/meminfo: memFree=27647604/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=276672 CPUtime=4.39 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 6034 0 0 0 438 1 0 0 19 0 4 0 520450420 283312128 2634 33554432000 4194304 4650419 140736309923840 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 69168 2634 394 112 0 64133 0
[pid=2193/tid=2194] ppid=2191 vsize=276672 CPUtime=1.09 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1407 0 0 0 109 0 0 0 19 0 4 0 520450421 283312128 2634 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=276672 CPUtime=1.1 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1442 0 0 0 110 0 0 0 19 0 4 0 520450421 283312128 2634 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=276672 CPUtime=1.08 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1295 0 0 0 108 0 0 0 19 0 4 0 520450421 283312128 2634 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 276672

[startup+1.20608 s]
/proc/loadavg: 1.75 2.49 3.06 2/172 2193
/proc/meminfo: memFree=27647604/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=276672 CPUtime=4.79 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 6225 0 0 0 478 1 0 0 19 0 4 0 520450420 283312128 2825 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366857 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 69168 2825 394 112 0 64133 0
[pid=2193/tid=2194] ppid=2191 vsize=276672 CPUtime=1.19 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1450 0 0 0 119 0 0 0 19 0 4 0 520450421 283312128 2825 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=276672 CPUtime=1.2 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1493 0 0 0 120 0 0 0 19 0 4 0 520450421 283312128 2825 33554432000 4194304 4650419 140736309923840 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=276672 CPUtime=1.18 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1342 0 0 0 118 0 0 0 19 0 4 0 520450421 283312128 2825 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 276672

[startup+1.50103 s]
/proc/loadavg: 1.75 2.49 3.06 2/172 2193
/proc/meminfo: memFree=27647604/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=276720 CPUtime=5.97 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 7872 0 0 0 596 1 0 0 20 0 4 0 520450420 283361280 4168 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 69180 4168 395 112 0 64145 0
[pid=2193/tid=2194] ppid=2191 vsize=276720 CPUtime=1.49 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1703 0 0 0 149 0 0 0 20 0 4 0 520450421 283361280 4168 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=276720 CPUtime=1.49 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1609 0 0 0 149 0 0 0 19 0 4 0 520450421 283361280 4168 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=276720 CPUtime=1.48 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 1453 0 0 0 148 0 0 0 20 0 4 0 520450421 283361280 4168 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 276720

[startup+3.10674 s]
/proc/loadavg: 2.33 2.60 3.09 9/184 2205
/proc/meminfo: memFree=27572788/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=280928 CPUtime=12.38 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 14884 0 0 0 1236 2 0 0 25 0 4 0 520450420 287670272 9035 33554432000 4194304 4650419 140736309923840 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 70232 9035 395 112 0 65197 0
[pid=2193/tid=2194] ppid=2191 vsize=280928 CPUtime=3.08 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 3531 0 0 0 308 0 0 0 25 0 4 0 520450421 287670272 9035 33554432000 4194304 4650419 140736309923840 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=280928 CPUtime=3.1 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 4007 0 0 0 310 0 0 0 25 0 4 0 520450421 287670272 9035 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=280928 CPUtime=3.08 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 3275 0 0 0 308 0 0 0 25 0 4 0 520450421 287670272 9035 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 280928

[startup+6.30117 s]
/proc/loadavg: 2.33 2.60 3.09 9/184 2205
/proc/meminfo: memFree=27551628/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=296000 CPUtime=25.16 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 22605 0 0 0 2512 4 0 0 25 0 4 0 520450420 303104000 12442 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 74000 12442 395 112 0 68965 0
[pid=2193/tid=2194] ppid=2191 vsize=296000 CPUtime=6.27 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 5948 0 0 0 626 1 0 0 25 0 4 0 520450421 303104000 12442 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=296000 CPUtime=6.29 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 5797 0 0 0 629 0 0 0 25 0 4 0 520450421 303104000 12442 33554432000 4194304 4650419 140736309923840 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=296000 CPUtime=6.28 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 4606 0 0 0 628 0 0 0 25 0 4 0 520450421 303104000 12442 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 296000

[startup+12.701 s]
/proc/loadavg: 2.79 2.69 3.11 9/184 2205
/proc/meminfo: memFree=27518980/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=300380 CPUtime=50.72 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 32786 0 0 0 5066 6 0 0 25 0 4 0 520450420 307589120 16626 33554432000 4194304 4650419 140736309923840 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 75095 16626 395 112 0 70060 0
[pid=2193/tid=2194] ppid=2191 vsize=300380 CPUtime=12.63 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 8685 0 0 0 1262 1 0 0 25 0 4 0 520450421 307589120 16626 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=300380 CPUtime=12.69 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 8203 0 0 0 1268 1 0 0 25 0 4 0 520450421 307589120 16626 33554432000 4194304 4650419 140736309923840 18446744073709551615 4314873 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=300380 CPUtime=12.68 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 5816 0 0 0 1267 1 0 0 25 0 4 0 520450421 307589120 16626 33554432000 4194304 4650419 140736309923840 18446744073709551615 4363311 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 300380

[startup+25.5007 s]
/proc/loadavg: 3.94 2.95 3.19 9/184 2206
/proc/meminfo: memFree=27471224/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=301164 CPUtime=101.84 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 49952 0 0 0 10174 10 0 0 25 0 4 0 520450420 308391936 22015 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 75291 22015 395 112 0 70256 0
[pid=2193/tid=2194] ppid=2191 vsize=301164 CPUtime=25.36 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 13692 0 0 0 2534 2 0 0 25 0 4 0 520450421 308391936 22015 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=301164 CPUtime=25.49 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 12908 0 0 0 2547 2 0 0 25 0 4 0 520450421 308391936 22015 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=301164 CPUtime=25.47 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 8521 0 0 0 2546 1 0 0 25 0 4 0 520450421 308391936 22015 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 301164

[startup+51.1011 s]
/proc/loadavg: 5.32 3.35 3.32 9/184 2206
/proc/meminfo: memFree=27426152/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=310948 CPUtime=204.11 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 76803 0 0 0 20393 18 0 0 25 0 4 0 520450420 318410752 26693 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 77737 26693 395 112 0 72702 0
[pid=2193/tid=2194] ppid=2191 vsize=310948 CPUtime=50.82 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 22242 0 0 0 5078 4 0 0 25 0 4 0 520450421 318410752 26693 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=310948 CPUtime=51.09 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 19374 0 0 0 5105 4 0 0 25 0 4 0 520450421 318410752 26693 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=310948 CPUtime=51.07 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 13430 0 0 0 5104 3 0 0 25 0 4 0 520450421 318410752 26693 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 310948

[startup+102.301 s]
/proc/loadavg: 6.93 4.13 3.58 9/184 2208
/proc/meminfo: memFree=27374508/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=370504 CPUtime=408.63 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 120441 0 0 0 40831 32 0 0 25 0 4 0 520450420 379396096 32741 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 92626 32741 395 112 0 87591 0
[pid=2193/tid=2194] ppid=2191 vsize=370504 CPUtime=101.74 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 33370 0 0 0 10167 7 0 0 25 0 4 0 520450421 379396096 32741 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=370504 CPUtime=102.29 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 30937 0 0 0 10221 8 0 0 25 0 4 0 520450421 379396096 32741 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=370504 CPUtime=102.27 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 22197 0 0 0 10221 6 0 0 25 0 4 0 520450421 379396096 32741 33554432000 4194304 4650419 140736309923840 18446744073709551615 4438402 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 370504

[startup+162.301 s]

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

[pid=2193] ppid=2191 vsize=486928 CPUtime=2565.7 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 379174 0 0 0 256437 133 0 0 25 0 4 0 520450420 498614272 76332 33554432000 4194304 4650419 140736309923840 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 121732 76332 395 112 0 116697 0
[pid=2193/tid=2194] ppid=2191 vsize=486928 CPUtime=638.77 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 95795 0 0 0 63848 29 0 0 25 0 4 0 520450421 498614272 76332 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=486928 CPUtime=642.31 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 107388 0 0 0 64190 41 0 0 25 0 4 0 520450421 498614272 76332 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=486928 CPUtime=642.28 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 65542 0 0 0 64205 23 0 0 25 0 4 0 520450421 498614272 76332 33554432000 4194304 4650419 140736309923840 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 486928

[startup+702.3 s]
/proc/loadavg: 8.06 7.53 5.69 9/184 2224
/proc/meminfo: memFree=27068100/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=558324 CPUtime=2805.37 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 400797 0 0 0 280396 141 0 0 25 0 4 0 520450420 571723776 78076 33554432000 4194304 4650419 140736309923840 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 139581 78076 395 112 0 134546 0
[pid=2193/tid=2194] ppid=2191 vsize=558324 CPUtime=698.44 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 101160 0 0 0 69813 31 0 0 25 0 4 0 520450421 571723776 78076 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=558324 CPUtime=702.31 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 113518 0 0 0 70187 44 0 0 25 0 4 0 520450421 571723776 78076 33554432000 4194304 4650419 140736309923840 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=558324 CPUtime=702.28 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 68669 0 0 0 70204 24 0 0 25 0 4 0 520450421 571723776 78076 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 558324

[startup+762.3 s]
/proc/loadavg: 8.12 7.65 5.86 9/184 2234
/proc/meminfo: memFree=27042052/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=558772 CPUtime=3045.03 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 421541 0 0 0 304354 149 0 0 25 0 4 0 520450420 572182528 83483 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 139693 83483 395 112 0 134658 0
[pid=2193/tid=2194] ppid=2191 vsize=558772 CPUtime=758.1 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 107025 0 0 0 75778 32 0 0 25 0 4 0 520450421 572182528 83483 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=558772 CPUtime=762.29 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 118550 0 0 0 76183 46 0 0 25 0 4 0 520450421 572182528 83483 33554432000 4194304 4650419 140736309923840 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=558772 CPUtime=762.29 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 72210 0 0 0 76203 26 0 0 25 0 4 0 520450421 572182528 83483 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 558772

[startup+822.3 s]
/proc/loadavg: 8.12 7.72 5.98 9/184 2236
/proc/meminfo: memFree=27022568/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=571516 CPUtime=3284.7 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 440067 0 0 0 328313 157 0 0 25 0 4 0 520450420 585232384 81477 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 142879 81477 395 112 0 137844 0
[pid=2193/tid=2194] ppid=2191 vsize=571516 CPUtime=817.78 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 110207 0 0 0 81744 34 0 0 25 0 4 0 520450421 585232384 81477 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=571516 CPUtime=822.3 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 124317 0 0 0 82181 49 0 0 25 0 4 0 520450421 585232384 81477 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=571516 CPUtime=822.29 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 74506 0 0 0 82202 27 0 0 25 0 4 0 520450421 585232384 81477 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 571516

[startup+882.301 s]
/proc/loadavg: 8.15 7.80 6.13 9/184 2238
/proc/meminfo: memFree=27013612/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=546796 CPUtime=3524.38 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 463269 0 0 0 352271 167 0 0 25 0 4 0 520450420 559919104 81362 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 136699 81362 395 112 0 131664 0
[pid=2193/tid=2194] ppid=2191 vsize=546796 CPUtime=877.45 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 117305 0 0 0 87708 37 0 0 25 0 4 0 520450421 559919104 81362 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=546796 CPUtime=882.3 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 130253 0 0 0 88178 52 0 0 25 0 4 0 520450421 559919104 81362 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=546796 CPUtime=882.29 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 78740 0 0 0 88201 28 0 0 25 0 4 0 520450421 559919104 81362 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 546796

[startup+942.301 s]
/proc/loadavg: 8.10 7.85 6.24 11/185 2242
/proc/meminfo: memFree=26967308/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=578708 CPUtime=3764.06 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 487012 0 0 0 376230 176 0 0 25 0 4 0 520450420 592596992 82268 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 144677 82268 395 112 0 139642 0
[pid=2193/tid=2194] ppid=2191 vsize=578708 CPUtime=937.12 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 124119 0 0 0 93672 40 0 0 25 0 4 0 520450421 592596992 82268 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=578708 CPUtime=942.3 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 136810 0 0 0 94177 53 0 0 25 0 4 0 520450421 592596992 82268 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=578708 CPUtime=942.29 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 82901 0 0 0 94200 29 0 0 25 0 4 0 520450421 592596992 82268 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 578708

[startup+1002.3 s]
/proc/loadavg: 8.23 7.96 6.38 9/184 2244
/proc/meminfo: memFree=26960992/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=566156 CPUtime=4003.72 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 508359 0 0 0 400186 186 0 0 25 0 4 0 520450420 579743744 83344 33554432000 4194304 4650419 140736309923840 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 141539 83344 395 112 0 136504 0
[pid=2193/tid=2194] ppid=2191 vsize=566156 CPUtime=996.78 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 129812 0 0 0 99636 42 0 0 25 0 4 0 520450421 579743744 83344 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=566156 CPUtime=1002.3 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 142678 0 0 0 100174 56 0 0 25 0 4 0 520450421 579743744 83344 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=566156 CPUtime=1002.3 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 86456 0 0 0 100199 31 0 0 25 0 4 0 520450421 579743744 83344 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 566156

[startup+1062.3 s]
/proc/loadavg: 8.08 7.96 6.48 9/184 2245
/proc/meminfo: memFree=26969128/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=574316 CPUtime=4243.41 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 525575 0 0 0 424146 195 0 0 25 0 4 0 520450420 588099584 86665 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 143579 86665 395 112 0 138544 0
[pid=2193/tid=2194] ppid=2191 vsize=574316 CPUtime=1056.45 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 133558 0 0 0 105601 44 0 0 25 0 4 0 520450421 588099584 86665 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=574316 CPUtime=1062.31 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 145083 0 0 0 106172 59 0 0 25 0 4 0 520450421 588099584 86665 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=574316 CPUtime=1062.31 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 92744 0 0 0 106197 34 0 0 25 0 4 0 520450421 588099584 86665 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 574316

[startup+1122.3 s]
/proc/loadavg: 8.12 8.00 6.58 9/184 2247
/proc/meminfo: memFree=26946408/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=587396 CPUtime=4483.07 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 543541 0 0 0 448104 203 0 0 25 0 4 0 520450420 601493504 89641 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 146849 89641 395 112 0 141814 0
[pid=2193/tid=2194] ppid=2191 vsize=587396 CPUtime=1116.12 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 137247 0 0 0 111567 45 0 0 25 0 4 0 520450421 601493504 89641 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=587396 CPUtime=1122.31 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 149372 0 0 0 112170 61 0 0 25 0 4 0 520450421 601493504 89641 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=587396 CPUtime=1122.3 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 96832 0 0 0 112194 36 0 0 25 0 4 0 520450421 601493504 89641 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 587396

[startup+1182.31 s]
/proc/loadavg: 8.09 8.01 6.67 9/184 2249
/proc/meminfo: memFree=26913404/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=574552 CPUtime=4722.77 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 564318 0 0 0 472065 212 0 0 25 0 4 0 520450420 588341248 92169 33554432000 4194304 4650419 140736309923840 18446744073709551615 4329453 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 143638 92169 395 112 0 138603 0
[pid=2193/tid=2194] ppid=2191 vsize=574552 CPUtime=1175.79 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 143515 0 0 0 117531 48 0 0 25 0 4 0 520450421 588341248 92169 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=574552 CPUtime=1182.31 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 156596 0 0 0 118169 62 0 0 25 0 4 0 520450421 588341248 92169 33554432000 4194304 4650419 140736309923840 18446744073709551615 4304288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=574552 CPUtime=1182.3 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 98274 0 0 0 118194 36 0 0 25 0 4 0 520450421 588341248 92169 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 574552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.01 6.70 9/184 2249
/proc/meminfo: memFree=26896648/32951124 swapFree=67111356/67111528
[pid=2193] ppid=2191 vsize=574552 CPUtime=4800.25 cores=0,2,4,6
/proc/2193/stat : 2193 (strangenight1-m) R 2191 2193 1030 0 -1 4202496 569114 0 0 0 479811 214 0 0 25 0 4 0 520450420 588341248 93705 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364497 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2193/statm: 143638 93705 395 112 0 138603 0
[pid=2193/tid=2194] ppid=2191 vsize=574552 CPUtime=1195.08 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 145851 0 0 0 119459 49 0 0 25 0 4 0 520450421 588341248 93706 33554432000 4194304 4650419 140736309923840 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2193/tid=2195] ppid=2191 vsize=574552 CPUtime=1201.71 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 157756 0 0 0 120108 63 0 0 25 0 4 0 520450421 588341248 93706 33554432000 4194304 4650419 140736309923840 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2193/tid=2196] ppid=2191 vsize=574552 CPUtime=1201.7 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (strangenight1-m) R 2191 2193 1030 0 -1 4202560 98274 0 0 0 120134 36 0 0 25 0 4 0 520450421 588341248 93706 33554432000 4194304 4650419 140736309923840 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 574552

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.31
CPU user time (s): 4798.14
CPU system time (s): 2.16567
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 639132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.14
system time used= 2.16567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569115
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= 397
involuntary context switches= 21288

runsolver used 1.9857 second user time and 4.55531 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 16:48:47
IDJOB=3175109
IDBENCH=82727
IDSOLVER=1588
FILE ID=node137/3175109-1304088527
RUNJOBID= node137-1304088527-2178
PBS_JOBID= 13170515
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= 420c3b1966635ea800a6b2af1a449f73
RANDOM SEED=288499026

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27647876 kB
Buffers:        915376 kB
Cached:        3859572 kB
SwapCached:         56 kB
Active:         335944 kB
Inactive:      4501756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27647876 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12432 kB
Writeback:           0 kB
AnonPages:       62548 kB
Mapped:          14484 kB
Slab:           402020 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186768 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= 71608 MiB
End job on node137 at 2011-04-29 17:08:51