Trace number 3368780

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf
MD5SUM2a8cb5d237e15bd9bba8245975866061
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014996
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-3368780-1305402878.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.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      57 undec:       3 neg:      40
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4919       100      2130         0      4593     10650    102925   no data   no data  --
0.77/0.29	c  N st    10     11302       100      2130         0      4223     10650     75001   no data   no data  --
1.57/0.48	c  N st    11     17046       100      2130         0      9497     10650    184274   no data   no data  --
2.77/0.77	c  F st    12     25001       100      2130         0     11661     10650    233434   no data   no data  --
2.77/0.77	c  N st    12     25001       100      2130         0     11661     10650    233434   no data   no data  --
3.97/1.00	c Decided on static restart strategy
3.97/1.00	c  N st    18     30000       100      2130         0     10008     10650    184077   no data   no data  --
3.97/1.00	c  S st    18     30000       100      2130         0     10008     10650    184077   no data   no data  --
3.97/1.03	c  S st    18     30502       100      2130         0     10488     10650    194750   no data   no data  --
3.97/1.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.97/1.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.97/1.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.56/1.45	c lits-rem:      1826  cl-subs:     2041  v-elim:      0  v-fix:    0  time:  1.61 s
5.56/1.48	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.14
5.56/1.48	c calculated reachability. Time: 0.00
5.56/1.48	c  N st    18     30502       100      2130         0      8447     10650    150500   no data   no data  --
7.17/1.82	c  N st    20     37614       100      2130         0      7799     10650    126653   no data   no data  --
8.37/2.11	c  N st    21     44013       100      2130         0     13724     10650    255171   no data   no data  --
8.79/2.21	c  S st    22     45754       100      2130         0     15339     10650    289495   no data   no data  --
8.79/2.26	c  S st    22     46257       100      2130         0     15820     10650    299879   no data   no data  --
8.79/2.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.79/2.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.79/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.79/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.58/3.44	c lits-rem:      2839  cl-subs:     2073  v-elim:      0  v-fix:    0  time:  4.65 s
13.58/3.44	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.58/3.44	c vivif2 --  cl tried    13747 cl shrink        0 lits rem          0 time: 0.01
13.94/3.50	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
13.94/3.50	c calculated reachability. Time: 0.00
13.94/3.50	c  N st    22     46257       100      2130         0     13747     10650    252088   no data   no data  --
17.15/4.30	c  N st    23     60654       100      2130         0      9616     10650    141070   no data   no data  --
18.73/4.75	c  N st    24     69385       100      2130         0     17625     10650    306104   no data   no data  --
18.73/4.75	c  S st    24     69385       100      2130         0     17625     10650    306104   no data   no data  --
19.13/4.80	c  S st    24     69888       100      2130         0     18108     10650    316351   no data   no data  --
19.13/4.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.13/4.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.13/4.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.13/4.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.13/4.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.13/4.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
19.13/4.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.32/6.13	c lits-rem:      2827  cl-subs:     3087  v-elim:      0  v-fix:    0  time:  5.28 s
24.32/6.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
24.32/6.14	c vivif2 --  cl tried    15021 cl shrink        0 lits rem          0 time: 0.01
24.72/6.20	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.26
24.72/6.20	c calculated reachability. Time: 0.00
24.72/6.20	c  N st    24     69888       100      2130         0     15021     10650    252289   no data   no data  --
28.72/7.29	c  F st    25     87500       100      2130         0     21250     10650    376342   no data   no data  --
28.72/7.29	c  N st    25     87500       100      2130         0     21250     10650    376342   no data   no data  --
30.32/7.61	c Decided on static restart strategy
30.75/7.78	c  N st    32     95543       100      2130         0     17749     10650    299750   no data   no data  --
33.90/8.50	c  N st    34    104832       100      2130         0     14411     10650    224480   no data   no data  --
33.90/8.50	c  S st    34    104832       100      2130         0     14411     10650    224480   no data   no data  --
33.90/8.54	c  S st    34    105335       100      2130         0     14891     10650    235140   no data   no data  --
33.90/8.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.90/8.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.90/8.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
33.90/8.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.90/8.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.90/8.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
33.90/8.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.90/9.58	c lits-rem:      1796  cl-subs:     1107  v-elim:      0  v-fix:    0  time:  4.08 s
37.90/9.58	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
37.90/9.58	c vivif2 --  cl tried    13784 cl shrink        0 lits rem          0 time: 0.01
38.30/9.64	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
38.30/9.64	c calculated reachability. Time: 0.00
38.30/9.64	c  N st    34    105335       100      2130         0     13784     10650    210746   no data   no data  --
40.69/10.29	c  N st    35    114936       100      2130         0     22633     10650    401560   no data   no data  --
45.09/11.30	c  N st    36    129334       100      2130         0     23098     10650    390821   no data   no data  --
51.47/12.95	c  N st    37    150930       100      2130         0     29221     10650    514125   no data   no data  --
53.46/13.48	c  S st    38    158002       100      2130         0     20934     10650    323067   no data   no data  --
53.86/13.53	c  S st    38    158504       100      2130         0     21415     10650    333960   no data   no data  --
53.86/13.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.86/13.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.86/13.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
53.86/13.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.86/13.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.86/13.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
53.86/13.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
58.26/14.67	c lits-rem:      2648  cl-subs:     2203  v-elim:      0  v-fix:    0  time:  4.48 s
58.26/14.67	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
58.26/14.67	c vivif2 --  cl tried    19212 cl shrink        0 lits rem          0 time: 0.01
58.66/14.75	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.33
58.66/14.75	c calculated reachability. Time: 0.00
58.66/14.75	c  N st    38    158504       100      2130         0     19212     10650    287865   no data   no data  --
74.23/18.61	c  N st    39    207092       100      2130         0     31954     10650    544287   no data   no data  --
85.00/21.35	c  N st    40    237756       100      2130         0     24280     10650    359132   no data   no data  --
85.00/21.35	c  S st    40    237756       100      2130         0     24280     10650    359132   no data   no data  --
85.40/21.42	c  S st    40    238257       100      2130         0     24762     10650    369650   no data   no data  --
85.40/21.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.40/21.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.40/21.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
85.40/21.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.40/21.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.40/21.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
85.40/21.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.59/22.73	c lits-rem:      2262  cl-subs:     1877  v-elim:      0  v-fix:    0  time:  5.16 s
90.59/22.73	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
90.59/22.73	c vivif2 --  cl tried    22885 cl shrink        0 lits rem          0 time: 0.01
90.99/22.83	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.39
90.99/22.83	c calculated reachability. Time: 0.00
90.99/22.83	c  N st    40    238257       100      2130         0     22885     10650    331812   no data   no data  --
116.93/29.37	c  F st    41    306250       100      2130         0     24554     10650    331332   no data   no data  --
116.93/29.37	c  N st    41    306250       100      2130         0     24554     10650    331332   no data   no data  --
118.56/29.80	c Decided on static restart strategy
128.11/32.16	c  N st    51    334556       100      2130         0     28647     10650    412902   no data   no data  --
138.10/34.67	c  N st    53    357386       100      2130         0     26642     10650    355780   no data   no data  --
138.10/34.67	c  S st    53    357386       100      2130         0     26642     10650    355780   no data   no data  --
138.50/34.74	c  S st    53    357889       100      2130         0     27116     10650    366351   no data   no data  --
138.50/34.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.50/34.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
138.50/34.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
138.50/34.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.50/34.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.50/34.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
138.50/34.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
143.28/35.90	c lits-rem:      1409  cl-subs:     1340  v-elim:      0  v-fix:    0  time:  4.57 s
143.28/35.90	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
143.28/35.91	c vivif2 --  cl tried    25776 cl shrink        0 lits rem          0 time: 0.02
143.68/36.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.45
143.68/36.02	c calculated reachability. Time: 0.00
143.68/36.02	c  N st    53    357889       100      2130         0     25776     10650    339190   no data   no data  --
160.84/40.33	c  N st    54    390282       100      2130         0     31727     10650    452973   no data   no data  --
182.80/45.80	c  N st    55    438870       100      2130         0     25821     10650    308380   no data   no data  --
215.16/53.93	c  N st    56    511752       100      2130         0     38382     10650    552657   no data   no data  --
226.31/56.76	c  N st    57    536833       100      2130         0     33153     10650    437693   no data   no data  --
226.31/56.76	c  S st    57    536833       100      2130         0     33153     10650    437693   no data   no data  --
226.71/56.85	c  S st    57    537335       100      2130         0     33635     10650    448669   no data   no data  --
226.71/56.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
226.71/56.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
226.71/56.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
226.71/56.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.71/56.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.71/56.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
226.71/56.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
232.73/58.33	c lits-rem:      2274  cl-subs:     1450  v-elim:      0  v-fix:    0  time:  5.80 s
232.73/58.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
232.73/58.33	c vivif2 --  cl tried    32185 cl shrink        0 lits rem          0 time: 0.02
233.13/58.48	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.58
233.13/58.48	c calculated reachability. Time: 0.00
233.13/58.48	c  N st    57    537335       100      2130         0     32185     10650    417088   no data   no data  --
316.54/79.34	c  N st    58    701320       100      2130         0     59396     10650    951249   no data   no data  --
376.79/94.47	c  N st    59    806003       100      2130         0     53793     10650    808473   no data   no data  --
376.79/94.47	c  S st    59    806003       100      2130         0     53793     10650    808473   no data   no data  --
377.61/94.63	c  S st    59    806506       100      2130         0     54275     10650    819429   no data   no data  --
377.61/94.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
377.61/94.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
377.61/94.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
377.61/94.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
377.61/94.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
377.61/94.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
377.61/94.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
396.73/99.41	c lits-rem:      2319  cl-subs:     5232  v-elim:      0  v-fix:    0  time: 18.89 s
396.73/99.41	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
396.73/99.42	c vivif2 --  cl tried    49043 cl shrink        0 lits rem          0 time: 0.04
397.53/99.65	c asymm  cl-useful: 0/1853/2130 lits-rem:0 time: 0.94
397.53/99.65	c calculated reachability. Time: 0.00
397.53/99.65	c  N st    59    806506       100      2130         0     49043     10650    712919   no data   no data  --
561.61/140.70	c  F st    60   1071876       100      2130         0     64495     10650    964295   no data   no data  --
561.61/140.70	c  N st    60   1071876       100      2130         0     64495     10650    964295   no data   no data  --
566.42/141.95	c Decided on static restart strategy
585.16/146.63	c  N st    70   1100180       100      2130         0     49238     10650    626006   no data   no data  --
611.49/153.21	c  N st    72   1136175       100      2130         0     82331     10650   1345773   no data   no data  --
634.65/159.03	c  N st    73   1168568       100      2130         0     69937     10650   1070679   no data   no data  --
668.58/167.50	c  N st    74   1209759       100      2130         0     64676     10650    937828   no data   no data  --
668.58/167.50	c  S st    74   1209759       100      2130         0     64676     10650    937828   no data   no data  --
669.38/167.74	c  S st    74   1210263       100      2130         0     65158     10650    949180   no data   no data  --
669.38/167.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
669.38/167.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
669.38/167.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
669.78/167.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
669.78/167.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
669.78/167.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
669.78/167.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
697.32/174.77	c lits-rem:      1007  cl-subs:     5914  v-elim:      0  v-fix:    0  time: 27.74 s
697.32/174.77	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
697.32/174.78	c vivif2 --  cl tried    59244 cl shrink        0 lits rem          0 time: 0.04
698.55/175.04	c asymm  cl-useful: 0/1480/2130 lits-rem:0 time: 1.03
698.55/175.04	c calculated reachability. Time: 0.00
698.55/175.04	c  N st    74   1210263       100      2130         0     59244     10650    830251   no data   no data  --
750.84/188.11	c  N st    75   1283145       100      2130         0     82172     10650   1286507   no data   no data  --
852.59/213.69	c  N st    76   1392468       100      2130         0     92081     10650   1501372   no data   no data  --
995.10/249.32	c  N st    77   1556452       100      2130         0     49838     10650    536628   no data   no data  --
1120.44/280.77	c  N st    78   1710265       100      2130         0     88997     10650   1359819   no data   no data  --
1120.44/280.77	c  S st    78   1710265       100      2130         0     88997     10650   1359819   no data   no data  --
1121.64/281.06	c  S st    78   1710767       100      2130         0     89481     10650   1371045   no data   no data  --
1121.64/281.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1121.64/281.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1122.04/281.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1122.04/281.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1122.04/281.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1122.04/281.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1122.04/281.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1214.64/304.34	c lits-rem:      1026  cl-subs:    10758  v-elim:      0  v-fix:    0  time: 92.53 s
1214.64/304.34	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1214.64/304.36	c vivif2 --  cl tried    78723 cl shrink        0 lits rem          0 time: 0.07
1215.84/304.63	c asymm  cl-useful: 0/650/2130 lits-rem:0 time: 1.09
1215.84/304.63	c calculated reachability. Time: 0.00
1215.84/304.63	c  N st    78   1710767       100      2130         0     78723     10650   1164334   no data   no data  --
1579.45/395.70	c  N st    79   2079732       100      2130         0     90006     10650   1342346   no data   no data  --
1699.99/425.96	c  N st    80   2210768       100      2130         0     94070     10650   1395352   no data   no data  --
1699.99/425.96	c  S st    80   2210768       100      2130         0     94070     10650   1395352   no data   no data  --
1701.19/426.25	c  S st    80   2211268       100      2130         0     94550     10650   1406170   no data   no data  --
1701.19/426.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1701.19/426.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1701.59/426.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1701.59/426.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1701.59/426.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1701.59/426.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1701.59/426.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1798.18/450.57	c lits-rem:     11147  cl-subs:    10337  v-elim:      0  v-fix:    0  time: 96.64 s
1798.18/450.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1798.18/450.58	c vivif2 --  cl tried    84213 cl shrink        0 lits rem          0 time: 0.08
1799.78/451.00	c asymm  cl-useful: 0/1045/2130 lits-rem:0 time: 1.65
1799.78/451.00	c calculated reachability. Time: 0.00
1799.78/451.00	c  N st    80   2211268       100      2130         0     84213     10650   1202153   no data   no data  --
2295.55/575.14	c  N st    81   2711268       100      2130         0    106550     10650   1574335   no data   no data  --
2295.55/575.14	c  S st    81   2711268       100      2130         0    106550     10650   1574335   no data   no data  --
2296.78/575.49	c  S st    81   2711772       100      2130         0    107028     10650   1585675   no data   no data  --
2297.14/575.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2297.14/575.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2297.14/575.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2297.54/575.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2297.54/575.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2297.54/575.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2297.54/575.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2430.45/608.91	c lits-rem:      2455  cl-subs:    12978  v-elim:      0  v-fix:    0  time: 132.90 s
2430.45/608.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2430.45/608.93	c vivif2 --  cl tried    94050 cl shrink        0 lits rem          0 time: 0.08
2432.05/609.37	c asymm  cl-useful: 0/820/2130 lits-rem:0 time: 1.76
2432.05/609.37	c calculated reachability. Time: 0.00
2432.05/609.37	c  N st    81   2711772       100      2130         0     94050     10650   1341153   no data   no data  --
3031.98/759.68	c  N st    82   3211773       100      2130         0     72406     10650    773184   no data   no data  --
3031.98/759.68	c  S st    82   3211773       100      2130         0     72406     10650    773184   no data   no data  --
3033.18/759.94	c  S st    82   3212279       100      2130         0     72883     10650    784305   no data   no data  --
3033.18/759.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3033.18/759.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3033.18/759.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
3033.58/760.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3033.58/760.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3033.58/760.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3033.58/760.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3057.53/766.07	c lits-rem:       491  cl-subs:      416  v-elim:      0  v-fix:    0  time: 24.19 s
3057.53/766.07	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3057.53/766.08	c vivif2 --  cl tried    72467 cl shrink        0 lits rem          0 time: 0.05
3059.13/766.45	c asymm  cl-useful: 0/1282/2130 lits-rem:0 time: 1.46
3059.13/766.45	c calculated reachability. Time: 0.00
3059.13/766.45	c  N st    82   3212279       100      2130         0     72467     10650    776099   no data   no data  --
3680.60/922.13	c  N st    83   3712280       100      2130         0     82456     10650    927359   no data   no data  --
3680.60/922.13	c  S st    83   3712280       100      2130         0     82456     10650    927359   no data   no data  --
3681.40/922.39	c  S st    83   3712785       100      2130         0     82940     10650    938668   no data   no data  --
3681.80/922.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3681.80/922.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3681.80/922.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
3681.80/922.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3681.80/922.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3681.80/922.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3681.80/922.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3716.52/931.13	c lits-rem:      1674  cl-subs:     1845  v-elim:      0  v-fix:    0  time: 34.55 s
3716.52/931.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3716.52/931.14	c vivif2 --  cl tried    81095 cl shrink        0 lits rem          0 time: 0.06
3717.72/931.45	c asymm  cl-useful: 0/848/2130 lits-rem:0 time: 1.24
3717.72/931.45	c calculated reachability. Time: 0.00
3717.72/931.45	c  N st    83   3712785       100      2130         0     81095     10650    902398   no data   no data  --
3770.01/944.59	c  F st    84   3751566       100      2130         0    116722     10650   1708254   no data   no data  --
3770.01/944.59	c  N st    84   3751566       100      2130         0    116722     10650   1708254   no data   no data  --
3778.79/946.74	c Decided on static restart strategy
3815.12/955.82	c  N st    94   3779874       100      2130         0    142639     10650   2276910   no data   no data  --
3862.20/967.69	c  N st    96   3815867       100      2130         0     98128     10650   1264772   no data   no data  --
3898.97/976.81	c  N st    97   3848260       100      2130         0    128283     10650   1951071   no data   no data  --
3960.84/992.33	c  N st    98   3896848       100      2130         0     93874     10650   1149387   no data   no data  --
4057.04/1016.42	c  N st    99   3969730       100      2130         0     80750     10650    852771   no data   no data  --
4180.75/1047.43	c  N st   100   4079054       100      2130         0    100165     10650   1248720   no data   no data  --
4359.57/1092.24	c  N st   101   4212787       100      2130         0    141118     10650   2159387   no data   no data  --
4359.57/1092.24	c  S st   101   4212787       100      2130         0    141118     10650   2159387   no data   no data  --
4361.16/1092.69	c  S st   101   4213288       100      2130         0    141600     10650   2170627   no data   no data  --
4361.16/1092.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4361.16/1092.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4361.56/1092.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
4361.96/1092.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4361.96/1092.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4361.96/1092.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4361.96/1092.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368780-1305402878/watcher-3368780-1305402878 -o /tmp/evaluation-result-3368780-1305402878/solver-3368780-1305402878 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368780-1305402878.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: 8.09 8.09 8.03 6/277 31485
/proc/meminfo: memFree=24674012/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=281772 CPUtime=0.01 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 776 0 0 0 1 0 0 0 25 0 4 0 730518353 288534528 696 33554432000 4194304 4650419 140734537480576 18446744073709551615 4370567 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 70443 697 366 112 0 65408 0
[pid=31485/tid=31486] ppid=31483 vsize=281772 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 84 0 0 0 0 0 0 0 25 0 4 0 730518353 288534528 698 33554432000 4194304 4650419 140734537480576 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=281772 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 73 0 0 0 0 0 0 0 25 0 4 0 730518353 288534528 698 33554432000 4194304 4650419 140734537480576 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=281772 CPUtime=0 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 104 0 0 0 0 0 0 0 25 0 4 0 730518353 288534528 698 33554432000 4194304 4650419 140734537480576 18446744073709551615 260020057121 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.10913 s]
/proc/loadavg: 8.09 8.09 8.03 6/277 31485
/proc/meminfo: memFree=24674012/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=282560 CPUtime=0.41 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 1778 0 0 0 41 0 0 0 25 0 4 0 730518353 289341440 1640 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 70640 1640 389 112 0 65605 0
[pid=31485/tid=31486] ppid=31483 vsize=282560 CPUtime=0.1 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 357 0 0 0 10 0 0 0 25 0 4 0 730518353 289341440 1640 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=282560 CPUtime=0.09 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 337 0 0 0 9 0 0 0 25 0 4 0 730518353 289341440 1640 33554432000 4194304 4650419 140734537480576 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=282560 CPUtime=0.1 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 274 0 0 0 10 0 0 0 25 0 4 0 730518353 289341440 1640 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282560

