Trace number 3368941

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)SAT 2849.28 714.513

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf
MD5SUM74ebf62a9b67d118d692e671bdb08f4e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011998
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3368941-1305406993.cnf'
0.00/0.00	c -- header says num vars:            350
0.00/0.00	c -- header says num clauses:        1491
0.00/0.00	c -- clauses added:            0 learnts,         1491 normals,            0 xors
0.00/0.00	c -- vars added        350
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       350      1491         0         0      4473         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1491/1491 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    350 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     164 undec:      40 neg:     146
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       340      1474         0         0      4475         0   no data   no data  --
0.00/0.08	c Decided on static restart strategy
0.40/0.13	c  N st     8      4913       340      1474         0      4790      4475     83036   no data   no data  --
1.17/0.33	c  N st    10     11295       340      1474         0      4432      4475     60154   no data   no data  --
1.97/0.57	c  N st    11     17038       340      1474         0      9933      4475    151171   no data   no data  --
3.56/0.94	c  F st    12     25000       340      1474         0     12194      4475    196785   no data   no data  --
3.56/0.94	c  N st    12     25000       340      1474         0     12194      4475    196785   no data   no data  --
4.38/1.16	c Decided on static restart strategy
4.38/1.16	c  N st    18     30000       340      1474         0     10525      4475    145756   no data   no data  --
4.38/1.16	c  S st    18     30000       340      1474         0     10525      4475    145756   no data   no data  --
4.38/1.19	c  S st    18     30507       340      1474         0     11029      4475    154807   no data   no data  --
4.38/1.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.38/1.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.38/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
4.38/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.34	c lits-rem:       299  cl-subs:     1487  v-elim:      0  v-fix:    0  time:  0.55 s
5.16/1.35	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.03
5.16/1.35	c calculated reachability. Time: 0.00
5.16/1.35	c  N st    18     30507       340      1474         0      9542      4475    131684   no data   no data  --
6.35/1.68	c  N st    20     37618       340      1474         0      8836      4475    108103   no data   no data  --
7.95/2.02	c  N st    21     44020       340      1474         0     15036      4475    217794   no data   no data  --
8.35/2.14	c  S st    22     45760       340      1474         0     16718      4475    246387   no data   no data  --
8.35/2.19	c  S st    22     46266       340      1474         0     17222      4475    255261   no data   no data  --
8.35/2.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.35/2.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.35/2.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.35/2.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.35/2.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.35/2.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
8.35/2.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.34/2.65	c lits-rem:       400  cl-subs:     1536  v-elim:      0  v-fix:    0  time:  1.80 s
10.34/2.65	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
10.34/2.65	c vivif2 --  cl tried    15686 cl shrink        0 lits rem          0 time: 0.01
10.34/2.67	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.05
10.34/2.67	c calculated reachability. Time: 0.00
10.34/2.67	c  N st    22     46266       340      1474         0     15686      4475    229016   no data   no data  --
13.92/3.53	c  N st    23     60664       340      1474         0     11330      4475    133244   no data   no data  --
15.93/4.01	c  N st    24     69400       340      1474         0     19702      4475    281449   no data   no data  --
15.93/4.01	c  S st    24     69400       340      1474         0     19702      4475    281449   no data   no data  --
15.93/4.07	c  S st    24     69903       340      1474         0     20203      4475    290604   no data   no data  --
15.93/4.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.93/4.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
15.93/4.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.71/4.71	c lits-rem:       372  cl-subs:     2318  v-elim:      0  v-fix:    0  time:  2.51 s
18.71/4.71	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
18.71/4.72	c vivif2 --  cl tried    17885 cl shrink        0 lits rem          0 time: 0.01
18.71/4.73	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.05
18.71/4.73	c calculated reachability. Time: 0.00
18.71/4.73	c  N st    24     69903       340      1474         0     17885      4475    252109   no data   no data  --
23.10/5.80	c  F st    25     87501       340      1474         0     12783      4475    145778   no data   no data  --
23.10/5.80	c  N st    25     87501       340      1474         0     12783      4475    145778   no data   no data  --
24.30/6.11	c Decided on static restart strategy
25.10/6.32	c  N st    32     95543       340      1474         0     20608      4475    289747   no data   no data  --
27.89/7.00	c  N st    34    104854       340      1474         0     17072      4475    205386   no data   no data  --
27.89/7.00	c  S st    34    104854       340      1474         0     17072      4475    205386   no data   no data  --
27.89/7.05	c  S st    34    105362       340      1474         0     17578      4475    214897   no data   no data  --
27.89/7.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.89/7.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.89/7.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.89/7.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.89/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
27.89/7.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.08/7.37	c lits-rem:       211  cl-subs:      891  v-elim:      0  v-fix:    0  time:  1.25 s
29.08/7.37	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
29.08/7.37	c vivif2 --  cl tried    16687 cl shrink        0 lits rem          0 time: 0.01
29.08/7.38	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.04
29.08/7.38	c calculated reachability. Time: 0.00
29.08/7.38	c  N st    34    105362       340      1474         0     16687      4475    201523   no data   no data  --
32.28/8.13	c  N st    35    114961       340      1474         0     25914      4475    363865   no data   no data  --
36.66/9.29	c  N st    36    129359       340      1474         0     26317      4475    368741   no data   no data  --
44.29/11.12	c  N st    37    150956       340      1474         0     17276      4475    186683   no data   no data  --
46.24/11.61	c  S st    38    158044       340      1474         0     24159      4475    313262   no data   no data  --
46.24/11.67	c  S st    38    158549       340      1474         0     24661      4475    323117   no data   no data  --
46.24/11.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.24/11.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.24/11.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
46.24/11.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.24/11.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.24/11.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
46.24/11.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.43/12.49	c lits-rem:       383  cl-subs:     1253  v-elim:      0  v-fix:    0  time:  3.18 s
49.43/12.49	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
49.43/12.49	c vivif2 --  cl tried    23408 cl shrink        0 lits rem          0 time: 0.01
49.83/12.51	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.07
49.83/12.51	c calculated reachability. Time: 0.00
49.83/12.51	c  N st    38    158549       340      1474         0     23408      4475    301269   no data   no data  --
66.97/16.82	c  N st    39    207137       340      1474         0     36409      4475    522675   no data   no data  --
77.76/19.54	c  N st    40    237824       340      1474         0     28346      4475    335609   no data   no data  --
77.76/19.54	c  S st    40    237824       340      1474         0     28346      4475    335609   no data   no data  --
78.16/19.61	c  S st    40    238326       340      1474         0     28847      4475    344911   no data   no data  --
78.16/19.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.16/19.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.16/19.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
78.16/19.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.16/19.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.16/19.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
78.16/19.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
82.14/20.60	c lits-rem:       612  cl-subs:     2430  v-elim:      0  v-fix:    0  time:  3.87 s
82.14/20.60	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
82.14/20.61	c vivif2 --  cl tried    26417 cl shrink        0 lits rem          0 time: 0.02
82.14/20.63	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.08
82.14/20.63	c calculated reachability. Time: 0.00
82.14/20.63	c  N st    40    238326       340      1474         0     26417      4475    310979   no data   no data  --
108.06/27.16	c  F st    41    306250       340      1474         0     28496      4475    314296   no data   no data  --
108.06/27.16	c  N st    41    306250       340      1474         0     28496      4475    314296   no data   no data  --
110.10/27.67	c Decided on static restart strategy
120.43/30.27	c  N st    51    334553       340      1474         0     32544      4475    372263   no data   no data  --
130.80/32.86	c  N st    53    357489       340      1474         0     30470      4475    331896   no data   no data  --
130.80/32.86	c  S st    53    357489       340      1474         0     30470      4475    331896   no data   no data  --
131.20/32.94	c  S st    53    357992       340      1474         0     30972      4475    340967   no data   no data  --
131.20/32.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.20/32.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
131.20/32.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
131.20/32.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.20/32.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.20/32.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
131.20/32.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.19/33.95	c lits-rem:       410  cl-subs:     1725  v-elim:      0  v-fix:    0  time:  3.96 s
135.19/33.95	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
135.19/33.95	c vivif2 --  cl tried    29247 cl shrink        0 lits rem          0 time: 0.02
135.19/33.97	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.08
135.19/33.97	c calculated reachability. Time: 0.00
135.19/33.97	c  N st    53    357992       340      1474         0     29247      4475    313544   no data   no data  --
150.34/37.73	c  N st    54    390384       340      1474         0     35321      4475    399659   no data   no data  --
175.08/44.00	c  N st    55    438974       340      1474         0     29166      4475    280511   no data   no data  --
211.77/53.11	c  N st    56    511857       340      1474         0     42346      4475    490405   no data   no data  --
225.33/56.58	c  N st    57    536991       340      1474         0     36964      4475    394761   no data   no data  --
225.33/56.58	c  S st    57    536991       340      1474         0     36964      4475    394761   no data   no data  --
225.73/56.67	c  S st    57    537493       340      1474         0     37463      4475    404555   no data   no data  --
225.73/56.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
225.73/56.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
225.73/56.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
225.73/56.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
225.73/56.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
225.73/56.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
225.73/56.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
230.92/57.99	c lits-rem:       692  cl-subs:     2573  v-elim:      0  v-fix:    0  time:  5.16 s
230.92/57.99	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
230.92/57.99	c vivif2 --  cl tried    34890 cl shrink        0 lits rem          0 time: 0.02
231.32/58.02	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.11
231.32/58.02	c calculated reachability. Time: 0.00
231.32/58.02	c  N st    57    537493       340      1474         0     34890      4475    367283   no data   no data  --
321.12/80.62	c  N st    58    701477       340      1474         0     63863      4475    831400   no data   no data  --
387.29/97.32	c  N st    59    806240       340      1474         0     57784      4475    672674   no data   no data  --
387.29/97.32	c  S st    59    806240       340      1474         0     57784      4475    672674   no data   no data  --
387.69/97.49	c  S st    59    806743       340      1474         0     58284      4475    682659   no data   no data  --
387.69/97.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
387.69/97.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
388.09/97.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
388.09/97.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
388.09/97.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
388.09/97.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
388.09/97.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
398.48/100.12	c lits-rem:      1901  cl-subs:     6402  v-elim:      0  v-fix:    0  time: 10.32 s
398.48/100.12	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
398.48/100.13	c vivif2 --  cl tried    51882 cl shrink        0 lits rem          0 time: 0.04
398.48/100.19	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.24
398.48/100.19	c calculated reachability. Time: 0.00
398.48/100.19	c  N st    59    806743       340      1474         0     51882      4475    594236   no data   no data  --
568.79/142.87	c  F st    60   1071877       340      1474         0     67371      4475    803066   no data   no data  --
568.79/142.87	c  N st    60   1071877       340      1474         0     67371      4475    803066   no data   no data  --
573.57/144.05	c Decided on static restart strategy
593.11/149.00	c  N st    70   1100183       340      1474         0     51415      4475    504432   no data   no data  --
620.25/155.72	c  N st    72   1136176       340      1474         0     85841      4475   1082711   no data   no data  --
642.57/161.32	c  N st    73   1168568       340      1474         0     72917      4475    898242   no data   no data  --
673.29/169.05	c  N st    74   1210115       340      1474         0     67675      4475    797092   no data   no data  --
673.29/169.05	c  S st    74   1210115       340      1474         0     67675      4475    797092   no data   no data  --
674.09/169.27	c  S st    74   1210623       340      1474         0     68180      4475    806897   no data   no data  --
674.09/169.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
674.09/169.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
674.49/169.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
674.49/169.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
674.49/169.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
674.49/169.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
674.49/169.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
689.24/173.09	c lits-rem:      2226  cl-subs:     6175  v-elim:      0  v-fix:    0  time: 15.00 s
689.24/173.09	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
689.64/173.10	c vivif2 --  cl tried    62005 cl shrink        0 lits rem          0 time: 0.05
689.64/173.19	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.33
689.64/173.19	c calculated reachability. Time: 0.00
689.64/173.19	c  N st    74   1210623       340      1474         0     62005      4475    706688   no data   no data  --
747.88/187.70	c  N st    75   1283507       340      1474         0     85828      4475   1049377   no data   no data  --
833.64/209.22	c  N st    76   1392832       340      1474         0     95637      4475   1208590   no data   no data  --
969.32/243.28	c  N st    77   1556816       340      1474         0     51733      4475    438840   no data   no data  --
1091.34/273.91	c  N st    78   1710623       340      1474         0     92047      4475   1050922   no data   no data  --
1091.76/273.91	c  S st    78   1710623       340      1474         0     92047      4475   1050922   no data   no data  --
1092.92/274.24	c  S st    78   1711124       340      1474         0     92545      4475   1059995   no data   no data  --
1092.92/274.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1092.92/274.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1092.92/274.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1093.32/274.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1093.32/274.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1093.32/274.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
1093.32/274.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1120.05/281.02	c lits-rem:       285  cl-subs:    19850  v-elim:      0  v-fix:    0  time: 26.73 s
1120.05/281.02	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
1120.05/281.03	c vivif2 --  cl tried    72695 cl shrink        0 lits rem          0 time: 0.04
1120.45/281.11	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.34
1120.45/281.12	c calculated reachability. Time: 0.00
1120.45/281.12	c  N st    78   1711124       340      1474         0     72695      4475    785613   no data   no data  --
1424.42/357.35	c  N st    79   2080088       340      1474         0     85421      4475    935910   no data   no data  --
1537.69/385.71	c  N st    80   2211126       340      1474         0     89272      4475   1022294   no data   no data  --
1537.69/385.71	c  S st    80   2211126       340      1474         0     89272      4475   1022294   no data   no data  --
1538.89/386.03	c  S st    80   2211629       340      1474         0     89772      4475   1031971   no data   no data  --
1538.89/386.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1538.89/386.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1538.89/386.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1539.31/386.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1539.31/386.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1539.31/386.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
1539.31/386.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1557.28/390.68	c lits-rem:      1027  cl-subs:     9620  v-elim:      0  v-fix:    0  time: 18.21 s
1557.28/390.68	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
1557.28/390.69	c vivif2 --  cl tried    80152 cl shrink        0 lits rem          0 time: 0.05
1557.63/390.79	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.39
1557.63/390.79	c calculated reachability. Time: 0.00
1557.63/390.79	c  N st    80   2211629       340      1474         0     80152      4475    885023   no data   no data  --
2025.16/507.98	c  N st    81   2711631       340      1474         1    103119      4475   1112580   no data   no data  --
2025.16/507.98	c  S st    81   2711631       340      1474         1    103119      4475   1112580   no data   no data  --
2026.79/508.33	c  S st    81   2712133       340      1474         2    103618      4475   1121482   no data   no data  --
2026.79/508.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2026.79/508.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2026.79/508.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.17
2027.14/508.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2042.30/512.22	c subs with bin:    15836  lits-rem:      1828  v-fix:    0  time: 15.17 s
2042.30/512.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
2042.30/512.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2051.09/514.44	c lits-rem:       413  cl-subs:     4203  v-elim:      0  v-fix:    0  time:  8.85 s
2051.09/514.44	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
2051.09/514.47	c vivif2 --  cl tried    83579 cl shrink     3117 lits rem       3117 time: 0.14
2051.49/514.57	c asymm  cl-useful: 0/1474/1474 lits-rem:0 time: 0.39
2051.49/514.57	c calculated reachability. Time: 0.00
2051.49/514.57	c  N st    81   2712133       340      1474         2     83579      4475    857260   no data   no data  --
2426.83/608.66	c Finding binary XORs  T:     0.00 s  found:       0
2546.51/638.68	c  N st    82   3212134       339      1454        14    125898      4437   1530701   no data   no data  --
2546.51/638.68	c  S st    82   3212134       339      1454        14    125898      4437   1530701   no data   no data  --
2548.52/639.18	c  S st    82   3212638       339      1454        15    126398      4437   1539890   no data   no data  --
2548.52/639.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2548.52/639.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2548.94/639.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
2549.30/639.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2554.09/640.58	c subs with bin:     3091  lits-rem:     11308  v-fix:    0  time:  5.12 s
2554.09/640.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    339 time:  0.00 s
2554.09/640.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2603.55/652.96	c lits-rem:      1313  cl-subs:    21883  v-elim:      1  v-fix:    0  time: 49.35 s
2603.55/652.96	c vivif2 --  cl tried     1453 cl shrink        0 lits rem          0 time: 0.00
2603.55/652.98	c vivif2 --  cl tried   101424 cl shrink        0 lits rem          0 time: 0.08
2604.35/653.12	c asymm  cl-useful: 0/1453/1453 lits-rem:0 time: 0.59
2604.35/653.13	c calculated reachability. Time: 0.00
2604.35/653.13	c  N st    82   3212638       338      1453        15    101424      4445   1192719   no data   no data  --
2848.87/714.49	c Following stats are for *FIRST FINISHED THREAD ONLY*
2848.87/714.49	c num threads              : 4          
2848.87/714.49	c restarts                 : 82         
2848.87/714.49	c dynamic restarts         : 0          
2848.87/714.49	c static restarts          : 82         
2848.87/714.49	c full restarts            : 4          
2848.87/714.49	c total simplify time      : 0.70       
2848.87/714.49	c learnts DL2              : 0          
2848.87/714.49	c learnts size 2           : 46         
2848.87/714.49	c learnts size 1           : 2           (0.57      % of vars)
2848.87/714.49	c filedLit time            : 1.17        (0.04      % time)
2848.87/714.49	c v-elim SatELite          : 14          (4.00      % vars)
2848.87/714.49	c SatELite time            : 173.67      (6.10      % time)
2848.87/714.49	c v-elim xor               : 0           (0.00      % vars)
2848.87/714.49	c xor elim time            : 0.14        (0.01      % time)
2848.87/714.49	c num binary xor trees     : 0          
2848.87/714.49	c binxor trees' crown      : 0           (nan       leafs/tree)
2848.87/714.49	c bin xor find time        : 0.00       
2848.87/714.49	c OTF clause improved      : 149172      (0.05      clauses/conflict)
2848.87/714.49	c OTF impr. size diff      : 156277      (1.05       lits/clause)
2848.87/714.49	c OTF cl watch-shrink      : 798622      (0.24      clauses/conflict)
2848.87/714.49	c OTF cl watch-sh-lit      : 1009204     (1.26       lits/clause)
2848.87/714.49	c tried to recurMin cls    : 438228      (13.27      % of conflicts)
2848.87/714.49	c updated cache            : 7387        (0.02       lits/tried recurMin)
2848.87/714.49	c unit cls received        : 2           (100.00    % of units)
2848.87/714.49	c unit cls sent            : 0           (0.00      % of units)
2848.87/714.49	c bin cls received         : 22         
2848.87/714.49	c bin cls sent             : 2          
2848.87/714.49	c clauses over max glue    : 0           (0.00      % of all clauses)
2848.87/714.49	c conflicts                : 3302732     (1159.66   / sec)
2848.87/714.49	c decisions                : 3801651     (0.50      % random)
2848.87/714.49	c bogo-props               : 92568452285 (32502887.49 / sec)
2848.87/714.49	c conflict literals        : 57066923    (29.87     % deleted)
2848.87/714.49	c Memory used              : 527.65      MB
2848.87/714.49	c single-thread CPU time   : 2848.01     s
2848.87/714.49	c all-threads sum CPU time : 2848.01     s
2848.87/714.49	s SATISFIABLE
2848.87/714.49	v -1 2 3 -4 5 -6 7 8 -9 10 11 -12 13 14 -15 16 -17 18 -19 -20 21 22 23 24 25 26 27 28 29 -30 -31 -32 33 34 35 -36 37 -38 -39 -40 -41 -42 -43 44 45 -46 -47 -48 -49 -50 51 52 53 -54 55 -56 -57 58 -59 60 61 -62 -63 -64 65 -66 67 68 -69 -70 71 -72 73 -74 75 76 77 -78 -79 80 -81 -82 -83 84 -85 -86 -87 88 -89 90 91 -92 93 94 95 96 -97 -98 99 -100 -101 102 -103 104 -105 -106 -107 108 109 110 111 112 -113 -114 -115 116 117 118 -119 120 -121 -122 123 -124 -125 126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 137 138 -139 140 141 142 143 144 145 -146 147 148 149 -150 151 -152 153 154 -155 156 157 -158 159 160 161 162 -163 164 165 166 -167 -168 169 -170 -171 172 173 174 -175 176 177 178 -179 180 -181 182 183 184 185 -186 187 188 -189 -190 191 192 193 -194 195 196 -197 198 199 200 -201 -202 203 204 -205 206 -207 -208 -209 -210 211 212 -213 214 215 -216 -217 -218 219 -220 -221 -222 -223 -224 -225 -226 -227 228 -229 230 -231 -232 233 234 -235 236 -237 -238 239 240 241 -242 -243 244 245 246 -247 -248 -249 250 251 252 -253 254 255 -256 -257 258 259 -260 -261 -262 -263 -264 265 266 -267 268 269 -270 271 272 -273 -274 275 -276 277 278 279 -280 281 -282 -283 -284 285 -286 287 288 -289 -290 291 292 293 -294 -295 296 -297 -298 -299 300 -301 302 303 304 305 306 307 -308 309 -310 -311 -312 313 314 315 316 317 318 -319 320 -321 322 -323 -324 325 -326 327 328 329 -330 -331 332 333 -334 -335 336 -337 -338 339 -340 -341 342 343 344 -345 -346 347 -348 349 350 0

