Trace number 3175454

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf
MD5SUM9830e1bf79d13e57ceeaa969f4476a02
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark313.374
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-3175454-1304124803.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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
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:    100 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.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.11	c calculated reachability. Time: 0.00
0.00/0.11	c Calc default polars -  time:   0.00 s pos:      51 undec:       3 neg:      46
0.00/0.11	c =========================================================================================
0.00/0.11	c types(t): F = full restart, N = normal restart
0.00/0.11	c types(t): S = simplification begin/end, E = solution found
0.00/0.11	c restart types(rt): st = static, dy = dynamic
0.00/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.11	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.11	c Decided on static restart strategy
0.78/0.21	c  N st     8      4918       100      2130         0      4585     10650    100891   no data   no data  --
1.18/0.30	c  N st    10     11304       100      2130         0      4253     10650     75614   no data   no data  --
1.97/0.50	c  N st    11     17049       100      2130         0      9571     10650    188286   no data   no data  --
3.18/0.82	c  F st    12     25000       100      2130         0     11669     10650    231696   no data   no data  --
3.18/0.82	c  N st    12     25000       100      2130         0     11669     10650    231696   no data   no data  --
3.98/1.02	c Decided on static restart strategy
3.98/1.02	c  N st    18     30000       100      2130         0     10033     10650    187008   no data   no data  --
3.98/1.02	c  S st    18     30000       100      2130         0     10033     10650    187008   no data   no data  --
3.98/1.05	c  S st    18     30504       100      2130         0     10515     10650    197501   no data   no data  --
3.98/1.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.98/1.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.98/1.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.50	c lits-rem:      2310  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  1.74 s
5.97/1.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.17
5.97/1.54	c calculated reachability. Time: 0.00
5.97/1.54	c  N st    18     30504       100      2130         0      8629     10650    154896   no data   no data  --
7.57/1.90	c  N st    20     37619       100      2130         0      7951     10650    129625   no data   no data  --
8.37/2.19	c  N st    21     44018       100      2130         0     13878     10650    258772   no data   no data  --
8.79/2.29	c  S st    22     45756       100      2130         0     15493     10650    293474   no data   no data  --
9.19/2.34	c  S st    22     46259       100      2130         0     15982     10650    304208   no data   no data  --
9.19/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.19/2.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.19/2.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
9.19/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.96/3.57	c lits-rem:      3301  cl-subs:     2056  v-elim:      0  v-fix:    0  time:  4.87 s
13.96/3.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.96/3.58	c vivif2 --  cl tried    13926 cl shrink        0 lits rem          0 time: 0.01
14.36/3.64	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
14.36/3.64	c calculated reachability. Time: 0.00
14.36/3.64	c  N st    22     46259       100      2130         0     13926     10650    257056   no data   no data  --
17.57/4.42	c  N st    23     60657       100      2130         0      9824     10650    146369   no data   no data  --
19.16/4.86	c  N st    24     69389       100      2130         0     17884     10650    323384   no data   no data  --
19.16/4.86	c  S st    24     69389       100      2130         0     17884     10650    323384   no data   no data  --
19.56/4.91	c  S st    24     69899       100      2130         0     18377     10650    334245   no data   no data  --
19.56/4.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.56/4.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.56/4.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.56/4.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.56/4.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.56/4.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
19.56/4.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.75/6.22	c lits-rem:      3594  cl-subs:     2325  v-elim:      0  v-fix:    0  time:  5.17 s
24.75/6.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
24.75/6.23	c vivif2 --  cl tried    16052 cl shrink        0 lits rem          0 time: 0.01
25.15/6.30	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
25.15/6.30	c calculated reachability. Time: 0.00
25.15/6.30	c  N st    24     69899       100      2130         0     16052     10650    281941   no data   no data  --
29.14/7.32	c  F st    25     87500       100      2130         0     11223     10650    161563   no data   no data  --
29.14/7.32	c  N st    25     87500       100      2130         0     11223     10650    161563   no data   no data  --
30.34/7.61	c Decided on static restart strategy
31.15/7.81	c  N st    32     95540       100      2130         0     18639     10650    315071   no data   no data  --
33.53/8.41	c  N st    34    104848       100      2130         0     15280     10650    246607   no data   no data  --
33.53/8.41	c  S st    34    104848       100      2130         0     15280     10650    246607   no data   no data  --
33.53/8.46	c  S st    34    105351       100      2130         0     15762     10650    257187   no data   no data  --
33.53/8.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.53/8.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.53/8.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
33.53/8.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.53/8.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.53/8.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
33.53/8.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.52/9.48	c lits-rem:      1774  cl-subs:     1237  v-elim:      0  v-fix:    0  time:  4.03 s
37.52/9.48	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
37.52/9.48	c vivif2 --  cl tried    14525 cl shrink        0 lits rem          0 time: 0.01
37.92/9.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
37.92/9.54	c calculated reachability. Time: 0.00
37.92/9.54	c  N st    34    105351       100      2130         0     14525     10650    229303   no data   no data  --
40.32/10.13	c  N st    35    114949       100      2130         0     23400     10650    417631   no data   no data  --
43.94/11.02	c  N st    36    129347       100      2130         0     23811     10650    415238   no data   no data  --
49.91/12.56	c  N st    37    150942       100      2130         0     15162     10650    203157   no data   no data  --
51.51/12.96	c  S st    38    158026       100      2130         0     21756     10650    349654   no data   no data  --
51.91/13.01	c  S st    38    158529       100      2130         0     22244     10650    360656   no data   no data  --
51.91/13.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.91/13.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.91/13.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.91/13.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.91/13.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.91/13.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.91/13.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.71/14.27	c lits-rem:      2848  cl-subs:     2153  v-elim:      0  v-fix:    0  time:  4.96 s
56.71/14.27	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
56.71/14.27	c vivif2 --  cl tried    20091 cl shrink        0 lits rem          0 time: 0.02
57.12/14.36	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.35
57.12/14.36	c calculated reachability. Time: 0.00
57.12/14.36	c  N st    38    158529       100      2130         0     20091     10650    312169   no data   no data  --
72.68/18.25	c  N st    39    207117       100      2130         0     32599     10650    552352   no data   no data  --
83.48/21.00	c  N st    40    237794       100      2130         0     25013     10650    376840   no data   no data  --
83.48/21.00	c  S st    40    237794       100      2130         0     25013     10650    376840   no data   no data  --
83.88/21.06	c  S st    40    238296       100      2130         0     25496     10650    387545   no data   no data  --
83.88/21.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.88/21.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.88/21.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
83.88/21.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.88/21.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.88/21.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
83.88/21.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
89.46/22.45	c lits-rem:      2153  cl-subs:     2340  v-elim:      0  v-fix:    0  time:  5.47 s
89.46/22.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
89.46/22.45	c vivif2 --  cl tried    23156 cl shrink        0 lits rem          0 time: 0.01
89.86/22.55	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.39
89.86/22.55	c calculated reachability. Time: 0.00
89.86/22.55	c  N st    40    238296       100      2130         0     23156     10650    339114   no data   no data  --
113.42/28.43	c  F st    41    306251       100      2130         0     25017     10650    341889   no data   no data  --
113.42/28.43	c  N st    41    306251       100      2130         0     25017     10650    341889   no data   no data  --
115.42/28.91	c Decided on static restart strategy
124.21/31.15	c  N st    51    334559       100      2130         0     29113     10650    425492   no data   no data  --
134.19/33.62	c  N st    53    357444       100      2130         0     27226     10650    369187   no data   no data  --
134.19/33.62	c  S st    53    357444       100      2130         0     27226     10650    369187   no data   no data  --
134.59/33.70	c  S st    53    357948       100      2130         0     27710     10650    380117   no data   no data  --
134.59/33.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
134.59/33.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
134.59/33.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
134.59/33.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
134.59/33.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.59/33.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
134.59/33.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.99/34.86	c lits-rem:      1835  cl-subs:     1365  v-elim:      0  v-fix:    0  time:  4.58 s
138.99/34.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
138.99/34.86	c vivif2 --  cl tried    26345 cl shrink        0 lits rem          0 time: 0.02
139.39/34.98	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.46
139.39/34.98	c calculated reachability. Time: 0.00
139.39/34.98	c  N st    53    357948       100      2130         0     26345     10650    351059   no data   no data  --
155.36/38.93	c  N st    54    390340       100      2130         0     32171     10650    468103   no data   no data  --
176.94/44.32	c  N st    55    438930       100      2130         0     26271     10650    320404   no data   no data  --
207.70/52.00	c  N st    56    511812       100      2130         0     38805     10650    556227   no data   no data  --
218.08/54.69	c  N st    57    536922       100      2130         0     33441     10650    439478   no data   no data  --
218.08/54.69	c  S st    57    536922       100      2130         0     33441     10650    439478   no data   no data  --
218.48/54.78	c  S st    57    537427       100      2130         0     33922     10650    450387   no data   no data  --
218.48/54.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
218.48/54.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
218.48/54.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
218.88/54.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
218.88/54.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.88/54.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
218.88/54.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.50/56.27	c lits-rem:      2071  cl-subs:     1623  v-elim:      0  v-fix:    0  time:  5.84 s
224.50/56.27	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
224.50/56.27	c vivif2 --  cl tried    32299 cl shrink        0 lits rem          0 time: 0.02
225.27/56.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.58
225.27/56.42	c calculated reachability. Time: 0.00
225.27/56.42	c  N st    57    537427       100      2130         0     32299     10650    417277   no data   no data  --
308.36/77.22	c  N st    58    701411       100      2130         0     59667     10650    943302   no data   no data  --
365.88/91.63	c  N st    59    806140       100      2130         0     54107     10650    795658   no data   no data  --
365.88/91.63	c  S st    59    806140       100      2130         0     54107     10650    795658   no data   no data  --
366.28/91.79	c  S st    59    806643       100      2130         0     54584     10650    806656   no data   no data  --
366.28/91.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
366.28/91.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
366.68/91.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
366.68/91.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
366.68/91.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
366.68/91.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
366.68/91.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
386.67/96.85	c lits-rem:      1797  cl-subs:     6788  v-elim:      0  v-fix:    0  time: 20.03 s
386.67/96.85	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
386.67/96.86	c vivif2 --  cl tried    47796 cl shrink        0 lits rem          0 time: 0.04
387.45/97.09	c asymm  cl-useful: 0/1909/2130 lits-rem:0 time: 0.94
387.45/97.09	c calculated reachability. Time: 0.00
387.45/97.10	c  N st    59    806643       100      2130         0     47796     10650    682001   no data   no data  --
545.26/136.52	c  F st    60   1071875       100      2130         0     62995     10650    907393   no data   no data  --
545.26/136.52	c  N st    60   1071875       100      2130         0     62995     10650    907393   no data   no data  --
549.25/137.56	c Decided on static restart strategy
566.82/141.95	c  N st    70   1100179       100      2130         0     48013     10650    615109   no data   no data  --
592.37/148.31	c  N st    72   1136174       100      2130         0     81201     10650   1342186   no data   no data  --
613.15/153.50	c  N st    73   1168566       100      2130         0     68737     10650   1044030   no data   no data  --
643.51/161.19	c  N st    74   1209965       100      2130         0     63637     10650    937536   no data   no data  --
643.51/161.19	c  S st    74   1209965       100      2130         0     63637     10650    937536   no data   no data  --
644.31/161.39	c  S st    74   1210469       100      2130         0     64108     10650    948312   no data   no data  --
644.71/161.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
644.71/161.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
644.71/161.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
644.71/161.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
644.71/161.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
644.71/161.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
644.71/161.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
672.69/168.47	c lits-rem:       915  cl-subs:     5494  v-elim:      0  v-fix:    0  time: 28.02 s
672.69/168.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
672.69/168.48	c vivif2 --  cl tried    58614 cl shrink        0 lits rem          0 time: 0.05
674.27/168.85	c asymm  cl-useful: 0/1632/2130 lits-rem:0 time: 1.46
674.27/168.85	c calculated reachability. Time: 0.00
674.27/168.85	c  N st    74   1210469       100      2130         0     58614     10650    832287   no data   no data  --
729.81/182.79	c  N st    75   1283351       100      2130         0     81452     10650   1295201   no data   no data  --
810.88/203.08	c  N st    76   1392674       100      2130         0     91097     10650   1484776   no data   no data  --
946.30/236.98	c  N st    77   1556659       100      2130         0     98032     10650   1561192   no data   no data  --
1059.37/265.22	c  N st    78   1710470       100      2130         0     88177     10650   1354352   no data   no data  --
1059.37/265.22	c  S st    78   1710470       100      2130         0     88177     10650   1354352   no data   no data  --
1060.14/265.49	c  S st    78   1710974       100      2130         0     88660     10650   1365445   no data   no data  --
1060.14/265.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1060.14/265.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1060.54/265.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
1060.54/265.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1060.54/265.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1060.54/265.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1060.54/265.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1135.65/284.35	c lits-rem:      2120  cl-subs:    10887  v-elim:      0  v-fix:    0  time: 74.95 s
1135.65/284.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1135.65/284.37	c vivif2 --  cl tried    77773 cl shrink        0 lits rem          0 time: 0.06
1137.24/284.77	c asymm  cl-useful: 0/1236/2130 lits-rem:0 time: 1.61
1137.24/284.77	c calculated reachability. Time: 0.00
1137.24/284.77	c  N st    78   1710974       100      2130         0     77773     10650   1156271   no data   no data  --
1453.22/363.88	c  N st    79   2079938       100      2130         0     89006     10650   1268806   no data   no data  --
1568.26/392.70	c  N st    80   2210974       100      2130         0     92984     10650   1358834   no data   no data  --
1568.26/392.70	c  S st    80   2210974       100      2130         0     92984     10650   1358834   no data   no data  --
1569.85/393.02	c  S st    80   2211475       100      2130         0     93463     10650   1369808   no data   no data  --
1569.85/393.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1569.85/393.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1569.85/393.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1570.26/393.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1570.26/393.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1570.26/393.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1570.26/393.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1634.59/409.21	c lits-rem:      5568  cl-subs:    10943  v-elim:      0  v-fix:    0  time: 64.32 s
1634.59/409.21	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1634.59/409.23	c vivif2 --  cl tried    82520 cl shrink        0 lits rem          0 time: 0.06
1635.77/409.54	c asymm  cl-useful: 0/894/2130 lits-rem:0 time: 1.26
1635.77/409.55	c calculated reachability. Time: 0.00
1635.77/409.55	c  N st    80   2211475       100      2130         0     82520     10650   1156106   no data   no data  --
2108.32/527.81	c  N st    81   2711475       100      2130         0    105452     10650   1576913   no data   no data  --
2108.32/527.81	c  S st    81   2711475       100      2130         0    105452     10650   1576913   no data   no data  --
2109.54/528.14	c  S st    81   2711979       100      2130         0    105935     10650   1588012   no data   no data  --
2109.54/528.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2109.54/528.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2109.54/528.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
2109.92/528.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2109.92/528.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2109.92/528.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2109.92/528.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2199.79/550.77	c lits-rem:      4943  cl-subs:    11613  v-elim:      0  v-fix:    0  time: 89.97 s
2199.79/550.77	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2199.79/550.79	c vivif2 --  cl tried    94322 cl shrink        0 lits rem          0 time: 0.07
2201.41/551.12	c asymm  cl-useful: 0/1056/2130 lits-rem:0 time: 1.33
2201.41/551.12	c calculated reachability. Time: 0.00
2201.41/551.12	c  N st    81   2711979       100      2130         0     94322     10650   1365045   no data   no data  --
2783.02/696.77	c  N st    82   3211980       100      2130         0     71859     10650    772838   no data   no data  --
2783.02/696.77	c  S st    82   3211980       100      2130         0     71859     10650    772838   no data   no data  --
2783.82/696.98	c  S st    82   3212482       100      2130         0     72342     10650    783753   no data   no data  --
2783.82/696.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2783.82/696.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2784.21/697.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
2784.21/697.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2784.21/697.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2784.21/697.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2784.21/697.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2802.19/701.52	c lits-rem:       332  cl-subs:      385  v-elim:      0  v-fix:    0  time: 17.90 s
2802.19/701.52	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2802.19/701.53	c vivif2 --  cl tried    71957 cl shrink        0 lits rem          0 time: 0.04
2803.40/701.81	c asymm  cl-useful: 0/1074/2130 lits-rem:0 time: 1.11
2803.40/701.82	c calculated reachability. Time: 0.00
2803.40/701.82	c  N st    82   3212482       100      2130         0     71957     10650    776816   no data   no data  --
3385.40/847.55	c  N st    83   3712482       100      2130         0     82339     10650    942040   no data   no data  --
3385.40/847.55	c  S st    83   3712482       100      2130         0     82339     10650    942040   no data   no data  --
3386.60/847.80	c  S st    83   3712985       100      2130         0     82825     10650    953194   no data   no data  --
3386.60/847.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3386.60/847.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3386.60/847.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3386.60/847.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3386.60/847.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3386.60/847.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3386.60/847.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3409.37/853.60	c lits-rem:       505  cl-subs:     1414  v-elim:      0  v-fix:    0  time: 22.86 s
3409.37/853.60	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3409.78/853.61	c vivif2 --  cl tried    81411 cl shrink        0 lits rem          0 time: 0.05
3410.97/853.91	c asymm  cl-useful: 0/1231/2130 lits-rem:0 time: 1.18
3410.97/853.91	c calculated reachability. Time: 0.00
3410.97/853.91	c  N st    83   3712985       100      2130         0     81411     10650    921727   no data   no data  --
3448.12/863.21	c  F st    84   3751562       100      2130         0    116706     10650   1696015   no data   no data  --
3448.12/863.21	c  N st    84   3751562       100      2130         0    116706     10650   1696015   no data   no data  --
3455.71/865.19	c Decided on static restart strategy
3488.46/873.36	c  N st    94   3779865       100      2130         0    142701     10650   2268072   no data   no data  --
3532.01/884.29	c  N st    96   3815860       100      2130         0     98232     10650   1285892   no data   no data  --
3573.55/894.66	c  N st    97   3848254       100      2130         0    127978     10650   1948178   no data   no data  --
3641.46/911.62	c  N st    98   3896843       100      2130         0     93650     10650   1146023   no data   no data  --
3749.31/938.68	c  N st    99   3969726       100      2130         0     80841     10650    864185   no data   no data  --
3883.93/972.32	c  N st   100   4079051       100      2130         0    100403     10650   1269151   no data   no data  --
4063.69/1017.30	c  N st   101   4212985       100      2130         0    141329     10650   2164588   no data   no data  --
4063.69/1017.30	c  S st   101   4212985       100      2130         0    141329     10650   2164588   no data   no data  --
4065.68/1017.84	c  S st   101   4213488       100      2130         0    141809     10650   2175174   no data   no data  --
4065.68/1017.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4065.68/1017.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4066.08/1017.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.32
4066.48/1018.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4066.48/1018.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4066.48/1018.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4066.48/1018.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4468.35/1118.67	c lits-rem:      6476  cl-subs:    16654  v-elim:      0  v-fix:    0  time: 402.03 s
4468.35/1118.67	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4468.77/1118.71	c vivif2 --  cl tried   125155 cl shrink        0 lits rem          0 time: 0.13
4470.74/1119.28	c asymm  cl-useful: 0/630/2130 lits-rem:0 time: 2.30
4470.74/1119.29	c calculated reachability. Time: 0.00
4470.74/1119.29	c  N st   101   4213488       100      2130         0    125155     10650   1841411   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-3175454-1304124803/watcher-3175454-1304124803 -o /tmp/evaluation-result-3175454-1304124803/solver-3175454-1304124803 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175454-1304124803.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.01 7.80 7.80 5/180 32493
/proc/meminfo: memFree=24958872/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 504896144 52465664 352 33554432000 4194304 4650419 140735498384752 18446744073709551615 47992113784744 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 12809 352 303 112 0 7774 0
[pid=32493/tid=32494] ppid=32491 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 504896144 52465664 352 33554432000 4194304 4650419 140735498384752 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 504896144 52465664 352 33554432000 4194304 4650419 140735498384752 18446744073709551615 233522095158 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 504896144 52465664 352 33554432000 4194304 4650419 140735498384752 18446744073709551615 47992113784754 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.131051 s]
/proc/loadavg: 7.01 7.80 7.80 5/180 32493
/proc/meminfo: memFree=24958872/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=283920 CPUtime=0.5 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 2263 0 0 0 50 0 0 0 25 0 4 0 504896144 290734080 1592 33554432000 4194304 4650419 140735498384752 18446744073709551615 4367521 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 70980 1592 391 112 0 65945 0
[pid=32493/tid=32494] ppid=32491 vsize=283920 CPUtime=0.12 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 503 0 0 0 12 0 0 0 25 0 4 0 504896144 290734080 1592 33554432000 4194304 4650419 140735498384752 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=283920 CPUtime=0.12 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 484 0 0 0 12 0 0 0 25 0 4 0 504896144 290734080 1592 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=283920 CPUtime=0.12 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 374 0 0 0 12 0 0 0 25 0 4 0 504896144 290734080 1592 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 283920

