Trace number 3368877

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.13 1202.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
MD5SUM200b19edc2ebf99249f1125469c39206
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
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 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368877-1305405160.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.02	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.02	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      75 undec:       5 neg:      70
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4919       150      3195         0      4710     15975    141564   no data   no data  --
3.57/0.90	c  N st    10     11307       150      3195         0      4344     15975     99526   no data   no data  --
3.57/0.90	c  N st    11     17050       150      3195         0      9812     15975    266241   no data   no data  --
3.57/0.92	c  F st    12     25004       150      3195         0     12002     15975    326589   no data   no data  --
3.57/0.92	c  N st    12     25004       150      3195         0     12002     15975    326589   no data   no data  --
4.40/1.15	c Decided on static restart strategy
4.40/1.15	c  N st    18     30000       150      3195         0     10303     15975    266161   no data   no data  --
4.40/1.15	c  S st    18     30000       150      3195         0     10303     15975    266161   no data   no data  --
4.40/1.18	c  S st    18     30503       150      3195         0     10798     15975    280499   no data   no data  --
4.40/1.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.40/1.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.76/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.76/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.13	c lits-rem:      2724  cl-subs:     1112  v-elim:      0  v-fix:    0  time:  3.70 s
8.37/2.18	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.20
8.37/2.18	c calculated reachability. Time: 0.00
8.37/2.18	c  N st    18     30503       150      3195         0      9686     15975    239445   no data   no data  --
9.95/2.53	c  N st    20     37616       150      3195         0      8978     15975    200654   no data   no data  --
11.15/2.84	c  N st    21     44016       150      3195         0     15034     15975    391753   no data   no data  --
11.55/2.96	c  S st    22     45754       150      3195         0     16687     15975    441844   no data   no data  --
11.95/3.01	c  S st    22     46257       150      3195         0      8669     15975    171520   no data   no data  --
11.95/3.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.95/3.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.95/3.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.95/3.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.95/3.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.95/3.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.95/3.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.18/3.33	c lits-rem:       430  cl-subs:      124  v-elim:      0  v-fix:    0  time:  1.24 s
13.18/3.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
13.18/3.33	c vivif2 --  cl tried     8545 cl shrink        0 lits rem          0 time: 0.00
13.18/3.37	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
13.18/3.38	c calculated reachability. Time: 0.00
13.18/3.38	c  N st    22     46257       150      3195         0      8545     15975    166951   no data   no data  --
16.33/4.11	c  N st    23     60654       150      3195         0     12757     15975    278817   no data   no data  --
18.33/4.68	c  N st    24     69385       150      3195         0     10621     15975    197778   no data   no data  --
18.33/4.68	c  S st    24     69385       150      3195         0     10621     15975    197778   no data   no data  --
18.73/4.71	c  S st    24     69889       150      3195         0     11116     15975    212595   no data   no data  --
18.73/4.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.73/4.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.73/4.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
18.73/4.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.73/4.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.73/4.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
18.73/4.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.13/5.40	c lits-rem:       561  cl-subs:      246  v-elim:      0  v-fix:    0  time:  2.70 s
21.13/5.40	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
21.13/5.40	c vivif2 --  cl tried    10870 cl shrink        0 lits rem          0 time: 0.01
21.55/5.46	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.22
21.55/5.46	c calculated reachability. Time: 0.00
21.55/5.46	c  N st    24     69889       150      3195         0     10870     15975    204026   no data   no data  --
26.71/6.71	c  F st    25     87500       150      3195         0     16180     15975    352390   no data   no data  --
26.71/6.71	c  N st    25     87500       150      3195         0     16180     15975    352390   no data   no data  --
27.91/7.06	c Decided on static restart strategy
28.71/7.26	c  N st    32     95542       150      3195         0     23895     15975    586302   no data   no data  --
31.09/7.81	c  N st    34    104834       150      3195         0     20342     15975    473032   no data   no data  --
31.09/7.81	c  S st    34    104834       150      3195         0     20342     15975    473032   no data   no data  --
31.09/7.88	c  S st    34    105338       150      3195         0     20839     15975    488049   no data   no data  --
31.09/7.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.09/7.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.09/7.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
31.49/7.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.49/7.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.49/7.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
31.49/7.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
38.28/9.66	c lits-rem:      5210  cl-subs:     1355  v-elim:      0  v-fix:    0  time:  7.00 s
38.28/9.66	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
38.28/9.66	c vivif2 --  cl tried    19484 cl shrink        0 lits rem          0 time: 0.02
38.68/9.76	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.39
38.68/9.76	c calculated reachability. Time: 0.00
38.68/9.76	c  N st    34    105338       150      3195         0     19484     15975    436156   no data   no data  --
41.47/10.49	c  N st    35    114936       150      3195         0     15327     15975    302187   no data   no data  --
46.25/11.62	c  N st    36    129333       150      3195         0     14707     15975    258868   no data   no data  --
52.27/13.18	c  N st    37    150929       150      3195         0     19993     15975    401215   no data   no data  --
54.64/13.74	c  S st    38    158007       150      3195         0     26706     15975    610951   no data   no data  --
55.04/13.81	c  S st    38    158512       150      3195         0     27194     15975    625782   no data   no data  --
55.04/13.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
55.04/13.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.04/13.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
55.04/13.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.04/13.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.04/13.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
55.04/13.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.02/15.85	c lits-rem:      4866  cl-subs:     1997  v-elim:      0  v-fix:    0  time:  8.05 s
63.02/15.85	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
63.02/15.86	c vivif2 --  cl tried    25197 cl shrink        0 lits rem          0 time: 0.03
63.41/15.99	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.53
63.41/15.99	c calculated reachability. Time: 0.00
63.41/15.99	c  N st    38    158512       150      3195         0     25197     15975    554366   no data   no data  --
80.97/20.30	c  N st    39    207100       150      3195         0     20206     15975    356411   no data   no data  --
92.95/23.39	c  N st    40    237769       150      3195         0     30193     15975    638748   no data   no data  --
92.95/23.39	c  S st    40    237769       150      3195         0     30193     15975    638748   no data   no data  --
93.35/23.47	c  S st    40    238273       150      3195         0     30685     15975    653278   no data   no data  --
93.35/23.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.35/23.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.35/23.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
93.75/23.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.75/23.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.75/23.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
93.75/23.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.93/25.82	c lits-rem:      3718  cl-subs:     2385  v-elim:      0  v-fix:    0  time:  9.27 s
102.93/25.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
102.93/25.83	c vivif2 --  cl tried    28300 cl shrink        0 lits rem          0 time: 0.03
103.33/25.98	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.59
103.33/25.98	c calculated reachability. Time: 0.00
103.33/25.98	c  N st    40    238273       150      3195         0     28300     15975    577962   no data   no data  --
131.70/33.05	c  F st    41    306250       150      3195         0     30120     15975    598009   no data   no data  --
131.70/33.05	c  N st    41    306250       150      3195         0     30120     15975    598009   no data   no data  --
133.65/33.54	c Decided on static restart strategy
142.84/35.86	c  N st    51    334549       150      3195         0     34380     15975    696745   no data   no data  --
152.41/38.20	c  N st    53    357411       150      3195         0     32394     15975    623246   no data   no data  --
152.41/38.20	c  S st    53    357411       150      3195         0     32394     15975    623246   no data   no data  --
152.41/38.28	c  S st    53    357917       150      3195         0     32891     15975    637800   no data   no data  --
152.41/38.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
152.41/38.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
152.41/38.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
152.81/38.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.81/38.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.81/38.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
152.81/38.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.80/40.35	c lits-rem:      3089  cl-subs:     1610  v-elim:      0  v-fix:    0  time:  8.15 s
160.80/40.35	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
160.80/40.36	c vivif2 --  cl tried    31281 cl shrink        0 lits rem          0 time: 0.02
161.60/40.52	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.67
161.60/40.53	c calculated reachability. Time: 0.00
161.60/40.53	c  N st    53    357917       150      3195         0     31281     15975    581604   no data   no data  --
177.16/44.46	c  N st    54    390310       150      3195         0     37251     15975    755081   no data   no data  --
203.49/51.01	c  N st    55    438900       150      3195         0     31259     15975    543808   no data   no data  --
239.00/59.98	c  N st    56    511783       150      3195         0     44315     15975    884815   no data   no data  --
251.77/63.13	c  N st    57    536877       150      3195         0     38615     15975    694229   no data   no data  --
251.77/63.13	c  S st    57    536877       150      3195         0     38615     15975    694229   no data   no data  --
252.17/63.23	c  S st    57    537381       150      3195         0     39110     15975    708801   no data   no data  --
252.17/63.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
252.17/63.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
252.17/63.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
252.17/63.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.17/63.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.17/63.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
252.17/63.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
261.36/65.51	c lits-rem:      2362  cl-subs:     2164  v-elim:      0  v-fix:    0  time:  8.95 s
261.36/65.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
261.36/65.52	c vivif2 --  cl tried    36946 cl shrink        0 lits rem          0 time: 0.03
262.16/65.73	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.84
262.16/65.73	c calculated reachability. Time: 0.00
262.16/65.73	c  N st    57    537381       150      3195         0     36946     15975    642834   no data   no data  --
349.95/87.79	c  N st    58    701366       150      3195         0     65516     15975   1468398   no data   no data  --
415.80/104.26	c  N st    59    806071       150      3195         0     59688     15975   1255003   no data   no data  --
415.80/104.26	c  S st    59    806071       150      3195         0     59688     15975   1255003   no data   no data  --
416.62/104.43	c  S st    59    806573       150      3195         0     60177     15975   1269940   no data   no data  --
416.62/104.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
416.62/104.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
416.62/104.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
416.62/104.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
416.62/104.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
416.62/104.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
416.62/104.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
452.90/113.52	c lits-rem:      3379  cl-subs:     4168  v-elim:      0  v-fix:    0  time: 36.01 s
452.90/113.52	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
452.90/113.54	c vivif2 --  cl tried    56009 cl shrink        0 lits rem          0 time: 0.06
454.10/113.88	c asymm  cl-useful: 0/2383/3195 lits-rem:0 time: 1.38
454.10/113.88	c calculated reachability. Time: 0.00
454.10/113.88	c  N st    59    806573       150      3195         0     56009     15975   1134539   no data   no data  --
637.27/159.73	c  F st    60   1071875       150      3195         0     71255     15975   1534758   no data   no data  --
637.27/159.73	c  N st    60   1071875       150      3195         0     71255     15975   1534758   no data   no data  --
641.27/160.75	c Decided on static restart strategy
658.46/165.03	c  N st    70   1100180       150      3195         0     55800     15975    991118   no data   no data  --
689.20/172.78	c  N st    72   1136175       150      3195         0     46362     15975    667592   no data   no data  --
712.30/178.53	c  N st    73   1168568       150      3195         0     76829     15975   1608048   no data   no data  --
744.62/186.62	c  N st    74   1209859       150      3195         0     71429     15975   1403901   no data   no data  --
744.62/186.62	c  S st    74   1209859       150      3195         0     71429     15975   1403901   no data   no data  --
745.42/186.88	c  S st    74   1210362       150      3195         0     71921     15975   1418062   no data   no data  --
745.42/186.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
745.42/186.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
745.84/186.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
745.84/186.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
745.84/186.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
745.84/186.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
745.84/186.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
818.03/205.01	c lits-rem:      2251  cl-subs:     6292  v-elim:      0  v-fix:    0  time: 71.96 s
818.03/205.02	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
818.03/205.03	c vivif2 --  cl tried    65629 cl shrink        0 lits rem          0 time: 0.06
818.83/205.20	c asymm  cl-useful: 0/812/3195 lits-rem:0 time: 0.67
818.83/205.20	c calculated reachability. Time: 0.00
818.83/205.20	c  N st    74   1210362       150      3195         0     65629     15975   1229494   no data   no data  --
880.69/220.70	c  N st    75   1283244       150      3195         0     89128     15975   1923535   no data   no data  --
992.04/248.67	c  N st    76   1392567       150      3195         0     51072     15975    721447   no data   no data  --
1107.74/277.69	c  N st    77   1556551       150      3195         0     55787     15975    816184   no data   no data  --
1225.84/307.23	c  N st    78   1710362       150      3195         0     96052     15975   1972583   no data   no data  --
1225.84/307.23	c  S st    78   1710362       150      3195         0     96052     15975   1972583   no data   no data  --
1227.04/307.55	c  S st    78   1710865       150      3195         0     96545     15975   1987710   no data   no data  --
1227.04/307.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1227.04/307.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1227.44/307.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1227.44/307.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1227.44/307.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1227.44/307.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1227.44/307.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1356.71/340.04	c lits-rem:      2650  cl-subs:     9288  v-elim:      0  v-fix:    0  time: 129.10 s
1356.71/340.04	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1356.71/340.06	c vivif2 --  cl tried    87257 cl shrink        0 lits rem          0 time: 0.10
1358.71/340.51	c asymm  cl-useful: 0/1440/3195 lits-rem:0 time: 1.78
1358.71/340.51	c calculated reachability. Time: 0.00
1358.71/340.51	c  N st    78   1710865       150      3195         0     87257     15975   1723735   no data   no data  --
1710.26/428.66	c  N st    79   2079829       150      3195         0     98834     15975   1984271   no data   no data  --
1833.19/459.41	c  N st    80   2210867       150      3195         0    102958     15975   2102072   no data   no data  --
1833.19/459.41	c  S st    80   2210867       150      3195         0    102958     15975   2102072   no data   no data  --
1834.40/459.76	c  S st    80   2211368       150      3195         0    103447     15975   2116492   no data   no data  --
1834.40/459.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1834.40/459.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1834.82/459.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1834.82/459.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1834.82/459.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1834.82/459.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1834.82/459.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1955.27/490.07	c lits-rem:      3842  cl-subs:     7915  v-elim:      0  v-fix:    0  time: 120.36 s
1955.27/490.07	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1955.27/490.09	c vivif2 --  cl tried    95532 cl shrink        0 lits rem          0 time: 0.10
1957.29/490.56	c asymm  cl-useful: 0/1247/3195 lits-rem:0 time: 1.85
1957.29/490.56	c calculated reachability. Time: 0.00
1957.29/490.56	c  N st    80   2211368       150      3195         0     95532     15975   1871199   no data   no data  --
2468.84/618.77	c  N st    81   2711368       150      3195         0    118041     15975   2388785   no data   no data  --
2468.84/618.77	c  S st    81   2711368       150      3195         0    118041     15975   2388785   no data   no data  --
2470.44/619.15	c  S st    81   2711872       150      3195         0    118534     15975   2403681   no data   no data  --
2470.44/619.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2470.44/619.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2470.85/619.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
2470.85/619.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2470.85/619.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2470.85/619.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2470.85/619.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2639.20/661.44	c lits-rem:      9657  cl-subs:    11102  v-elim:      0  v-fix:    0  time: 168.14 s
2639.20/661.44	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2639.20/661.47	c vivif2 --  cl tried   107432 cl shrink        0 lits rem          0 time: 0.10
2640.00/661.66	c asymm  cl-useful: 0/508/3195 lits-rem:0 time: 0.75
2640.00/661.66	c calculated reachability. Time: 0.00
2640.00/661.66	c  N st    81   2711872       150      3195         0    107432     15975   2090771   no data   no data  --
3247.77/813.99	c  N st    82   3211875       150      3195         0     84835     15975   1284329   no data   no data  --
3247.77/813.99	c  S st    82   3211875       150      3195         0     84835     15975   1284329   no data   no data  --
3248.94/814.29	c  S st    82   3212378       150      3195         0     85330     15975   1299764   no data   no data  --
3249.34/814.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3249.34/814.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3249.34/814.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3249.34/814.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3249.34/814.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3249.34/814.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3249.34/814.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3280.85/822.28	c lits-rem:      1016  cl-subs:     2365  v-elim:      0  v-fix:    0  time: 31.49 s
3280.85/822.28	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3281.25/822.30	c vivif2 --  cl tried    82965 cl shrink        0 lits rem          0 time: 0.06
3282.45/822.61	c asymm  cl-useful: 0/1705/3195 lits-rem:0 time: 1.26
3282.45/822.62	c calculated reachability. Time: 0.00
3282.45/822.62	c  N st    82   3212378       150      3195         0     82965     15975   1228862   no data   no data  --
3920.55/982.52	c  N st    83   3712378       150      3195         0     93038     15975   1437420   no data   no data  --
3920.55/982.52	c  S st    83   3712378       150      3195         0     93038     15975   1437420   no data   no data  --
3921.75/982.82	c  S st    83   3712881       150      3195         0     93521     15975   1452302   no data   no data  --
3921.75/982.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3921.75/982.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3921.75/982.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
3922.15/982.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3922.15/982.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3922.15/982.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3922.15/982.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3962.05/992.99	c lits-rem:       237  cl-subs:     3455  v-elim:      0  v-fix:    0  time: 40.19 s
3962.05/992.99	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3962.45/993.01	c vivif2 --  cl tried    90066 cl shrink        0 lits rem          0 time: 0.07
3963.68/993.36	c asymm  cl-useful: 0/1304/3195 lits-rem:0 time: 1.37
3963.68/993.36	c calculated reachability. Time: 0.00
3963.68/993.36	c  N st    83   3712881       150      3195         0     90066     15975   1351318   no data   no data  --
4014.72/1006.13	c  F st    84   3751563       150      3195         0    126521     15975   2501891   no data   no data  --
4014.72/1006.13	c  N st    84   3751563       150      3195         0    126521     15975   2501891   no data   no data  --
4024.30/1008.55	c Decided on static restart strategy
4066.60/1019.12	c  N st    94   3779866       150      3195         0    153371     15975   3330857   no data   no data  --
4120.88/1032.72	c  N st    96   3815860       150      3195         0    107644     15975   1866981   no data   no data  --
4163.97/1043.55	c  N st    97   3848252       150      3195         0    138361     15975   2804036   no data   no data  --
4236.98/1061.81	c  N st    98   3896840       150      3195         0    103162     15975   1712593   no data   no data  --
4349.55/1090.03	c  N st    99   3969723       150      3195         0     89991     15975   1262636   no data   no data  --
4510.34/1130.32	c  N st   100   4079048       150      3195         0    109757     15975   1810304   no data   no data  --
4690.32/1175.40	c  N st   101   4212885       150      3195         0    151941     15975   3137382   no data   no data  --
4690.32/1175.40	c  S st   101   4212885       150      3195         0    151941     15975   3137382   no data   no data  --
4692.36/1175.91	c  S st   101   4213388       150      3195         0    152428     15975   3152050   no data   no data  --
4692.36/1175.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4692.36/1175.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4692.71/1176.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.34
4693.11/1176.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4693.11/1176.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4693.11/1176.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4693.11/1176.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368877-1305405160/watcher-3368877-1305405160 -o /tmp/evaluation-result-3368877-1305405160/solver-3368877-1305405160 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368877-1305405160.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: 3.69 4.75 5.99 2/294 20790
/proc/meminfo: memFree=27774860/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 4 0 652114546 52465664 353 33554432000 4194304 4650419 140737085116816 18446744073709551615 47397581162418 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 12809 353 303 112 0 7774 0
[pid=20790/tid=20794] ppid=20788 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 652114546 52465664 353 33554432000 4194304 4650419 140737085116816 18446744073709551615 47397581162418 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 652114546 52465664 353 33554432000 4194304 4650419 140737085116816 18446744073709551615 47397581162412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 652114546 52465664 353 33554432000 4194304 4650419 140737085116816 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0828521 s]
/proc/loadavg: 3.69 4.75 5.99 2/294 20790
/proc/meminfo: memFree=27774860/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=282268 CPUtime=0.3 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 1926 0 0 0 30 0 0 0 18 0 4 0 652114546 289042432 1754 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 70567 1754 389 112 0 65532 0
[pid=20790/tid=20794] ppid=20788 vsize=282268 CPUtime=0.07 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 403 0 0 0 7 0 0 0 18 0 4 0 652114546 289042432 1754 33554432000 4194304 4650419 140737085116816 18446744073709551615 4331291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=282268 CPUtime=0.07 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 416 0 0 0 7 0 0 0 18 0 4 0 652114546 289042432 1754 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=282268 CPUtime=0.06 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 262 0 0 0 6 0 0 0 23 0 4 0 652114546 289042432 1754 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 282268

