Trace number 3175328

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.31 1201.54

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf
MD5SUM02e5b9be63a0b18588da13d9c988e25c
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-3175328-1304117148.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.02	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.02	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.58/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.58/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.58/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.58/0.90	c calculated reachability. Time: 0.00
3.58/0.90	c Calc default polars -  time:   0.00 s pos:      78 undec:       5 neg:      67
3.58/0.90	c =========================================================================================
3.58/0.90	c types(t): F = full restart, N = normal restart
3.58/0.90	c types(t): S = simplification begin/end, E = solution found
3.58/0.90	c restart types(rt): st = static, dy = dynamic
3.58/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.90	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
3.58/0.90	c Decided on static restart strategy
3.58/0.90	c  N st     8      4917       150      3195         0      4692     15975    144897   no data   no data  --
3.58/0.90	c  N st    10     11299       150      3195         0      4337     15975    100819   no data   no data  --
3.58/0.90	c  N st    11     17043       150      3195         0      9744     15975    262985   no data   no data  --
3.98/1.00	c  F st    12     25002       150      3195         0     11954     15975    314216   no data   no data  --
3.98/1.00	c  N st    12     25002       150      3195         0     11954     15975    314216   no data   no data  --
4.77/1.20	c Decided on static restart strategy
4.77/1.20	c  N st    18     30000       150      3195         0     10277     15975    262353   no data   no data  --
4.77/1.20	c  S st    18     30000       150      3195         0     10277     15975    262353   no data   no data  --
5.17/1.30	c  S st    18     30504       150      3195         0     10774     15975    276908   no data   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.10	c lits-rem:      2526  cl-subs:     1188  v-elim:      0  v-fix:    0  time:  3.50 s
8.37/2.15	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.20
8.37/2.15	c calculated reachability. Time: 0.00
8.37/2.15	c  N st    18     30504       150      3195         0      9586     15975    234896   no data   no data  --
9.97/2.51	c  N st    20     37616       150      3195         0      8856     15975    195854   no data   no data  --
11.18/2.83	c  N st    21     44015       150      3195         0     14936     15975    380948   no data   no data  --
11.56/2.94	c  S st    22     45756       150      3195         0     16597     15975    431531   no data   no data  --
11.56/2.99	c  S st    22     46258       150      3195         0      8586     15975    168521   no data   no data  --
11.56/2.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.56/2.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.56/3.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.96/3.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.96/3.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.96/3.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.96/3.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12.77/3.29	c lits-rem:       252  cl-subs:      193  v-elim:      0  v-fix:    0  time:  1.15 s
12.77/3.29	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
12.77/3.29	c vivif2 --  cl tried     8393 cl shrink        0 lits rem          0 time: 0.01
13.17/3.33	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
13.17/3.33	c calculated reachability. Time: 0.00
13.17/3.33	c  N st    22     46258       150      3195         0      8393     15975    162161   no data   no data  --
16.35/4.18	c  N st    23     60657       150      3195         0     12590     15975    270291   no data   no data  --
18.76/4.73	c  N st    24     69388       150      3195         0     10445     15975    192803   no data   no data  --
18.76/4.73	c  S st    24     69388       150      3195         0     10445     15975    192803   no data   no data  --
18.76/4.76	c  S st    24     69894       150      3195         0     10942     15975    207837   no data   no data  --
18.76/4.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.76/4.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.76/4.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
18.76/4.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.76/4.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.76/4.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
18.76/4.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.15/5.38	c lits-rem:       557  cl-subs:      246  v-elim:      0  v-fix:    0  time:  2.45 s
21.15/5.38	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
21.15/5.38	c vivif2 --  cl tried    10696 cl shrink        0 lits rem          0 time: 0.01
21.55/5.43	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.22
21.55/5.44	c calculated reachability. Time: 0.00
21.55/5.44	c  N st    24     69894       150      3195         0     10696     15975    199297   no data   no data  --
25.95/6.58	c  F st    25     87500       150      3195         0     16002     15975    349845   no data   no data  --
25.95/6.58	c  N st    25     87500       150      3195         0     16002     15975    349845   no data   no data  --
27.55/6.91	c Decided on static restart strategy
28.36/7.14	c  N st    32     95541       150      3195         0     23683     15975    579442   no data   no data  --
30.74/7.72	c  N st    34    104841       150      3195         0     20188     15975    463201   no data   no data  --
30.74/7.72	c  S st    34    104841       150      3195         0     20188     15975    463201   no data   no data  --
30.74/7.78	c  S st    34    105346       150      3195         0     20682     15975    477607   no data   no data  --
30.74/7.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.74/7.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.74/7.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.74/7.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.74/7.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.74/7.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
30.74/7.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.93/9.51	c lits-rem:      3819  cl-subs:     1457  v-elim:      0  v-fix:    0  time:  6.85 s
37.93/9.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
37.93/9.52	c vivif2 --  cl tried    19225 cl shrink        0 lits rem          0 time: 0.02
38.33/9.64	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.50
38.33/9.64	c calculated reachability. Time: 0.00
38.33/9.64	c  N st    34    105346       150      3195         0     19225     15975    426258   no data   no data  --
40.73/10.28	c  N st    35    114946       150      3195         0     15032     15975    298914   no data   no data  --
44.72/11.26	c  N st    36    129343       150      3195         0     14484     15975    254904   no data   no data  --
51.12/12.88	c  N st    37    150938       150      3195         0     19857     15975    392689   no data   no data  --
53.51/13.45	c  S st    38    158021       150      3195         0     26564     15975    594300   no data   no data  --
53.91/13.52	c  S st    38    158524       150      3195         0     27057     15975    609129   no data   no data  --
53.91/13.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.91/13.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.91/13.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
53.91/13.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.91/13.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.91/13.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
53.91/13.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
61.90/15.54	c lits-rem:      4183  cl-subs:     1936  v-elim:      0  v-fix:    0  time:  7.97 s
61.90/15.54	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
61.90/15.55	c vivif2 --  cl tried    25121 cl shrink        0 lits rem          0 time: 0.03
62.30/15.67	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.49
62.30/15.67	c calculated reachability. Time: 0.00
62.30/15.67	c  N st    38    158524       150      3195         0     25121     15975    544105   no data   no data  --
80.28/20.14	c  N st    39    207112       150      3195         0     19960     15975    346877   no data   no data  --
93.06/23.30	c  N st    40    237787       150      3195         0     30054     15975    650645   no data   no data  --
93.06/23.30	c  S st    40    237787       150      3195         0     30054     15975    650645   no data   no data  --
93.06/23.38	c  S st    40    238289       150      3195         0     30546     15975    665303   no data   no data  --
93.06/23.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.06/23.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.06/23.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
93.46/23.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.46/23.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.46/23.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
93.46/23.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.26/25.66	c lits-rem:      3169  cl-subs:     2356  v-elim:      0  v-fix:    0  time:  9.00 s
102.26/25.66	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
102.26/25.67	c vivif2 --  cl tried    28190 cl shrink        0 lits rem          0 time: 0.03
103.07/25.81	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.59
103.07/25.82	c calculated reachability. Time: 0.00
103.07/25.82	c  N st    40    238289       150      3195         0     28190     15975    589072   no data   no data  --
133.01/33.33	c  F st    41    306252       150      3195         0     30040     15975    593573   no data   no data  --
133.01/33.33	c  N st    41    306252       150      3195         0     30040     15975    593573   no data   no data  --
135.01/33.87	c Decided on static restart strategy
144.60/36.22	c  N st    51    334559       150      3195         0     34239     15975    697833   no data   no data  --
154.99/38.81	c  N st    53    357433       150      3195         0     32294     15975    622039   no data   no data  --
154.99/38.81	c  S st    53    357433       150      3195         0     32294     15975    622039   no data   no data  --
154.99/38.90	c  S st    53    357936       150      3195         0     32785     15975    636679   no data   no data  --
155.39/38.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
155.39/38.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.39/38.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
155.39/38.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
155.39/38.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.39/38.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
155.39/38.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.58/40.77	c lits-rem:      3885  cl-subs:     1354  v-elim:      0  v-fix:    0  time:  7.37 s
162.58/40.77	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
162.58/40.78	c vivif2 --  cl tried    31431 cl shrink        0 lits rem          0 time: 0.03
163.38/40.94	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.66
163.38/40.95	c calculated reachability. Time: 0.00
163.38/40.95	c  N st    53    357936       150      3195         0     31431     15975    588639   no data   no data  --
184.55/46.23	c  N st    54    390329       150      3195         0     37535     15975    768114   no data   no data  --
213.34/53.44	c  N st    55    438918       150      3195         0     31493     15975    551118   no data   no data  --
248.87/62.37	c  N st    56    511800       150      3195         0     44408     15975    919779   no data   no data  --
261.68/65.54	c  N st    57    536904       150      3195         0     38875     15975    717770   no data   no data  --
261.68/65.54	c  S st    57    536904       150      3195         0     38875     15975    717770   no data   no data  --
262.05/65.64	c  S st    57    537409       150      3195         0     39371     15975    732482   no data   no data  --
262.05/65.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
262.05/65.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
262.05/65.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
262.05/65.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.05/65.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.05/65.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
262.05/65.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
272.44/68.20	c lits-rem:      3349  cl-subs:     1774  v-elim:      0  v-fix:    0  time: 10.07 s
272.44/68.20	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
272.44/68.21	c vivif2 --  cl tried    37597 cl shrink        0 lits rem          0 time: 0.04
273.24/68.43	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.89
273.24/68.43	c calculated reachability. Time: 0.00
273.24/68.43	c  N st    57    537409       150      3195         0     37597     15975    672015   no data   no data  --
367.93/92.12	c  N st    58    701393       150      3195         0     65887     15975   1493632   no data   no data  --
433.46/108.52	c  N st    59    806114       150      3195         0     60194     15975   1282205   no data   no data  --
433.46/108.52	c  S st    59    806114       150      3195         0     60194     15975   1282205   no data   no data  --
433.86/108.68	c  S st    59    806616       150      3195         0     60684     15975   1296529   no data   no data  --
433.86/108.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
433.86/108.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
434.26/108.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
434.26/108.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
434.26/108.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
434.26/108.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
434.26/108.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
465.82/116.61	c lits-rem:      1795  cl-subs:     4075  v-elim:      0  v-fix:    0  time: 31.39 s
465.82/116.61	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
465.82/116.62	c vivif2 --  cl tried    56609 cl shrink        0 lits rem          0 time: 0.05
467.02/116.90	c asymm  cl-useful: 0/2329/3195 lits-rem:0 time: 1.14
467.02/116.91	c calculated reachability. Time: 0.00
467.02/116.91	c  N st    59    806616       150      3195         0     56609     15975   1164319   no data   no data  --
648.42/162.36	c  F st    60   1071876       150      3195         0     71782     15975   1508502   no data   no data  --
648.42/162.36	c  N st    60   1071876       150      3195         0     71782     15975   1508502   no data   no data  --
653.99/163.71	c Decided on static restart strategy
671.97/168.29	c  N st    70   1100182       150      3195         0     56285     15975    994050   no data   no data  --
702.33/175.80	c  N st    72   1136178       150      3195         0     46749     15975    686834   no data   no data  --
724.71/181.46	c  N st    73   1168571       150      3195         0     77292     15975   1616763   no data   no data  --
759.86/190.25	c  N st    74   1209924       150      3195         0     72079     15975   1452173   no data   no data  --
759.86/190.25	c  S st    74   1209924       150      3195         0     72079     15975   1452173   no data   no data  --
761.06/190.53	c  S st    74   1210431       150      3195         0     72575     15975   1467363   no data   no data  --
761.06/190.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
761.06/190.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
761.06/190.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
761.46/190.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
761.46/190.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
761.46/190.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
761.46/190.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
826.97/207.03	c lits-rem:      3130  cl-subs:     4992  v-elim:      0  v-fix:    0  time: 65.48 s
826.97/207.03	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
826.97/207.05	c vivif2 --  cl tried    67583 cl shrink        0 lits rem          0 time: 0.08
827.77/207.25	c asymm  cl-useful: 0/866/3195 lits-rem:0 time: 0.80
827.77/207.26	c calculated reachability. Time: 0.00
827.77/207.26	c  N st    74   1210431       150      3195         0     67583     15975   1309360   no data   no data  --
886.10/221.85	c  N st    75   1283313       150      3195         0     91348     15975   2000460   no data   no data  --
1001.14/250.60	c  N st    76   1392637       150      3195         0     52859     15975    771358   no data   no data  --
1134.58/284.00	c  N st    77   1556621       150      3195         0     57619     15975    867628   no data   no data  --
1251.63/313.32	c  N st    78   1710432       150      3195         0     98037     15975   2074630   no data   no data  --
1251.63/313.32	c  S st    78   1710432       150      3195         0     98037     15975   2074630   no data   no data  --
1252.83/313.62	c  S st    78   1710934       150      3195         0     98534     15975   2089563   no data   no data  --
1252.83/313.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1252.83/313.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1252.83/313.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1253.23/313.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1253.23/313.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1253.23/313.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1253.23/313.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1385.86/346.90	c lits-rem:      5757  cl-subs:    10081  v-elim:      0  v-fix:    0  time: 132.43 s
1385.86/346.90	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1385.86/346.93	c vivif2 --  cl tried    88453 cl shrink        0 lits rem          0 time: 0.10
1387.05/347.27	c asymm  cl-useful: 0/1482/3195 lits-rem:0 time: 1.37
1387.05/347.28	c calculated reachability. Time: 0.00
1387.05/347.28	c  N st    78   1710934       150      3195         0     88453     15975   1784267   no data   no data  --
1715.05/429.37	c  N st    79   2079899       150      3195         0     99799     15975   2012162   no data   no data  --
1840.90/460.89	c  N st    80   2210934       150      3195         0    103935     15975   2112365   no data   no data  --
1840.90/460.89	c  S st    80   2210934       150      3195         0    103935     15975   2112365   no data   no data  --
1842.50/461.22	c  S st    80   2211439       150      3195         0    104425     15975   2127340   no data   no data  --
1842.50/461.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1842.50/461.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1842.50/461.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1842.90/461.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1842.90/461.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1842.90/461.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1842.90/461.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1955.55/489.51	c lits-rem:       485  cl-subs:     9285  v-elim:      0  v-fix:    0  time: 112.46 s
1955.55/489.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1955.55/489.54	c vivif2 --  cl tried    95140 cl shrink        0 lits rem          0 time: 0.10
1957.15/489.90	c asymm  cl-useful: 0/1266/3195 lits-rem:0 time: 1.47
1957.15/489.91	c calculated reachability. Time: 0.00
1957.15/489.91	c  N st    80   2211439       150      3195         0     95140     15975   1851843   no data   no data  --
2478.94/620.53	c  N st    81   2711440       150      3195         0    117972     15975   2463636   no data   no data  --
2478.94/620.53	c  S st    81   2711440       150      3195         0    117972     15975   2463636   no data   no data  --
2480.14/620.90	c  S st    81   2711944       150      3195         0    118466     15975   2478359   no data   no data  --
2480.56/620.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2480.56/620.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2480.56/620.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
2480.96/621.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2480.96/621.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2480.96/621.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2480.96/621.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2657.51/665.28	c lits-rem:      2393  cl-subs:    10210  v-elim:      0  v-fix:    0  time: 176.66 s
2657.51/665.28	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2657.91/665.31	c vivif2 --  cl tried   108256 cl shrink        0 lits rem          0 time: 0.10
2659.11/665.68	c asymm  cl-useful: 0/1167/3195 lits-rem:0 time: 1.48
2659.11/665.68	c calculated reachability. Time: 0.00
2659.11/665.68	c  N st    81   2711944       150      3195         0    108256     15975   2158874   no data   no data  --
3213.27/804.33	c  N st    82   3211944       150      3195         0     85305     15975   1291373   no data   no data  --
3213.27/804.33	c  S st    82   3211944       150      3195         0     85305     15975   1291373   no data   no data  --
3214.07/804.59	c  S st    82   3212447       150      3195         0     85794     15975   1306285   no data   no data  --
3214.07/804.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3214.07/804.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3214.48/804.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
3214.48/804.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3214.48/804.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3214.48/804.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3214.48/804.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3254.04/814.56	c lits-rem:      2156  cl-subs:     2426  v-elim:      0  v-fix:    0  time: 39.45 s
3254.04/814.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3254.04/814.58	c vivif2 --  cl tried    83368 cl shrink        0 lits rem          0 time: 0.07
3255.62/814.95	c asymm  cl-useful: 0/1478/3195 lits-rem:0 time: 1.48
3255.62/814.95	c calculated reachability. Time: 0.00
3255.62/814.95	c  N st    82   3212447       150      3195         0     83368     15975   1234251   no data   no data  --
3957.62/990.67	c  N st    83   3712449       150      3195         0     94145     15975   1463538   no data   no data  --
3957.62/990.67	c  S st    83   3712449       150      3195         0     94145     15975   1463538   no data   no data  --
3959.20/991.08	c  S st    83   3712954       150      3195         0     94639     15975   1478043   no data   no data  --
3959.20/991.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3959.20/991.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3959.60/991.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.23
3959.60/991.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3959.60/991.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3959.60/991.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3959.60/991.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4008.33/1003.33	c lits-rem:       699  cl-subs:     2992  v-elim:      0  v-fix:    0  time: 48.46 s
4008.33/1003.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4008.33/1003.35	c vivif2 --  cl tried    91647 cl shrink        0 lits rem          0 time: 0.08
4009.14/1003.51	c asymm  cl-useful: 0/550/3195 lits-rem:0 time: 0.64
4009.14/1003.51	c calculated reachability. Time: 0.00
4009.14/1003.51	c  N st    83   3712954       150      3195         0     91647     15975   1389518   no data   no data  --
4058.69/1015.95	c  F st    84   3751562       150      3195         0    128202     15975   2595680   no data   no data  --
4058.69/1015.95	c  N st    84   3751562       150      3195         0    128202     15975   2595680   no data   no data  --
4069.46/1018.65	c Decided on static restart strategy
4114.61/1029.98	c  N st    94   3779866       150      3195         0    155003     15975   3409685   no data   no data  --
4156.96/1040.50	c  N st    96   3815862       150      3195         0    109027     15975   1909147   no data   no data  --
4202.92/1052.06	c  N st    97   3848255       150      3195         0    139707     15975   2871726   no data   no data  --
4278.45/1070.96	c  N st    98   3896845       150      3195         0    104309     15975   1699589   no data   no data  --
4394.30/1099.93	c  N st    99   3969727       150      3195         0     90810     15975   1274398   no data   no data  --
4542.53/1137.02	c  N st   100   4079052       150      3195         0    110902     15975   1850248   no data   no data  --
4725.53/1182.81	c  N st   101   4212956       150      3195         0    153246     15975   3203622   no data   no data  --
4725.53/1182.81	c  S st   101   4212956       150      3195         0    153246     15975   3203622   no data   no data  --
4727.53/1183.32	c  S st   101   4213463       150      3195         0    153744     15975   3218955   no data   no data  --
4727.53/1183.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4727.53/1183.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4727.93/1183.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.33
4728.33/1183.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4728.33/1183.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4728.33/1183.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4728.33/1183.51	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-3175328-1304117148/watcher-3175328-1304117148 -o /tmp/evaluation-result-3175328-1304117148/solver-3175328-1304117148 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175328-1304117148.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.47 4.32 5.57 2/174 31388
/proc/meminfo: memFree=25026796/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 504130646 52465664 352 33554432000 4194304 4650419 140733903549824 18446744073709551615 47519320258472 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 12809 352 303 112 0 7774 0
[pid=31388/tid=31391] ppid=31385 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 504130647 52465664 352 33554432000 4194304 4650419 140733903549824 18446744073709551615 233522095158 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 504130647 52465664 352 33554432000 4194304 4650419 140733903549824 18446744073709551615 47519320258476 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 504130647 52465664 352 33554432000 4194304 4650419 140733903549824 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.644539 s]
/proc/loadavg: 3.47 4.32 5.57 2/174 31388
/proc/meminfo: memFree=25026796/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=302892 CPUtime=2.55 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 5236 0 0 0 255 0 0 0 18 0 4 0 504130646 310161408 3231 33554432000 4194304 4650419 140733903549824 18446744073709551615 4367249 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 75723 3231 391 112 0 70688 0
[pid=31388/tid=31391] ppid=31385 vsize=302892 CPUtime=0.63 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) D 31385 31388 30477 0 -1 4202560 1289 0 0 0 63 0 0 0 18 0 4 0 504130647 310161408 3231 33554432000 4194304 4650419 140733903549824 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=302892 CPUtime=0.63 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1203 0 0 0 63 0 0 0 18 0 4 0 504130647 310161408 3231 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=302892 CPUtime=0.63 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1082 0 0 0 63 0 0 0 18 0 4 0 504130647 310161408 3231 33554432000 4194304 4650419 140733903549824 18446744073709551615 233510340967 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 302892

