Trace number 3175438

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf
MD5SUM68bf08be908d1e2b9826bc30706a7365
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark349.016
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3175438-1304123873.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
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
3.58/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.58/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.58/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.58/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.58/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.58/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.58/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.58/0.90	c calculated reachability. Time: 0.00
3.58/0.90	c Calc default polars -  time:   0.00 s pos:      52 undec:       6 neg:      42
3.58/0.90	c =========================================================================================
3.58/0.90	c types(t): F = full restart, N = normal restart
3.58/0.90	c types(t): S = simplification begin/end, E = solution found
3.58/0.90	c restart types(rt): st = static, dy = dynamic
3.58/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.90	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
3.58/0.90	c Decided on static restart strategy
3.58/0.90	c  N st     8      4914       100      2130         0      4636     10650    101962   no data   no data  --
3.58/0.90	c  N st    10     11297       100      2130         0      4225     10650     73262   no data   no data  --
3.58/0.90	c  N st    11     17040       100      2130         0      9547     10650    191555   no data   no data  --
3.58/0.90	c  F st    12     25000       100      2130         0     11729     10650    234080   no data   no data  --
3.58/0.90	c  N st    12     25000       100      2130         0     11729     10650    234080   no data   no data  --
3.98/1.00	c Decided on static restart strategy
3.98/1.00	c  N st    18     30000       100      2130         0     10056     10650    182284   no data   no data  --
3.98/1.00	c  S st    18     30000       100      2130         0     10056     10650    182284   no data   no data  --
4.38/1.10	c  S st    18     30503       100      2130         0     10535     10650    193343   no data   no data  --
4.38/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.38/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.38/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4.38/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.50	c lits-rem:      1864  cl-subs:     1978  v-elim:      0  v-fix:    0  time:  1.59 s
5.97/1.50	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.16
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N st    18     30503       100      2130         0      8557     10650    150354   no data   no data  --
7.17/1.82	c  N st    20     37613       100      2130         0      7877     10650    126383   no data   no data  --
8.37/2.12	c  N st    21     44012       100      2130         0     13770     10650    249271   no data   no data  --
8.78/2.24	c  S st    22     45755       100      2130         0     15378     10650    283355   no data   no data  --
8.78/2.28	c  S st    22     46260       100      2130         0     15866     10650    293710   no data   no data  --
8.78/2.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.78/2.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.78/2.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.78/2.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.78/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.78/2.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.78/2.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.58/3.47	c lits-rem:      2537  cl-subs:     2287  v-elim:      0  v-fix:    0  time:  4.67 s
13.58/3.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.58/3.47	c vivif2 --  cl tried    13579 cl shrink        0 lits rem          0 time: 0.01
13.98/3.52	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
13.98/3.53	c calculated reachability. Time: 0.00
13.98/3.53	c  N st    22     46260       100      2130         0     13579     10650    243983   no data   no data  --
16.76/4.28	c  N st    23     60658       100      2130         0      9559     10650    138864   no data   no data  --
18.38/4.69	c  N st    24     69392       100      2130         0     17664     10650    310720   no data   no data  --
18.38/4.69	c  S st    24     69392       100      2130         0     17664     10650    310720   no data   no data  --
18.75/4.74	c  S st    24     69893       100      2130         0     18147     10650    321284   no data   no data  --
18.75/4.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.75/4.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.75/4.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.75/4.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.75/4.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.75/4.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.75/4.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.95/6.02	c lits-rem:      4109  cl-subs:     2411  v-elim:      0  v-fix:    0  time:  5.09 s
23.95/6.02	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.95/6.03	c vivif2 --  cl tried    15736 cl shrink        0 lits rem          0 time: 0.01
24.34/6.10	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
24.34/6.10	c calculated reachability. Time: 0.00
24.34/6.10	c  N st    24     69893       100      2130         0     15736     10650    269418   no data   no data  --
27.95/7.07	c  F st    25     87502       100      2130         0     21957     10650    393571   no data   no data  --
27.95/7.08	c  N st    25     87502       100      2130         0     21957     10650    393571   no data   no data  --
29.14/7.36	c Decided on static restart strategy
29.94/7.54	c  N st    32     95543       100      2130         0     18369     10650    310625   no data   no data  --
32.73/8.22	c  N st    34    104840       100      2130         0     14959     10650    232493   no data   no data  --
32.73/8.22	c  S st    34    104840       100      2130         0     14959     10650    232493   no data   no data  --
32.73/8.26	c  S st    34    105346       100      2130         0     15441     10650    243155   no data   no data  --
32.73/8.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.73/8.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.73/8.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.73/8.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.73/8.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.73/8.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.73/8.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.73/9.28	c lits-rem:      1577  cl-subs:     1230  v-elim:      0  v-fix:    0  time:  4.02 s
36.73/9.28	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
36.73/9.28	c vivif2 --  cl tried    14211 cl shrink        0 lits rem          0 time: 0.01
37.13/9.34	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
37.13/9.34	c calculated reachability. Time: 0.00
37.13/9.34	c  N st    34    105346       100      2130         0     14211     10650    216804   no data   no data  --
39.95/10.01	c  N st    35    114945       100      2130         0     23049     10650    403823   no data   no data  --
43.52/10.97	c  N st    36    129344       100      2130         0     23550     10650    419131   no data   no data  --
50.32/12.65	c  N st    37    150940       100      2130         0     14821     10650    195773   no data   no data  --
51.92/13.07	c  S st    38    158019       100      2130         0     21362     10650    340297   no data   no data  --
52.32/13.13	c  S st    38    158522       100      2130         0     21845     10650    351062   no data   no data  --
52.32/13.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
52.32/13.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.32/13.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
52.32/13.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
52.32/13.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.32/13.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
52.32/13.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
57.11/14.38	c lits-rem:      2833  cl-subs:     1899  v-elim:      0  v-fix:    0  time:  4.94 s
57.11/14.38	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
57.11/14.38	c vivif2 --  cl tried    19946 cl shrink        0 lits rem          0 time: 0.01
57.53/14.47	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.35
57.53/14.47	c calculated reachability. Time: 0.00
57.53/14.47	c  N st    38    158522       100      2130         0     19946     10650    308572   no data   no data  --
73.88/18.58	c  N st    39    207114       100      2130         0     32412     10650    554187   no data   no data  --
84.66/21.26	c  N st    40    237784       100      2130         0     24930     10650    373807   no data   no data  --
84.66/21.26	c  S st    40    237784       100      2130         0     24930     10650    373807   no data   no data  --
85.06/21.32	c  S st    40    238287       100      2130         0     25406     10650    384566   no data   no data  --
85.06/21.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
85.06/21.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.06/21.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
85.06/21.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.06/21.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.06/21.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
85.06/21.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.26/22.65	c lits-rem:      2819  cl-subs:     1954  v-elim:      0  v-fix:    0  time:  5.22 s
90.26/22.65	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
90.26/22.65	c vivif2 --  cl tried    23452 cl shrink        0 lits rem          0 time: 0.02
90.66/22.75	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.39
90.66/22.75	c calculated reachability. Time: 0.00
90.66/22.75	c  N st    40    238287       100      2130         0     23452     10650    343219   no data   no data  --
117.02/29.30	c  F st    41    306250       100      2130         0     25242     10650    349468   no data   no data  --
117.02/29.30	c  N st    41    306250       100      2130         0     25242     10650    349468   no data   no data  --
118.62/29.74	c Decided on static restart strategy
128.60/32.20	c  N st    51    334555       100      2130         0     29245     10650    417979   no data   no data  --
137.39/34.49	c  N st    53    357430       100      2130         0     27360     10650    371062   no data   no data  --
137.39/34.49	c  S st    53    357430       100      2130         0     27360     10650    371062   no data   no data  --
137.78/34.56	c  S st    53    357932       100      2130         0     27842     10650    381559   no data   no data  --
137.78/34.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.78/34.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
137.78/34.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
137.78/34.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.78/34.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.78/34.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
137.78/34.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
142.58/35.76	c lits-rem:      1623  cl-subs:     1426  v-elim:      0  v-fix:    0  time:  4.72 s
142.58/35.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
142.58/35.76	c vivif2 --  cl tried    26416 cl shrink        0 lits rem          0 time: 0.02
142.98/35.88	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.46
142.98/35.88	c calculated reachability. Time: 0.00
142.98/35.88	c  N st    53    357932       100      2130         0     26416     10650    350800   no data   no data  --
158.58/39.79	c  N st    54    390325       100      2130         0     32353     10650    465086   no data   no data  --
180.13/45.12	c  N st    55    438915       100      2130         0     26354     10650    318220   no data   no data  --
209.69/52.59	c  N st    56    511797       100      2130         0     39151     10650    571924   no data   no data  --
221.27/55.45	c  N st    57    536898       100      2130         0     33841     10650    449198   no data   no data  --
221.27/55.45	c  S st    57    536898       100      2130         0     33841     10650    449198   no data   no data  --
221.67/55.55	c  S st    57    537405       100      2130         0     34332     10650    460299   no data   no data  --
221.67/55.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
221.67/55.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
221.67/55.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
221.67/55.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
221.67/55.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
221.67/55.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
221.67/55.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
227.26/56.95	c lits-rem:      1890  cl-subs:     1608  v-elim:      0  v-fix:    0  time:  5.49 s
227.26/56.95	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
227.26/56.96	c vivif2 --  cl tried    32724 cl shrink        0 lits rem          0 time: 0.02
228.06/57.11	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.60
228.06/57.11	c calculated reachability. Time: 0.00
228.06/57.11	c  N st    57    537405       100      2130         0     32724     10650    426925   no data   no data  --
308.75/77.37	c  N st    58    701389       100      2130         0     59879     10650    938878   no data   no data  --
363.07/90.98	c  N st    59    806108       100      2130         0     54505     10650    829379   no data   no data  --
363.07/90.98	c  S st    59    806108       100      2130         0     54505     10650    829379   no data   no data  --
363.88/91.15	c  S st    59    806613       100      2130         0     54988     10650    840257   no data   no data  --
363.88/91.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
363.88/91.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
363.88/91.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
363.88/91.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
363.88/91.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
363.88/91.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
363.88/91.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
381.86/95.69	c lits-rem:      3084  cl-subs:     5495  v-elim:      0  v-fix:    0  time: 17.94 s
381.86/95.69	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
381.86/95.70	c vivif2 --  cl tried    49493 cl shrink        0 lits rem          0 time: 0.04
383.07/95.99	c asymm  cl-useful: 0/1827/2130 lits-rem:0 time: 1.17
383.07/95.99	c calculated reachability. Time: 0.00
383.07/95.99	c  N st    59    806613       100      2130         0     49493     10650    730679   no data   no data  --
535.24/134.04	c  F st    60   1071876       100      2130         0     64441     10650    964981   no data   no data  --
535.24/134.04	c  N st    60   1071876       100      2130         0     64441     10650    964981   no data   no data  --
539.63/135.15	c Decided on static restart strategy
558.83/139.98	c  N st    70   1100180       100      2130         0     49411     10650    638642   no data   no data  --
585.20/146.53	c  N st    72   1136173       100      2130         0     82562     10650   1374382   no data   no data  --
605.95/151.72	c  N st    73   1168566       100      2130         0     70198     10650   1093214   no data   no data  --
636.70/159.44	c  N st    74   1209920       100      2130         0     64930     10650    938374   no data   no data  --
636.70/159.44	c  S st    74   1209920       100      2130         0     64930     10650    938374   no data   no data  --
637.52/159.63	c  S st    74   1210424       100      2130         0     65410     10650    949183   no data   no data  --
637.52/159.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
637.52/159.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
637.52/159.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
637.52/159.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
637.52/159.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
637.52/159.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
637.52/159.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
661.07/165.56	c lits-rem:      2738  cl-subs:     6410  v-elim:      0  v-fix:    0  time: 23.43 s
661.07/165.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
661.07/165.57	c vivif2 --  cl tried    59000 cl shrink        0 lits rem          0 time: 0.04
662.67/165.95	c asymm  cl-useful: 0/1496/2130 lits-rem:0 time: 1.51
662.67/165.95	c calculated reachability. Time: 0.00
662.67/165.95	c  N st    74   1210424       100      2130         0     59000     10650    824123   no data   no data  --
720.19/180.35	c  N st    75   1283307       100      2130         0     82335     10650   1324659   no data   no data  --
804.89/201.57	c  N st    76   1392630       100      2130         0     91553     10650   1498057   no data   no data  --
937.49/234.74	c  N st    77   1556614       100      2130         0     98682     10650   1612795   no data   no data  --
1061.73/265.80	c  N st    78   1710425       100      2130         0     88148     10650   1305339   no data   no data  --
1061.73/265.80	c  S st    78   1710425       100      2130         0     88148     10650   1305339   no data   no data  --
1062.53/266.06	c  S st    78   1710926       100      2130         0     88618     10650   1316303   no data   no data  --
1062.53/266.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1062.53/266.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1062.93/266.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1062.93/266.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1062.93/266.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1062.93/266.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1062.93/266.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1126.84/282.16	c lits-rem:      7737  cl-subs:    12740  v-elim:      0  v-fix:    0  time: 63.95 s
1126.84/282.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1126.84/282.18	c vivif2 --  cl tried    75878 cl shrink        0 lits rem          0 time: 0.06
1127.64/282.36	c asymm  cl-useful: 0/634/2130 lits-rem:0 time: 0.75
1127.64/282.36	c calculated reachability. Time: 0.00
1127.64/282.36	c  N st    78   1710926       100      2130         0     75878     10650   1083943   no data   no data  --
1438.40/360.10	c  N st    79   2079890       100      2130         0     87902     10650   1274778   no data   no data  --
1555.05/389.36	c  N st    80   2210926       100      2130         0     92202     10650   1375205   no data   no data  --
1555.05/389.36	c  S st    80   2210926       100      2130         0     92202     10650   1375205   no data   no data  --
1556.27/389.65	c  S st    80   2211429       100      2130         0     92679     10650   1386555   no data   no data  --
1556.27/389.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1556.27/389.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1556.64/389.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1556.64/389.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1556.64/389.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1556.64/389.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1556.64/389.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1638.13/410.13	c lits-rem:      3752  cl-subs:     7874  v-elim:      0  v-fix:    0  time: 81.43 s
1638.13/410.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1638.13/410.15	c vivif2 --  cl tried    84805 cl shrink        0 lits rem          0 time: 0.07
1639.75/410.54	c asymm  cl-useful: 0/1046/2130 lits-rem:0 time: 1.56
1639.75/410.54	c calculated reachability. Time: 0.00
1639.75/410.54	c  N st    80   2211429       100      2130         0     84805     10650   1226241   no data   no data  --
2137.05/535.08	c  N st    81   2711430       100      2130         0    106976     10650   1593774   no data   no data  --
2137.05/535.08	c  S st    81   2711430       100      2130         0    106976     10650   1593774   no data   no data  --
2138.65/535.43	c  S st    81   2711931       100      2130         0    107448     10650   1605052   no data   no data  --
2138.65/535.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2138.65/535.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2138.65/535.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2139.05/535.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2139.05/535.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2139.05/535.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2139.05/535.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2241.33/561.17	c lits-rem:      2600  cl-subs:    13169  v-elim:      0  v-fix:    0  time: 102.32 s
2241.33/561.17	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2241.33/561.19	c vivif2 --  cl tried    94279 cl shrink        0 lits rem          0 time: 0.07
2242.91/561.53	c asymm  cl-useful: 0/878/2130 lits-rem:0 time: 1.36
2242.91/561.53	c calculated reachability. Time: 0.00
2242.91/561.53	c  N st    81   2711931       100      2130         0     94279     10650   1359644   no data   no data  --
2818.12/705.58	c  N st    82   3211932       100      2130         0     72647     10650    776804   no data   no data  --
2818.12/705.58	c  S st    82   3211932       100      2130         0     72647     10650    776804   no data   no data  --
2819.32/705.80	c  S st    82   3212437       100      2130         0     73131     10650    787608   no data   no data  --
2819.32/705.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2819.32/705.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2819.32/705.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
2819.32/705.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2819.32/705.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2819.32/705.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2819.32/705.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2836.10/710.06	c lits-rem:       364  cl-subs:      468  v-elim:      0  v-fix:    0  time: 16.77 s
2836.10/710.06	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2836.10/710.07	c vivif2 --  cl tried    72663 cl shrink        0 lits rem          0 time: 0.04
2837.30/710.35	c asymm  cl-useful: 0/1249/2130 lits-rem:0 time: 1.12
2837.30/710.36	c calculated reachability. Time: 0.00
2837.30/710.36	c  N st    82   3212437       100      2130         0     72663     10650    779261   no data   no data  --
3430.49/858.85	c  N st    83   3712439       100      2130         0     82650     10650    927959   no data   no data  --
3430.49/858.85	c  S st    83   3712439       100      2130         0     82650     10650    927959   no data   no data  --
3431.69/859.15	c  S st    83   3712948       100      2130         0     83143     10650    939697   no data   no data  --
3431.69/859.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3431.69/859.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3431.69/859.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
3432.10/859.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3432.10/859.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3432.10/859.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3432.10/859.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3459.24/866.02	c lits-rem:      1213  cl-subs:     1856  v-elim:      0  v-fix:    0  time: 27.09 s
3459.24/866.02	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3459.24/866.03	c vivif2 --  cl tried    81287 cl shrink        0 lits rem          0 time: 0.05
3460.04/866.29	c asymm  cl-useful: 0/881/2130 lits-rem:0 time: 1.06
3460.04/866.30	c calculated reachability. Time: 0.00
3460.04/866.30	c  N st    83   3712948       100      2130         0     81287     10650    904080   no data   no data  --
3503.98/877.20	c  F st    84   3751562       100      2130         0    116581     10650   1661404   no data   no data  --
3503.98/877.20	c  N st    84   3751562       100      2130         0    116581     10650   1661404   no data   no data  --
3512.78/879.44	c Decided on static restart strategy
3553.52/889.69	c  N st    94   3779869       100      2130         0    142639     10650   2232633   no data   no data  --
3601.06/901.55	c  N st    96   3815861       100      2130         0     97790     10650   1208822   no data   no data  --
3643.79/912.23	c  N st    97   3848254       100      2130         0    127392     10650   1843516   no data   no data  --
3707.71/928.22	c  N st    98   3896842       100      2130         0     93324     10650   1133289   no data   no data  --
3809.17/953.65	c  N st    99   3969726       100      2130         0     80442     10650    848510   no data   no data  --
3940.99/986.69	c  N st   100   4079049       100      2130         0     99936     10650   1257394   no data   no data  --
4101.97/1026.99	c  N st   101   4212948       100      2130         0    141233     10650   2165658   no data   no data  --
4101.97/1026.99	c  S st   101   4212948       100      2130         0    141233     10650   2165658   no data   no data  --
4103.97/1027.49	c  S st   101   4213449       100      2130         0    141706     10650   2176473   no data   no data  --
4104.39/1027.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4104.39/1027.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4104.39/1027.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
4104.79/1027.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4104.79/1027.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4104.79/1027.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4104.79/1027.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4330.86/1084.30	c lits-rem:      7602  cl-subs:    16146  v-elim:      0  v-fix:    0  time: 226.22 s
4330.86/1084.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4331.26/1084.32	c vivif2 --  cl tried   125560 cl shrink        0 lits rem          0 time: 0.12
4333.28/1084.81	c asymm  cl-useful: 0/694/2130 lits-rem:0 time: 1.94
4333.28/1084.82	c calculated reachability. Time: 0.00
4333.28/1084.82	c  N st   101   4213449       100      2130         0    125560     10650   1855265   no data   no data  --
4773.84/1195.16	c  N st   102   4459426       100      2130         0    101594     10650   1239638   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-3175438-1304123873/watcher-3175438-1304123873 -o /tmp/evaluation-result-3175438-1304123873/solver-3175438-1304123873 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175438-1304123873.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.43 7.97 7.90 6/184 26162
/proc/meminfo: memFree=25701504/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 414 0 0 0 1 0 0 0 25 0 4 0 523985454 52465664 353 33554432000 4194304 4650419 140736933306976 18446744073709551615 47129185531826 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 12809 353 303 112 0 7774 0
[pid=26162/tid=26163] ppid=26160 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523985454 52465664 353 33554432000 4194304 4650419 140736933306976 18446744073709551615 47129185531826 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523985454 52465664 353 33554432000 4194304 4650419 140736933306976 18446744073709551615 47129185531824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523985454 52465664 353 33554432000 4194304 4650419 140736933306976 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.296487 s]
/proc/loadavg: 7.43 7.97 7.90 6/184 26162
/proc/meminfo: memFree=25701504/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=301564 CPUtime=1.16 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 3110 0 0 0 116 0 0 0 18 0 4 0 523985454 308801536 2433 33554432000 4194304 4650419 140736933306976 18446744073709551615 4514716 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 75391 2433 391 112 0 70356 0
[pid=26162/tid=26163] ppid=26160 vsize=301564 CPUtime=0.28 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) D 26160 26162 26027 0 -1 4202560 724 0 0 0 28 0 0 0 25 0 4 0 523985454 308801536 2433 33554432000 4194304 4650419 140736933306976 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=301564 CPUtime=0.29 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 644 0 0 0 29 0 0 0 18 0 4 0 523985454 308801536 2433 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=301564 CPUtime=0.28 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 665 0 0 0 28 0 0 0 18 0 4 0 523985454 308801536 2433 33554432000 4194304 4650419 140736933306976 18446744073709551615 232335935623 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 301564

