Trace number 3175181

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.25 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf
MD5SUMe6a3a97a5be52c43f493d905174d1bee
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.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-3175181-1304096319.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.02	c Parsing time:  0.01 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.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.15	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.15	c calculated reachability. Time: 0.00
0.00/0.15	c Calc default polars -  time:   0.00 s pos:      60 undec:       6 neg:      84
0.00/0.15	c =========================================================================================
0.00/0.15	c types(t): F = full restart, N = normal restart
0.00/0.15	c types(t): S = simplification begin/end, E = solution found
0.00/0.15	c restart types(rt): st = static, dy = dynamic
0.00/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.15	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4923       150      3195         0      4688     15975    139435   no data   no data  --
3.17/0.85	c  N st    10     11306       150      3195         0      4356     15975    100289   no data   no data  --
3.17/0.85	c  N st    11     17051       150      3195         0      9830     15975    264848   no data   no data  --
3.57/0.95	c  F st    12     25000       150      3195         0     12069     15975    329287   no data   no data  --
3.57/0.95	c  N st    12     25000       150      3195         0     12069     15975    329287   no data   no data  --
4.37/1.15	c Decided on static restart strategy
4.37/1.15	c  N st    18     30003       150      3195         0     10337     15975    263743   no data   no data  --
4.37/1.15	c  S st    18     30003       150      3195         0     10337     15975    263743   no data   no data  --
4.37/1.15	c  S st    18     30509       150      3195         0     10832     15975    279006   no data   no data  --
4.37/1.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.37/1.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.37/1.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.37/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.37/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.37/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.37/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.05	c lits-rem:      3425  cl-subs:     1148  v-elim:      0  v-fix:    0  time:  3.63 s
8.36/2.10	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.19
8.36/2.10	c calculated reachability. Time: 0.00
8.36/2.10	c  N st    18     30509       150      3195         0      9684     15975    236959   no data   no data  --
9.58/2.46	c  N st    20     37623       150      3195         0      8921     15975    199104   no data   no data  --
10.76/2.79	c  N st    21     44024       150      3195         0     15012     15975    383567   no data   no data  --
11.16/2.89	c  S st    22     45764       150      3195         0     16652     15975    432392   no data   no data  --
11.56/2.94	c  S st    22     46268       150      3195         0      8637     15975    169934   no data   no data  --
11.56/2.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.56/2.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.56/2.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.56/2.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.56/2.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.56/2.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.56/2.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12.76/3.26	c lits-rem:       278  cl-subs:      165  v-elim:      0  v-fix:    0  time:  1.24 s
12.76/3.26	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
12.76/3.26	c vivif2 --  cl tried     8472 cl shrink        0 lits rem          0 time: 0.01
13.16/3.31	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
13.16/3.31	c calculated reachability. Time: 0.00
13.16/3.31	c  N st    22     46268       150      3195         0      8472     15975    164361   no data   no data  --
16.35/4.19	c  N st    23     60665       150      3195         0     12627     15975    273364   no data   no data  --
18.77/4.75	c  N st    24     69403       150      3195         0     10482     15975    195391   no data   no data  --
18.77/4.75	c  S st    24     69403       150      3195         0     10482     15975    195391   no data   no data  --
18.77/4.78	c  S st    24     69907       150      3195         0     10978     15975    209907   no data   no data  --
18.77/4.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.77/4.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.77/4.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
18.77/4.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.77/4.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.77/4.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
18.77/4.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.54/5.46	c lits-rem:       558  cl-subs:      280  v-elim:      0  v-fix:    0  time:  2.66 s
21.54/5.46	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
21.54/5.46	c vivif2 --  cl tried    10698 cl shrink        0 lits rem          0 time: 0.01
21.94/5.52	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.22
21.94/5.52	c calculated reachability. Time: 0.00
21.94/5.52	c  N st    24     69907       150      3195         0     10698     15975    200190   no data   no data  --
26.34/6.61	c  F st    25     87501       150      3195         0     16053     15975    356413   no data   no data  --
26.34/6.61	c  N st    25     87501       150      3195         0     16053     15975    356413   no data   no data  --
27.56/6.95	c Decided on static restart strategy
28.33/7.18	c  N st    32     95544       150      3195         0     23691     15975    581962   no data   no data  --
30.73/7.72	c  N st    34    104860       150      3195         0     20250     15975    468531   no data   no data  --
30.73/7.72	c  S st    34    104860       150      3195         0     20250     15975    468531   no data   no data  --
30.73/7.78	c  S st    34    105364       150      3195         0     20740     15975    482822   no data   no data  --
30.73/7.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.73/7.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.13/7.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
31.13/7.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.13/7.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.13/7.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
31.13/7.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.13/9.38	c lits-rem:      3810  cl-subs:     1250  v-elim:      0  v-fix:    0  time:  6.24 s
37.13/9.38	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
37.13/9.38	c vivif2 --  cl tried    19490 cl shrink        0 lits rem          0 time: 0.02
37.52/9.49	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.43
37.52/9.49	c calculated reachability. Time: 0.00
37.52/9.49	c  N st    34    105364       150      3195         0     19490     15975    437621   no data   no data  --
41.11/10.32	c  N st    35    114963       150      3195         0     15297     15975    299483   no data   no data  --
45.91/11.50	c  N st    36    129360       150      3195         0     14743     15975    261187   no data   no data  --
52.30/13.15	c  N st    37    150957       150      3195         0     20005     15975    401088   no data   no data  --
54.70/13.71	c  S st    38    158048       150      3195         0     26743     15975    599531   no data   no data  --
54.70/13.77	c  S st    38    158552       150      3195         0     27230     15975    613879   no data   no data  --
54.70/13.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
54.70/13.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.70/13.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
55.10/13.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.10/13.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.10/13.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
55.10/13.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.09/15.81	c lits-rem:      4185  cl-subs:     2242  v-elim:      0  v-fix:    0  time:  8.01 s
63.09/15.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
63.09/15.81	c vivif2 --  cl tried    24988 cl shrink        0 lits rem          0 time: 0.02
63.49/15.94	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.53
63.49/15.94	c calculated reachability. Time: 0.00
63.49/15.94	c  N st    38    158552       150      3195         0     24988     15975    539875   no data   no data  --
81.86/20.58	c  N st    39    207140       150      3195         0     19913     15975    347409   no data   no data  --
93.84/23.53	c  N st    40    237829       150      3195         0     30045     15975    650881   no data   no data  --
93.84/23.53	c  S st    40    237829       150      3195         0     30045     15975    650881   no data   no data  --
94.24/23.61	c  S st    40    238331       150      3195         0     30538     15975    665215   no data   no data  --
94.24/23.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
94.24/23.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.24/23.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
94.24/23.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.24/23.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.24/23.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
94.24/23.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.84/26.06	c lits-rem:      4276  cl-subs:     2141  v-elim:      0  v-fix:    0  time:  9.67 s
103.84/26.06	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
103.84/26.07	c vivif2 --  cl tried    28397 cl shrink        0 lits rem          0 time: 0.03
104.63/26.22	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.61
104.63/26.22	c calculated reachability. Time: 0.00
104.63/26.22	c  N st    40    238331       150      3195         0     28397     15975    593557   no data   no data  --
129.80/32.58	c  F st    41    306251       150      3195         0     30324     15975    611027   no data   no data  --
129.80/32.58	c  N st    41    306251       150      3195         0     30324     15975    611027   no data   no data  --
132.20/33.12	c Decided on static restart strategy
141.80/35.52	c  N st    51    334553       150      3195         0     34551     15975    720227   no data   no data  --
152.17/38.19	c  N st    53    357496       150      3195         0     32593     15975    626411   no data   no data  --
152.17/38.19	c  S st    53    357496       150      3195         0     32593     15975    626411   no data   no data  --
152.57/38.27	c  S st    53    358001       150      3195         0     33085     15975    640905   no data   no data  --
152.57/38.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
152.57/38.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
152.57/38.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
152.96/38.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.96/38.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.96/38.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
152.96/38.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.96/40.34	c lits-rem:      3238  cl-subs:     1329  v-elim:      0  v-fix:    0  time:  8.10 s
160.96/40.34	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
160.96/40.34	c vivif2 --  cl tried    31756 cl shrink        0 lits rem          0 time: 0.03
161.76/40.51	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.66
161.76/40.51	c calculated reachability. Time: 0.00
161.76/40.51	c  N st    53    358001       150      3195         0     31756     15975    593523   no data   no data  --
178.93/44.88	c  N st    54    390393       150      3195         0     37792     15975    766804   no data   no data  --
205.29/51.46	c  N st    55    438982       150      3195         0     31652     15975    557275   no data   no data  --
244.44/61.24	c  N st    56    511865       150      3195         0     44614     15975    890004   no data   no data  --
258.02/64.64	c  N st    57    537003       150      3195         0     39073     15975    712132   no data   no data  --
258.02/64.64	c  S st    57    537003       150      3195         0     39073     15975    712132   no data   no data  --
258.42/64.74	c  S st    57    537508       150      3195         0     39570     15975    726969   no data   no data  --
258.42/64.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
258.42/64.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
258.42/64.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
258.42/64.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.42/64.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.42/64.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
258.42/64.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
267.62/67.10	c lits-rem:      2204  cl-subs:     2231  v-elim:      0  v-fix:    0  time:  9.24 s
267.62/67.10	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
268.02/67.10	c vivif2 --  cl tried    37339 cl shrink        0 lits rem          0 time: 0.03
268.83/67.32	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.87
268.83/67.32	c calculated reachability. Time: 0.00
268.83/67.32	c  N st    57    537508       150      3195         0     37339     15975    657425   no data   no data  --
361.88/90.61	c  N st    58    701494       150      3195         0     65860     15975   1505968   no data   no data  --
428.19/107.29	c  N st    59    806262       150      3195         0     59974     15975   1249078   no data   no data  --
428.19/107.29	c  S st    59    806262       150      3195         0     59974     15975   1249078   no data   no data  --
428.99/107.44	c  S st    59    806767       150      3195         0     60464     15975   1263572   no data   no data  --
428.99/107.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
428.99/107.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
428.99/107.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
429.39/107.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
429.39/107.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
429.39/107.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
429.39/107.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
464.14/116.24	c lits-rem:      1418  cl-subs:     4899  v-elim:      0  v-fix:    0  time: 34.87 s
464.14/116.24	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
464.14/116.25	c vivif2 --  cl tried    55565 cl shrink        0 lits rem          0 time: 0.05
465.74/116.61	c asymm  cl-useful: 0/2366/3195 lits-rem:0 time: 1.41
465.74/116.61	c calculated reachability. Time: 0.00
465.74/116.61	c  N st    59    806767       150      3195         0     55565     15975   1113072   no data   no data  --
664.26/166.34	c  F st    60   1071875       150      3195         0     70637     15975   1461532   no data   no data  --
664.26/166.34	c  N st    60   1071875       150      3195         0     70637     15975   1461532   no data   no data  --
669.06/167.58	c Decided on static restart strategy
687.41/172.13	c  N st    70   1100180       150      3195         0     55216     15975    946925   no data   no data  --
717.39/179.67	c  N st    72   1136173       150      3195         0     45790     15975    650236   no data   no data  --
739.36/185.16	c  N st    73   1168566       150      3195         0     76272     15975   1590854   no data   no data  --
774.52/193.95	c  N st    74   1210150       150      3195         0     71261     15975   1427328   no data   no data  --
774.52/193.95	c  S st    74   1210150       150      3195         0     71261     15975   1427328   no data   no data  --
775.69/194.23	c  S st    74   1210651       150      3195         0     71746     15975   1442034   no data   no data  --
775.69/194.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
775.69/194.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
775.69/194.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
776.09/194.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
776.09/194.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
776.09/194.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
776.09/194.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
836.81/209.56	c lits-rem:      2906  cl-subs:     5002  v-elim:      0  v-fix:    0  time: 60.78 s
836.81/209.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
836.81/209.57	c vivif2 --  cl tried    66744 cl shrink        0 lits rem          0 time: 0.06
837.61/209.77	c asymm  cl-useful: 0/829/3195 lits-rem:0 time: 0.78
837.61/209.77	c calculated reachability. Time: 0.00
837.61/209.77	c  N st    74   1210651       150      3195         0     66744     15975   1280842   no data   no data  --
913.11/228.66	c  N st    75   1283535       150      3195         0     90310     15975   2012347   no data   no data  --
1012.56/253.58	c  N st    76   1392859       150      3195         0     51968     15975    748639   no data   no data  --
1144.79/286.62	c  N st    77   1556843       150      3195         0     56434     15975    836611   no data   no data  --
1269.42/317.82	c  N st    78   1710651       150      3195         0     96906     15975   2039766   no data   no data  --
1269.42/317.82	c  S st    78   1710651       150      3195         0     96906     15975   2039766   no data   no data  --
1270.63/318.12	c  S st    78   1711155       150      3195         0     97398     15975   2054615   no data   no data  --
1270.63/318.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1270.63/318.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1270.63/318.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1271.03/318.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1271.03/318.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1271.03/318.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1271.03/318.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1378.07/345.01	c lits-rem:      2667  cl-subs:     9117  v-elim:      0  v-fix:    0  time: 106.87 s
1378.07/345.01	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1378.07/345.03	c vivif2 --  cl tried    88281 cl shrink        0 lits rem          0 time: 0.08
1379.26/345.36	c asymm  cl-useful: 0/1754/3195 lits-rem:0 time: 1.31
1379.26/345.36	c calculated reachability. Time: 0.00
1379.26/345.36	c  N st    78   1711155       150      3195         0     88281     15975   1780682   no data   no data  --
1741.19/435.99	c  N st    79   2080119       150      3195         0     99695     15975   2015395   no data   no data  --
1874.20/469.28	c  N st    80   2211158       150      3195         0    103865     15975   2131735   no data   no data  --
1874.20/469.28	c  S st    80   2211158       150      3195         0    103865     15975   2131735   no data   no data  --
1875.40/469.59	c  S st    80   2211662       150      3195         0    104360     15975   2146932   no data   no data  --
1875.80/469.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1875.80/469.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1875.80/469.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1876.19/469.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1876.19/469.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1876.19/469.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1876.19/469.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2016.40/504.80	c lits-rem:      3485  cl-subs:     9345  v-elim:      0  v-fix:    0  time: 140.04 s
2016.40/504.80	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2016.40/504.82	c vivif2 --  cl tried    95015 cl shrink        0 lits rem          0 time: 0.09
2017.62/505.19	c asymm  cl-useful: 0/1203/3195 lits-rem:0 time: 1.47
2017.62/505.19	c calculated reachability. Time: 0.00
2017.62/505.19	c  N st    80   2211662       150      3195         0     95015     15975   1855304   no data   no data  --
2541.27/636.20	c  N st    81   2711662       150      3195         0    117839     15975   2392285   no data   no data  --
2541.27/636.20	c  S st    81   2711662       150      3195         0    117839     15975   2392285   no data   no data  --
2542.48/636.55	c  S st    81   2712168       150      3195         0    118331     15975   2407730   no data   no data  --
2542.48/636.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2542.48/636.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2542.88/636.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
2542.88/636.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2542.88/636.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2542.88/636.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2542.88/636.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2715.44/679.85	c lits-rem:      3176  cl-subs:    10980  v-elim:      0  v-fix:    0  time: 172.32 s
2715.44/679.85	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2715.44/679.87	c vivif2 --  cl tried   107351 cl shrink        0 lits rem          0 time: 0.10
2717.03/680.24	c asymm  cl-useful: 0/1300/3195 lits-rem:0 time: 1.47
2717.03/680.25	c calculated reachability. Time: 0.00
2717.03/680.25	c  N st    81   2712168       150      3195         0    107351     15975   2098601   no data   no data  --
3333.79/834.67	c  N st    82   3212168       150      3195         0     84925     15975   1296772   no data   no data  --
3333.79/834.67	c  S st    82   3212168       150      3195         0     84925     15975   1296772   no data   no data  --
3335.40/835.01	c  S st    82   3212676       150      3195         0     85425     15975   1311694   no data   no data  --
3335.40/835.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3335.40/835.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3335.40/835.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
3335.81/835.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3335.81/835.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3335.81/835.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3335.81/835.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3384.92/847.45	c lits-rem:      1980  cl-subs:     1762  v-elim:      0  v-fix:    0  time: 49.25 s
3384.92/847.45	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3384.92/847.47	c vivif2 --  cl tried    83663 cl shrink        0 lits rem          0 time: 0.07
3386.93/847.90	c asymm  cl-useful: 0/1375/3195 lits-rem:0 time: 1.71
3386.93/847.90	c calculated reachability. Time: 0.00
3386.93/847.90	c  N st    82   3212676       150      3195         0     83663     15975   1254463   no data   no data  --
4001.68/1001.89	c  N st    83   3712677       150      3195         0     93902     15975   1458316   no data   no data  --
4001.68/1001.89	c  S st    83   3712677       150      3195         0     93902     15975   1458316   no data   no data  --
4002.88/1002.19	c  S st    83   3713182       150      3195         0     94394     15975   1473422   no data   no data  --
4003.28/1002.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4003.28/1002.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4003.28/1002.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
4003.28/1002.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4003.28/1002.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4003.28/1002.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4003.28/1002.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4043.24/1012.24	c lits-rem:       701  cl-subs:     2931  v-elim:      0  v-fix:    0  time: 39.70 s
4043.24/1012.24	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4043.24/1012.25	c vivif2 --  cl tried    91463 cl shrink        0 lits rem          0 time: 0.07
4044.02/1012.41	c asymm  cl-useful: 0/520/3195 lits-rem:0 time: 0.62
4044.02/1012.41	c calculated reachability. Time: 0.00
4044.02/1012.41	c  N st    83   3713182       150      3195         0     91463     15975   1382004   no data   no data  --
4089.55/1023.89	c  F st    84   3751562       150      3195         0    127741     15975   2560579   no data   no data  --
4089.55/1023.89	c  N st    84   3751562       150      3195         0    127741     15975   2560579   no data   no data  --
4101.54/1026.80	c Decided on static restart strategy
4157.06/1040.71	c  N st    94   3779866       150      3195         0    154571     15975   3371680   no data   no data  --
4206.60/1053.12	c  N st    96   3815860       150      3195         0    108541     15975   1888428   no data   no data  --
4250.53/1064.15	c  N st    97   3848254       150      3195         0    139247     15975   2880864   no data   no data  --
4326.83/1083.21	c  N st    98   3896842       150      3195         0    103879     15975   1710068   no data   no data  --
4431.09/1109.33	c  N st    99   3969724       150      3195         0     90781     15975   1292833   no data   no data  --
4586.88/1148.35	c  N st   100   4079047       150      3195         0    110785     15975   1887135   no data   no data  --
4771.83/1194.64	c  N st   101   4213182       150      3195         0    153480     15975   3146223   no data   no data  --
4771.83/1194.64	c  S st   101   4213182       150      3195         0    153480     15975   3146223   no data   no data  --
4773.82/1195.13	c  S st   101   4213685       150      3195         0    153968     15975   3160604   no data   no data  --
4773.82/1195.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4773.82/1195.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4774.22/1195.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.33
4774.62/1195.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4774.62/1195.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4774.62/1195.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4774.62/1195.32	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: 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-3175181-1304096319/watcher-3175181-1304096319 -o /tmp/evaluation-result-3175181-1304096319/solver-3175181-1304096319 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175181-1304096319.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.43 7.97 7.97 4/176 30658
/proc/meminfo: memFree=30946272/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 521229869 52465664 352 33554432000 4194304 4650419 140734041433760 18446744073709551615 228244405233 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 12809 352 303 112 0 7774 0
[pid=30658/tid=30661] ppid=30656 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 521229870 52465664 352 33554432000 4194304 4650419 140734041433760 18446744073709551615 47832241129394 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 521229870 52465664 352 33554432000 4194304 4650419 140734041433760 18446744073709551615 47832241129388 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521229870 52465664 352 33554432000 4194304 4650419 140734041433760 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.350584 s]
/proc/loadavg: 7.43 7.97 7.97 4/176 30658
/proc/meminfo: memFree=30946272/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=285012 CPUtime=1.37 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 4105 0 0 0 137 0 0 0 18 0 4 0 521229869 291852288 2391 33554432000 4194304 4650419 140734041433760 18446744073709551615 4310421 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 71253 2392 391 112 0 66218 0
[pid=30658/tid=30661] ppid=30656 vsize=285012 CPUtime=0.34 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 988 0 0 0 34 0 0 0 18 0 4 0 521229870 291852288 2392 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=285012 CPUtime=0.34 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 846 0 0 0 34 0 0 0 18 0 4 0 521229870 291852288 2392 33554432000 4194304 4650419 140734041433760 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=285012 CPUtime=0.34 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 854 0 0 0 34 0 0 0 25 0 4 0 521229870 291852288 2392 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 285012