[startup+0.700349 s]
/proc/loadavg: 3.47 4.32 5.57 2/174 31388
/proc/meminfo: memFree=25026796/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=285880 CPUtime=2.78 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 6214 0 0 0 277 1 0 0 18 0 4 0 504130646 292741120 2858 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 71470 2858 391 112 0 66435 0
[pid=31388/tid=31391] ppid=31385 vsize=285880 CPUtime=0.68 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1519 0 0 0 68 0 0 0 18 0 4 0 504130647 292741120 2858 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=285880 CPUtime=0.69 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1437 0 0 0 69 0 0 0 18 0 4 0 504130647 292741120 2858 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=285880 CPUtime=0.68 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1330 0 0 0 68 0 0 0 18 0 4 0 504130647 292741120 2858 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285880

[startup+0.800329 s]
/proc/loadavg: 3.47 4.32 5.57 2/174 31388
/proc/meminfo: memFree=25026796/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=285880 CPUtime=3.18 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 6518 0 0 0 317 1 0 0 19 0 4 0 504130646 292741120 3162 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 71470 3163 391 112 0 66435 0
[pid=31388/tid=31391] ppid=31385 vsize=285880 CPUtime=0.78 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1594 0 0 0 78 0 0 0 18 0 4 0 504130647 292741120 3163 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=285880 CPUtime=0.79 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1521 0 0 0 79 0 0 0 18 0 4 0 504130647 292741120 3163 33554432000 4194304 4650419 140733903549824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=285880 CPUtime=0.78 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1405 0 0 0 78 0 0 0 18 0 4 0 504130647 292741120 3163 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 285880