[startup+0.300274 s]
/proc/loadavg: 7.43 7.97 7.90 6/184 26162
/proc/meminfo: memFree=25701504/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=293184 CPUtime=1.18 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 3161 0 0 0 118 0 0 0 18 0 4 0 523985454 300220416 2081 33554432000 4194304 4650419 140736933306976 18446744073709551615 4516622 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 73296 2087 391 112 0 68261 0
[pid=26162/tid=26163] ppid=26160 vsize=293184 CPUtime=0.29 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 764 0 0 0 29 0 0 0 25 0 4 0 523985454 300220416 2090 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=293184 CPUtime=0.29 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 644 0 0 0 29 0 0 0 18 0 4 0 523985454 300220416 2096 33554432000 4194304 4650419 140736933306976 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=293184 CPUtime=0.29 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 668 0 0 0 29 0 0 0 18 0 4 0 523985454 300220416 2101 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 293184

[startup+0.400255 s]
/proc/loadavg: 7.43 7.97 7.90 6/184 26162
/proc/meminfo: memFree=25701504/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=284812 CPUtime=1.58 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 3679 0 0 0 158 0 0 0 18 0 4 0 523985454 291647488 2202 33554432000 4194304 4650419 140736933306976 18446744073709551615 4363637 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 71203 2202 391 112 0 66168 0
[pid=26162/tid=26163] ppid=26160 vsize=284812 CPUtime=0.39 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 845 0 0 0 39 0 0 0 25 0 4 0 523985454 291647488 2202 33554432000 4194304 4650419 140736933306976 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=284812 CPUtime=0.39 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 843 0 0 0 39 0 0 0 18 0 4 0 523985454 291647488 2202 33554432000 4194304 4650419 140736933306976 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=284812 CPUtime=0.39 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 736 0 0 0 39 0 0 0 18 0 4 0 523985454 291647488 2202 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 284812