[startup+0.201113 s]
/proc/loadavg: 8.09 8.09 8.03 6/277 31485
/proc/meminfo: memFree=24674012/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=283876 CPUtime=0.77 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 2506 0 0 0 77 0 0 0 25 0 4 0 730518353 290689024 1838 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 70969 1838 391 112 0 65934 0
[pid=31485/tid=31486] ppid=31483 vsize=283876 CPUtime=0.19 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 542 0 0 0 19 0 0 0 25 0 4 0 730518353 290689024 1838 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=283876 CPUtime=0.19 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 518 0 0 0 19 0 0 0 25 0 4 0 730518353 290689024 1838 33554432000 4194304 4650419 140734537480576 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=283876 CPUtime=0.19 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 448 0 0 0 19 0 0 0 25 0 4 0 730518353 290689024 1838 33554432000 4194304 4650419 140734537480576 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283876

[startup+0.301095 s]
/proc/loadavg: 8.09 8.09 8.03 6/277 31485
/proc/meminfo: memFree=24674012/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=284168 CPUtime=1.17 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 3111 0 0 0 117 0 0 0 25 0 4 0 730518353 290988032 2044 33554432000 4194304 4650419 140734537480576 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 71042 2044 391 112 0 66007 0
[pid=31485/tid=31486] ppid=31483 vsize=284168 CPUtime=0.29 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 759 0 0 0 29 0 0 0 25 0 4 0 730518353 290988032 2044 33554432000 4194304 4650419 140734537480576 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=284168 CPUtime=0.28 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 603 0 0 0 28 0 0 0 25 0 4 0 730518353 290988032 2044 33554432000 4194304 4650419 140734537480576 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=284168 CPUtime=0.29 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 536 0 0 0 29 0 0 0 25 0 4 0 730518353 290988032 2044 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284168