[startup+0.900311 s]
/proc/loadavg: 3.47 4.32 5.57 2/174 31388
/proc/meminfo: memFree=25026796/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=285880 CPUtime=3.58 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 6785 0 0 0 357 1 0 0 19 0 4 0 504130646 292741120 3429 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 71470 3429 391 112 0 66435 0
[pid=31388/tid=31391] ppid=31385 vsize=285880 CPUtime=0.88 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1661 0 0 0 88 0 0 0 19 0 4 0 504130647 292741120 3429 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=285880 CPUtime=0.89 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1589 0 0 0 89 0 0 0 18 0 4 0 504130647 292741120 3429 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=285880 CPUtime=0.88 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 1473 0 0 0 88 0 0 0 19 0 4 0 504130647 292741120 3429 33554432000 4194304 4650419 140733903549824 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 285880

[startup+1.50021 s]
/proc/loadavg: 3.47 4.32 5.57 2/174 31388
/proc/meminfo: memFree=25026796/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=296028 CPUtime=5.98 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 11454 0 0 0 596 2 0 0 20 0 4 0 504130646 303132672 5569 33554432000 4194304 4650419 140733903549824 18446744073709551615 4439653 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 74007 5569 393 112 0 68972 0
[pid=31388/tid=31391] ppid=31385 vsize=296028 CPUtime=1.48 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 2502 0 0 0 148 0 0 0 19 0 4 0 504130647 303132672 5569 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=296028 CPUtime=1.49 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 2466 0 0 0 149 0 0 0 20 0 4 0 504130647 303132672 5569 33554432000 4194304 4650419 140733903549824 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=296028 CPUtime=1.48 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 2276 0 0 0 148 0 0 0 20 0 4 0 504130647 303132672 5569 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 296028