[startup+0.400477 s]
/proc/loadavg: 7.43 7.97 7.97 4/176 30658
/proc/meminfo: memFree=30946272/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=285364 CPUtime=1.57 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 4459 0 0 0 157 0 0 0 18 0 4 0 521229869 292212736 2466 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 71341 2466 391 112 0 66306 0
[pid=30658/tid=30661] ppid=30656 vsize=285364 CPUtime=0.39 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 1041 0 0 0 39 0 0 0 18 0 4 0 521229870 292212736 2466 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=285364 CPUtime=0.39 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 1051 0 0 0 39 0 0 0 18 0 4 0 521229870 292212736 2466 33554432000 4194304 4650419 140734041433760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=285364 CPUtime=0.39 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 898 0 0 0 39 0 0 0 25 0 4 0 521229870 292212736 2466 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 285364

[startup+0.500458 s]
/proc/loadavg: 7.43 7.97 7.97 4/176 30658
/proc/meminfo: memFree=30946272/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=285364 CPUtime=1.97 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 4781 0 0 0 197 0 0 0 18 0 4 0 521229869 292212736 2788 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365398 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 71341 2788 391 112 0 66306 0
[pid=30658/tid=30661] ppid=30656 vsize=285364 CPUtime=0.49 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 1126 0 0 0 49 0 0 0 18 0 4 0 521229870 292212736 2788 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=285364 CPUtime=0.49 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 1133 0 0 0 49 0 0 0 18 0 4 0 521229870 292212736 2788 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=285364 CPUtime=0.49 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 970 0 0 0 49 0 0 0 25 0 4 0 521229870 292212736 2788 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 285364

