Trace number 3175175

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.26 1201.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf
MD5SUMf913d39a64a2142ed34486c38d5636c0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark319.762
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175175-1304095714.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:      49 undec:       6 neg:      45
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4920       100      2130         0      4577     10650     98418   no data   no data  --
0.00/0.80	c  N st    10     11303       100      2130         0      4238     10650     74377   no data   no data  --
0.00/0.80	c  N st    11     17046       100      2130         0      9591     10650    194867   no data   no data  --
0.00/0.80	c  F st    12     25001       100      2130         0     11709     10650    234696   no data   no data  --
0.00/0.80	c  N st    12     25001       100      2130         0     11709     10650    234696   no data   no data  --
3.80/0.97	c Decided on static restart strategy
3.80/0.97	c  N st    18     30000       100      2130         0     10048     10650    187930   no data   no data  --
3.80/0.97	c  S st    18     30000       100      2130         0     10048     10650    187930   no data   no data  --
3.97/1.00	c  S st    18     30503       100      2130         0     10533     10650    198537   no data   no data  --
3.97/1.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.97/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.97/1.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.43	c lits-rem:      1923  cl-subs:     1835  v-elim:      0  v-fix:    0  time:  1.68 s
5.57/1.47	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.16
5.57/1.47	c calculated reachability. Time: 0.00
5.57/1.47	c  N st    18     30503       100      2130         0      8698     10650    156100   no data   no data  --
6.77/1.80	c  N st    20     37614       100      2130         0      8019     10650    129952   no data   no data  --
7.96/2.06	c  N st    21     44013       100      2130         0     13974     10650    265854   no data   no data  --
8.36/2.14	c  S st    22     45755       100      2130         0     15594     10650    300831   no data   no data  --
8.36/2.19	c  S st    22     46257       100      2130         0     16080     10650    311744   no data   no data  --
8.36/2.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.36/2.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.36/2.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.76/2.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.76/2.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.76/2.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.16/3.37	c lits-rem:      3728  cl-subs:     1926  v-elim:      0  v-fix:    0  time:  4.66 s
13.16/3.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.16/3.37	c vivif2 --  cl tried    14154 cl shrink        0 lits rem          0 time: 0.01
13.56/3.43	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
13.56/3.43	c calculated reachability. Time: 0.00
13.56/3.43	c  N st    22     46257       100      2130         0     14154     10650    264134   no data   no data  --
16.38/4.18	c  N st    23     60655       100      2130         0     10060     10650    150630   no data   no data  --
18.35/4.64	c  N st    24     69386       100      2130         0     18178     10650    329889   no data   no data  --
18.35/4.64	c  S st    24     69386       100      2130         0     18178     10650    329889   no data   no data  --
18.35/4.69	c  S st    24     69892       100      2130         0     18667     10650    341155   no data   no data  --
18.35/4.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.35/4.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.75/4.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
18.75/4.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.75/4.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.75/4.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
18.75/4.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.95/6.04	c lits-rem:      3869  cl-subs:     2359  v-elim:      0  v-fix:    0  time:  5.32 s
23.95/6.04	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
23.95/6.04	c vivif2 --  cl tried    16308 cl shrink        0 lits rem          0 time: 0.01
24.35/6.11	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.28
24.35/6.11	c calculated reachability. Time: 0.00
24.35/6.11	c  N st    24     69892       100      2130         0     16308     10650    287196   no data   no data  --
28.74/7.23	c  F st    25     87500       100      2130         0     11427     10650    165012   no data   no data  --
28.74/7.23	c  N st    25     87500       100      2130         0     11427     10650    165012   no data   no data  --
29.93/7.50	c Decided on static restart strategy
30.33/7.65	c  N st    32     95538       100      2130         0     18855     10650    324151   no data   no data  --
32.73/8.22	c  N st    34    104838       100      2130         0     15445     10650    247771   no data   no data  --
32.73/8.22	c  S st    34    104838       100      2130         0     15445     10650    247771   no data   no data  --
32.73/8.26	c  S st    34    105341       100      2130         0     15917     10650    258212   no data   no data  --
32.73/8.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.73/8.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.73/8.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
32.73/8.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.73/8.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.73/8.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
32.73/8.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.13/9.34	c lits-rem:      2029  cl-subs:     1243  v-elim:      0  v-fix:    0  time:  4.23 s
37.13/9.34	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
37.13/9.34	c vivif2 --  cl tried    14674 cl shrink        0 lits rem          0 time: 0.01
37.53/9.40	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
37.53/9.40	c calculated reachability. Time: 0.00
37.53/9.40	c  N st    34    105341       100      2130         0     14674     10650    230903   no data   no data  --
39.92/10.02	c  N st    35    114939       100      2130         0     23586     10650    416859   no data   no data  --
43.92/11.02	c  N st    36    129337       100      2130         0     24000     10650    411924   no data   no data  --
50.31/12.66	c  N st    37    150932       100      2130         0     15255     10650    203368   no data   no data  --
51.91/13.09	c  S st    38    158011       100      2130         0     21825     10650    348535   no data   no data  --
52.31/13.15	c  S st    38    158512       100      2130         0     22313     10650    359649   no data   no data  --
52.31/13.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
52.31/13.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.31/13.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
52.31/13.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
52.31/13.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.31/13.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
52.31/13.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
57.10/14.34	c lits-rem:      2257  cl-subs:     2122  v-elim:      0  v-fix:    0  time:  4.69 s
57.10/14.34	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
57.10/14.34	c vivif2 --  cl tried    20191 cl shrink        0 lits rem          0 time: 0.02
57.50/14.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.30
57.50/14.42	c calculated reachability. Time: 0.00
57.50/14.42	c  N st    38    158512       100      2130         0     20191     10650    313792   no data   no data  --
73.10/18.31	c  N st    39    207102       100      2130         0     32808     10650    561182   no data   no data  --
82.28/20.68	c  N st    40    237768       100      2130         0     25187     10650    377221   no data   no data  --
82.28/20.68	c  S st    40    237768       100      2130         0     25187     10650    377221   no data   no data  --
82.66/20.75	c  S st    40    238276       100      2130         0     25676     10650    388728   no data   no data  --
82.66/20.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.66/20.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.66/20.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
82.66/20.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.66/20.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.66/20.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
82.66/20.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
87.85/22.09	c lits-rem:      2769  cl-subs:     2230  v-elim:      0  v-fix:    0  time:  5.26 s
87.85/22.09	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
87.85/22.09	c vivif2 --  cl tried    23446 cl shrink        0 lits rem          0 time: 0.02
88.25/22.19	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.41
88.25/22.19	c calculated reachability. Time: 0.00
88.25/22.19	c  N st    40    238276       100      2130         0     23446     10650    344018   no data   no data  --
112.64/28.24	c  F st    41    306253       100      2130         0     25372     10650    353345   no data   no data  --
112.64/28.24	c  N st    41    306253       100      2130         0     25372     10650    353345   no data   no data  --
114.62/28.71	c Decided on static restart strategy
123.81/31.04	c  N st    51    334553       100      2130         0     29455     10650    429781   no data   no data  --
132.60/33.29	c  N st    53    357414       100      2130         0     27471     10650    373116   no data   no data  --
132.60/33.29	c  S st    53    357414       100      2130         0     27471     10650    373116   no data   no data  --
133.00/33.37	c  S st    53    357917       100      2130         0     27946     10650    384022   no data   no data  --
133.00/33.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
133.00/33.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
133.00/33.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
133.00/33.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
133.00/33.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.00/33.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
133.00/33.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.18/34.61	c lits-rem:      2016  cl-subs:     1298  v-elim:      0  v-fix:    0  time:  4.89 s
138.18/34.61	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
138.18/34.61	c vivif2 --  cl tried    26648 cl shrink        0 lits rem          0 time: 0.02
138.58/34.73	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.45
138.58/34.73	c calculated reachability. Time: 0.00
138.58/34.73	c  N st    53    357917       100      2130         0     26648     10650    355947   no data   no data  --
153.77/38.51	c  N st    54    390309       100      2130         0     32429     10650    459721   no data   no data  --
174.16/43.69	c  N st    55    438898       100      2130         0     26552     10650    324831   no data   no data  --
208.89/52.38	c  N st    56    511780       100      2130         0     39533     10650    592824   no data   no data  --
221.27/55.49	c  N st    57    536875       100      2130         0     34139     10650    459901   no data   no data  --
221.27/55.49	c  S st    57    536875       100      2130         0     34139     10650    459901   no data   no data  --
221.67/55.59	c  S st    57    537379       100      2130         0     34625     10650    471064   no data   no data  --
221.67/55.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
221.67/55.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.07/55.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
222.07/55.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
222.07/55.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.07/55.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
222.07/55.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
228.06/57.15	c lits-rem:      2718  cl-subs:     1627  v-elim:      0  v-fix:    0  time:  6.13 s
228.06/57.15	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
228.06/57.16	c vivif2 --  cl tried    32998 cl shrink        0 lits rem          0 time: 0.02
228.86/57.30	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.58
228.86/57.30	c calculated reachability. Time: 0.00
228.86/57.30	c  N st    57    537379       100      2130         0     32998     10650    433979   no data   no data  --
313.15/78.46	c  N st    58    701363       100      2130         0     60226     10650    966737   no data   no data  --
368.67/92.32	c  N st    59    806070       100      2130         0     54323     10650    791702   no data   no data  --
368.67/92.32	c  S st    59    806070       100      2130         0     54323     10650    791702   no data   no data  --
369.06/92.48	c  S st    59    806571       100      2130         0     54804     10650    802741   no data   no data  --
369.06/92.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
369.06/92.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
369.48/92.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
369.48/92.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
369.48/92.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
369.48/92.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
369.48/92.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
386.65/96.88	c lits-rem:      2374  cl-subs:     7598  v-elim:      0  v-fix:    0  time: 17.39 s
386.65/96.88	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
386.65/96.89	c vivif2 --  cl tried    47206 cl shrink        0 lits rem          0 time: 0.04
387.84/97.17	c asymm  cl-useful: 0/2016/2130 lits-rem:0 time: 1.12
387.84/97.17	c calculated reachability. Time: 0.00
387.84/97.17	c  N st    59    806571       100      2130         0     47206     10650    665651   no data   no data  --
548.82/137.43	c  F st    60   1071875       100      2130         0     62612     10650    918059   no data   no data  --
548.82/137.44	c  N st    60   1071875       100      2130         0     62612     10650    918059   no data   no data  --
552.83/138.48	c Decided on static restart strategy
570.02/142.78	c  N st    70   1100179       100      2130         0     47506     10650    595505   no data   no data  --
594.37/148.86	c  N st    72   1136172       100      2130         0     80650     10650   1310185   no data   no data  --
614.74/153.97	c  N st    73   1168564       100      2130         0     68194     10650   1025087   no data   no data  --
642.71/160.93	c  N st    74   1209859       100      2130         0     63013     10650    902992   no data   no data  --
642.71/160.93	c  S st    74   1209859       100      2130         0     63013     10650    902992   no data   no data  --
643.51/161.10	c  S st    74   1210362       100      2130         0     63497     10650    914028   no data   no data  --
643.51/161.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
643.51/161.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
643.51/161.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
643.51/161.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
643.51/161.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
643.51/161.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
643.51/161.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
662.67/165.97	c lits-rem:      2581  cl-subs:     5933  v-elim:      0  v-fix:    0  time: 19.20 s
662.67/165.97	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
662.67/165.98	c vivif2 --  cl tried    57564 cl shrink        0 lits rem          0 time: 0.04
664.27/166.34	c asymm  cl-useful: 0/1633/2130 lits-rem:0 time: 1.46
664.27/166.35	c calculated reachability. Time: 0.00
664.27/166.35	c  N st    74   1210362       100      2130         0     57564     10650    797533   no data   no data  --
726.58/181.90	c  N st    75   1283246       100      2130         0     80719     10650   1282430   no data   no data  --
815.27/204.13	c  N st    76   1392570       100      2130         0     90202     10650   1461940   no data   no data  --
942.30/235.97	c  N st    77   1556555       100      2130         0     97098     10650   1543069   no data   no data  --
1060.54/265.57	c  N st    78   1710363       100      2130         0     86896     10650   1299592   no data   no data  --
1060.54/265.57	c  S st    78   1710363       100      2130         0     86896     10650   1299592   no data   no data  --
1061.75/265.84	c  S st    78   1710868       100      2130         0     87380     10650   1310847   no data   no data  --
1061.75/265.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1061.75/265.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1061.75/265.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
1062.15/265.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1062.15/265.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1062.15/265.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1062.15/265.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1118.88/280.14	c lits-rem:      2498  cl-subs:    12723  v-elim:      0  v-fix:    0  time: 56.75 s
1118.88/280.14	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1118.88/280.15	c vivif2 --  cl tried    74657 cl shrink        0 lits rem          0 time: 0.06
1120.06/280.46	c asymm  cl-useful: 0/1201/2130 lits-rem:0 time: 1.23
1120.06/280.46	c calculated reachability. Time: 0.00
1120.06/280.46	c  N st    78   1710868       100      2130         0     74657     10650   1071960   no data   no data  --
1457.22/364.88	c  N st    79   2079834       100      2130         0     86533     10650   1226732   no data   no data  --
1572.24/393.66	c  N st    80   2210870       100      2130         0     90351     10650   1312647   no data   no data  --
1572.24/393.66	c  S st    80   2210870       100      2130         0     90351     10650   1312647   no data   no data  --
1573.44/393.98	c  S st    80   2211373       100      2130         0     90832     10650   1323676   no data   no data  --
1573.44/393.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1573.44/393.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1573.84/394.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
1573.84/394.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1573.84/394.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1573.84/394.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1573.84/394.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1632.16/408.69	c lits-rem:      2939  cl-subs:     9745  v-elim:      0  v-fix:    0  time: 58.37 s
1632.16/408.69	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1632.56/408.70	c vivif2 --  cl tried    81087 cl shrink        0 lits rem          0 time: 0.06
1633.76/409.00	c asymm  cl-useful: 0/929/2130 lits-rem:0 time: 1.17
1633.76/409.00	c calculated reachability. Time: 0.00
1633.76/409.00	c  N st    80   2211373       100      2130         0     81087     10650   1132009   no data   no data  --
2175.04/544.55	c  N st    81   2711373       100      2130         0    103204     10650   1475924   no data   no data  --
2175.04/544.55	c  S st    81   2711373       100      2130         0    103204     10650   1475924   no data   no data  --
2176.23/544.86	c  S st    81   2711875       100      2130         0    103680     10650   1486949   no data   no data  --
2176.23/544.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2176.23/544.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2176.63/544.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2176.63/544.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2176.63/544.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2176.63/544.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2176.63/544.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2269.31/568.17	c lits-rem:      1489  cl-subs:    15170  v-elim:      0  v-fix:    0  time: 92.66 s
2269.31/568.17	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2269.31/568.19	c vivif2 --  cl tried    88510 cl shrink        0 lits rem          0 time: 0.07
2271.30/568.63	c asymm  cl-useful: 0/1109/2130 lits-rem:0 time: 1.76
2271.30/568.63	c calculated reachability. Time: 0.00
2271.30/568.63	c  N st    81   2711875       100      2130         0     88510     10650   1212675   no data   no data  --
2842.93/711.76	c  N st    82   3211875       100      2130         0    138680     10650   2149612   no data   no data  --
2842.93/711.76	c  S st    82   3211875       100      2130         0    138680     10650   2149612   no data   no data  --
2844.93/712.24	c  S st    82   3212381       100      2130         0    139175     10650   2161190   no data   no data  --
2844.93/712.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2844.93/712.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2845.33/712.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
2845.33/712.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2845.33/712.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2845.33/712.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2845.33/712.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3245.59/812.54	c lits-rem:      5692  cl-subs:    25149  v-elim:      0  v-fix:    0  time: 399.91 s
3245.59/812.54	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3245.59/812.56	c vivif2 --  cl tried   114026 cl shrink        0 lits rem          0 time: 0.09
3247.16/812.93	c asymm  cl-useful: 0/698/2130 lits-rem:0 time: 1.49
3247.16/812.94	c calculated reachability. Time: 0.00
3247.16/812.94	c  N st    82   3212381       100      2130         0    114026     10650   1711229   no data   no data  --
3813.20/954.62	c  N st    83   3712382       100      2130         0    131501     10650   1985836   no data   no data  --
3813.20/954.62	c  S st    83   3712382       100      2130         0    131501     10650   1985836   no data   no data  --
3814.80/955.08	c  S st    83   3712887       100      2130         0    131987     10650   1997226   no data   no data  --
3814.80/955.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3814.80/955.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3815.20/955.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.26
3815.60/955.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3815.60/955.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3815.60/955.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3815.60/955.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3999.66/1001.54	c lits-rem:      5554  cl-subs:    19458  v-elim:      0  v-fix:    0  time: 184.08 s
3999.66/1001.54	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3999.66/1001.56	c vivif2 --  cl tried   112529 cl shrink        0 lits rem          0 time: 0.08
4001.25/1001.92	c asymm  cl-useful: 0/868/2130 lits-rem:0 time: 1.42
4001.25/1001.92	c calculated reachability. Time: 0.00
4001.25/1001.92	c  N st    83   3712887       100      2130         0    112529     10650   1627551   no data   no data  --
4063.17/1017.48	c  F st    84   3751562       100      2130         0    147998     10650   2395796   no data   no data  --
4063.17/1017.48	c  N st    84   3751562       100      2130         0    147998     10650   2395796   no data   no data  --
4075.95/1020.60	c Decided on static restart strategy
4099.92/1026.67	c  N st    94   3779872       100      2130         0     98348     10650   1293376   no data   no data  --
4149.06/1038.96	c  N st    96   3815864       100      2130         0    131375     10650   2019256   no data   no data  --
4195.79/1050.64	c  N st    97   3848256       100      2130         0     83585     10650    944364   no data   no data  --
4253.32/1065.07	c  N st    98   3896845       100      2130         0    128017     10650   1909246   no data   no data  --
4380.34/1096.86	c  N st    99   3969728       100      2130         0    116178     10650   1629388   no data   no data  --
4536.55/1135.94	c  N st   100   4079051       100      2130         0    136539     10650   2024198   no data   no data  --
4756.26/1190.93	c  N st   101   4212887       100      2130         0     97242     10650   1192141   no data   no data  --
4756.26/1190.93	c  S st   101   4212887       100      2130         0     97242     10650   1192141   no data   no data  --
4757.83/1191.36	c  S st   101   4213394       100      2130         0     97724     10650   1203443   no data   no data  --
4757.83/1191.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4757.83/1191.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4758.23/1191.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.25
4758.23/1191.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4758.23/1191.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4758.23/1191.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4758.23/1191.47	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-3175175-1304095714/watcher-3175175-1304095714 -o /tmp/evaluation-result-3175175-1304095714/solver-3175175-1304095714 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175175-1304095714.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.95 7.91 8.02 3/180 23474
/proc/meminfo: memFree=25372132/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 414 0 0 0 0 0 0 0 18 0 4 0 521169573 52465664 353 33554432000 4194304 4650419 140737240179584 18446744073709551615 47684234553266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 12809 353 303 112 0 7774 0
[pid=23473/tid=23478] ppid=23470 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 521169573 52465664 353 33554432000 4194304 4650419 140737240179584 18446744073709551615 232347690038 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 521169573 52465664 353 33554432000 4194304 4650419 140737240179584 18446744073709551615 47684234553260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 521169573 52465664 353 33554432000 4194304 4650419 140737240179584 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.297867 s]
/proc/loadavg: 6.95 7.91 8.02 3/180 23474
/proc/meminfo: memFree=25372132/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=285556 CPUtime=3.4 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 6172 0 0 0 339 1 0 0 19 0 4 0 521169573 292409344 2811 33554432000 4194304 4650419 140737240179584 18446744073709551615 4349707 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 71389 2811 392 112 0 66354 0
[pid=23473/tid=23478] ppid=23470 vsize=285556 CPUtime=0.85 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1557 0 0 0 85 0 0 0 19 0 4 0 521169573 292409344 2811 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=285556 CPUtime=0.84 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1514 0 0 0 84 0 0 0 19 0 4 0 521169573 292409344 2811 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=285556 CPUtime=0.84 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1138 0 0 0 84 0 0 0 19 0 4 0 521169573 292409344 2811 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 285556