[startup+0.201038 s]
/proc/loadavg: 7.01 7.80 7.80 5/180 32493
/proc/meminfo: memFree=24958872/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=283920 CPUtime=0.78 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 2512 0 0 0 78 0 0 0 25 0 4 0 504896144 290734080 1841 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 70980 1841 391 112 0 65945 0
[pid=32493/tid=32494] ppid=32491 vsize=283920 CPUtime=0.19 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 569 0 0 0 19 0 0 0 25 0 4 0 504896144 290734080 1841 33554432000 4194304 4650419 140735498384752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=283920 CPUtime=0.19 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 547 0 0 0 19 0 0 0 25 0 4 0 504896144 290734080 1841 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=283920 CPUtime=0.19 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 427 0 0 0 19 0 0 0 25 0 4 0 504896144 290734080 1841 33554432000 4194304 4650419 140735498384752 18446744073709551615 4310677 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283920

[startup+0.301021 s]
/proc/loadavg: 7.01 7.80 7.80 5/180 32493
/proc/meminfo: memFree=24958872/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=284404 CPUtime=1.18 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 3111 0 0 0 118 0 0 0 25 0 4 0 504896144 291229696 2034 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 71101 2034 391 112 0 66066 0
[pid=32493/tid=32494] ppid=32491 vsize=284404 CPUtime=0.29 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 751 0 0 0 29 0 0 0 25 0 4 0 504896144 291229696 2034 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=284404 CPUtime=0.29 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 646 0 0 0 29 0 0 0 25 0 4 0 504896144 291229696 2034 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=284404 CPUtime=0.29 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 523 0 0 0 29 0 0 0 25 0 4 0 504896144 291229696 2034 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284404