[startup+0.701022 s]
/proc/loadavg: 8.09 8.09 8.03 6/277 31485
/proc/meminfo: memFree=24674012/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=285376 CPUtime=2.77 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 5092 0 0 0 277 0 0 0 25 0 4 0 730518353 292225024 2627 33554432000 4194304 4650419 140734537480576 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 71344 2627 391 112 0 66309 0
[pid=31485/tid=31486] ppid=31483 vsize=285376 CPUtime=0.69 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 1203 0 0 0 69 0 0 0 25 0 4 0 730518353 292225024 2627 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=285376 CPUtime=0.68 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 1165 0 0 0 68 0 0 0 25 0 4 0 730518353 292225024 2627 33554432000 4194304 4650419 140734537480576 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=285376 CPUtime=0.69 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 1063 0 0 0 69 0 0 0 25 0 4 0 730518353 292225024 2627 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285376

[startup+1.50088 s]
/proc/loadavg: 8.09 8.09 8.03 9/281 31489
/proc/meminfo: memFree=24656968/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=277680 CPUtime=5.96 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 10067 0 0 0 595 1 0 0 25 0 4 0 730518353 284344320 5268 33554432000 4194304 4650419 140734537480576 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 69420 5268 393 112 0 64385 0
[pid=31485/tid=31486] ppid=31483 vsize=277680 CPUtime=1.49 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 2959 0 0 0 149 0 0 0 25 0 4 0 730518353 284344320 5268 33554432000 4194304 4650419 140734537480576 18446744073709551615 4540566 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=277680 CPUtime=1.47 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 2014 0 0 0 147 0 0 0 25 0 4 0 730518353 284344320 5268 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=277680 CPUtime=1.49 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 1816 0 0 0 149 0 0 0 25 0 4 0 730518353 284344320 5268 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 277680