[startup+0.957448 s]
/proc/loadavg: 6.95 7.91 8.02 3/180 23474
/proc/meminfo: memFree=25372132/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=285880 CPUtime=3.8 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 6609 0 0 0 379 1 0 0 19 0 4 0 521169573 292741120 2956 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 71470 2956 392 112 0 66435 0
[pid=23473/tid=23478] ppid=23470 vsize=285880 CPUtime=0.95 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1622 0 0 0 95 0 0 0 19 0 4 0 521169573 292741120 2956 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=285880 CPUtime=0.94 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1575 0 0 0 94 0 0 0 19 0 4 0 521169573 292741120 2956 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=285880 CPUtime=0.94 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1389 0 0 0 94 0 0 0 19 0 4 0 521169573 292741120 2956 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 285880

[startup+1.00044 s]
/proc/loadavg: 6.95 7.91 8.02 3/180 23474
/proc/meminfo: memFree=25372132/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=285880 CPUtime=3.97 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 6699 0 0 0 396 1 0 0 19 0 4 0 521169573 292741120 3046 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 71470 3046 392 112 0 66435 0
[pid=23473/tid=23478] ppid=23470 vsize=285880 CPUtime=0.99 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1645 0 0 0 99 0 0 0 19 0 4 0 521169573 292741120 3046 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=285880 CPUtime=0.99 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1598 0 0 0 99 0 0 0 19 0 4 0 521169573 292741120 3046 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=285880 CPUtime=0.99 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1413 0 0 0 99 0 0 0 19 0 4 0 521169573 292741120 3046 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 285880