[startup+0.700425 s]
/proc/loadavg: 7.43 7.97 7.97 4/176 30658
/proc/meminfo: memFree=30946272/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=286516 CPUtime=2.77 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 6368 0 0 0 277 0 0 0 18 0 4 0 521229869 293392384 3012 33554432000 4194304 4650419 140734041433760 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 71629 3012 391 112 0 66594 0
[pid=30658/tid=30661] ppid=30656 vsize=286516 CPUtime=0.69 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 1528 0 0 0 69 0 0 0 18 0 4 0 521229870 293392384 3012 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=286516 CPUtime=0.69 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 1547 0 0 0 69 0 0 0 18 0 4 0 521229870 293392384 3012 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=286516 CPUtime=0.69 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 1339 0 0 0 69 0 0 0 25 0 4 0 521229870 293392384 3012 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286516

[startup+1.50029 s]
/proc/loadavg: 7.43 7.97 7.97 9/184 30666
/proc/meminfo: memFree=30912480/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=278472 CPUtime=5.97 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 11528 0 0 0 596 1 0 0 20 0 4 0 521229869 285155328 5585 33554432000 4194304 4650419 140734041433760 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 69618 5585 393 112 0 64583 0
[pid=30658/tid=30661] ppid=30656 vsize=278472 CPUtime=1.49 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 2551 0 0 0 149 0 0 0 19 0 4 0 521229870 285155328 5585 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=278472 CPUtime=1.48 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 2578 0 0 0 148 0 0 0 20 0 4 0 521229870 285155328 5585 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=278472 CPUtime=1.49 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 2239 0 0 0 149 0 0 0 25 0 4 0 521229870 285155328 5585 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 278472