[startup+0.700202 s]
/proc/loadavg: 7.43 7.97 7.90 6/184 26162
/proc/meminfo: memFree=25701504/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=285604 CPUtime=2.78 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 5130 0 0 0 277 1 0 0 18 0 4 0 523985454 292458496 2623 33554432000 4194304 4650419 140736933306976 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 71401 2623 391 112 0 66366 0
[pid=26162/tid=26163] ppid=26160 vsize=285604 CPUtime=0.69 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 1201 0 0 0 69 0 0 0 25 0 4 0 523985454 292458496 2623 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=285604 CPUtime=0.69 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 1212 0 0 0 69 0 0 0 18 0 4 0 523985454 292458496 2623 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=285604 CPUtime=0.69 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 1098 0 0 0 69 0 0 0 18 0 4 0 523985454 292458496 2623 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285604

[startup+1.50106 s]
/proc/loadavg: 7.43 7.97 7.90 9/188 26166
/proc/meminfo: memFree=25675680/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=283276 CPUtime=5.97 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 10123 0 0 0 596 1 0 0 20 0 4 0 523985454 290074624 5259 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 70819 5259 393 112 0 65784 0
[pid=26162/tid=26163] ppid=26160 vsize=283276 CPUtime=1.49 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 3063 0 0 0 149 0 0 0 25 0 4 0 523985454 290074624 5259 33554432000 4194304 4650419 140736933306976 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=283276 CPUtime=1.49 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 2008 0 0 0 149 0 0 0 19 0 4 0 523985454 290074624 5259 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=283276 CPUtime=1.48 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 1831 0 0 0 148 0 0 0 20 0 4 0 523985454 290074624 5259 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 283276