[startup+0.100847 s]
/proc/loadavg: 3.69 4.75 5.99 2/294 20790
/proc/meminfo: memFree=27774860/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=282400 CPUtime=0.37 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 2029 0 0 0 37 0 0 0 18 0 4 0 652114546 289177600 1857 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 70600 1857 389 112 0 65565 0
[pid=20790/tid=20794] ppid=20788 vsize=282400 CPUtime=0.09 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 427 0 0 0 9 0 0 0 18 0 4 0 652114546 289177600 1858 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=282400 CPUtime=0.09 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 438 0 0 0 9 0 0 0 18 0 4 0 652114546 289177600 1858 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=282400 CPUtime=0.08 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 296 0 0 0 8 0 0 0 23 0 4 0 652114546 289177600 1858 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282400

[startup+0.300815 s]
/proc/loadavg: 3.69 4.75 5.99 2/294 20790
/proc/meminfo: memFree=27774860/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=284064 CPUtime=1.17 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 3456 0 0 0 117 0 0 0 18 0 4 0 652114546 290881536 2555 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 71016 2555 391 112 0 65981 0
[pid=20790/tid=20794] ppid=20788 vsize=284064 CPUtime=0.29 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 786 0 0 0 29 0 0 0 18 0 4 0 652114546 290881536 2555 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=284064 CPUtime=0.29 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 794 0 0 0 29 0 0 0 18 0 4 0 652114546 290881536 2555 33554432000 4194304 4650419 140737085116816 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=284064 CPUtime=0.28 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 657 0 0 0 28 0 0 0 23 0 4 0 652114546 290881536 2556 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284064