[startup+3.10059 s]
/proc/loadavg: 8.09 8.09 8.03 9/281 31489
/proc/meminfo: memFree=24637872/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=286108 CPUtime=12.35 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 16659 0 0 0 1232 3 0 0 25 0 4 0 730518353 292974592 10228 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476761 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 71527 10228 393 112 0 66492 0
[pid=31485/tid=31486] ppid=31483 vsize=286108 CPUtime=3.08 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 3981 0 0 0 308 0 0 0 25 0 4 0 730518353 292974592 10228 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=286108 CPUtime=3.06 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 4112 0 0 0 305 1 0 0 25 0 4 0 730518353 292974592 10228 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=286108 CPUtime=3.09 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 3815 0 0 0 309 0 0 0 25 0 4 0 730518353 292974592 10228 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286108

[startup+6.301 s]
/proc/loadavg: 8.09 8.09 8.03 9/281 31489
/proc/meminfo: memFree=24622984/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=290108 CPUtime=25.12 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 24576 0 0 0 2508 4 0 0 25 0 4 0 730518353 297070592 13650 33554432000 4194304 4650419 140734537480576 18446744073709551615 4367249 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 72527 13650 393 112 0 67492 0
[pid=31485/tid=31486] ppid=31483 vsize=290108 CPUtime=6.28 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 6343 0 0 0 628 0 0 0 25 0 4 0 730518353 297070592 13650 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=290108 CPUtime=6.23 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 6764 0 0 0 622 1 0 0 25 0 4 0 730518353 297070592 13650 33554432000 4194304 4650419 140734537480576 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=290108 CPUtime=6.29 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 5405 0 0 0 628 1 0 0 25 0 4 0 730518353 297070592 13650 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 290108