[startup+3.10078 s]
/proc/loadavg: 7.43 7.97 7.90 9/188 26166
/proc/meminfo: memFree=25633084/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=287760 CPUtime=12.37 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 16941 0 0 0 1235 2 0 0 25 0 4 0 523985454 294666240 10137 33554432000 4194304 4650419 140736933306976 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 71940 10137 393 112 0 66905 0
[pid=26162/tid=26163] ppid=26160 vsize=287760 CPUtime=3.08 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 4204 0 0 0 308 0 0 0 25 0 4 0 523985454 294666240 10137 33554432000 4194304 4650419 140736933306976 18446744073709551615 4457401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=287760 CPUtime=3.09 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 3876 0 0 0 309 0 0 0 25 0 4 0 523985454 294666240 10137 33554432000 4194304 4650419 140736933306976 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=287760 CPUtime=3.07 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 4160 0 0 0 307 0 0 0 25 0 4 0 523985454 294666240 10137 33554432000 4194304 4650419 140736933306976 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 287760

[startup+6.30021 s]
/proc/loadavg: 7.56 7.99 7.91 9/188 26166
/proc/meminfo: memFree=25607940/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=299944 CPUtime=25.14 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 24795 0 0 0 2511 3 0 0 25 0 4 0 523985454 307142656 13126 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 74986 13126 393 112 0 69951 0
[pid=26162/tid=26163] ppid=26160 vsize=299944 CPUtime=6.28 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 6604 0 0 0 628 0 0 0 25 0 4 0 523985454 307142656 13126 33554432000 4194304 4650419 140736933306976 18446744073709551615 4311245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=299944 CPUtime=6.29 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 6271 0 0 0 629 0 0 0 25 0 4 0 523985454 307142656 13126 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=299944 CPUtime=6.25 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 5742 0 0 0 625 0 0 0 25 0 4 0 523985454 307142656 13126 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 299944