Verifier Data 

OK

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-3368941-1305406993/watcher-3368941-1305406993 -o /tmp/evaluation-result-3368941-1305406993/solver-3368941-1305406993 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368941-1305406993.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.61 8.04 8.06 6/342 13209
/proc/meminfo: memFree=18161756/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 652297252 52465664 356 33554432000 4194304 4650419 140735568585344 18446744073709551615 47741162068448 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 12809 356 306 112 0 7774 0
[pid=13209/tid=13210] ppid=13207 vsize=273648 CPUtime=0 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 34 0 0 0 0 0 0 0 25 0 4 0 652297252 280215552 802 33554432000 4194304 4650419 140735568585344 18446744073709551615 228244009669 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=273648 CPUtime=0 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 187 0 0 0 0 0 0 0 25 0 4 0 652297252 280215552 802 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=273648 CPUtime=0 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 83 0 0 0 0 0 0 0 25 0 4 0 652297252 280215552 802 33554432000 4194304 4650419 140735568585344 18446744073709551615 4329742 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.109094 s]
/proc/loadavg: 7.61 8.04 8.06 6/342 13209
/proc/meminfo: memFree=18161756/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=282196 CPUtime=0.4 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 1553 0 0 0 40 0 0 0 25 0 4 0 652297252 288968704 1446 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363444 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 70549 1446 391 112 0 65514 0
[pid=13209/tid=13210] ppid=13207 vsize=282196 CPUtime=0.09 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 288 0 0 0 9 0 0 0 25 0 4 0 652297252 288968704 1446 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=282196 CPUtime=0.1 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 323 0 0 0 10 0 0 0 25 0 4 0 652297252 288968704 1446 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=282196 CPUtime=0.1 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 219 0 0 0 10 0 0 0 25 0 4 0 652297252 288968704 1446 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282196