[startup+12.7008 s]
/proc/loadavg: 8.16 8.10 8.03 9/281 31490
/proc/meminfo: memFree=24594472/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=273016 CPUtime=50.67 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 36907 0 0 0 5060 7 0 0 25 0 4 0 730518353 279568384 17440 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 68254 17441 393 112 0 63219 0
[pid=31485/tid=31486] ppid=31483 vsize=273016 CPUtime=12.69 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 10383 0 0 0 1268 1 0 0 25 0 4 0 730518353 279568384 17441 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=273016 CPUtime=12.58 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 9851 0 0 0 1256 2 0 0 25 0 4 0 730518353 279568384 17441 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=273016 CPUtime=12.68 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 8130 0 0 0 1267 1 0 0 25 0 4 0 730518353 279568384 17441 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 273016

[startup+25.5005 s]
/proc/loadavg: 8.20 8.11 8.04 9/281 31490
/proc/meminfo: memFree=24559632/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=288160 CPUtime=101.76 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 55660 0 0 0 10164 12 0 0 25 0 4 0 730518353 295075840 22708 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 72040 22708 393 112 0 67005 0
[pid=31485/tid=31486] ppid=31483 vsize=288160 CPUtime=25.49 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 16717 0 0 0 2547 2 0 0 25 0 4 0 730518353 295075840 22708 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=288160 CPUtime=25.28 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 15401 0 0 0 2524 4 0 0 25 0 4 0 730518353 295075840 22708 33554432000 4194304 4650419 140734537480576 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=288160 CPUtime=25.49 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 10443 0 0 0 2547 2 0 0 25 0 4 0 730518353 295075840 22708 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 288160