[startup+12.7011 s]
/proc/loadavg: 7.59 7.99 7.91 9/188 26166
/proc/meminfo: memFree=25552272/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=291472 CPUtime=50.72 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 36122 0 0 0 5066 6 0 0 25 0 4 0 523985454 298467328 17839 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 72868 17839 393 112 0 67833 0
[pid=26162/tid=26163] ppid=26160 vsize=291472 CPUtime=12.69 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 9248 0 0 0 1268 1 0 0 25 0 4 0 523985454 298467328 17839 33554432000 4194304 4650419 140736933306976 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=291472 CPUtime=12.69 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 8975 0 0 0 1268 1 0 0 25 0 4 0 523985454 298467328 17839 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=291472 CPUtime=12.62 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 8671 0 0 0 1261 1 0 0 25 0 4 0 523985454 298467328 17839 33554432000 4194304 4650419 140736933306976 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 291472

[startup+25.5068 s]
/proc/loadavg: 7.68 7.99 7.91 9/188 26167
/proc/meminfo: memFree=25510104/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=311100 CPUtime=101.86 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 55654 0 0 0 10176 10 0 0 25 0 4 0 523985454 318566400 22084 33554432000 4194304 4650419 140736933306976 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 77775 22084 393 112 0 72740 0
[pid=26162/tid=26163] ppid=26160 vsize=311100 CPUtime=25.49 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 14637 0 0 0 2547 2 0 0 25 0 4 0 523985454 318566400 22084 33554432000 4194304 4650419 140736933306976 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=311100 CPUtime=25.49 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 14572 0 0 0 2547 2 0 0 25 0 4 0 523985454 318566400 22084 33554432000 4194304 4650419 140736933306976 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=311100 CPUtime=25.35 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 12093 0 0 0 2534 1 0 0 25 0 4 0 523985454 318566400 22084 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 311100