[startup+3.10092 s]
/proc/loadavg: 3.47 4.32 5.57 10/184 31399
/proc/meminfo: memFree=24946984/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=286976 CPUtime=12.36 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 19897 0 0 0 1233 3 0 0 25 0 4 0 504130646 293863424 11216 33554432000 4194304 4650419 140733903549824 18446744073709551615 4438707 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 71744 11216 393 112 0 66709 0
[pid=31388/tid=31391] ppid=31385 vsize=286976 CPUtime=3.09 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 4576 0 0 0 308 1 0 0 25 0 4 0 504130647 293863424 11216 33554432000 4194304 4650419 140733903549824 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=286976 CPUtime=3.08 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 5121 0 0 0 308 0 0 0 25 0 4 0 504130647 293863424 11216 33554432000 4194304 4650419 140733903549824 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=286976 CPUtime=3.07 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 4851 0 0 0 307 0 0 0 25 0 4 0 504130647 293863424 11216 33554432000 4194304 4650419 140733903549824 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286976

[startup+6.30035 s]
/proc/loadavg: 3.84 4.38 5.59 9/184 31399
/proc/meminfo: memFree=24922104/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=305824 CPUtime=25.15 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 29714 0 0 0 2509 6 0 0 25 0 4 0 504130646 313163776 15220 33554432000 4194304 4650419 140733903549824 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 76456 15220 393 112 0 71421 0
[pid=31388/tid=31391] ppid=31385 vsize=305824 CPUtime=6.28 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 7661 0 0 0 627 1 0 0 25 0 4 0 504130647 313163776 15220 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=305824 CPUtime=6.29 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 7719 0 0 0 628 1 0 0 25 0 4 0 504130647 313163776 15220 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=305824 CPUtime=6.26 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 7004 0 0 0 625 1 0 0 25 0 4 0 504130647 313163776 15220 33554432000 4194304 4650419 140733903549824 18446744073709551615 4360387 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 305824