[startup+1.10043 s]
/proc/loadavg: 6.95 7.91 8.02 3/180 23474
/proc/meminfo: memFree=25372132/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=285880 CPUtime=4.37 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 8083 0 0 0 436 1 0 0 19 0 4 0 521169573 292741120 4430 33554432000 4194304 4650419 140737240179584 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 71470 4430 393 112 0 66435 0
[pid=23473/tid=23478] ppid=23470 vsize=285880 CPUtime=1.09 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1695 0 0 0 109 0 0 0 19 0 4 0 521169573 292741120 4430 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=285880 CPUtime=1.08 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1648 0 0 0 108 0 0 0 19 0 4 0 521169573 292741120 4430 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=285880 CPUtime=1.09 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1462 0 0 0 109 0 0 0 19 0 4 0 521169573 292741120 4430 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 285880

[startup+1.50035 s]
/proc/loadavg: 6.95 7.91 8.02 3/180 23474
/proc/meminfo: memFree=25372132/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=286192 CPUtime=5.97 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 10025 0 0 0 595 2 0 0 20 0 4 0 521169573 293060608 5271 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 71548 5271 393 112 0 66513 0
[pid=23473/tid=23478] ppid=23470 vsize=286192 CPUtime=1.48 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 2926 0 0 0 148 0 0 0 20 0 4 0 521169573 293060608 5271 33554432000 4194304 4650419 140737240179584 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=286192 CPUtime=1.48 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1978 0 0 0 148 0 0 0 19 0 4 0 521169573 293060608 5271 33554432000 4194304 4650419 140737240179584 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=286192 CPUtime=1.49 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 1815 0 0 0 149 0 0 0 20 0 4 0 521169573 293060608 5271 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286192