[startup+51.1003 s]
/proc/loadavg: 7.85 8.01 7.91 9/188 26167
/proc/meminfo: memFree=25455124/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=322476 CPUtime=204.1 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 84940 0 0 0 20391 19 0 0 25 0 4 0 523985454 330215424 27393 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 80619 27393 393 112 0 75584 0
[pid=26162/tid=26163] ppid=26160 vsize=322476 CPUtime=51.09 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 23246 0 0 0 5105 4 0 0 25 0 4 0 523985454 330215424 27393 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=322476 CPUtime=51.09 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 22097 0 0 0 5105 4 0 0 25 0 4 0 523985454 330215424 27393 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=322476 CPUtime=50.8 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 17636 0 0 0 5077 3 0 0 25 0 4 0 523985454 330215424 27393 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 322476

[startup+102.301 s]
/proc/loadavg: 8.04 8.03 7.93 9/188 26169
/proc/meminfo: memFree=25352064/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=313384 CPUtime=408.62 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 131633 0 0 0 40830 32 0 0 25 0 4 0 523985454 320905216 37268 33554432000 4194304 4650419 140736933306976 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 78346 37268 393 112 0 73311 0
[pid=26162/tid=26163] ppid=26160 vsize=313384 CPUtime=102.29 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 34737 0 0 0 10222 7 0 0 25 0 4 0 523985454 320905216 37268 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=313384 CPUtime=102.29 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 33890 0 0 0 10222 7 0 0 25 0 4 0 523985454 320905216 37268 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=313384 CPUtime=101.72 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 26440 0 0 0 10167 5 0 0 25 0 4 0 523985454 320905216 37268 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 313384

[startup+162.301 s]

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

[pid=26162] ppid=26160 vsize=530432 CPUtime=2805.34 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 436954 0 0 0 280396 138 0 0 25 0 4 0 523985454 543162368 82182 33554432000 4194304 4650419 140736933306976 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 132608 82182 393 112 0 127573 0
[pid=26162/tid=26163] ppid=26160 vsize=530432 CPUtime=702.3 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 126421 0 0 0 70193 37 0 0 25 0 4 0 523985454 543162368 82182 33554432000 4194304 4650419 140736933306976 18446744073709551615 4334529 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=530432 CPUtime=702.3 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 110481 0 0 0 70195 35 0 0 25 0 4 0 523985454 543162368 82182 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=530432 CPUtime=698.4 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 76437 0 0 0 69817 23 0 0 25 0 4 0 523985454 543162368 82182 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 530432