[startup+0.700949 s]
/proc/loadavg: 7.01 7.80 7.80 5/180 32493
/proc/meminfo: memFree=24958872/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=285440 CPUtime=2.77 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 5096 0 0 0 277 0 0 0 25 0 4 0 504896144 292290560 2620 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 71360 2620 391 112 0 66325 0
[pid=32493/tid=32494] ppid=32491 vsize=285440 CPUtime=0.68 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 1172 0 0 0 68 0 0 0 25 0 4 0 504896144 292290560 2620 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=285440 CPUtime=0.69 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 1223 0 0 0 69 0 0 0 25 0 4 0 504896144 292290560 2620 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=285440 CPUtime=0.69 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 1065 0 0 0 69 0 0 0 25 0 4 0 504896144 292290560 2621 33554432000 4194304 4650419 140735498384752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285440

[startup+1.50081 s]
/proc/loadavg: 7.01 7.80 7.80 9/184 32497
/proc/meminfo: memFree=24941976/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=281712 CPUtime=5.97 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 10059 0 0 0 596 1 0 0 25 0 4 0 504896144 288473088 5381 33554432000 4194304 4650419 140735498384752 18446744073709551615 4541409 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 70428 5381 393 112 0 65393 0
[pid=32493/tid=32494] ppid=32491 vsize=281712 CPUtime=1.47 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 2878 0 0 0 147 0 0 0 25 0 4 0 504896144 288473088 5381 33554432000 4194304 4650419 140735498384752 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=281712 CPUtime=1.49 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 2089 0 0 0 149 0 0 0 25 0 4 0 504896144 288473088 5381 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=281712 CPUtime=1.49 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 1808 0 0 0 149 0 0 0 25 0 4 0 504896144 288473088 5381 33554432000 4194304 4650419 140735498384752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 281712