[startup+12.7062 s]
/proc/loadavg: 4.17 4.44 5.60 9/184 31399
/proc/meminfo: memFree=24885048/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=313480 CPUtime=50.74 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 48169 0 0 0 5064 10 0 0 25 0 4 0 504130646 321003520 20817 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 78370 20817 393 112 0 73335 0
[pid=31388/tid=31391] ppid=31385 vsize=313480 CPUtime=12.68 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 12215 0 0 0 1266 2 0 0 25 0 4 0 504130647 321003520 20817 33554432000 4194304 4650419 140733903549824 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=313480 CPUtime=12.69 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 12489 0 0 0 1267 2 0 0 25 0 4 0 504130647 321003520 20817 33554432000 4194304 4650419 140733903549824 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=313480 CPUtime=12.63 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 10754 0 0 0 1261 2 0 0 25 0 4 0 504130647 321003520 20817 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 313480

[startup+25.5009 s]
/proc/loadavg: 5.02 4.62 5.64 10/184 31399
/proc/meminfo: memFree=24828980/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=314768 CPUtime=101.86 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 71676 0 0 0 10170 16 0 0 25 0 4 0 504130646 322322432 28741 33554432000 4194304 4650419 140733903549824 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 78692 28741 393 112 0 73657 0
[pid=31388/tid=31391] ppid=31385 vsize=314768 CPUtime=25.48 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 19591 0 0 0 2544 4 0 0 25 0 4 0 504130647 322322432 28741 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=314768 CPUtime=25.48 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 19746 0 0 0 2544 4 0 0 25 0 4 0 504130647 322322432 28741 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=314768 CPUtime=25.37 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 13224 0 0 0 2534 3 0 0 25 0 4 0 504130647 322322432 28741 33554432000 4194304 4650419 140733903549824 18446744073709551615 4328220 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 314768