[startup+0.700748 s]
/proc/loadavg: 3.69 4.75 5.99 2/294 20790
/proc/meminfo: memFree=27774860/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=285916 CPUtime=2.77 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 6355 0 0 0 277 0 0 0 18 0 4 0 652114546 292777984 2986 33554432000 4194304 4650419 140737085116816 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 71479 2986 391 112 0 66444 0
[pid=20790/tid=20794] ppid=20788 vsize=285916 CPUtime=0.69 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 1521 0 0 0 69 0 0 0 18 0 4 0 652114546 292777984 2986 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=285916 CPUtime=0.69 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 1521 0 0 0 69 0 0 0 18 0 4 0 652114546 292777984 2986 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=285916 CPUtime=0.68 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 1355 0 0 0 68 0 0 0 25 0 4 0 652114546 292777984 2986 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285916

[startup+1.50062 s]
/proc/loadavg: 3.69 4.75 5.99 10/302 20798
/proc/meminfo: memFree=27748488/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=286944 CPUtime=5.96 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 11541 0 0 0 594 2 0 0 20 0 4 0 652114546 293830656 5167 33554432000 4194304 4650419 140737085116816 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 71736 5167 393 112 0 66701 0
[pid=20790/tid=20794] ppid=20788 vsize=286944 CPUtime=1.49 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 2563 0 0 0 149 0 0 0 19 0 4 0 652114546 293830656 5167 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=286944 CPUtime=1.48 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 2530 0 0 0 148 0 0 0 20 0 4 0 652114546 293830656 5167 33554432000 4194304 4650419 140737085116816 18446744073709551615 4331850 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=286944 CPUtime=1.47 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 2287 0 0 0 147 0 0 0 25 0 4 0 652114546 293830656 5167 33554432000 4194304 4650419 140737085116816 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286944