[startup+3.10107 s]
/proc/loadavg: 7.04 7.91 8.02 10/188 23482
/proc/meminfo: memFree=25304000/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=303048 CPUtime=12.36 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 17792 0 0 0 1233 3 0 0 25 0 4 0 521169573 310321152 11432 33554432000 4194304 4650419 140737240179584 18446744073709551615 4439120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 75762 11432 393 112 0 70727 0
[pid=23473/tid=23478] ppid=23470 vsize=303048 CPUtime=3.08 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 5355 0 0 0 308 0 0 0 25 0 4 0 521169573 310321152 11432 33554432000 4194304 4650419 140737240179584 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=303048 CPUtime=3.08 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 3908 0 0 0 308 0 0 0 25 0 4 0 521169573 310321152 11432 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=303048 CPUtime=3.07 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 3719 0 0 0 307 0 0 0 25 0 4 0 521169573 310321152 11432 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 303048

[startup+6.3065 s]
/proc/loadavg: 7.04 7.91 8.02 10/188 23482
/proc/meminfo: memFree=25277796/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=312344 CPUtime=25.17 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 24880 0 0 0 2512 5 0 0 25 0 4 0 521169573 319840256 13246 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 78086 13246 393 112 0 73051 0
[pid=23473/tid=23478] ppid=23470 vsize=312344 CPUtime=6.29 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 6754 0 0 0 629 0 0 0 25 0 4 0 521169573 319840256 13246 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=312344 CPUtime=6.29 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 6480 0 0 0 628 1 0 0 25 0 4 0 521169573 319840256 13246 33554432000 4194304 4650419 140737240179584 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=312344 CPUtime=6.26 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 4801 0 0 0 626 0 0 0 25 0 4 0 521169573 319840256 13246 33554432000 4194304 4650419 140737240179584 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 312344