[startup+3.10052 s]
/proc/loadavg: 7.01 7.80 7.80 9/184 32497
/proc/meminfo: memFree=24917672/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=287280 CPUtime=12.36 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 17683 0 0 0 1233 3 0 0 25 0 4 0 504896144 294174720 11171 33554432000 4194304 4650419 140735498384752 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 71820 11171 393 112 0 66785 0
[pid=32493/tid=32494] ppid=32491 vsize=287280 CPUtime=3.07 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 5234 0 0 0 306 1 0 0 25 0 4 0 504896144 294174720 11171 33554432000 4194304 4650419 140735498384752 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=287280 CPUtime=3.08 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 3945 0 0 0 308 0 0 0 25 0 4 0 504896144 294174720 11171 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=287280 CPUtime=3.09 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 3828 0 0 0 309 0 0 0 25 0 4 0 504896144 294174720 11171 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 287280

[startup+6.30095 s]
/proc/loadavg: 7.09 7.81 7.80 9/184 32497
/proc/meminfo: memFree=24890412/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=278948 CPUtime=25.15 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 24325 0 0 0 2510 5 0 0 25 0 4 0 504896144 285642752 13266 33554432000 4194304 4650419 140735498384752 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 69737 13266 393 112 0 64702 0
[pid=32493/tid=32494] ppid=32491 vsize=278948 CPUtime=6.25 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 5899 0 0 0 624 1 0 0 25 0 4 0 504896144 285642752 13266 33554432000 4194304 4650419 140735498384752 18446744073709551615 4313446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=278948 CPUtime=6.29 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 6753 0 0 0 628 1 0 0 25 0 4 0 504896144 285642752 13266 33554432000 4194304 4650419 140735498384752 18446744073709551615 4439156 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=278948 CPUtime=6.28 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 5364 0 0 0 628 0 0 0 25 0 4 0 504896144 285642752 13266 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 278948