[startup+51.1008 s]
/proc/loadavg: 8.13 8.10 8.03 9/281 31490
/proc/meminfo: memFree=24542420/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=304876 CPUtime=203.95 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 84503 0 0 0 20375 20 0 0 25 0 4 0 730518353 312193024 28263 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366950 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 76219 28263 393 112 0 71184 0
[pid=31485/tid=31486] ppid=31483 vsize=304876 CPUtime=51.09 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 26500 0 0 0 5104 5 0 0 25 0 4 0 730518353 312193024 28263 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=304876 CPUtime=50.67 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 24386 0 0 0 5060 7 0 0 25 0 4 0 730518353 312193024 28263 33554432000 4194304 4650419 140734537480576 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=304876 CPUtime=51.09 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 14142 0 0 0 5106 3 0 0 25 0 4 0 730518353 312193024 28263 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 304876

[startup+102.3 s]
/proc/loadavg: 8.21 8.13 8.05 9/281 31492
/proc/meminfo: memFree=24467276/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=324456 CPUtime=408.34 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 132150 0 0 0 40798 36 0 0 25 0 4 0 730518353 332242944 39861 33554432000 4194304 4650419 140734537480576 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 81114 39861 393 112 0 76079 0
[pid=31485/tid=31486] ppid=31483 vsize=324456 CPUtime=102.3 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 40688 0 0 0 10222 8 0 0 25 0 4 0 730518353 332242944 39861 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=324456 CPUtime=101.42 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 34459 0 0 0 10131 11 0 0 25 0 4 0 730518353 332242944 39861 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=324456 CPUtime=102.29 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 22975 0 0 0 10223 6 0 0 25 0 4 0 730518353 332242944 39861 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (KiB) 324456

[startup+162.3 s]

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

[pid=31485] ppid=31483 vsize=525752 CPUtime=2803.24 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 421356 0 0 0 280163 161 0 0 25 0 4 0 730518353 538370048 82804 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 131438 82804 393 112 0 126403 0
[pid=31485/tid=31486] ppid=31483 vsize=525752 CPUtime=702.3 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 118239 0 0 0 70191 39 0 0 25 0 4 0 730518353 538370048 82804 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=525752 CPUtime=696.3 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 119020 0 0 0 69579 51 0 0 25 0 4 0 730518353 538370048 82804 33554432000 4194304 4650419 140734537480576 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=525752 CPUtime=702.31 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 67475 0 0 0 70206 25 0 0 25 0 4 0 730518353 538370048 82804 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.24
Current children cumulated vsize (KiB) 525752

[startup+762.301 s]
/proc/loadavg: 8.07 8.10 8.05 9/281 31550
/proc/meminfo: memFree=24325720/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=536332 CPUtime=3042.79 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 441963 0 0 0 304109 170 0 0 25 0 4 0 730518353 549203968 88624 33554432000 4194304 4650419 140734537480576 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 134083 88624 393 112 0 129048 0
[pid=31485/tid=31486] ppid=31483 vsize=536332 CPUtime=762.32 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 123332 0 0 0 76190 42 0 0 25 0 4 0 730518353 549203968 88624 33554432000 4194304 4650419 140734537480576 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=536332 CPUtime=755.82 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 127375 0 0 0 75527 55 0 0 25 0 4 0 730518353 549203968 88624 33554432000 4194304 4650419 140734537480576 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=536332 CPUtime=762.32 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 70325 0 0 0 76206 26 0 0 25 0 4 0 730518353 549203968 88624 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.79
Current children cumulated vsize (KiB) 536332