[startup+12.7004 s]
/proc/loadavg: 7.12 7.91 8.02 10/188 23482
/proc/meminfo: memFree=25249588/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=312960 CPUtime=50.71 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 38119 0 0 0 5065 6 0 0 25 0 4 0 521169573 320471040 18863 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 78240 18863 393 112 0 73205 0
[pid=23473/tid=23478] ppid=23470 vsize=312960 CPUtime=12.69 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 10548 0 0 0 1268 1 0 0 25 0 4 0 521169573 320471040 18863 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=312960 CPUtime=12.69 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 9930 0 0 0 1267 2 0 0 25 0 4 0 521169573 320471040 18863 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=312960 CPUtime=12.62 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 7378 0 0 0 1262 0 0 0 25 0 4 0 521169573 320471040 18863 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 312960

[startup+25.5011 s]
/proc/loadavg: 7.31 7.91 8.02 10/188 23483
/proc/meminfo: memFree=25211852/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=348236 CPUtime=101.84 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 56580 0 0 0 10172 12 0 0 25 0 4 0 521169573 356593664 24254 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 87059 24254 393 112 0 82024 0
[pid=23473/tid=23478] ppid=23470 vsize=348236 CPUtime=25.48 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 16861 0 0 0 2546 2 0 0 25 0 4 0 521169573 356593664 24254 33554432000 4194304 4650419 140737240179584 18446744073709551615 4314753 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=348236 CPUtime=25.48 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 15353 0 0 0 2545 3 0 0 25 0 4 0 521169573 356593664 24255 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=348236 CPUtime=25.35 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 9714 0 0 0 2534 1 0 0 25 0 4 0 521169573 356593664 24255 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 348236