[startup+12.7008 s]
/proc/loadavg: 7.16 7.81 7.80 9/184 32497
/proc/meminfo: memFree=24858188/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=291856 CPUtime=50.71 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 37240 0 0 0 5063 8 0 0 25 0 4 0 504896144 298860544 17692 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 72964 17692 393 112 0 67929 0
[pid=32493/tid=32494] ppid=32491 vsize=291856 CPUtime=12.61 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 8879 0 0 0 1260 1 0 0 25 0 4 0 504896144 298860544 17692 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=291856 CPUtime=12.68 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 10019 0 0 0 1266 2 0 0 25 0 4 0 504896144 298860544 17692 33554432000 4194304 4650419 140735498384752 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=291856 CPUtime=12.69 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 8970 0 0 0 1268 1 0 0 25 0 4 0 504896144 298860544 17692 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 291856

[startup+25.5005 s]
/proc/loadavg: 7.42 7.83 7.81 9/184 32497
/proc/meminfo: memFree=24829532/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=320160 CPUtime=101.83 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 55580 0 0 0 10170 13 0 0 25 0 4 0 504896144 327843840 22611 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 80040 22611 393 112 0 75005 0
[pid=32493/tid=32494] ppid=32491 vsize=320160 CPUtime=25.35 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 14114 0 0 0 2532 3 0 0 25 0 4 0 504896144 327843840 22611 33554432000 4194304 4650419 140735498384752 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=320160 CPUtime=25.48 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 15898 0 0 0 2544 4 0 0 25 0 4 0 504896144 327843840 22612 33554432000 4194304 4650419 140735498384752 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=320160 CPUtime=25.48 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 11108 0 0 0 2547 1 0 0 25 0 4 0 504896144 327843840 22612 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 320160