[startup+0.201079 s]
/proc/loadavg: 7.61 8.04 8.06 6/342 13209
/proc/meminfo: memFree=18161756/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=283128 CPUtime=0.77 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 2115 0 0 0 77 0 0 0 25 0 4 0 652297252 289923072 1567 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 70782 1567 393 112 0 65747 0
[pid=13209/tid=13210] ppid=13207 vsize=283128 CPUtime=0.18 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 425 0 0 0 18 0 0 0 25 0 4 0 652297252 289923072 1567 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=283128 CPUtime=0.19 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 463 0 0 0 19 0 0 0 25 0 4 0 652297252 289923072 1567 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=283128 CPUtime=0.19 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 362 0 0 0 19 0 0 0 25 0 4 0 652297252 289923072 1567 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283128

[startup+0.301061 s]
/proc/loadavg: 7.61 8.04 8.06 6/342 13209
/proc/meminfo: memFree=18161756/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=283284 CPUtime=1.17 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 2462 0 0 0 117 0 0 0 25 0 4 0 652297252 290082816 1914 33554432000 4194304 4650419 140735568585344 18446744073709551615 4360560 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 70821 1914 393 112 0 65786 0
[pid=13209/tid=13210] ppid=13207 vsize=283284 CPUtime=0.28 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 514 0 0 0 28 0 0 0 25 0 4 0 652297252 290082816 1914 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=283284 CPUtime=0.29 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 549 0 0 0 29 0 0 0 25 0 4 0 652297252 290082816 1914 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=283284 CPUtime=0.29 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 443 0 0 0 29 0 0 0 25 0 4 0 652297252 290082816 1914 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283284