[startup+3.10101 s]
/proc/loadavg: 7.43 7.97 7.97 9/184 30666
/proc/meminfo: memFree=30864120/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=288948 CPUtime=12.35 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 19893 0 0 0 1233 2 0 0 25 0 4 0 521229869 295882752 11683 33554432000 4194304 4650419 140734041433760 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 72237 11683 393 112 0 67202 0
[pid=30658/tid=30661] ppid=30656 vsize=288948 CPUtime=3.08 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 4652 0 0 0 308 0 0 0 25 0 4 0 521229870 295882752 11683 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=288948 CPUtime=3.07 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 5206 0 0 0 307 0 0 0 25 0 4 0 521229870 295882752 11683 33554432000 4194304 4650419 140734041433760 18446744073709551615 4438402 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=288948 CPUtime=3.08 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 4784 0 0 0 308 0 0 0 25 0 4 0 521229870 295882752 11683 33554432000 4194304 4650419 140734041433760 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 288948

[startup+6.30045 s]
/proc/loadavg: 7.47 7.97 7.97 9/184 30666
/proc/meminfo: memFree=30833464/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=280156 CPUtime=25.14 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 28703 0 0 0 2509 5 0 0 25 0 4 0 521229869 286879744 13994 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 70039 13994 393 112 0 65004 0
[pid=30658/tid=30661] ppid=30656 vsize=280156 CPUtime=6.29 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 7769 0 0 0 628 1 0 0 25 0 4 0 521229870 286879744 13994 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=280156 CPUtime=6.26 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 7639 0 0 0 625 1 0 0 25 0 4 0 521229870 286879744 13994 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=280156 CPUtime=6.28 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 6019 0 0 0 627 1 0 0 25 0 4 0 521229870 286879744 13994 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 280156