[startup+3.10035 s]
/proc/loadavg: 3.69 4.75 5.99 10/302 20798
/proc/meminfo: memFree=27701988/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=304284 CPUtime=12.35 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 20254 0 0 0 1232 3 0 0 25 0 4 0 652114546 311586816 11767 33554432000 4194304 4650419 140737085116816 18446744073709551615 4439089 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 76071 11767 393 112 0 71036 0
[pid=20790/tid=20794] ppid=20788 vsize=304284 CPUtime=3.09 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 4572 0 0 0 309 0 0 0 25 0 4 0 652114546 311586816 11767 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=304284 CPUtime=3.08 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 5204 0 0 0 308 0 0 0 25 0 4 0 652114546 311586816 11767 33554432000 4194304 4650419 140737085116816 18446744073709551615 4438239 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=304284 CPUtime=3.06 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 5237 0 0 0 305 1 0 0 25 0 4 0 652114546 311586816 11767 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 304284

[startup+6.30082 s]
/proc/loadavg: 4.03 4.80 6.00 10/302 20798
/proc/meminfo: memFree=27659456/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=323244 CPUtime=25.11 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 29687 0 0 0 2507 4 0 0 25 0 4 0 652114546 331001856 15826 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 80811 15827 393 112 0 75776 0
[pid=20790/tid=20794] ppid=20788 vsize=323244 CPUtime=6.28 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 7736 0 0 0 628 0 0 0 25 0 4 0 652114546 331001856 15830 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=323244 CPUtime=6.28 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 8038 0 0 0 627 1 0 0 25 0 4 0 652114546 331001856 15837 33554432000 4194304 4650419 140737085116816 18446744073709551615 210204344528 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=323244 CPUtime=6.23 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 6757 0 0 0 622 1 0 0 25 0 4 0 652114546 331001856 15838 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 323244