[startup+0.700992 s]
/proc/loadavg: 7.61 8.04 8.06 6/342 13209
/proc/meminfo: memFree=18161756/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=284508 CPUtime=2.76 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 4310 0 0 0 276 0 0 0 25 0 4 0 652297252 291336192 2260 33554432000 4194304 4650419 140735568585344 18446744073709551615 4329578 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 71127 2260 393 112 0 66092 0
[pid=13209/tid=13210] ppid=13207 vsize=284508 CPUtime=0.68 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 993 0 0 0 68 0 0 0 25 0 4 0 652297252 291336192 2260 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=284508 CPUtime=0.68 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 1025 0 0 0 68 0 0 0 25 0 4 0 652297252 291336192 2260 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=284508 CPUtime=0.69 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 880 0 0 0 69 0 0 0 25 0 4 0 652297252 291336192 2260 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284508

[startup+1.50085 s]
/proc/loadavg: 7.61 8.04 8.06 9/346 13213
/proc/meminfo: memFree=18139032/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=285052 CPUtime=5.96 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 7552 0 0 0 595 1 0 0 25 0 4 0 652297252 291893248 3742 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 71263 3742 395 112 0 66228 0
[pid=13209/tid=13210] ppid=13207 vsize=285052 CPUtime=1.48 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 1658 0 0 0 148 0 0 0 25 0 4 0 652297252 291893248 3742 33554432000 4194304 4650419 140735568585344 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=285052 CPUtime=1.47 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 1695 0 0 0 147 0 0 0 25 0 4 0 652297252 291893248 3742 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=285052 CPUtime=1.49 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 1326 0 0 0 149 0 0 0 25 0 4 0 652297252 291893248 3742 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285052