[startup+12.7003 s]
/proc/loadavg: 7.52 7.97 7.97 9/184 30667
/proc/meminfo: memFree=30774828/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=296536 CPUtime=50.7 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 44715 0 0 0 5062 8 0 0 25 0 4 0 521229869 303652864 21420 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 74134 21420 393 112 0 69099 0
[pid=30658/tid=30661] ppid=30656 vsize=296536 CPUtime=12.69 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 11855 0 0 0 1267 2 0 0 25 0 4 0 521229870 303652864 21420 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=296536 CPUtime=12.62 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 11652 0 0 0 1260 2 0 0 25 0 4 0 521229870 303652864 21420 33554432000 4194304 4650419 140734041433760 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=296536 CPUtime=12.68 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 9013 0 0 0 1267 1 0 0 25 0 4 0 521229870 303652864 21420 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 296536

[startup+25.5011 s]
/proc/loadavg: 7.62 7.97 7.97 9/184 30667
/proc/meminfo: memFree=30710836/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=305356 CPUtime=101.86 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 70042 0 0 0 10171 15 0 0 25 0 4 0 521229869 312684544 28315 33554432000 4194304 4650419 140734041433760 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 76339 28315 393 112 0 71304 0
[pid=30658/tid=30661] ppid=30656 vsize=305356 CPUtime=25.5 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 19481 0 0 0 2546 4 0 0 25 0 4 0 521229870 312684544 28315 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=305356 CPUtime=25.35 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 19160 0 0 0 2532 3 0 0 25 0 4 0 521229870 312684544 28315 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=305356 CPUtime=25.49 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 11703 0 0 0 2547 2 0 0 25 0 4 0 521229870 312684544 28315 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 305356