[startup+12.7007 s]
/proc/loadavg: 4.35 4.85 6.01 10/302 20799
/proc/meminfo: memFree=27605400/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=305232 CPUtime=50.65 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 45995 0 0 0 5057 8 0 0 25 0 4 0 652114546 312557568 22303 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 76308 22303 393 112 0 71273 0
[pid=20790/tid=20794] ppid=20788 vsize=305232 CPUtime=12.69 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 12374 0 0 0 1267 2 0 0 25 0 4 0 652114546 312557568 22303 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=305232 CPUtime=12.68 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 12703 0 0 0 1266 2 0 0 25 0 4 0 652114546 312557568 22303 33554432000 4194304 4650419 140737085116816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=305232 CPUtime=12.56 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 8780 0 0 0 1255 1 0 0 25 0 4 0 652114546 312557568 22303 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 305232

[startup+25.5006 s]
/proc/loadavg: 5.16 5.01 6.04 10/302 20799
/proc/meminfo: memFree=27553692/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=326660 CPUtime=101.72 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 70055 0 0 0 10158 14 0 0 25 0 4 0 652114546 334499840 30579 33554432000 4194304 4650419 140737085116816 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 81665 30579 393 112 0 76630 0
[pid=20790/tid=20794] ppid=20788 vsize=326660 CPUtime=25.49 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 20436 0 0 0 2545 4 0 0 25 0 4 0 652114546 334499840 30579 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=326660 CPUtime=25.48 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 19848 0 0 0 2544 4 0 0 25 0 4 0 652114546 334499840 30579 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=326660 CPUtime=25.24 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 9749 0 0 0 2523 1 0 0 25 0 4 0 652114546 334499840 30579 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 326660