[startup+51.1003 s]
/proc/loadavg: 6.03 4.89 5.70 9/184 31400
/proc/meminfo: memFree=24782776/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=327708 CPUtime=204.14 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 108192 0 0 0 20388 26 0 0 25 0 4 0 504130646 335572992 36794 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 81927 36794 393 112 0 76892 0
[pid=31388/tid=31391] ppid=31385 vsize=327708 CPUtime=51.08 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 31178 0 0 0 5101 7 0 0 25 0 4 0 504130647 335572992 36794 33554432000 4194304 4650419 140733903549824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=327708 CPUtime=51.09 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 30817 0 0 0 5102 7 0 0 25 0 4 0 504130647 335572992 36794 33554432000 4194304 4650419 140733903549824 18446744073709551615 4315293 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=327708 CPUtime=50.84 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 17425 0 0 0 5080 4 0 0 25 0 4 0 504130647 335572992 36794 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.14
Current children cumulated vsize (KiB) 327708

[startup+102.301 s]
/proc/loadavg: 7.14 5.36 5.82 9/184 31401
/proc/meminfo: memFree=24725100/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=330960 CPUtime=408.69 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 164729 0 0 0 40826 43 0 0 25 0 4 0 504130646 338903040 43699 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 82740 43699 393 112 0 77705 0
[pid=31388/tid=31391] ppid=31385 vsize=330960 CPUtime=102.27 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 49094 0 0 0 10216 11 0 0 25 0 4 0 504130647 338903040 43699 33554432000 4194304 4650419 140733903549824 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=330960 CPUtime=102.28 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 48503 0 0 0 10215 13 0 0 25 0 4 0 504130647 338903040 43699 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=330960 CPUtime=101.8 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 21729 0 0 0 10174 6 0 0 25 0 4 0 504130647 338903040 43699 33554432000 4194304 4650419 140733903549824 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 330960

[startup+162.306 s]

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

[pid=31388] ppid=31385 vsize=624752 CPUtime=2805.77 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 544880 0 0 0 280391 186 0 0 25 0 4 0 504130646 639746048 100414 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 156188 100414 393 112 0 151153 0
[pid=31388/tid=31391] ppid=31385 vsize=624752 CPUtime=702.29 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 156023 0 0 0 70177 52 0 0 25 0 4 0 504130647 639746048 100414 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=624752 CPUtime=702.3 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 162059 0 0 0 70174 56 0 0 25 0 4 0 504130647 639746048 100414 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=624752 CPUtime=698.83 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 65141 0 0 0 69858 25 0 0 25 0 4 0 504130647 639746048 100414 33554432000 4194304 4650419 140733903549824 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.77
Current children cumulated vsize (KiB) 624752