[startup+51.1005 s]
/proc/loadavg: 7.63 7.94 8.02 9/188 23513
/proc/meminfo: memFree=25202820/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=321292 CPUtime=204.1 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 84776 0 0 0 20389 21 0 0 25 0 4 0 521169573 329003008 25989 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 80323 25989 393 112 0 75288 0
[pid=23473/tid=23478] ppid=23470 vsize=321292 CPUtime=51.08 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 26506 0 0 0 5103 5 0 0 25 0 4 0 521169573 329003008 25989 33554432000 4194304 4650419 140737240179584 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=321292 CPUtime=51.08 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 23344 0 0 0 5103 5 0 0 25 0 4 0 521169573 329003008 25989 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=321292 CPUtime=50.81 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 12574 0 0 0 5079 2 0 0 25 0 4 0 521169573 329003008 25989 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 321292

[startup+102.3 s]
/proc/loadavg: 7.98 7.99 8.03 9/188 23515
/proc/meminfo: memFree=25127448/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=321536 CPUtime=408.62 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 132675 0 0 0 40826 36 0 0 25 0 4 0 521169573 329252864 34425 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 80384 34425 393 112 0 75349 0
[pid=23473/tid=23478] ppid=23470 vsize=321536 CPUtime=102.28 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 40574 0 0 0 10219 9 0 0 25 0 4 0 521169573 329252864 34425 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=321536 CPUtime=102.28 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 36577 0 0 0 10219 9 0 0 25 0 4 0 521169573 329252864 34425 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=321536 CPUtime=101.73 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 19140 0 0 0 10168 5 0 0 25 0 4 0 521169573 329252864 34425 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 321536

[startup+162.301 s]

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

[pid=23473] ppid=23470 vsize=505004 CPUtime=2805.39 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 435496 0 0 0 280381 158 0 0 25 0 4 0 521169573 517124096 79960 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 126251 79960 393 112 0 121216 0
[pid=23473/tid=23478] ppid=23470 vsize=505004 CPUtime=702.3 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 131295 0 0 0 70186 44 0 0 25 0 4 0 521169573 517124096 79960 33554432000 4194304 4650419 140737240179584 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=505004 CPUtime=702.29 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 121458 0 0 0 70183 46 0 0 25 0 4 0 521169573 517124096 79960 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=505004 CPUtime=698.45 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 54897 0 0 0 69826 19 0 0 25 0 4 0 521169573 517124096 79960 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 505004