[startup+51.1003 s]
/proc/loadavg: 6.24 5.28 6.10 10/302 20799
/proc/meminfo: memFree=27491000/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=329064 CPUtime=203.89 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 102918 0 0 0 20366 23 0 0 25 0 4 0 652114546 336961536 37480 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 82266 37480 393 112 0 77231 0
[pid=20790/tid=20794] ppid=20788 vsize=329064 CPUtime=51.08 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 31489 0 0 0 5102 6 0 0 25 0 4 0 652114546 336961536 37480 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=329064 CPUtime=51.08 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 32391 0 0 0 5100 8 0 0 25 0 4 0 652114546 336961536 37480 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=329064 CPUtime=50.61 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 10916 0 0 0 5059 2 0 0 25 0 4 0 652114546 336961536 37480 33554432000 4194304 4650419 140737085116816 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 329064

[startup+102.312 s]
/proc/loadavg: 7.43 5.74 6.21 10/302 20801
/proc/meminfo: memFree=27421892/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=321804 CPUtime=408.25 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 160014 0 0 0 40788 37 0 0 25 0 4 0 652114546 329527296 48430 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 80451 48430 393 112 0 75416 0
[pid=20790/tid=20794] ppid=20788 vsize=321804 CPUtime=102.3 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 50652 0 0 0 10220 10 0 0 25 0 4 0 652114546 329527296 48430 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=321804 CPUtime=102.29 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 51213 0 0 0 10216 13 0 0 25 0 4 0 652114546 329527296 48430 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=321804 CPUtime=101.33 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 13276 0 0 0 10131 2 0 0 25 0 4 0 652114546 329527296 48430 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 321804

[startup+162.301 s]

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

[pid=20790] ppid=20788 vsize=631944 CPUtime=2802.39 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 496080 0 0 0 280073 166 0 0 25 0 4 0 652114546 647110656 112330 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 157986 112330 393 112 0 152951 0
[pid=20790/tid=20794] ppid=20788 vsize=631944 CPUtime=702.27 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 148525 0 0 0 70182 45 0 0 25 0 4 0 652114546 647110656 112330 33554432000 4194304 4650419 140737085116816 18446744073709551615 4433093 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=631944 CPUtime=702.23 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 168427 0 0 0 70168 55 0 0 25 0 4 0 652114546 647110656 112330 33554432000 4194304 4650419 140737085116816 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=631944 CPUtime=695.57 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 36710 0 0 0 69544 13 0 0 25 0 4 0 652114546 647110656 112330 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.39
Current children cumulated vsize (KiB) 631944

[startup+762.312 s]
/proc/loadavg: 8.15 7.89 7.17 10/302 20819
/proc/meminfo: memFree=26841632/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=632600 CPUtime=3041.86 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 520022 0 0 0 304012 174 0 0 25 0 4 0 652114546 647782400 118753 33554432000 4194304 4650419 140737085116816 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 158150 118753 393 112 0 153115 0
[pid=20790/tid=20794] ppid=20788 vsize=632600 CPUtime=762.28 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 155899 0 0 0 76181 47 0 0 25 0 4 0 652114546 647782400 118753 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=632600 CPUtime=762.23 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 178909 0 0 0 76165 58 0 0 25 0 4 0 652114546 647782400 118753 33554432000 4194304 4650419 140737085116816 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=632600 CPUtime=755.01 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 36857 0 0 0 75488 13 0 0 25 0 4 0 652114546 647782400 118753 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.86
Current children cumulated vsize (KiB) 632600