[startup+762.301 s]
/proc/loadavg: 8.08 8.10 8.01 9/188 26186
/proc/meminfo: memFree=24971732/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=541676 CPUtime=3045.02 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 459837 0 0 0 304355 147 0 0 25 0 4 0 523985454 554676224 86023 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 135419 86023 393 112 0 130384 0
[pid=26162/tid=26163] ppid=26160 vsize=541676 CPUtime=762.31 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 130819 0 0 0 76191 40 0 0 25 0 4 0 523985454 554676224 86023 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=541676 CPUtime=762.3 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 117962 0 0 0 76192 38 0 0 25 0 4 0 523985454 554676224 86023 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=541676 CPUtime=758.08 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 80557 0 0 0 75783 25 0 0 25 0 4 0 523985454 554676224 86023 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 541676

[startup+822.3 s]
/proc/loadavg: 8.23 8.14 8.02 9/188 26188
/proc/meminfo: memFree=24969472/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=519352 CPUtime=3284.69 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 483541 0 0 0 328312 157 0 0 25 0 4 0 523985454 531816448 87199 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 129838 87199 393 112 0 124803 0
[pid=26162/tid=26163] ppid=26160 vsize=519352 CPUtime=822.31 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 136626 0 0 0 82189 42 0 0 25 0 4 0 523985454 531816448 87199 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=519352 CPUtime=822.31 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 124425 0 0 0 82190 41 0 0 25 0 4 0 523985454 531816448 87199 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=519352 CPUtime=817.74 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 85262 0 0 0 81747 27 0 0 25 0 4 0 523985454 531816448 87199 33554432000 4194304 4650419 140736933306976 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 519352

[startup+882.301 s]
/proc/loadavg: 8.13 8.13 8.02 9/188 26189
/proc/meminfo: memFree=24946384/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=506588 CPUtime=3524.38 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 503996 0 0 0 352272 166 0 0 25 0 4 0 523985454 518746112 87237 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 126647 87237 393 112 0 121612 0
[pid=26162/tid=26163] ppid=26160 vsize=506588 CPUtime=882.32 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 142394 0 0 0 88187 45 0 0 25 0 4 0 523985454 518746112 87237 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=506588 CPUtime=882.3 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 130406 0 0 0 88187 43 0 0 25 0 4 0 523985454 518746112 87237 33554432000 4194304 4650419 140736933306976 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=506588 CPUtime=877.41 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 88247 0 0 0 87713 28 0 0 25 0 4 0 523985454 518746112 87237 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 506588

[startup+942.301 s]
/proc/loadavg: 8.20 8.15 8.03 9/188 26191
/proc/meminfo: memFree=24915000/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=532132 CPUtime=3764.03 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 523959 0 0 0 376228 175 0 0 25 0 4 0 523985454 544903168 86506 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 133033 86506 393 112 0 127998 0
[pid=26162/tid=26163] ppid=26160 vsize=532132 CPUtime=942.31 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 146328 0 0 0 94185 46 0 0 25 0 4 0 523985454 544903168 86506 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=532132 CPUtime=942.31 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 136430 0 0 0 94184 47 0 0 25 0 4 0 523985454 544903168 86506 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=532132 CPUtime=937.08 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 91972 0 0 0 93678 30 0 0 25 0 4 0 523985454 544903168 86506 33554432000 4194304 4650419 140736933306976 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 532132

[startup+1002.31 s]
/proc/loadavg: 8.11 8.13 8.03 9/188 26193
/proc/meminfo: memFree=24909044/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=531212 CPUtime=4003.72 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 546211 0 0 0 400189 183 0 0 25 0 4 0 523985454 543961088 90316 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 132803 90316 393 112 0 127768 0
[pid=26162/tid=26163] ppid=26160 vsize=531212 CPUtime=1002.31 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 152695 0 0 0 100183 48 0 0 25 0 4 0 523985454 543961088 90316 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=531212 CPUtime=1002.32 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 140904 0 0 0 100182 50 0 0 25 0 4 0 523985454 543961088 90316 33554432000 4194304 4650419 140736933306976 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=531212 CPUtime=996.75 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 97061 0 0 0 99644 31 0 0 25 0 4 0 523985454 543961088 90316 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 531212

[startup+1062.3 s]
/proc/loadavg: 8.12 8.13 8.04 9/188 26194
/proc/meminfo: memFree=24907428/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=549880 CPUtime=4243.37 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 564126 0 0 0 424145 192 0 0 25 0 4 0 523985454 563077120 90619 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 137470 90619 393 112 0 132435 0
[pid=26162/tid=26163] ppid=26160 vsize=549880 CPUtime=1062.32 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 158554 0 0 0 106181 51 0 0 25 0 4 0 523985454 563077120 90619 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=549880 CPUtime=1062.31 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 145856 0 0 0 106177 54 0 0 25 0 4 0 523985454 563077120 90619 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=549880 CPUtime=1056.41 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 100264 0 0 0 105608 33 0 0 25 0 4 0 523985454 563077120 90619 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 549880