[startup+51.1009 s]
/proc/loadavg: 7.67 7.86 7.82 9/184 32498
/proc/meminfo: memFree=24781992/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=311736 CPUtime=204.1 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 84491 0 0 0 20389 21 0 0 25 0 4 0 504896144 319217664 27671 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 77934 27671 393 112 0 72899 0
[pid=32493/tid=32494] ppid=32491 vsize=311736 CPUtime=50.81 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 22103 0 0 0 5076 5 0 0 25 0 4 0 504896144 319217664 27671 33554432000 4194304 4650419 140735498384752 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=311736 CPUtime=51.08 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 24185 0 0 0 5102 6 0 0 25 0 4 0 504896144 319217664 27671 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=311736 CPUtime=51.09 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 16198 0 0 0 5106 3 0 0 25 0 4 0 504896144 319217664 27671 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 311736

[startup+102.301 s]
/proc/loadavg: 7.92 7.90 7.83 9/184 32499
/proc/meminfo: memFree=24702848/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=304700 CPUtime=408.64 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 132046 0 0 0 40828 36 0 0 25 0 4 0 504896144 312012800 38814 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 76175 38814 393 112 0 71140 0
[pid=32493/tid=32494] ppid=32491 vsize=304700 CPUtime=101.73 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 31289 0 0 0 10165 8 0 0 25 0 4 0 504896144 312012800 38814 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=304700 CPUtime=102.29 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 39189 0 0 0 10219 10 0 0 25 0 4 0 504896144 312012800 38814 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=304700 CPUtime=102.29 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 24670 0 0 0 10224 5 0 0 25 0 4 0 504896144 312012800 38814 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 304700

[startup+162.301 s]

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

[pid=32493] ppid=32491 vsize=520360 CPUtime=2565.71 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 389332 0 0 0 256425 146 0 0 25 0 4 0 504896144 532848640 81566 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 130090 81566 393 112 0 125055 0
[pid=32493/tid=32494] ppid=32491 vsize=520360 CPUtime=638.81 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 86799 0 0 0 63851 30 0 0 25 0 4 0 504896144 532848640 81566 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=520360 CPUtime=642.3 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 120584 0 0 0 64186 44 0 0 25 0 4 0 504896144 532848640 81566 33554432000 4194304 4650419 140735498384752 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=520360 CPUtime=642.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 65410 0 0 0 64201 26 0 0 25 0 4 0 504896144 532848640 81566 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 520360