[startup+822.301 s]
/proc/loadavg: 8.02 8.08 8.04 9/281 31551
/proc/meminfo: memFree=24342404/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=540516 CPUtime=3282.26 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 459950 0 0 0 328047 179 0 0 25 0 4 0 730518353 553488384 89898 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 135129 89898 393 112 0 130094 0
[pid=31485/tid=31486] ppid=31483 vsize=540516 CPUtime=822.3 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 126464 0 0 0 82187 43 0 0 25 0 4 0 730518353 553488384 89898 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=540516 CPUtime=815.3 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 133890 0 0 0 81472 58 0 0 25 0 4 0 730518353 553488384 89898 33554432000 4194304 4650419 140734537480576 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=540516 CPUtime=822.31 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 74114 0 0 0 82204 27 0 0 25 0 4 0 730518353 553488384 89898 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.26
Current children cumulated vsize (KiB) 540516

[startup+882.311 s]
/proc/loadavg: 8.06 8.08 8.04 9/281 31553
/proc/meminfo: memFree=24347188/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=553684 CPUtime=3521.78 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 479346 0 0 0 351990 188 0 0 25 0 4 0 730518353 566972416 87036 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 138421 87036 393 112 0 133386 0
[pid=31485/tid=31486] ppid=31483 vsize=553684 CPUtime=882.32 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 131945 0 0 0 88186 46 0 0 25 0 4 0 730518353 566972416 87036 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=553684 CPUtime=874.79 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 140195 0 0 0 87417 62 0 0 25 0 4 0 730518353 566972416 87036 33554432000 4194304 4650419 140734537480576 18446744073709551615 4334280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=553684 CPUtime=882.32 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 76644 0 0 0 88204 28 0 0 25 0 4 0 730518353 566972416 87037 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.78
Current children cumulated vsize (KiB) 553684

[startup+942.301 s]
/proc/loadavg: 8.13 8.09 8.05 9/281 31554
/proc/meminfo: memFree=24261076/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=606964 CPUtime=3761.23 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 499170 0 0 0 375923 200 0 0 25 0 4 0 730518353 621531136 97686 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 151741 97686 393 112 0 146706 0
[pid=31485/tid=31486] ppid=31483 vsize=606964 CPUtime=942.31 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 136397 0 0 0 94183 48 0 0 25 0 4 0 730518353 621531136 97686 33554432000 4194304 4650419 140734537480576 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=606964 CPUtime=934.26 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 145896 0 0 0 93361 65 0 0 25 0 4 0 730518353 621531136 97686 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=606964 CPUtime=942.31 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 80370 0 0 0 94200 31 0 0 25 0 4 0 730518353 621531136 97686 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.23
Current children cumulated vsize (KiB) 606964