[startup+1122.3 s]
/proc/loadavg: 8.21 8.15 8.05 9/188 26196
/proc/meminfo: memFree=24886216/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=538616 CPUtime=4483.05 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 577417 0 0 0 448108 197 0 0 25 0 4 0 523985454 551542784 96245 33554432000 4194304 4650419 140736933306976 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 134654 96245 393 112 0 129619 0
[pid=26162/tid=26163] ppid=26160 vsize=538616 CPUtime=1122.32 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 163829 0 0 0 112180 52 0 0 25 0 4 0 523985454 551542784 96245 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=538616 CPUtime=1122.31 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 147898 0 0 0 112175 56 0 0 25 0 4 0 523985454 551542784 96245 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=538616 CPUtime=1116.08 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 102963 0 0 0 111574 34 0 0 25 0 4 0 523985454 551542784 96245 33554432000 4194304 4650419 140736933306976 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 538616

[startup+1182.3 s]
/proc/loadavg: 8.26 8.17 8.06 9/188 26197
/proc/meminfo: memFree=24821972/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=604184 CPUtime=4722.72 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 593519 0 0 0 472070 202 0 0 25 0 4 0 523985454 618684416 103329 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 151046 103329 393 112 0 146011 0
[pid=26162/tid=26163] ppid=26160 vsize=604184 CPUtime=1182.31 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 167721 0 0 0 118179 52 0 0 25 0 4 0 523985454 618684416 103329 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=604184 CPUtime=1182.31 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 152772 0 0 0 118175 56 0 0 25 0 4 0 523985454 618684416 103329 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=604184 CPUtime=1175.75 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 106094 0 0 0 117540 35 0 0 25 0 4 0 523985454 618684416 103329 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 604184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.16 8.06 6/187 26199
/proc/meminfo: memFree=24958744/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=604252 CPUtime=4800.23 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 598946 0 0 0 479818 205 0 0 25 0 4 0 523985454 618754048 102830 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 151063 102830 393 112 0 146028 0
[pid=26162/tid=26163] ppid=26160 vsize=604252 CPUtime=1201.73 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 168679 0 0 0 120120 53 0 0 25 0 4 0 523985454 618754048 102830 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=604252 CPUtime=1201.71 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 154362 0 0 0 120115 56 0 0 25 0 4 0 523985454 618754048 102830 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=604252 CPUtime=1195.04 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 106792 0 0 0 119468 36 0 0 25 0 4 0 523985454 618754048 102830 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 604252

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

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

[startup+1201.7 s]
/proc/loadavg: 8.18 8.16 8.06 6/187 26199
/proc/meminfo: memFree=24958744/32951124 swapFree=67111412/67111528
[pid=26162] ppid=26160 vsize=604252 CPUtime=4800.23 cores=0,2,4,6
/proc/26162/stat : 26162 (strangenight1-m) R 26160 26162 26027 0 -1 4202496 598946 0 0 0 479818 205 0 0 25 0 4 0 523985454 618754048 102830 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26162/statm: 151063 102830 393 112 0 146028 0
[pid=26162/tid=26163] ppid=26160 vsize=604252 CPUtime=1201.73 cores=0,2,4,6
/proc/26162/task/26163/stat : 26163 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 168679 0 0 0 120120 53 0 0 25 0 4 0 523985454 618754048 102830 33554432000 4194304 4650419 140736933306976 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26162/tid=26164] ppid=26160 vsize=604252 CPUtime=1201.71 cores=0,2,4,6
/proc/26162/task/26164/stat : 26164 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 154362 0 0 0 120115 56 0 0 25 0 4 0 523985454 618754048 102830 33554432000 4194304 4650419 140736933306976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26162/tid=26165] ppid=26160 vsize=604252 CPUtime=1195.04 cores=0,2,4,6
/proc/26162/task/26165/stat : 26165 (strangenight1-m) R 26160 26162 26027 0 -1 4202560 106792 0 0 0 119468 36 0 0 25 0 4 0 523985454 618754048 102830 33554432000 4194304 4650419 140736933306976 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 604252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.28
CPU user time (s): 4798.21
CPU system time (s): 2.07069
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 604252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.21
system time used= 2.07069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598949
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= 379
involuntary context switches= 68857

runsolver used 1.85472 second user time and 4.71728 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-30 02:37:53
IDJOB=3175438
IDBENCH=83056
IDSOLVER=1588
FILE ID=node132/3175438-1304123873
RUNJOBID= node132-1304122669-26045
PBS_JOBID= 13170746
Free space on /tmp= 71868 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175438-1304123873/watcher-3175438-1304123873 -o /tmp/evaluation-result-3175438-1304123873/solver-3175438-1304123873 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175438-1304123873.cnf

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

MD5SUM BENCH= 68bf08be908d1e2b9826bc30706a7365
RANDOM SEED=806976798

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25701784 kB
Buffers:        686464 kB
Cached:        6014512 kB
SwapCached:        112 kB
Active:        1505696 kB
Inactive:      5263404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25701784 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:           12444 kB
Writeback:           0 kB
AnonPages:       67660 kB
Mapped:          15484 kB
Slab:           417704 kB
PageTables:       4780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   276696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-30 02:57:57