[startup+702.3 s]
/proc/loadavg: 8.17 8.04 7.92 9/184 32524
/proc/meminfo: memFree=24319972/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=530460 CPUtime=2805.38 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 413438 0 0 0 280381 157 0 0 25 0 4 0 504896144 543191040 87372 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 132615 87372 393 112 0 127580 0
[pid=32493/tid=32494] ppid=32491 vsize=530460 CPUtime=698.48 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 88950 0 0 0 69817 31 0 0 25 0 4 0 504896144 543191040 87372 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=530460 CPUtime=702.29 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 128858 0 0 0 70182 47 0 0 25 0 4 0 504896144 543191040 87372 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=530460 CPUtime=702.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 70246 0 0 0 70198 29 0 0 25 0 4 0 504896144 543191040 87372 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 530460

[startup+762.301 s]
/proc/loadavg: 8.12 8.04 7.93 9/184 32526
/proc/meminfo: memFree=24319808/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=543768 CPUtime=3045.08 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 433219 0 0 0 304343 165 0 0 25 0 4 0 504896144 556818432 87750 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 135942 87750 393 112 0 130907 0
[pid=32493/tid=32494] ppid=32491 vsize=543768 CPUtime=758.15 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 90706 0 0 0 75784 31 0 0 25 0 4 0 504896144 556818432 87750 33554432000 4194304 4650419 140735498384752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=543768 CPUtime=762.3 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 137621 0 0 0 76180 50 0 0 25 0 4 0 504896144 556818432 87750 33554432000 4194304 4650419 140735498384752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=543768 CPUtime=762.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 72549 0 0 0 76197 30 0 0 25 0 4 0 504896144 556818432 87750 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 543768

[startup+822.301 s]
/proc/loadavg: 8.10 8.05 7.93 9/184 32527
/proc/meminfo: memFree=24317040/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=556896 CPUtime=3284.74 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 454802 0 0 0 328298 176 0 0 25 0 4 0 504896144 570261504 91751 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 139224 91751 393 112 0 134189 0
[pid=32493/tid=32494] ppid=32491 vsize=556896 CPUtime=817.83 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 95123 0 0 0 81749 34 0 0 25 0 4 0 504896144 570261504 91751 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=556896 CPUtime=822.29 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 144594 0 0 0 82175 54 0 0 25 0 4 0 504896144 570261504 91751 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=556896 CPUtime=822.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 76285 0 0 0 82195 32 0 0 25 0 4 0 504896144 570261504 91751 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 556896

[startup+882.307 s]
/proc/loadavg: 8.09 8.05 7.94 9/184 32529
/proc/meminfo: memFree=24290108/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=557772 CPUtime=3524.44 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 475107 0 0 0 352258 186 0 0 25 0 4 0 504896144 571158528 92332 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 139443 92332 393 112 0 134408 0
[pid=32493/tid=32494] ppid=32491 vsize=557772 CPUtime=877.5 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 95323 0 0 0 87716 34 0 0 25 0 4 0 504896144 571158528 92332 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=557772 CPUtime=882.3 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 153239 0 0 0 88171 59 0 0 25 0 4 0 504896144 571158528 92332 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=557772 CPUtime=882.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 78748 0 0 0 88194 33 0 0 25 0 4 0 504896144 571158528 92332 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 557772

[startup+942.3 s]
/proc/loadavg: 8.03 8.04 7.94 9/184 32531
/proc/meminfo: memFree=24287116/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=545260 CPUtime=3764.09 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 489187 0 0 0 376216 193 0 0 25 0 4 0 504896144 558346240 89775 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 136315 89775 393 112 0 131280 0
[pid=32493/tid=32494] ppid=32491 vsize=545260 CPUtime=937.17 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 95582 0 0 0 93683 34 0 0 25 0 4 0 504896144 558346240 89775 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=545260 CPUtime=942.3 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 157790 0 0 0 94169 61 0 0 25 0 4 0 504896144 558346240 89775 33554432000 4194304 4650419 140735498384752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=545260 CPUtime=942.28 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 81393 0 0 0 94193 35 0 0 25 0 4 0 504896144 558346240 89775 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 545260

[startup+1002.3 s]
/proc/loadavg: 8.01 8.03 7.94 9/184 32532
/proc/meminfo: memFree=24241960/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=519184 CPUtime=4003.77 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 513551 0 0 0 400172 205 0 0 25 0 4 0 504896144 531644416 94256 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 129796 94256 393 112 0 124761 0
[pid=32493/tid=32494] ppid=32491 vsize=519184 CPUtime=996.84 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 102044 0 0 0 99646 38 0 0 25 0 4 0 504896144 531644416 94256 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=519184 CPUtime=1002.3 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 164435 0 0 0 100165 65 0 0 25 0 4 0 504896144 531644416 94256 33554432000 4194304 4650419 140735498384752 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=519184 CPUtime=1002.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 85621 0 0 0 100190 37 0 0 25 0 4 0 504896144 531644416 94256 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 519184