[startup+51.1006 s]
/proc/loadavg: 7.75 7.97 7.97 9/184 30668
/proc/meminfo: memFree=30643772/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=303880 CPUtime=204.09 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 107016 0 0 0 20384 25 0 0 25 0 4 0 521229869 311173120 35987 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 75970 35987 393 112 0 70935 0
[pid=30658/tid=30661] ppid=30656 vsize=303880 CPUtime=51.09 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 31330 0 0 0 5102 7 0 0 25 0 4 0 521229870 311173120 35987 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=303880 CPUtime=50.81 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 30267 0 0 0 5075 6 0 0 25 0 4 0 521229870 311173120 35987 33554432000 4194304 4650419 140734041433760 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=303880 CPUtime=51.09 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 15295 0 0 0 5105 4 0 0 25 0 4 0 521229870 311173120 35987 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 303880

[startup+102.301 s]
/proc/loadavg: 7.93 7.99 7.98 9/184 30669
/proc/meminfo: memFree=30583720/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=305420 CPUtime=408.62 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 163237 0 0 0 40817 45 0 0 25 0 4 0 521229869 312750080 46131 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 76355 46131 393 112 0 71320 0
[pid=30658/tid=30661] ppid=30656 vsize=305420 CPUtime=102.29 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 47122 0 0 0 10218 11 0 0 25 0 4 0 521229870 312750080 46131 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=305420 CPUtime=101.74 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 47422 0 0 0 10161 13 0 0 25 0 4 0 521229870 312750080 46131 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=305420 CPUtime=102.28 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 24242 0 0 0 10221 7 0 0 25 0 4 0 521229870 312750080 46131 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 305420

[startup+162.301 s]

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

[pid=30658] ppid=30656 vsize=649700 CPUtime=2565.66 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 489601 0 0 0 256385 181 0 0 25 0 4 0 521229869 665292800 107239 33554432000 4194304 4650419 140734041433760 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 162425 107239 393 112 0 157390 0
[pid=30658/tid=30661] ppid=30656 vsize=649700 CPUtime=642.29 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 148030 0 0 0 64174 55 0 0 25 0 4 0 521229870 665292800 107239 33554432000 4194304 4650419 140734041433760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=649700 CPUtime=638.81 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 146610 0 0 0 63829 52 0 0 25 0 4 0 521229870 665292800 107239 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=649700 CPUtime=642.29 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 76480 0 0 0 64198 31 0 0 25 0 4 0 521229870 665292800 107239 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 649700