[startup+762.3 s]
/proc/loadavg: 8.16 8.17 8.09 9/188 23541
/proc/meminfo: memFree=24745600/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=523516 CPUtime=3045.04 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 453053 0 0 0 304339 165 0 0 25 0 4 0 521169573 536080384 83101 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 130879 83101 393 112 0 125844 0
[pid=23473/tid=23478] ppid=23470 vsize=523516 CPUtime=762.3 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 135593 0 0 0 76183 47 0 0 25 0 4 0 521169573 536080384 83101 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=523516 CPUtime=762.29 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 127864 0 0 0 76180 49 0 0 25 0 4 0 521169573 536080384 83101 33554432000 4194304 4650419 140737240179584 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=523516 CPUtime=758.11 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 56177 0 0 0 75791 20 0 0 25 0 4 0 521169573 536080384 83101 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 523516

[startup+822.301 s]
/proc/loadavg: 8.06 8.14 8.09 9/188 23543
/proc/meminfo: memFree=24716568/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=549088 CPUtime=3284.71 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 468362 0 0 0 328297 174 0 0 25 0 4 0 521169573 562266112 88374 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 137272 88374 393 112 0 132237 0
[pid=23473/tid=23478] ppid=23470 vsize=549088 CPUtime=822.3 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 142241 0 0 0 82179 51 0 0 25 0 4 0 521169573 562266112 88374 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=549088 CPUtime=822.28 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 132219 0 0 0 82177 51 0 0 25 0 4 0 521169573 562266112 88374 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=549088 CPUtime=817.79 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 59810 0 0 0 81757 22 0 0 25 0 4 0 521169573 562266112 88374 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 549088

[startup+882.301 s]
/proc/loadavg: 8.32 8.21 8.11 9/188 23544
/proc/meminfo: memFree=24670416/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=602216 CPUtime=3524.39 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 494085 0 0 0 352250 189 0 0 25 0 4 0 521169573 616669184 92490 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 150554 92490 393 112 0 145519 0
[pid=23473/tid=23478] ppid=23470 vsize=602216 CPUtime=882.31 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 150786 0 0 0 88176 55 0 0 25 0 4 0 521169573 616669184 92490 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=602216 CPUtime=882.29 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 140064 0 0 0 88173 56 0 0 25 0 4 0 521169573 616669184 92490 33554432000 4194304 4650419 140737240179584 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=602216 CPUtime=877.46 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 61370 0 0 0 87722 24 0 0 25 0 4 0 521169573 616669184 92490 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 602216

[startup+942.3 s]
/proc/loadavg: 8.23 8.20 8.11 9/188 23546
/proc/meminfo: memFree=24707728/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=575088 CPUtime=3764.08 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 516191 0 0 0 376209 199 0 0 25 0 4 0 521169573 588890112 88464 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 143772 88464 393 112 0 138737 0
[pid=23473/tid=23478] ppid=23470 vsize=575088 CPUtime=942.31 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 158545 0 0 0 94174 57 0 0 25 0 4 0 521169573 588890112 88464 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=575088 CPUtime=942.3 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 146768 0 0 0 94171 59 0 0 25 0 4 0 521169573 588890112 88464 33554432000 4194304 4650419 140737240179584 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=575088 CPUtime=937.14 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 64088 0 0 0 93688 26 0 0 25 0 4 0 521169573 588890112 88464 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 575088

[startup+1002.3 s]
/proc/loadavg: 8.45 8.28 8.14 9/188 23551
/proc/meminfo: memFree=24657028/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=599860 CPUtime=4002.85 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 533279 0 0 0 400076 209 0 0 25 0 4 0 521169573 614256640 93063 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 149965 93063 393 112 0 144930 0
[pid=23473/tid=23478] ppid=23470 vsize=599860 CPUtime=1002.3 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 164933 0 0 0 100170 60 0 0 25 0 4 0 521169573 614256640 93063 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=599860 CPUtime=1002.29 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 151773 0 0 0 100167 62 0 0 25 0 4 0 521169573 614256640 93063 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=599860 CPUtime=995.92 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 68301 0 0 0 99564 28 0 0 25 0 4 0 521169573 614256640 93063 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.85
Current children cumulated vsize (KiB) 599860

[startup+1062.31 s]
/proc/loadavg: 8.30 8.27 8.15 9/188 23552
/proc/meminfo: memFree=24660240/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=612508 CPUtime=4242.55 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 558289 0 0 0 424035 220 0 0 25 0 4 0 521169573 627208192 94844 33554432000 4194304 4650419 140737240179584 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 153127 94844 393 112 0 148092 0
[pid=23473/tid=23478] ppid=23470 vsize=612508 CPUtime=1062.32 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 172884 0 0 0 106167 65 0 0 25 0 4 0 521169573 627208192 94844 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=612508 CPUtime=1062.3 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 160606 0 0 0 106165 65 0 0 25 0 4 0 521169573 627208192 94844 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=612508 CPUtime=1055.59 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 72651 0 0 0 105529 30 0 0 25 0 4 0 521169573 627208192 94844 33554432000 4194304 4650419 140737240179584 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.55
Current children cumulated vsize (KiB) 612508