[startup+1002.3 s]
/proc/loadavg: 8.14 8.10 8.05 9/281 31556
/proc/meminfo: memFree=24257836/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=545800 CPUtime=4000.72 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 513954 0 0 0 399865 207 0 0 25 0 4 0 730518353 558899200 92901 33554432000 4194304 4650419 140734537480576 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 136450 92901 393 112 0 131415 0
[pid=31485/tid=31486] ppid=31483 vsize=545800 CPUtime=1002.32 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 139501 0 0 0 100182 50 0 0 25 0 4 0 730518353 558899200 92901 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=545800 CPUtime=993.75 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 151336 0 0 0 99308 67 0 0 25 0 4 0 730518353 558899200 92901 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=545800 CPUtime=1002.32 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 82499 0 0 0 100199 33 0 0 25 0 4 0 730518353 558899200 92901 33554432000 4194304 4650419 140734537480576 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.72
Current children cumulated vsize (KiB) 545800

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 8.05 9/281 31558
/proc/meminfo: memFree=24183048/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=559340 CPUtime=4240.22 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 536209 0 0 0 423807 215 0 0 25 0 4 0 730518353 572764160 99489 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 139835 99489 393 112 0 134800 0
[pid=31485/tid=31486] ppid=31483 vsize=559340 CPUtime=1062.32 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 145779 0 0 0 106180 52 0 0 25 0 4 0 730518353 572764160 99489 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=559340 CPUtime=1053.24 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 157303 0 0 0 105255 69 0 0 25 0 4 0 730518353 572764160 99489 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=559340 CPUtime=1062.32 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 86534 0 0 0 106197 35 0 0 25 0 4 0 730518353 572764160 99489 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4240.22
Current children cumulated vsize (KiB) 559340

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.06 9/281 31559
/proc/meminfo: memFree=24211400/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=559488 CPUtime=4479.69 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 553258 0 0 0 447747 222 0 0 25 0 4 0 730518353 572915712 97523 33554432000 4194304 4650419 140734537480576 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 139872 97523 393 112 0 134837 0
[pid=31485/tid=31486] ppid=31483 vsize=559488 CPUtime=1122.32 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 150878 0 0 0 112178 54 0 0 25 0 4 0 730518353 572915712 97523 33554432000 4194304 4650419 140734537480576 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=559488 CPUtime=1112.71 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 162662 0 0 0 111198 73 0 0 25 0 4 0 730518353 572915712 97523 33554432000 4194304 4650419 140734537480576 18446744073709551615 4316014 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=559488 CPUtime=1122.32 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 87446 0 0 0 112196 36 0 0 25 0 4 0 730518353 572915712 97523 33554432000 4194304 4650419 140734537480576 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.69
Current children cumulated vsize (KiB) 559488

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.06 9/281 31561
/proc/meminfo: memFree=24174160/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=573428 CPUtime=4719.16 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 561733 0 0 0 471690 226 0 0 25 0 4 0 730518353 587190272 103747 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 143357 103747 393 112 0 138322 0
[pid=31485/tid=31486] ppid=31483 vsize=573428 CPUtime=1182.32 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 151294 0 0 0 118178 54 0 0 25 0 4 0 730518353 587190272 103747 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=573428 CPUtime=1172.17 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 166727 0 0 0 117142 75 0 0 25 0 4 0 730518353 587190272 103747 33554432000 4194304 4650419 140734537480576 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=573428 CPUtime=1182.32 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 89307 0 0 0 118195 37 0 0 25 0 4 0 730518353 587190272 103747 33554432000 4194304 4650419 140734537480576 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4719.16
Current children cumulated vsize (KiB) 573428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.11 8.10 8.06 9/281 31561
/proc/meminfo: memFree=24175496/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=573428 CPUtime=4800.21 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 564372 0 0 0 479794 227 0 0 25 0 4 0 730518353 587190272 103322 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476491 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 143357 103322 393 112 0 138322 0
[pid=31485/tid=31486] ppid=31483 vsize=573428 CPUtime=1202.63 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 151911 0 0 0 120209 54 0 0 25 0 4 0 730518353 587190272 103322 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=573428 CPUtime=1192.29 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 166727 0 0 0 119154 75 0 0 25 0 4 0 730518353 587190272 103322 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=573428 CPUtime=1202.64 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 89875 0 0 0 120226 38 0 0 25 0 4 0 730518353 587190272 103322 33554432000 4194304 4650419 140734537480576 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 573428

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

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

[startup+1202.6 s]
/proc/loadavg: 8.11 8.10 8.06 9/281 31561
/proc/meminfo: memFree=24175496/32951124 swapFree=67083432/67111528
[pid=31485] ppid=31483 vsize=573428 CPUtime=4800.21 cores=1,3,5,7
/proc/31485/stat : 31485 (strangenight1-m) R 31483 31485 31021 0 -1 4202496 564372 0 0 0 479794 227 0 0 25 0 4 0 730518353 587190272 103322 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476491 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31485/statm: 143357 103322 393 112 0 138322 0
[pid=31485/tid=31486] ppid=31483 vsize=573428 CPUtime=1202.63 cores=1,3,5,7
/proc/31485/task/31486/stat : 31486 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 151911 0 0 0 120209 54 0 0 25 0 4 0 730518353 587190272 103322 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31485/tid=31487] ppid=31483 vsize=573428 CPUtime=1192.29 cores=1,3,5,7
/proc/31485/task/31487/stat : 31487 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 166727 0 0 0 119154 75 0 0 25 0 4 0 730518353 587190272 103322 33554432000 4194304 4650419 140734537480576 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31485/tid=31488] ppid=31483 vsize=573428 CPUtime=1202.64 cores=1,3,5,7
/proc/31485/task/31488/stat : 31488 (strangenight1-m) R 31483 31485 31021 0 -1 4202560 89875 0 0 0 120226 38 0 0 25 0 4 0 730518353 587190272 103322 33554432000 4194304 4650419 140734537480576 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 573428

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.64
CPU time (s): 4800.25
CPU user time (s): 4797.96
CPU system time (s): 2.29265
CPU usage (%): 399.145
Max. virtual memory (cumulated for all children) (KiB): 619220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.96
system time used= 2.29265
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564373
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= 130
involuntary context switches= 30045

runsolver used 2.84957 second user time and 7.51286 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-14 21:54:38
IDJOB=3368780
IDBENCH=82789
IDSOLVER=1846
FILE ID=node110/3368780-1305402878
RUNJOBID= node110-1305401673-31337
PBS_JOBID= 13324476
Free space on /tmp= 73588 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368780-1305402878/watcher-3368780-1305402878 -o /tmp/evaluation-result-3368780-1305402878/solver-3368780-1305402878 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368780-1305402878.cnf

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

MD5SUM BENCH= 2a8cb5d237e15bd9bba8245975866061
RANDOM SEED=1877190170

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24674168 kB
Buffers:        277052 kB
Cached:        4041072 kB
SwapCached:       1440 kB
Active:        4762172 kB
Inactive:      3183468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24674168 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:            6248 kB
Writeback:           0 kB
AnonPages:     3626396 kB
Mapped:          23428 kB
Slab:           245764 kB
PageTables:      21408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46707272 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= 73580 MiB
End job on node110 at 2011-05-14 22:14:42