[startup+1062.3 s]
/proc/loadavg: 8.06 8.04 7.95 9/184 32534
/proc/meminfo: memFree=24220992/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=546076 CPUtime=4243.45 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 526612 0 0 0 424133 212 0 0 25 0 4 0 504896144 559181824 103842 33554432000 4194304 4650419 140735498384752 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 136519 103842 393 112 0 131484 0
[pid=32493/tid=32494] ppid=32491 vsize=546076 CPUtime=1056.53 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 107233 0 0 0 105611 42 0 0 25 0 4 0 504896144 559181824 103842 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=546076 CPUtime=1062.3 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 167363 0 0 0 106164 66 0 0 25 0 4 0 504896144 559181824 103842 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=546076 CPUtime=1062.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 87549 0 0 0 106190 37 0 0 25 0 4 0 504896144 559181824 103842 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 546076

[startup+1122.3 s]
/proc/loadavg: 8.07 8.04 7.95 9/184 32535
/proc/meminfo: memFree=24204728/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=611656 CPUtime=4483.13 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 539210 0 0 0 448096 217 0 0 25 0 4 0 504896144 626335744 107227 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 152914 107227 393 112 0 147879 0
[pid=32493/tid=32494] ppid=32491 vsize=611656 CPUtime=1116.2 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 109324 0 0 0 111577 43 0 0 25 0 4 0 504896144 626335744 107227 33554432000 4194304 4650419 140735498384752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=611656 CPUtime=1122.3 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 176398 0 0 0 112161 69 0 0 25 0 4 0 504896144 626335744 107227 33554432000 4194304 4650419 140735498384752 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=611656 CPUtime=1122.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 88325 0 0 0 112189 38 0 0 25 0 4 0 504896144 626335744 107227 33554432000 4194304 4650419 140735498384752 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 611656

[startup+1182.3 s]
/proc/loadavg: 8.07 8.05 7.96 9/184 32537
/proc/meminfo: memFree=24170488/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=611716 CPUtime=4722.8 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 549041 0 0 0 472058 222 0 0 25 0 4 0 504896144 626397184 113289 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 152929 113289 393 112 0 147894 0
[pid=32493/tid=32494] ppid=32491 vsize=611716 CPUtime=1175.87 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 109377 0 0 0 117544 43 0 0 25 0 4 0 504896144 626397184 113289 33554432000 4194304 4650419 140735498384752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=611716 CPUtime=1182.3 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 177013 0 0 0 118161 69 0 0 25 0 4 0 504896144 626397184 113289 33554432000 4194304 4650419 140735498384752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=611716 CPUtime=1182.27 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 92019 0 0 0 118186 41 0 0 25 0 4 0 504896144 626397184 113289 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 611716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.44 7.91 7.91 5/175 32556
/proc/meminfo: memFree=24580388/32951124 swapFree=67111524/67111528
[pid=32493] ppid=32491 vsize=611716 CPUtime=4800.32 cores=1,3,5,7
/proc/32493/stat : 32493 (strangenight1-m) R 32491 32493 31482 0 -1 4202496 551716 0 0 0 479806 226 0 0 25 0 4 0 504896144 626397184 111677 33554432000 4194304 4650419 140735498384752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32493/statm: 152929 111677 393 112 0 147894 0
[pid=32493/tid=32494] ppid=32491 vsize=611716 CPUtime=1195.17 cores=1,3,5,7
/proc/32493/task/32494/stat : 32494 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 109408 0 0 0 119474 43 0 0 25 0 4 0 504896144 626397184 111677 33554432000 4194304 4650419 140735498384752 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32493/tid=32495] ppid=32491 vsize=611716 CPUtime=1201.71 cores=1,3,5,7
/proc/32493/task/32495/stat : 32495 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 177531 0 0 0 120101 70 0 0 25 0 4 0 504896144 626397184 111677 33554432000 4194304 4650419 140735498384752 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32493/tid=32496] ppid=32491 vsize=611716 CPUtime=1201.68 cores=1,3,5,7
/proc/32493/task/32496/stat : 32496 (strangenight1-m) R 32491 32493 31482 0 -1 4202560 92841 0 0 0 120126 42 0 0 25 0 4 0 504896144 626397184 111677 33554432000 4194304 4650419 140735498384752 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 611716

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4798.08
CPU system time (s): 2.28365
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 665576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.08
system time used= 2.28365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551716
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= 381
involuntary context switches= 31694

runsolver used 1.79873 second user time and 4.77027 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-30 02:53:23
IDJOB=3175454
IDBENCH=83072
IDSOLVER=1588
FILE ID=node145/3175454-1304124803
RUNJOBID= node145-1304124792-32440
PBS_JOBID= 13170721
Free space on /tmp= 72200 MiB

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

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

MD5SUM BENCH= 9830e1bf79d13e57ceeaa969f4476a02
RANDOM SEED=712255231

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24959152 kB
Buffers:       1269384 kB
Cached:        6073456 kB
SwapCached:          4 kB
Active:         824752 kB
Inactive:      6643940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24959152 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12660 kB
Writeback:           0 kB
AnonPages:      125300 kB
Mapped:          15504 kB
Slab:           460700 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   347148 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= 72200 MiB
End job on node145 at 2011-04-30 03:13:27