[startup+702.301 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 30697
/proc/meminfo: memFree=30094856/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=663272 CPUtime=2805.32 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 509088 0 0 0 280342 190 0 0 25 0 4 0 521229869 679190528 111872 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 165818 111872 393 112 0 160783 0
[pid=30658/tid=30661] ppid=30656 vsize=663272 CPUtime=702.29 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 156716 0 0 0 70169 60 0 0 25 0 4 0 521229870 679190528 111873 33554432000 4194304 4650419 140734041433760 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=663272 CPUtime=698.47 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 150358 0 0 0 69794 53 0 0 25 0 4 0 521229870 679190528 111873 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=663272 CPUtime=702.29 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 79219 0 0 0 70196 33 0 0 25 0 4 0 521229870 679190528 111873 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 663272

[startup+762.301 s]
/proc/loadavg: 8.11 8.09 8.03 9/184 30698
/proc/meminfo: memFree=30097924/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=747124 CPUtime=3045 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 531631 0 0 0 304300 200 0 0 25 0 4 0 521229869 765054976 108125 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 186781 108125 393 112 0 181746 0
[pid=30658/tid=30661] ppid=30656 vsize=747124 CPUtime=762.29 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 167124 0 0 0 76166 63 0 0 25 0 4 0 521229870 765054976 108125 33554432000 4194304 4650419 140734041433760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=747124 CPUtime=758.15 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 154144 0 0 0 75760 55 0 0 25 0 4 0 521229870 765054976 108125 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=747124 CPUtime=762.29 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 83076 0 0 0 76193 36 0 0 25 0 4 0 521229870 765054976 108125 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 747124

[startup+822.301 s]
/proc/loadavg: 8.10 8.09 8.03 9/184 30700
/proc/meminfo: memFree=30073480/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=639224 CPUtime=3284.66 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 561763 0 0 0 328252 214 0 0 25 0 4 0 521229869 654565376 110637 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 159806 110637 393 112 0 154771 0
[pid=30658/tid=30661] ppid=30656 vsize=639224 CPUtime=822.29 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 176272 0 0 0 82162 67 0 0 25 0 4 0 521229870 654565376 110637 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=639224 CPUtime=817.83 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 163452 0 0 0 81724 59 0 0 25 0 4 0 521229870 654565376 110637 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=639224 CPUtime=822.3 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 87508 0 0 0 82192 38 0 0 25 0 4 0 521229870 654565376 110637 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 639224

[startup+882.301 s]
/proc/loadavg: 8.04 8.07 8.02 9/184 30702
/proc/meminfo: memFree=30048420/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=648932 CPUtime=3524.34 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 584622 0 0 0 352207 227 0 0 25 0 4 0 521229869 664506368 114995 33554432000 4194304 4650419 140734041433760 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 162233 114995 393 112 0 157198 0
[pid=30658/tid=30661] ppid=30656 vsize=648932 CPUtime=882.29 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 184587 0 0 0 88156 73 0 0 25 0 4 0 521229870 664506368 114995 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=648932 CPUtime=877.51 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 169458 0 0 0 87690 61 0 0 25 0 4 0 521229870 664506368 114995 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=648932 CPUtime=882.3 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 89461 0 0 0 88191 39 0 0 25 0 4 0 521229870 664506368 114995 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.34
Current children cumulated vsize (KiB) 648932

[startup+942.301 s]
/proc/loadavg: 8.05 8.07 8.02 9/184 30703
/proc/meminfo: memFree=30030908/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=713004 CPUtime=3764.01 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 613037 0 0 0 376162 239 0 0 25 0 4 0 521229869 730116096 123790 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 178251 123790 393 112 0 173216 0
[pid=30658/tid=30661] ppid=30656 vsize=713004 CPUtime=942.3 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 194922 0 0 0 94153 77 0 0 25 0 4 0 521229870 730116096 123790 33554432000 4194304 4650419 140734041433760 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=713004 CPUtime=937.18 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 176578 0 0 0 93654 64 0 0 25 0 4 0 521229870 730116096 123790 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=713004 CPUtime=942.3 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 95406 0 0 0 94189 41 0 0 25 0 4 0 521229870 730116096 123790 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 713004

[startup+1002.3 s]
/proc/loadavg: 8.02 8.05 8.02 9/184 30705
/proc/meminfo: memFree=30050724/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=657812 CPUtime=4003.7 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 635689 0 0 0 400120 250 0 0 25 0 4 0 521229869 673599488 110625 33554432000 4194304 4650419 140734041433760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 164453 110625 393 112 0 159418 0
[pid=30658/tid=30661] ppid=30656 vsize=657812 CPUtime=1002.3 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 200394 0 0 0 100151 79 0 0 25 0 4 0 521229870 673599488 110625 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=657812 CPUtime=996.85 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 184185 0 0 0 99617 68 0 0 25 0 4 0 521229870 673599488 110625 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=657812 CPUtime=1002.3 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 97898 0 0 0 100188 42 0 0 25 0 4 0 521229870 673599488 110625 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 657812

[startup+1062.3 s]
/proc/loadavg: 8.00 8.04 8.01 9/184 30706
/proc/meminfo: memFree=30020312/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=669568 CPUtime=4243.35 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 661892 0 0 0 424075 260 0 0 25 0 4 0 521229869 685637632 116591 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 167392 116591 393 112 0 162357 0
[pid=30658/tid=30661] ppid=30656 vsize=669568 CPUtime=1062.29 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 208487 0 0 0 106146 83 0 0 25 0 4 0 521229870 685637632 116591 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=669568 CPUtime=1056.52 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 191023 0 0 0 105582 70 0 0 25 0 4 0 521229870 685637632 116591 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=669568 CPUtime=1062.3 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 102323 0 0 0 106186 44 0 0 25 0 4 0 521229870 685637632 116591 33554432000 4194304 4650419 140734041433760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 669568

[startup+1122.31 s]
/proc/loadavg: 8.08 8.05 8.01 9/184 30708
/proc/meminfo: memFree=29982216/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=655632 CPUtime=4483.04 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 691472 0 0 0 448031 273 0 0 25 0 4 0 521229869 671367168 120201 33554432000 4194304 4650419 140734041433760 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 163908 120201 393 112 0 158873 0
[pid=30658/tid=30661] ppid=30656 vsize=655632 CPUtime=1122.3 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 217173 0 0 0 112143 87 0 0 25 0 4 0 521229870 671367168 120201 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=655632 CPUtime=1116.21 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 199426 0 0 0 111547 74 0 0 25 0 4 0 521229870 671367168 120201 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=655632 CPUtime=1122.31 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 106596 0 0 0 112185 46 0 0 25 0 4 0 521229870 671367168 120201 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 655632

[startup+1182.3 s]
/proc/loadavg: 8.10 8.05 8.01 9/184 30710
/proc/meminfo: memFree=29994460/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=706896 CPUtime=4722.69 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 719624 0 0 0 471986 283 0 0 25 0 4 0 521229869 723861504 121363 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 176724 121363 393 112 0 171689 0
[pid=30658/tid=30661] ppid=30656 vsize=706896 CPUtime=1182.3 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 225445 0 0 0 118139 91 0 0 25 0 4 0 521229870 723861504 121363 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=706896 CPUtime=1175.87 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 207416 0 0 0 117511 76 0 0 25 0 4 0 521229870 723861504 121363 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=706896 CPUtime=1182.31 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 110265 0 0 0 118184 47 0 0 25 0 4 0 521229870 723861504 121363 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.69
Current children cumulated vsize (KiB) 706896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.05 8.01 9/184 30710
/proc/meminfo: memFree=29936904/32951124 swapFree=67111364/67111528
[pid=30658] ppid=30656 vsize=713652 CPUtime=4800.19 cores=0,2,4,6
/proc/30658/stat : 30658 (strangenight1-m) R 30656 30658 30527 0 -1 4202496 734378 0 0 0 479731 288 0 0 25 0 4 0 521229869 730779648 131210 33554432000 4194304 4650419 140734041433760 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30658/statm: 178413 131210 393 112 0 173378 0
[pid=30658/tid=30661] ppid=30656 vsize=713652 CPUtime=1201.7 cores=0,2,4,6
/proc/30658/task/30661/stat : 30661 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 228827 0 0 0 120078 92 0 0 25 0 4 0 521229870 730779648 131210 33554432000 4194304 4650419 140734041433760 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30658/tid=30662] ppid=30656 vsize=713652 CPUtime=1195.17 cores=0,2,4,6
/proc/30658/task/30662/stat : 30662 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 208802 0 0 0 119439 78 0 0 25 0 4 0 521229870 730779648 131210 33554432000 4194304 4650419 140734041433760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30658/tid=30665] ppid=30656 vsize=713652 CPUtime=1201.7 cores=0,2,4,6
/proc/30658/task/30665/stat : 30665 (strangenight1-m) R 30656 30658 30527 0 -1 4202560 112546 0 0 0 120123 47 0 0 25 0 4 0 521229870 730779648 131210 33554432000 4194304 4650419 140734041433760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 713652

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.74
CPU time (s): 4800.25
CPU user time (s): 4797.34
CPU system time (s): 2.91456
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 833732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.34
system time used= 2.91456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 734380
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= 322
involuntary context switches= 23676

runsolver used 1.90871 second user time and 4.64929 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 18:58:39
IDJOB=3175181
IDBENCH=82799
IDSOLVER=1588
FILE ID=node136/3175181-1304096319
RUNJOBID= node136-1304095115-30545
PBS_JOBID= 13170595
Free space on /tmp= 72336 MiB

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

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

MD5SUM BENCH= e6a3a97a5be52c43f493d905174d1bee
RANDOM SEED=1042874403

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30946568 kB
Buffers:        578792 kB
Cached:         938320 kB
SwapCached:          0 kB
Active:         133848 kB
Inactive:      1447104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30946568 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:       64128 kB
Mapped:          14684 kB
Slab:           359708 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189592 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= 72324 MiB
End job on node136 at 2011-04-29 19:18:43