[startup+3.10057 s]
/proc/loadavg: 7.61 8.04 8.06 9/346 13213
/proc/meminfo: memFree=18100964/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=294092 CPUtime=12.34 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 14703 0 0 0 1232 2 0 0 25 0 4 0 652297252 301150208 8932 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 73523 8932 395 112 0 68488 0
[pid=13209/tid=13210] ppid=13207 vsize=294092 CPUtime=3.08 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 3384 0 0 0 308 0 0 0 25 0 4 0 652297252 301150208 8932 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=294092 CPUtime=3.06 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 3727 0 0 0 306 0 0 0 25 0 4 0 652297252 301150208 8932 33554432000 4194304 4650419 140735568585344 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=294092 CPUtime=3.08 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 3069 0 0 0 308 0 0 0 25 0 4 0 652297252 301150208 8932 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 294092

[startup+6.30101 s]
/proc/loadavg: 7.72 8.05 8.07 9/346 13213
/proc/meminfo: memFree=18071056/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=312404 CPUtime=25.1 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 21510 0 0 0 2506 4 0 0 25 0 4 0 652297252 319901696 12376 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 78101 12376 395 112 0 73066 0
[pid=13209/tid=13210] ppid=13207 vsize=312404 CPUtime=6.28 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 5862 0 0 0 627 1 0 0 25 0 4 0 652297252 319901696 12376 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=312404 CPUtime=6.22 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 5838 0 0 0 621 1 0 0 25 0 4 0 652297252 319901696 12376 33554432000 4194304 4650419 140735568585344 18446744073709551615 4438168 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=312404 CPUtime=6.28 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 3576 0 0 0 628 0 0 0 25 0 4 0 652297252 319901696 12376 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 312404