[startup+822.3 s]
/proc/loadavg: 8.05 7.91 7.22 10/302 20820
/proc/meminfo: memFree=26808108/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=646452 CPUtime=3281.25 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 542231 0 0 0 327941 184 0 0 25 0 4 0 652114546 661966848 121769 33554432000 4194304 4650419 140737085116816 18446744073709551615 4533819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 161613 121769 393 112 0 156578 0
[pid=20790/tid=20794] ppid=20788 vsize=646452 CPUtime=822.27 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 162382 0 0 0 82177 50 0 0 25 0 4 0 652114546 661966848 121769 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=646452 CPUtime=822.2 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 188344 0 0 0 82158 62 0 0 25 0 4 0 652114546 661966848 121769 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=646452 CPUtime=814.45 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 37206 0 0 0 81432 13 0 0 25 0 4 0 652114546 661966848 121769 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.25
Current children cumulated vsize (KiB) 646452

[startup+882.3 s]
/proc/loadavg: 8.09 7.94 7.27 10/302 20822
/proc/meminfo: memFree=26799036/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=751884 CPUtime=3520.68 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 566404 0 0 0 351871 197 0 0 25 0 4 0 652114546 769929216 125715 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 187971 125715 393 112 0 182936 0
[pid=20790/tid=20794] ppid=20788 vsize=751884 CPUtime=882.27 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 168015 0 0 0 88174 53 0 0 25 0 4 0 652114546 769929216 125715 33554432000 4194304 4650419 140737085116816 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=751884 CPUtime=882.2 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 198458 0 0 0 88154 66 0 0 25 0 4 0 652114546 769929216 125715 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=751884 CPUtime=873.88 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 37503 0 0 0 87374 14 0 0 25 0 4 0 652114546 769929216 125715 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.68
Current children cumulated vsize (KiB) 751884

[startup+942.3 s]
/proc/loadavg: 8.03 7.94 7.31 10/302 20823
/proc/meminfo: memFree=26828884/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=647440 CPUtime=3760.13 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 592068 0 0 0 375805 208 0 0 25 0 4 0 652114546 662978560 130884 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 161860 130884 393 112 0 156825 0
[pid=20790/tid=20794] ppid=20788 vsize=647440 CPUtime=942.27 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 174411 0 0 0 94171 56 0 0 25 0 4 0 652114546 662978560 130884 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=647440 CPUtime=942.19 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 209022 0 0 0 94149 70 0 0 25 0 4 0 652114546 662978560 130884 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=647440 CPUtime=933.34 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 37706 0 0 0 93320 14 0 0 25 0 4 0 652114546 662978560 130884 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.13
Current children cumulated vsize (KiB) 647440

[startup+1002.3 s]
/proc/loadavg: 8.07 7.97 7.36 10/302 20825
/proc/meminfo: memFree=26790916/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=648208 CPUtime=3999.55 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 613337 0 0 0 399738 217 0 0 25 0 4 0 652114546 663764992 128624 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 162052 128624 393 112 0 157017 0
[pid=20790/tid=20794] ppid=20788 vsize=648208 CPUtime=1002.27 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 179114 0 0 0 100169 58 0 0 25 0 4 0 652114546 663764992 128624 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=648208 CPUtime=1002.18 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 217879 0 0 0 100144 74 0 0 25 0 4 0 652114546 663764992 128624 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=648208 CPUtime=992.77 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 38170 0 0 0 99263 14 0 0 25 0 4 0 652114546 663764992 128624 33554432000 4194304 4650419 140737085116816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.55
Current children cumulated vsize (KiB) 648208

[startup+1062.3 s]
/proc/loadavg: 8.08 7.99 7.40 10/302 20827
/proc/meminfo: memFree=26810220/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=705432 CPUtime=4238.98 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 634318 0 0 0 423671 227 0 0 25 0 4 0 652114546 722362368 127759 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 176358 127759 393 112 0 171323 0
[pid=20790/tid=20794] ppid=20788 vsize=705432 CPUtime=1062.26 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 183651 0 0 0 106166 60 0 0 25 0 4 0 652114546 722362368 127759 33554432000 4194304 4650419 140737085116816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=705432 CPUtime=1062.17 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 225875 0 0 0 106139 78 0 0 25 0 4 0 652114546 722362368 127759 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=705432 CPUtime=1052.21 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 39126 0 0 0 105206 15 0 0 25 0 4 0 652114546 722362368 127759 33554432000 4194304 4650419 140737085116816 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.98
Current children cumulated vsize (KiB) 705432