[startup+762.301 s]
/proc/loadavg: 4.09 5.53 6.02 5/175 31436
/proc/meminfo: memFree=24588156/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=637128 CPUtime=3045.47 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 577212 0 0 0 304348 199 0 0 25 0 4 0 504130646 652419072 111262 33554432000 4194304 4650419 140733903549824 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 159282 111262 393 112 0 154247 0
[pid=31388/tid=31391] ppid=31385 vsize=637128 CPUtime=762.29 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 166333 0 0 0 76173 56 0 0 25 0 4 0 504130647 652419072 111262 33554432000 4194304 4650419 140733903549824 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=637128 CPUtime=762.29 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 169917 0 0 0 76169 60 0 0 25 0 4 0 504130647 652419072 111262 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=637128 CPUtime=758.54 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 68314 0 0 0 75828 26 0 0 25 0 4 0 504130647 652419072 111262 33554432000 4194304 4650419 140733903549824 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.47
Current children cumulated vsize (KiB) 637128

[startup+822.306 s]
/proc/loadavg: 4.08 5.26 5.90 5/175 31437
/proc/meminfo: memFree=24588260/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=585984 CPUtime=3285.2 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 596525 0 0 0 328311 209 0 0 25 0 4 0 504130646 600047616 111108 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 146496 111108 393 112 0 141461 0
[pid=31388/tid=31391] ppid=31385 vsize=585984 CPUtime=822.3 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 169648 0 0 0 82173 57 0 0 25 0 4 0 504130647 600047616 111108 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=585984 CPUtime=822.3 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 177221 0 0 0 82165 65 0 0 25 0 4 0 504130647 600047616 111108 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=585984 CPUtime=818.25 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 68886 0 0 0 81799 26 0 0 25 0 4 0 504130647 600047616 111108 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3285.2
Current children cumulated vsize (KiB) 585984

[startup+882.3 s]
/proc/loadavg: 4.03 5.03 5.78 5/175 31439
/proc/meminfo: memFree=24557840/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=572484 CPUtime=3524.9 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 621519 0 0 0 352269 221 0 0 25 0 4 0 504130646 586223616 118835 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 143121 118835 393 112 0 138086 0
[pid=31388/tid=31391] ppid=31385 vsize=572484 CPUtime=882.29 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 177433 0 0 0 88168 61 0 0 25 0 4 0 504130647 586223616 118835 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=572484 CPUtime=882.29 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 186839 0 0 0 88161 68 0 0 25 0 4 0 504130647 586223616 118835 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=572484 CPUtime=877.96 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 69230 0 0 0 87770 26 0 0 25 0 4 0 504130647 586223616 118835 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.9
Current children cumulated vsize (KiB) 572484

[startup+942.301 s]
/proc/loadavg: 4.05 4.86 5.67 5/175 31450
/proc/meminfo: memFree=24562416/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=623036 CPUtime=3764.63 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 642856 0 0 0 376231 232 0 0 25 0 4 0 504130646 637988864 117507 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 155759 117507 393 112 0 150724 0
[pid=31388/tid=31391] ppid=31385 vsize=623036 CPUtime=942.3 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 185405 0 0 0 94165 65 0 0 25 0 4 0 504130647 637988864 117507 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=623036 CPUtime=942.3 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 191610 0 0 0 94159 71 0 0 25 0 4 0 504130647 637988864 117507 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=623036 CPUtime=937.69 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 69486 0 0 0 93742 27 0 0 25 0 4 0 504130647 637988864 117507 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.63
Current children cumulated vsize (KiB) 623036

[startup+1002.3 s]
/proc/loadavg: 4.05 4.71 5.57 5/175 31451
/proc/meminfo: memFree=24580104/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=562872 CPUtime=4004.34 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 667446 0 0 0 400190 244 0 0 25 0 4 0 504130646 576380928 113223 33554432000 4194304 4650419 140733903549824 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 140718 113223 393 112 0 135683 0
[pid=31388/tid=31391] ppid=31385 vsize=562872 CPUtime=1002.29 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 189225 0 0 0 100163 66 0 0 25 0 4 0 504130647 576380928 113223 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=562872 CPUtime=1002.3 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 198194 0 0 0 100155 75 0 0 25 0 4 0 504130647 576380928 113223 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=562872 CPUtime=997.39 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 75200 0 0 0 99709 30 0 0 25 0 4 0 504130647 576380928 113223 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.34
Current children cumulated vsize (KiB) 562872

[startup+1062.3 s]
/proc/loadavg: 4.02 4.58 5.47 5/175 31453
/proc/meminfo: memFree=24559836/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=640292 CPUtime=4244.07 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 694318 0 0 0 424150 257 0 0 25 0 4 0 504130646 655659008 118270 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 160073 118270 393 112 0 155038 0
[pid=31388/tid=31391] ppid=31385 vsize=640292 CPUtime=1062.3 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 196935 0 0 0 106159 71 0 0 25 0 4 0 504130647 655659008 118270 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=640292 CPUtime=1062.31 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 205335 0 0 0 106152 79 0 0 25 0 4 0 504130647 655659008 118270 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=640292 CPUtime=1057.12 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 80590 0 0 0 105681 31 0 0 25 0 4 0 504130647 655659008 118270 33554432000 4194304 4650419 140733903549824 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4244.07
Current children cumulated vsize (KiB) 640292