[startup+12.7009 s]
/proc/loadavg: 7.82 8.07 8.07 9/346 13214
/proc/meminfo: memFree=18039920/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=313376 CPUtime=50.62 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 31859 0 0 0 5056 6 0 0 25 0 4 0 652297252 320897024 15534 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 78344 15534 395 112 0 73309 0
[pid=13209/tid=13210] ppid=13207 vsize=313376 CPUtime=12.68 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 9038 0 0 0 1266 2 0 0 25 0 4 0 652297252 320897024 15534 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=313376 CPUtime=12.55 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 8641 0 0 0 1253 2 0 0 25 0 4 0 652297252 320897024 15534 33554432000 4194304 4650419 140735568585344 18446744073709551615 4334208 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=313376 CPUtime=12.68 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 5004 0 0 0 1268 0 0 0 25 0 4 0 652297252 320897024 15534 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 313376

[startup+25.5007 s]
/proc/loadavg: 7.86 8.06 8.07 9/346 13214
/proc/meminfo: memFree=17997268/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=324968 CPUtime=101.67 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 48622 0 0 0 10157 10 0 0 25 0 4 0 652297252 332767232 20319 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 81242 20319 395 112 0 76207 0
[pid=13209/tid=13210] ppid=13207 vsize=324968 CPUtime=25.47 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 14330 0 0 0 2544 3 0 0 25 0 4 0 652297252 332767232 20319 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=324968 CPUtime=25.2 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 13642 0 0 0 2518 2 0 0 25 0 4 0 652297252 332767232 20320 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=324968 CPUtime=25.48 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 6537 0 0 0 2548 0 0 0 25 0 4 0 652297252 332767232 20320 33554432000 4194304 4650419 140735568585344 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 324968

[startup+51.1012 s]
/proc/loadavg: 7.91 8.06 8.07 9/346 13215
/proc/meminfo: memFree=17974864/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=325948 CPUtime=203.79 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 72650 0 0 0 20363 16 0 0 25 0 4 0 652297252 333770752 25016 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 81487 25016 395 112 0 76452 0
[pid=13209/tid=13210] ppid=13207 vsize=325948 CPUtime=51.06 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 22622 0 0 0 5102 4 0 0 25 0 4 0 652297252 333770752 25016 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=325948 CPUtime=50.52 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 21552 0 0 0 5048 4 0 0 25 0 4 0 652297252 333770752 25016 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=325948 CPUtime=51.09 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 7245 0 0 0 5108 1 0 0 25 0 4 0 652297252 333770752 25016 33554432000 4194304 4650419 140735568585344 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 325948

[startup+102.301 s]
/proc/loadavg: 8.24 8.12 8.09 9/346 13219
/proc/meminfo: memFree=17925680/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=327280 CPUtime=407.25 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 111322 0 0 0 40698 27 0 0 25 0 4 0 652297252 335134720 32426 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 81820 32426 395 112 0 76785 0
[pid=13209/tid=13210] ppid=13207 vsize=327280 CPUtime=101.48 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 34612 0 0 0 10140 8 0 0 25 0 4 0 652297252 335134720 32427 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=327280 CPUtime=101.18 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 32590 0 0 0 10110 8 0 0 25 0 4 0 652297252 335134720 32427 33554432000 4194304 4650419 140735568585344 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=327280 CPUtime=102.28 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 9144 0 0 0 10227 1 0 0 25 0 4 0 652297252 335134720 32427 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.25
Current children cumulated vsize (KiB) 327280

[startup+162.301 s]

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