[startup+1122.3 s]
/proc/loadavg: 8.13 8.02 7.45 10/302 20828
/proc/meminfo: memFree=26768300/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=763128 CPUtime=4478.42 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 653052 0 0 0 447605 237 0 0 25 0 4 0 652114546 781443072 132757 33554432000 4194304 4650419 140737085116816 18446744073709551615 4313058 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 190782 132758 393 112 0 185747 0
[pid=20790/tid=20794] ppid=20788 vsize=763128 CPUtime=1122.27 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 188033 0 0 0 112165 62 0 0 25 0 4 0 652114546 781443072 132758 33554432000 4194304 4650419 140737085116816 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=763128 CPUtime=1122.16 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 234274 0 0 0 112134 82 0 0 25 0 4 0 652114546 781443072 132758 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=763128 CPUtime=1111.65 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 39131 0 0 0 111150 15 0 0 25 0 4 0 652114546 781443072 132758 33554432000 4194304 4650419 140737085116816 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.42
Current children cumulated vsize (KiB) 763128

[startup+1182.3 s]
/proc/loadavg: 8.14 8.04 7.49 10/302 20829
/proc/meminfo: memFree=26752900/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=829664 CPUtime=4717.85 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 679785 0 0 0 471537 248 0 0 25 0 4 0 652114546 849575936 134544 33554432000 4194304 4650419 140737085116816 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 207416 134544 393 112 0 202381 0
[pid=20790/tid=20794] ppid=20788 vsize=829664 CPUtime=1182.26 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 192328 0 0 0 118162 64 0 0 25 0 4 0 652114546 849575936 134544 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=829664 CPUtime=1182.15 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 243283 0 0 0 118128 87 0 0 25 0 4 0 652114546 849575936 134544 33554432000 4194304 4650419 140737085116816 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=829664 CPUtime=1171.1 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 39586 0 0 0 117094 16 0 0 25 0 4 0 652114546 849575936 134544 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.85
Current children cumulated vsize (KiB) 829664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.25 8.07 7.51 9/302 20830
/proc/meminfo: memFree=26752640/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=714912 CPUtime=4800.06 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 686294 0 0 0 479754 252 0 0 25 0 4 0 652114546 732069888 135878 33554432000 4194304 4650419 140737085116816 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 178728 135878 393 112 0 173693 0
[pid=20790/tid=20794] ppid=20788 vsize=714912 CPUtime=1202.88 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 195242 0 0 0 120223 65 0 0 25 0 4 0 652114546 732069888 135879 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=714912 CPUtime=1202.76 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 246506 0 0 0 120187 89 0 0 25 0 4 0 652114546 732069888 135879 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=714912 CPUtime=1191.49 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 39959 0 0 0 119133 16 0 0 25 0 4 0 652114546 732069888 135879 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 714912

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

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

[startup+1202.9 s]
/proc/loadavg: 8.25 8.07 7.51 9/302 20830
/proc/meminfo: memFree=26752640/32951124 swapFree=63649232/67111528
[pid=20790] ppid=20788 vsize=714912 CPUtime=4800.06 cores=0,2,4,6
/proc/20790/stat : 20790 (strangenight1-m) R 20788 20790 20027 0 -1 4202496 686294 0 0 0 479754 252 0 0 25 0 4 0 652114546 732069888 135878 33554432000 4194304 4650419 140737085116816 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20790/statm: 178728 135878 393 112 0 173693 0
[pid=20790/tid=20794] ppid=20788 vsize=714912 CPUtime=1202.88 cores=0,2,4,6
/proc/20790/task/20794/stat : 20794 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 195242 0 0 0 120223 65 0 0 25 0 4 0 652114546 732069888 135879 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20790/tid=20795] ppid=20788 vsize=714912 CPUtime=1202.76 cores=0,2,4,6
/proc/20790/task/20795/stat : 20795 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 246506 0 0 0 120187 89 0 0 25 0 4 0 652114546 732069888 135879 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20790/tid=20796] ppid=20788 vsize=714912 CPUtime=1191.49 cores=0,2,4,6
/proc/20790/task/20796/stat : 20796 (strangenight1-m) R 20788 20790 20027 0 -1 4202560 39959 0 0 0 119133 16 0 0 25 0 4 0 652114546 732069888 135879 33554432000 4194304 4650419 140737085116816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 714912

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.94
CPU time (s): 4800.13
CPU user time (s): 4797.58
CPU system time (s): 2.54661
CPU usage (%): 399.032
Max. virtual memory (cumulated for all children) (KiB): 880444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.54661
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 686295
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= 365
involuntary context switches= 34853

runsolver used 3.21151 second user time and 8.16176 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 22:32:40
IDJOB=3368877
IDBENCH=82886
IDSOLVER=1846
FILE ID=node130/3368877-1305405160
RUNJOBID= node130-1305405160-20771
PBS_JOBID= 13324461
Free space on /tmp= 73428 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368877-1305405160/watcher-3368877-1305405160 -o /tmp/evaluation-result-3368877-1305405160/solver-3368877-1305405160 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368877-1305405160.cnf

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

MD5SUM BENCH= 200b19edc2ebf99249f1125469c39206
RANDOM SEED=1483791450

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27775048 kB
Buffers:        257292 kB
Cached:        3595756 kB
SwapCached:      10248 kB
Active:        1145128 kB
Inactive:      3760964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27775048 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           12448 kB
Writeback:           4 kB
AnonPages:     1051464 kB
Mapped:          12780 kB
Slab:           182704 kB
PageTables:      24864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51460140 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= 73416 MiB
End job on node130 at 2011-05-14 22:52:45