[startup+1122.3 s]
/proc/loadavg: 8.23 8.26 8.15 9/188 23554
/proc/meminfo: memFree=24583728/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=612548 CPUtime=4482.2 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 573854 0 0 0 447993 227 0 0 25 0 4 0 521169573 627249152 106817 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 153137 106817 393 112 0 148102 0
[pid=23473/tid=23478] ppid=23470 vsize=612548 CPUtime=1122.31 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 177898 0 0 0 112165 66 0 0 25 0 4 0 521169573 627249152 106817 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=612548 CPUtime=1122.3 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 165394 0 0 0 112161 69 0 0 25 0 4 0 521169573 627249152 106817 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=612548 CPUtime=1115.27 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 73764 0 0 0 111496 31 0 0 25 0 4 0 521169573 627249152 106817 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.2
Current children cumulated vsize (KiB) 612548

[startup+1182.3 s]
/proc/loadavg: 8.24 8.27 8.16 9/188 23555
/proc/meminfo: memFree=24597840/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=637468 CPUtime=4721.87 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 587794 0 0 0 471955 232 0 0 25 0 4 0 521169573 652767232 105711 33554432000 4194304 4650419 140737240179584 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 159367 105711 393 112 0 154332 0
[pid=23473/tid=23478] ppid=23470 vsize=637468 CPUtime=1182.31 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 185965 0 0 0 118163 68 0 0 25 0 4 0 521169573 652767232 105711 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=637468 CPUtime=1182.3 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 166030 0 0 0 118161 69 0 0 25 0 4 0 521169573 652767232 105711 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=637468 CPUtime=1174.93 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 77588 0 0 0 117461 32 0 0 25 0 4 0 521169573 652767232 105711 33554432000 4194304 4650419 140737240179584 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.87
Current children cumulated vsize (KiB) 637468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.31 8.28 8.17 9/188 23556
/proc/meminfo: memFree=24575012/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=637468 CPUtime=4800.22 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 591765 0 0 0 479788 234 0 0 25 0 4 0 521169573 652767232 108674 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 159367 108674 393 112 0 154332 0
[pid=23473/tid=23478] ppid=23470 vsize=637468 CPUtime=1201.92 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 187488 0 0 0 120124 68 0 0 25 0 4 0 521169573 652767232 108674 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=637468 CPUtime=1201.91 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 166030 0 0 0 120122 69 0 0 25 0 4 0 521169573 652767232 108674 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=637468 CPUtime=1194.43 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 78440 0 0 0 119410 33 0 0 25 0 4 0 521169573 652767232 108674 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 637468

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

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

[startup+1201.9 s]
/proc/loadavg: 8.31 8.28 8.17 9/188 23556
/proc/meminfo: memFree=24575012/32951124 swapFree=67111524/67111528
[pid=23473] ppid=23470 vsize=637468 CPUtime=4800.22 cores=1,3,5,7
/proc/23473/stat : 23473 (strangenight1-m) R 23470 23473 23437 0 -1 4202496 591765 0 0 0 479788 234 0 0 25 0 4 0 521169573 652767232 108674 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23473/statm: 159367 108674 393 112 0 154332 0
[pid=23473/tid=23478] ppid=23470 vsize=637468 CPUtime=1201.92 cores=1,3,5,7
/proc/23473/task/23478/stat : 23478 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 187488 0 0 0 120124 68 0 0 25 0 4 0 521169573 652767232 108674 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23473/tid=23479] ppid=23470 vsize=637468 CPUtime=1201.91 cores=1,3,5,7
/proc/23473/task/23479/stat : 23479 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 166030 0 0 0 120122 69 0 0 25 0 4 0 521169573 652767232 108674 33554432000 4194304 4650419 140737240179584 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23473/tid=23480] ppid=23470 vsize=637468 CPUtime=1194.43 cores=1,3,5,7
/proc/23473/task/23480/stat : 23480 (strangenight1-m) R 23470 23473 23437 0 -1 4202560 78440 0 0 0 119410 33 0 0 25 0 4 0 521169573 652767232 108674 33554432000 4194304 4650419 140737240179584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 637468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.26
CPU user time (s): 4797.9
CPU system time (s): 2.35964
CPU usage (%): 399.377
Max. virtual memory (cumulated for all children) (KiB): 652504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.9
system time used= 2.35964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591765
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= 260
involuntary context switches= 32505

runsolver used 1.82872 second user time and 4.75128 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 18:48:34
IDJOB=3175175
IDBENCH=82793
IDSOLVER=1588
FILE ID=node132/3175175-1304095714
RUNJOBID= node132-1304095714-23456
PBS_JOBID= 13170598
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= f913d39a64a2142ed34486c38d5636c0
RANDOM SEED=672442283

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25372692 kB
Buffers:        773752 kB
Cached:        6240100 kB
SwapCached:          4 kB
Active:        2090876 kB
Inactive:      4987220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25372692 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12624 kB
Writeback:           0 kB
AnonPages:       65432 kB
Mapped:          14732 kB
Slab:           435948 kB
PageTables:       4760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187204 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-29 19:08:38