/proc/13209/statm: 101577 65054 395 112 0 96542 0
[pid=13209/tid=13210] ppid=13207 vsize=406308 CPUtime=461.41 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 95767 0 0 0 46113 28 0 0 25 0 4 0 652297252 416059392 65054 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=406308 CPUtime=457.25 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 87449 0 0 0 45699 26 0 0 25 0 4 0 652297252 416059392 65054 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=406308 CPUtime=462.27 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 16668 0 0 0 46223 4 0 0 25 0 4 0 652297252 416059392 65054 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1843.25
Current children cumulated vsize (KiB) 406308

[startup+522.301 s]
/proc/loadavg: 8.13 8.11 8.09 9/346 13230
/proc/meminfo: memFree=17672548/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=418520 CPUtime=2082.59 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 315511 0 0 0 208163 96 0 0 25 0 4 0 652297252 428564480 62709 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 104630 62709 395 112 0 99595 0
[pid=13209/tid=13210] ppid=13207 vsize=418520 CPUtime=521.39 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 104040 0 0 0 52109 30 0 0 25 0 4 0 652297252 428564480 62709 33554432000 4194304 4650419 140735568585344 18446744073709551615 4333426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=418520 CPUtime=516.6 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 92443 0 0 0 51633 27 0 0 25 0 4 0 652297252 428564480 62709 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=418520 CPUtime=522.26 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 16836 0 0 0 52222 4 0 0 25 0 4 0 652297252 428564480 62709 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2082.59
Current children cumulated vsize (KiB) 418520

[startup+582.301 s]
/proc/loadavg: 8.11 8.11 8.09 9/346 13232
/proc/meminfo: memFree=17659076/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=484368 CPUtime=2321.93 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 336797 0 0 0 232089 104 0 0 25 0 4 0 652297252 495992832 64087 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 121092 64087 395 112 0 116057 0
[pid=13209/tid=13210] ppid=13207 vsize=484368 CPUtime=581.39 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 111066 0 0 0 58107 32 0 0 25 0 4 0 652297252 495992832 64087 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=484368 CPUtime=575.95 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 99018 0 0 0 57565 30 0 0 25 0 4 0 652297252 495992832 64087 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=484368 CPUtime=582.26 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 16840 0 0 0 58222 4 0 0 25 0 4 0 652297252 495992832 64087 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 484368

[startup+642.301 s]
/proc/loadavg: 8.09 8.10 8.09 9/346 13233
/proc/meminfo: memFree=17651072/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=564012 CPUtime=2561.27 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 361757 0 0 0 256014 113 0 0 25 0 4 0 652297252 577548288 68599 33554432000 4194304 4650419 140735568585344 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 141003 68599 395 112 0 135968 0
[pid=13209/tid=13210] ppid=13207 vsize=564012 CPUtime=641.38 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 118064 0 0 0 64104 34 0 0 25 0 4 0 652297252 577548288 68599 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=564012 CPUtime=635.3 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 105645 0 0 0 63497 33 0 0 25 0 4 0 652297252 577548288 68599 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=564012 CPUtime=642.26 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 18836 0 0 0 64221 5 0 0 25 0 4 0 652297252 577548288 68599 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.27
Current children cumulated vsize (KiB) 564012

[startup+702.301 s]
/proc/loadavg: 8.08 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17644804/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=529364 CPUtime=2800.6 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 379103 0 0 0 279938 122 0 0 25 0 4 0 652297252 542068736 71184 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 132341 71184 395 112 0 127306 0
[pid=13209/tid=13210] ppid=13207 vsize=529364 CPUtime=701.36 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 124222 0 0 0 70100 36 0 0 25 0 4 0 652297252 542068736 71184 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=529364 CPUtime=694.63 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 110691 0 0 0 69428 35 0 0 25 0 4 0 652297252 542068736 71184 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=529364 CPUtime=702.26 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 19385 0 0 0 70221 5 0 0 25 0 4 0 652297252 542068736 71184 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.6
Current children cumulated vsize (KiB) 529364

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

[startup+704.001 s]
/proc/loadavg: 8.08 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17640216/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=540212 CPUtime=2807.4 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 379983 0 0 0 280618 122 0 0 25 0 4 0 652297252 553177088 72064 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 135053 72064 395 112 0 130018 0
[pid=13209/tid=13210] ppid=13207 vsize=540212 CPUtime=703.07 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 124295 0 0 0 70271 36 0 0 25 0 4 0 652297252 553177088 72066 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=540212 CPUtime=696.32 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 110774 0 0 0 69597 35 0 0 25 0 4 0 652297252 553177088 72066 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=540212 CPUtime=703.97 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 20007 0 0 0 70392 5 0 0 25 0 4 0 652297252 553177088 72066 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2807.4
Current children cumulated vsize (KiB) 540212

[startup+710.401 s]
/proc/loadavg: 8.07 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17646408/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=528060 CPUtime=2832.92 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 383104 0 0 0 283168 124 0 0 25 0 4 0 652297252 540733440 70296 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 132015 70296 395 112 0 126980 0
[pid=13209/tid=13210] ppid=13207 vsize=528060 CPUtime=709.47 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 125378 0 0 0 70910 37 0 0 25 0 4 0 652297252 540733440 70296 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=528060 CPUtime=702.65 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 112084 0 0 0 70229 36 0 0 25 0 4 0 652297252 540733440 70296 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=528060 CPUtime=710.36 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 20388 0 0 0 71030 6 0 0 25 0 4 0 652297252 540733440 70296 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2832.92
Current children cumulated vsize (KiB) 528060