[startup+1122.3 s]
/proc/loadavg: 4.00 4.47 5.37 5/175 31454
/proc/meminfo: memFree=24545524/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=644972 CPUtime=4483.8 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 719678 0 0 0 448111 269 0 0 25 0 4 0 504130646 660451328 122099 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366576 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 161243 122099 393 112 0 156208 0
[pid=31388/tid=31391] ppid=31385 vsize=644972 CPUtime=1122.31 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 204675 0 0 0 112156 75 0 0 25 0 4 0 504130647 660451328 122099 33554432000 4194304 4650419 140733903549824 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=644972 CPUtime=1122.3 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 210033 0 0 0 112149 81 0 0 25 0 4 0 504130647 660451328 122099 33554432000 4194304 4650419 140733903549824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=644972 CPUtime=1116.85 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 85374 0 0 0 111652 33 0 0 25 0 4 0 504130647 660451328 122099 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.8
Current children cumulated vsize (KiB) 644972

[startup+1182.3 s]
/proc/loadavg: 4.00 4.38 5.28 5/175 31456
/proc/meminfo: memFree=24544104/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=711320 CPUtime=4723.54 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 744536 0 0 0 472072 282 0 0 25 0 4 0 504130646 728391680 122281 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 177830 122281 393 112 0 172795 0
[pid=31388/tid=31391] ppid=31385 vsize=711320 CPUtime=1182.3 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 210592 0 0 0 118152 78 0 0 25 0 4 0 504130647 728391680 122281 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=711320 CPUtime=1182.31 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 217664 0 0 0 118146 85 0 0 25 0 4 0 504130647 728391680 122281 33554432000 4194304 4650419 140733903549824 18446744073709551615 4520268 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=711320 CPUtime=1176.58 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 88224 0 0 0 117624 34 0 0 25 0 4 0 504130647 728391680 122281 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.54
Current children cumulated vsize (KiB) 711320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 4.00 4.36 5.25 5/175 31456
/proc/meminfo: memFree=24514328/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=711340 CPUtime=4800.25 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 755914 0 0 0 479740 285 0 0 25 0 4 0 504130646 728412160 129580 33554432000 4194304 4650419 140733903549824 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 177835 129580 393 112 0 172800 0
[pid=31388/tid=31391] ppid=31385 vsize=711340 CPUtime=1201.51 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 212751 0 0 0 120072 79 0 0 25 0 4 0 504130647 728412160 129580 33554432000 4194304 4650419 140733903549824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=711340 CPUtime=1201.51 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 218943 0 0 0 120065 86 0 0 25 0 4 0 504130647 728412160 129580 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=711340 CPUtime=1195.68 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 89433 0 0 0 119533 35 0 0 25 0 4 0 504130647 728412160 129580 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 711340

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

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

[startup+1201.5 s]
/proc/loadavg: 4.00 4.36 5.25 5/175 31456
/proc/meminfo: memFree=24514328/32951124 swapFree=67111524/67111528
[pid=31388] ppid=31385 vsize=711340 CPUtime=4800.25 cores=0,2,4,6
/proc/31388/stat : 31388 (strangenight1-m) R 31385 31388 30477 0 -1 4202496 755914 0 0 0 479740 285 0 0 25 0 4 0 504130646 728412160 129580 33554432000 4194304 4650419 140733903549824 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 177835 129580 393 112 0 172800 0
[pid=31388/tid=31391] ppid=31385 vsize=711340 CPUtime=1201.51 cores=0,2,4,6
/proc/31388/task/31391/stat : 31391 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 212751 0 0 0 120072 79 0 0 25 0 4 0 504130647 728412160 129580 33554432000 4194304 4650419 140733903549824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31388/tid=31392] ppid=31385 vsize=711340 CPUtime=1201.51 cores=0,2,4,6
/proc/31388/task/31392/stat : 31392 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 218943 0 0 0 120065 86 0 0 25 0 4 0 504130647 728412160 129580 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31388/tid=31394] ppid=31385 vsize=711340 CPUtime=1195.68 cores=0,2,4,6
/proc/31388/task/31394/stat : 31394 (strangenight1-m) R 31385 31388 30477 0 -1 4202560 89433 0 0 0 119533 35 0 0 25 0 4 0 504130647 728412160 129580 33554432000 4194304 4650419 140733903549824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 711340

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.54
CPU time (s): 4800.31
CPU user time (s): 4797.42
CPU system time (s): 2.88356
CPU usage (%): 399.513
Max. virtual memory (cumulated for all children) (KiB): 768848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.42
system time used= 2.88356
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 755914
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= 436
involuntary context switches= 32378

runsolver used 1.90371 second user time and 3.9574 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-30 00:45:48
IDJOB=3175328
IDBENCH=82946
IDSOLVER=1588
FILE ID=node145/3175328-1304117148
RUNJOBID= node145-1304117148-31371
PBS_JOBID= 13170672
Free space on /tmp= 72208 MiB

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

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

MD5SUM BENCH= 02e5b9be63a0b18588da13d9c988e25c
RANDOM SEED=688617728

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25027348 kB
Buffers:       1265872 kB
Cached:        6071680 kB
SwapCached:          4 kB
Active:         755880 kB
Inactive:      6645416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25027348 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12548 kB
Writeback:           0 kB
AnonPages:       63472 kB
Mapped:          14492 kB
Slab:           460232 kB
PageTables:       4704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72200 MiB
End job on node145 at 2011-04-30 01:05:51