[startup+712 s]
/proc/loadavg: 8.07 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17643556/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=528060 CPUtime=2839.29 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 383471 0 0 0 283805 124 0 0 25 0 4 0 652297252 540733440 70663 33554432000 4194304 4650419 140735568585344 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 132015 70663 395 112 0 126980 0
[pid=13209/tid=13210] ppid=13207 vsize=528060 CPUtime=711.07 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 125504 0 0 0 71070 37 0 0 25 0 4 0 652297252 540733440 70663 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=528060 CPUtime=704.23 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 112185 0 0 0 70387 36 0 0 25 0 4 0 652297252 540733440 70663 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=528060 CPUtime=711.96 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 20470 0 0 0 71190 6 0 0 25 0 4 0 652297252 540733440 70663 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2839.29
Current children cumulated vsize (KiB) 528060

[startup+713.601 s]
/proc/loadavg: 8.07 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17654952/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=540312 CPUtime=2845.68 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 384721 0 0 0 284444 124 0 0 25 0 4 0 652297252 553279488 67682 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 135078 67682 395 112 0 130043 0
[pid=13209/tid=13210] ppid=13207 vsize=540312 CPUtime=712.67 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 125622 0 0 0 71230 37 0 0 25 0 4 0 652297252 553279488 67682 33554432000 4194304 4650419 140735568585344 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=540312 CPUtime=705.81 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 112291 0 0 0 70545 36 0 0 25 0 4 0 652297252 553279488 67682 33554432000 4194304 4650419 140735568585344 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=540312 CPUtime=713.56 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 20546 0 0 0 71350 6 0 0 25 0 4 0 652297252 553279488 67682 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2845.68
Current children cumulated vsize (KiB) 540312

[startup+714.013 s]
/proc/loadavg: 8.07 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17657928/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=540312 CPUtime=2847.31 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 384830 0 0 0 284607 124 0 0 25 0 4 0 652297252 553279488 67791 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 135078 67791 395 112 0 130043 0
[pid=13209/tid=13210] ppid=13207 vsize=540312 CPUtime=713.08 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 125656 0 0 0 71271 37 0 0 25 0 4 0 652297252 553279488 67791 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=540312 CPUtime=706.21 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 112314 0 0 0 70585 36 0 0 25 0 4 0 652297252 553279488 67791 33554432000 4194304 4650419 140735568585344 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=540312 CPUtime=713.98 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 20564 0 0 0 71392 6 0 0 25 0 4 0 652297252 553279488 67791 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2847.31
Current children cumulated vsize (KiB) 540312

[startup+714.401 s]
/proc/loadavg: 8.07 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17657928/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=540312 CPUtime=2848.87 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4202496 384925 0 0 0 284762 125 0 0 25 0 4 0 652297252 553279488 67886 33554432000 4194304 4650419 140735568585344 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 135078 67886 395 112 0 130043 0
[pid=13209/tid=13210] ppid=13207 vsize=540312 CPUtime=713.47 cores=0,2,4,6
/proc/13209/task/13210/stat : 13210 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 125683 0 0 0 71310 37 0 0 25 0 4 0 652297252 553279488 67886 33554432000 4194304 4650419 140735568585344 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13209/tid=13211] ppid=13207 vsize=540312 CPUtime=706.6 cores=0,2,4,6
/proc/13209/task/13211/stat : 13211 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 112335 0 0 0 70624 36 0 0 25 0 4 0 652297252 553279488 67886 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13209/tid=13212] ppid=13207 vsize=540312 CPUtime=714.36 cores=0,2,4,6
/proc/13209/task/13212/stat : 13212 (strangenight1-m) R 13207 13209 13065 0 -1 4202560 20582 0 0 0 71430 6 0 0 25 0 4 0 652297252 553279488 67886 33554432000 4194304 4650419 140735568585344 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2848.87
Current children cumulated vsize (KiB) 540312

[startup+714.501 s]
/proc/loadavg: 8.07 8.09 8.09 9/346 13235
/proc/meminfo: memFree=17657928/32951124 swapFree=67082152/67111528
[pid=13209] ppid=13207 vsize=0 CPUtime=2849.26 cores=0,2,4,6
/proc/13209/stat : 13209 (strangenight1-m) R 13207 13209 13065 0 -1 4203524 384959 0 0 0 284801 125 0 0 25 0 1 0 652297252 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13209/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2849.26
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 714.513
CPU time (s): 2849.28
CPU user time (s): 2848.01
CPU system time (s): 1.26481
CPU usage (%): 398.772
Max. virtual memory (cumulated for all children) (KiB): 576204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2848.01
system time used= 1.26481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 384959
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= 159
involuntary context switches= 14565

runsolver used 2.12368 second user time and 5.68914 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 23:03:13
IDJOB=3368941
IDBENCH=82950
IDSOLVER=1846
FILE ID=node136/3368941-1305406993
RUNJOBID= node136-1305405787-13083
PBS_JOBID= 13324500
Free space on /tmp= 72988 MiB

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

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

MD5SUM BENCH= 74ebf62a9b67d118d692e671bdb08f4e
RANDOM SEED=566639741

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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:      18162036 kB
Buffers:        296060 kB
Cached:        5035412 kB
SwapCached:       2740 kB
Active:       10562104 kB
Inactive:      3886532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18162036 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           12512 kB
Writeback:           0 kB
AnonPages:     9115720 kB
Mapped:          27796 kB
Slab:           236604 kB
PageTables:      38904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69946956 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= 72984 MiB
End job on node136 at 2011-05-14 23:15:07