Trace number 3266337

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.74

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
MD5SUM34f8b747bfe8e7b589b8832e56ae8363
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.022996
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses1892
Sum of the clauses size9308
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33
Number of clauses of size 4146
Number of clauses of size 51743
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-3266337-1304181332.cnf'
0.00/0.00	c -- header says num vars:            110
0.00/0.00	c -- header says num clauses:        1892
0.00/0.00	c -- clauses added:            0 learnts,         1892 normals,            0 xors
0.00/0.00	c -- vars added        110
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       110      1892         0         0      9308         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.02
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:    110 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.00 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:      52 undec:      10 neg:      48
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       110      1892         0         0      9308         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4912       110      1892         0      4659      9308    111436   no data   no data  --
1.17/0.31	c  N st    10     11296       110      1892         0      4317      9308     80577   no data   no data  --
1.97/0.51	c  N st    11     17040       110      1892         0      9703      9308    212590   no data   no data  --
3.17/0.84	c  F st    12     25003       110      1892         0     11882      9308    261389   no data   no data  --
3.17/0.84	c  N st    12     25003       110      1892         0     11882      9308    261389   no data   no data  --
3.98/1.07	c Decided on static restart strategy
3.98/1.07	c  N st    18     30000       110      1892         0     10157      9308    207002   no data   no data  --
3.98/1.07	c  S st    18     30000       110      1892         0     10157      9308    207002   no data   no data  --
3.98/1.10	c  S st    18     30504       110      1892         0     10642      9308    218448   no data   no data  --
3.98/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.39/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.39/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
4.39/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.37/1.60	c lits-rem:      2685  cl-subs:     1521  v-elim:      0  v-fix:    0  time:  1.97 s
6.37/1.64	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.14
6.37/1.64	c calculated reachability. Time: 0.00
6.37/1.64	c  N st    18     30504       110      1892         0      9121      9308    176855   no data   no data  --
7.57/1.97	c  N st    20     37615       110      1892         0      8433      9308    148087   no data   no data  --
8.79/2.28	c  N st    21     44015       110      1892         0     14459      9308    293204   no data   no data  --
9.19/2.36	c  S st    22     45757       110      1892         0     16093      9308    333077   no data   no data  --
9.56/2.41	c  S st    22     46260       110      1892         0     16579      9308    344618   no data   no data  --
9.56/2.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.56/2.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.56/2.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
9.56/2.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.35/3.60	c lits-rem:      4374  cl-subs:     1738  v-elim:      0  v-fix:    0  time:  4.68 s
14.35/3.60	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
14.35/3.60	c vivif2 --  cl tried    14841 cl shrink        0 lits rem          0 time: 0.02
14.35/3.65	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.21
14.35/3.65	c calculated reachability. Time: 0.00
14.35/3.65	c  N st    22     46260       110      1892         0     14841      9308    296582   no data   no data  --
17.16/4.34	c  N st    23     60657       110      1892         0     10643      9308    172144   no data   no data  --
19.15/4.80	c  N st    24     69391       110      1892         0     18845      9308    376895   no data   no data  --
19.15/4.80	c  S st    24     69391       110      1892         0     18845      9308    376895   no data   no data  --
19.15/4.85	c  S st    24     69891       110      1892         0     19330      9308    388473   no data   no data  --
19.15/4.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.15/4.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.15/4.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
19.15/4.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.15/4.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.15/4.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
19.15/4.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.34/6.18	c lits-rem:      4137  cl-subs:     2045  v-elim:      0  v-fix:    0  time:  5.22 s
24.34/6.18	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
24.34/6.18	c vivif2 --  cl tried    17285 cl shrink        0 lits rem          0 time: 0.02
24.74/6.25	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.27
24.74/6.25	c calculated reachability. Time: 0.00
24.74/6.25	c  N st    24     69891       110      1892         0     17285      9308    333293   no data   no data  --
29.14/7.32	c  F st    25     87500       110      1892         0     12337      9308    197563   no data   no data  --
29.14/7.32	c  N st    25     87500       110      1892         0     12337      9308    197563   no data   no data  --
30.33/7.60	c Decided on static restart strategy
30.76/7.77	c  N st    32     95544       110      1892         0     19944      9308    384437   no data   no data  --
33.13/8.37	c  N st    34    104837       110      1892         0     16498      9308    288225   no data   no data  --
33.13/8.37	c  S st    34    104837       110      1892         0     16498      9308    288225   no data   no data  --
33.53/8.41	c  S st    34    105338       110      1892         0     16984      9308    299592   no data   no data  --
33.53/8.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.53/8.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.53/8.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
33.53/8.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.53/8.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.53/8.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
33.53/8.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.93/9.55	c lits-rem:      2427  cl-subs:     1022  v-elim:      0  v-fix:    0  time:  4.49 s
37.93/9.55	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
37.93/9.55	c vivif2 --  cl tried    15962 cl shrink        0 lits rem          0 time: 0.01
38.33/9.61	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.24
38.33/9.61	c calculated reachability. Time: 0.00
38.33/9.61	c  N st    34    105338       110      1892         0     15962      9308    271760   no data   no data  --
40.72/10.23	c  N st    35    114936       110      1892         0     24977      9308    494375   no data   no data  --
44.71/11.22	c  N st    36    129335       110      1892         0     25287      9308    471884   no data   no data  --
51.11/12.82	c  N st    37    150930       110      1892         0     16503      9308    242254   no data   no data  --
52.72/13.27	c  S st    38    158008       110      1892         0     23151      9308    406588   no data   no data  --
53.12/13.33	c  S st    38    158513       110      1892         0     23640      9308    417879   no data   no data  --
53.12/13.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.12/13.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.12/13.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
53.12/13.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.12/13.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.12/13.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
53.12/13.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
58.29/14.65	c lits-rem:      3832  cl-subs:     1788  v-elim:      0  v-fix:    0  time:  5.19 s
58.29/14.65	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
58.29/14.65	c vivif2 --  cl tried    21852 cl shrink        0 lits rem          0 time: 0.02
58.69/14.73	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.30
58.69/14.73	c calculated reachability. Time: 0.00
58.69/14.73	c  N st    38    158513       110      1892         0     21852      9308    368735   no data   no data  --
74.69/18.76	c  N st    39    207101       110      1892         0     34427      9308    631334   no data   no data  --
85.86/21.51	c  N st    40    237770       110      1892         0     26721      9308    440606   no data   no data  --
85.86/21.51	c  S st    40    237770       110      1892         0     26721      9308    440606   no data   no data  --
85.86/21.57	c  S st    40    238272       110      1892         0     27206      9308    452220   no data   no data  --
85.86/21.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.86/21.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.86/21.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
85.86/21.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.86/21.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.86/21.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
85.86/21.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.85/23.10	c lits-rem:      3302  cl-subs:     2210  v-elim:      0  v-fix:    0  time:  6.00 s
91.85/23.10	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
91.85/23.10	c vivif2 --  cl tried    24996 cl shrink        0 lits rem          0 time: 0.01
92.27/23.19	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.36
92.27/23.19	c calculated reachability. Time: 0.00
92.27/23.19	c  N st    40    238272       110      1892         0     24996      9308    401245   no data   no data  --
119.04/29.83	c  F st    41    306250       110      1892         0     26849      9308    404207   no data   no data  --
119.04/29.83	c  N st    41    306250       110      1892         0     26849      9308    404207   no data   no data  --
120.61/30.29	c Decided on static restart strategy
130.19/32.64	c  N st    51    334552       110      1892         0     31116      9308    487725   no data   no data  --
139.78/35.09	c  N st    53    357408       110      1892         0     29108      9308    428695   no data   no data  --
139.78/35.09	c  S st    53    357408       110      1892         0     29108      9308    428695   no data   no data  --
140.18/35.16	c  S st    53    357911       110      1892         0     29589      9308    440497   no data   no data  --
140.18/35.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.18/35.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.18/35.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
140.18/35.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.18/35.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.18/35.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
140.18/35.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
145.40/36.44	c lits-rem:      2690  cl-subs:     1326  v-elim:      0  v-fix:    0  time:  5.03 s
145.40/36.44	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
145.40/36.44	c vivif2 --  cl tried    28263 cl shrink        0 lits rem          0 time: 0.02
145.78/36.55	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.41
145.78/36.55	c calculated reachability. Time: 0.00
145.78/36.55	c  N st    53    357911       110      1892         0     28263      9308    408651   no data   no data  --
160.56/40.26	c  N st    54    390303       110      1892         0     34407      9308    556959   no data   no data  --
185.72/46.51	c  N st    55    438893       110      1892         0     28272      9308    372874   no data   no data  --
222.08/55.62	c  N st    56    511776       110      1892         0     41235      9308    664305   no data   no data  --
236.86/59.31	c  N st    57    536866       110      1892         0     35738      9308    513600   no data   no data  --
236.86/59.31	c  S st    57    536866       110      1892         0     35738      9308    513600   no data   no data  --
237.27/59.41	c  S st    57    537368       110      1892         0     36228      9308    525271   no data   no data  --
237.27/59.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
237.27/59.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
237.27/59.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
237.27/59.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
237.27/59.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
237.27/59.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
237.27/59.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
244.05/61.16	c lits-rem:      2489  cl-subs:     1507  v-elim:      0  v-fix:    0  time:  6.88 s
244.05/61.16	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
244.05/61.16	c vivif2 --  cl tried    34721 cl shrink        0 lits rem          0 time: 0.02
244.85/61.30	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.55
244.85/61.30	c calculated reachability. Time: 0.00
244.85/61.30	c  N st    57    537368       110      1892         0     34721      9308    487535   no data   no data  --
333.94/83.69	c  N st    58    701353       110      1892         0     62568      9308   1093269   no data   no data  --
394.65/98.81	c  N st    59    806054       110      1892         0     56680      9308    918788   no data   no data  --
394.65/98.81	c  S st    59    806054       110      1892         0     56680      9308    918788   no data   no data  --
395.04/98.96	c  S st    59    806554       110      1892         0     57154      9308    930053   no data   no data  --
395.04/98.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
395.04/98.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
395.04/98.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
395.46/99.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
395.46/99.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
395.46/99.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
395.46/99.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
418.61/104.88	c lits-rem:      3413  cl-subs:     5573  v-elim:      0  v-fix:    0  time: 23.42 s
418.61/104.88	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
418.61/104.89	c vivif2 --  cl tried    51581 cl shrink        0 lits rem          0 time: 0.04
419.81/105.17	c asymm  cl-useful: 0/1841/1892 lits-rem:0 time: 1.08
419.81/105.17	c calculated reachability. Time: 0.00
419.81/105.17	c  N st    59    806554       110      1892         0     51581      9308    806500   no data   no data  --
584.40/146.40	c  F st    60   1071876       110      1892         0     66843      9308   1076245   no data   no data  --
584.80/146.40	c  N st    60   1071876       110      1892         0     66843      9308   1076245   no data   no data  --
589.58/147.66	c Decided on static restart strategy
609.95/152.79	c  N st    70   1100187       110      1892         0     51625      9308    714547   no data   no data  --
639.10/160.02	c  N st    72   1136182       110      1892         0     85300      9308   1515631   no data   no data  --
662.28/165.83	c  N st    73   1168574       110      1892         0     72816      9308   1236996   no data   no data  --
693.83/173.75	c  N st    74   1209831       110      1892         0     67446      9308   1064952   no data   no data  --
693.83/173.75	c  S st    74   1209831       110      1892         0     67446      9308   1064952   no data   no data  --
694.65/173.98	c  S st    74   1210333       110      1892         0     67931      9308   1076887   no data   no data  --
694.65/173.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
694.65/173.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
695.03/174.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
695.03/174.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
695.03/174.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
695.03/174.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
695.03/174.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
724.60/181.42	c lits-rem:      2325  cl-subs:     5830  v-elim:      0  v-fix:    0  time: 29.47 s
724.60/181.42	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
724.60/181.44	c vivif2 --  cl tried    62101 cl shrink        0 lits rem          0 time: 0.06
726.19/181.84	c asymm  cl-useful: 0/1547/1892 lits-rem:0 time: 1.62
726.19/181.85	c calculated reachability. Time: 0.00
726.19/181.85	c  N st    74   1210333       110      1892         0     62101      9308    941560   no data   no data  --
795.72/199.22	c  N st    75   1283217       110      1892         0     85304      9308   1436963   no data   no data  --
911.94/228.32	c  N st    76   1392540       110      1892         0     94680      9308   1597721   no data   no data  --
1054.15/263.94	c  N st    77   1556525       110      1892         0     52077      9308    602180   no data   no data  --
1190.37/298.03	c  N st    78   1710333       110      1892         0     91861      9308   1518634   no data   no data  --
1190.37/298.03	c  S st    78   1710333       110      1892         0     91861      9308   1518634   no data   no data  --
1191.56/298.33	c  S st    78   1710836       110      1892         0     92343      9308   1530086   no data   no data  --
1191.56/298.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1191.56/298.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1191.56/298.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1191.96/298.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1191.96/298.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1191.96/298.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
1191.96/298.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1281.04/320.74	c lits-rem:      1446  cl-subs:     9938  v-elim:      0  v-fix:    0  time: 89.09 s
1281.04/320.74	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
1281.04/320.75	c vivif2 --  cl tried    82405 cl shrink        0 lits rem          0 time: 0.08
1283.06/321.20	c asymm  cl-useful: 0/1214/1892 lits-rem:0 time: 1.79
1283.06/321.21	c calculated reachability. Time: 0.00
1283.06/321.21	c  N st    78   1710836       110      1892         0     82405      9308   1315242   no data   no data  --
1693.27/423.99	c  N st    79   2079800       110      1892         0     93953      9308   1530048   no data   no data  --
1821.90/456.19	c  N st    80   2210836       110      1892         0     98251      9308   1584048   no data   no data  --
1821.90/456.19	c  S st    80   2210836       110      1892         0     98251      9308   1584048   no data   no data  --
1823.52/456.51	c  S st    80   2211338       110      1892         0     98740      9308   1596275   no data   no data  --
1823.52/456.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1823.52/456.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1823.52/456.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
1823.92/456.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1823.92/456.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1823.92/456.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
1823.92/456.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1895.79/474.70	c lits-rem:      4605  cl-subs:     8654  v-elim:      0  v-fix:    0  time: 72.19 s
1895.79/474.70	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
1896.19/474.71	c vivif2 --  cl tried    90086 cl shrink        0 lits rem          0 time: 0.07
1896.99/474.94	c asymm  cl-useful: 0/678/1892 lits-rem:0 time: 0.93
1896.99/474.95	c calculated reachability. Time: 0.00
1896.99/474.95	c  N st    80   2211338       110      1892         0     90086      9308   1405958   no data   no data  --
2450.64/613.54	c  N st    81   2711340       110      1892         0    112616      9308   1842827   no data   no data  --
2450.64/613.54	c  S st    81   2711340       110      1892         0    112616      9308   1842827   no data   no data  --
2452.26/613.95	c  S st    81   2711843       110      1892         0    113105      9308   1854885   no data   no data  --
2452.26/613.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2452.26/613.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2452.64/614.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2452.64/614.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2452.64/614.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2452.64/614.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
2452.64/614.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2579.28/645.79	c lits-rem:      3053  cl-subs:    12319  v-elim:      0  v-fix:    0  time: 126.67 s
2579.28/645.79	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
2579.69/645.81	c vivif2 --  cl tried   100786 cl shrink        0 lits rem          0 time: 0.08
2580.86/646.17	c asymm  cl-useful: 0/998/1892 lits-rem:0 time: 1.42
2580.86/646.17	c calculated reachability. Time: 0.00
2580.86/646.17	c  N st    81   2711843       110      1892         0    100786      9308   1587876   no data   no data  --
3227.58/808.01	c  N st    82   3211844       110      1892         0     78296      9308    918205   no data   no data  --
3227.58/808.01	c  S st    82   3211844       110      1892         0     78296      9308    918205   no data   no data  --
3228.37/808.24	c  S st    82   3212345       110      1892         0     78784      9308    930459   no data   no data  --
3228.37/808.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3228.37/808.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3228.37/808.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
3228.78/808.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3228.78/808.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3228.78/808.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
3228.78/808.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3248.35/813.27	c lits-rem:       816  cl-subs:     1641  v-elim:      0  v-fix:    0  time: 19.84 s
3248.35/813.27	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
3248.35/813.28	c vivif2 --  cl tried    77143 cl shrink        0 lits rem          0 time: 0.05
3249.55/813.51	c asymm  cl-useful: 0/894/1892 lits-rem:0 time: 0.93
3249.55/813.52	c calculated reachability. Time: 0.00
3249.55/813.52	c  N st    82   3212345       110      1892         0     77143      9308    896327   no data   no data  --
3915.06/980.12	c  N st    83   3712346       110      1892         0     87473      9308   1062171   no data   no data  --
3915.06/980.12	c  S st    83   3712346       110      1892         0     87473      9308   1062171   no data   no data  --
3915.84/980.39	c  S st    83   3712850       110      1892         0     87961      9308   1074163   no data   no data  --
3915.84/980.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3916.24/980.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3916.24/980.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3916.24/980.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3916.24/980.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3916.24/980.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
3916.24/980.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3949.00/988.68	c lits-rem:      1308  cl-subs:     2447  v-elim:      0  v-fix:    0  time: 32.79 s
3949.00/988.68	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
3949.00/988.69	c vivif2 --  cl tried    85514 cl shrink        0 lits rem          0 time: 0.06
3950.61/989.01	c asymm  cl-useful: 0/1128/1892 lits-rem:0 time: 1.25
3950.61/989.01	c calculated reachability. Time: 0.00
3950.61/989.01	c  N st    83   3712850       110      1892         0     85514      9308   1022454   no data   no data  --
3998.54/1001.07	c  F st    84   3751565       110      1892         0    121587      9308   1919087   no data   no data  --
3998.54/1001.07	c  N st    84   3751565       110      1892         0    121587      9308   1919087   no data   no data  --
4007.74/1003.30	c Decided on static restart strategy
4050.86/1014.17	c  N st    94   3779868       110      1892         0    148138      9308   2576214   no data   no data  --
4103.19/1027.25	c  N st    96   3815863       110      1892         0    102785      9308   1438717   no data   no data  --
4155.52/1040.38	c  N st    97   3848256       110      1892         0    133190      9308   2178762   no data   no data  --
4252.18/1064.58	c  N st    98   3896845       110      1892         0     98355      9308   1302171   no data   no data  --
4376.43/1095.62	c  N st    99   3969729       110      1892         0     84966      9308    960462   no data   no data  --
4558.57/1141.26	c  N st   100   4079053       110      1892         0    104629      9308   1427578   no data   no data  --
4787.06/1198.47	c  N st   101   4212851       110      1892         0    146269      9308   2387356   no data   no data  --
4787.06/1198.47	c  S st   101   4212851       110      1892         0    146269      9308   2387356   no data   no data  --
4789.47/1199.04	c  S st   101   4213353       110      1892         0    146753      9308   2399405   no data   no data  --
4789.47/1199.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4789.47/1199.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4789.88/1199.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4790.25/1199.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4790.25/1199.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4790.25/1199.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
4790.25/1199.20	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-3266337-1304181332/watcher-3266337-1304181332 -o /tmp/evaluation-result-3266337-1304181332/solver-3266337-1304181332 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3266337-1304181332.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: 8.11 8.15 8.09 5/180 28169
/proc/meminfo: memFree=20718552/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 510548780 52465664 356 33554432000 4194304 4650419 140736322702080 18446744073709551615 47807214315521 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 12809 356 306 112 0 7774 0
[pid=28169/tid=28170] ppid=28167 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 510548780 52465664 356 33554432000 4194304 4650419 140736322702080 18446744073709551615 47807214315436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 510548780 52465664 356 33554432000 4194304 4650419 140736322702080 18446744073709551615 47807214315442 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 510548780 52465664 356 33554432000 4194304 4650419 140736322702080 18446744073709551615 264726405051 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.106379 s]
/proc/loadavg: 8.11 8.15 8.09 5/180 28169
/proc/meminfo: memFree=20718552/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=282512 CPUtime=0.4 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 1788 0 0 0 40 0 0 0 25 0 4 0 510548780 289292288 1651 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 70628 1651 389 112 0 65593 0
[pid=28169/tid=28170] ppid=28167 vsize=282512 CPUtime=0.1 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 366 0 0 0 10 0 0 0 25 0 4 0 510548780 289292288 1651 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=282512 CPUtime=0.09 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 365 0 0 0 9 0 0 0 25 0 4 0 510548780 289292288 1651 33554432000 4194304 4650419 140736322702080 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=282512 CPUtime=0.1 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 275 0 0 0 10 0 0 0 25 0 4 0 510548780 289292288 1651 33554432000 4194304 4650419 140736322702080 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282512

[startup+0.200361 s]
/proc/loadavg: 8.11 8.15 8.09 5/180 28169
/proc/meminfo: memFree=20718552/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=283704 CPUtime=0.77 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 2556 0 0 0 77 0 0 0 25 0 4 0 510548780 290512896 1862 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 70926 1862 391 112 0 65891 0
[pid=28169/tid=28170] ppid=28167 vsize=283704 CPUtime=0.19 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 562 0 0 0 19 0 0 0 25 0 4 0 510548780 290512896 1862 33554432000 4194304 4650419 140736322702080 18446744073709551615 4327967 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=283704 CPUtime=0.19 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 558 0 0 0 19 0 0 0 25 0 4 0 510548780 290512896 1862 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=283704 CPUtime=0.19 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 463 0 0 0 19 0 0 0 25 0 4 0 510548780 290512896 1862 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283704

[startup+0.300342 s]
/proc/loadavg: 8.11 8.15 8.09 5/180 28169
/proc/meminfo: memFree=20718552/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=284032 CPUtime=1.17 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 3074 0 0 0 117 0 0 0 25 0 4 0 510548780 290848768 2165 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 71008 2165 391 112 0 65973 0
[pid=28169/tid=28170] ppid=28167 vsize=284032 CPUtime=0.29 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 791 0 0 0 29 0 0 0 25 0 4 0 510548780 290848768 2165 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=284032 CPUtime=0.29 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 649 0 0 0 29 0 0 0 25 0 4 0 510548780 290848768 2165 33554432000 4194304 4650419 140736322702080 18446744073709551615 4334276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=284032 CPUtime=0.29 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 567 0 0 0 29 0 0 0 25 0 4 0 510548780 290848768 2165 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284032

[startup+0.700267 s]
/proc/loadavg: 8.11 8.15 8.09 5/180 28169
/proc/meminfo: memFree=20718552/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=285336 CPUtime=2.77 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 5269 0 0 0 277 0 0 0 25 0 4 0 510548780 292184064 2633 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 71334 2633 391 112 0 66299 0
[pid=28169/tid=28170] ppid=28167 vsize=285336 CPUtime=0.69 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 1254 0 0 0 69 0 0 0 25 0 4 0 510548780 292184064 2633 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=285336 CPUtime=0.68 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 1239 0 0 0 68 0 0 0 25 0 4 0 510548780 292184064 2633 33554432000 4194304 4650419 140736322702080 18446744073709551615 4334280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=285336 CPUtime=0.69 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 1105 0 0 0 69 0 0 0 25 0 4 0 510548780 292184064 2633 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285336

[startup+1.50112 s]
/proc/loadavg: 8.11 8.15 8.09 9/184 28173
/proc/meminfo: memFree=20702272/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=277748 CPUtime=5.97 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 10614 0 0 0 595 2 0 0 25 0 4 0 510548780 284413952 5944 33554432000 4194304 4650419 140736322702080 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 69437 5944 393 112 0 64402 0
[pid=28169/tid=28170] ppid=28167 vsize=277748 CPUtime=1.48 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 3107 0 0 0 148 0 0 0 25 0 4 0 510548780 284413952 5944 33554432000 4194304 4650419 140736322702080 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=277748 CPUtime=1.48 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 2120 0 0 0 148 0 0 0 25 0 4 0 510548780 284413952 5944 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=277748 CPUtime=1.49 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 1899 0 0 0 149 0 0 0 25 0 4 0 510548780 284413952 5944 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 277748

[startup+3.10082 s]
/proc/loadavg: 8.10 8.14 8.09 9/184 28173
/proc/meminfo: memFree=20678340/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=286112 CPUtime=12.36 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 17506 0 0 0 1233 3 0 0 25 0 4 0 510548780 292978688 10584 33554432000 4194304 4650419 140736322702080 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 71528 10584 393 112 0 66493 0
[pid=28169/tid=28170] ppid=28167 vsize=286112 CPUtime=3.07 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 4275 0 0 0 307 0 0 0 25 0 4 0 510548780 292978688 10584 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=286112 CPUtime=3.08 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 4226 0 0 0 308 0 0 0 25 0 4 0 510548780 292978688 10584 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=286112 CPUtime=3.09 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 4038 0 0 0 309 0 0 0 25 0 4 0 510548780 292978688 10584 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286112

[startup+6.30021 s]
/proc/loadavg: 8.10 8.14 8.09 9/184 28173
/proc/meminfo: memFree=20670364/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=291528 CPUtime=25.14 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 27178 0 0 0 2509 5 0 0 25 0 4 0 510548780 298524672 15020 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 72882 15020 393 112 0 67847 0
[pid=28169/tid=28170] ppid=28167 vsize=291528 CPUtime=6.26 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 6959 0 0 0 625 1 0 0 25 0 4 0 510548780 298524672 15020 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=291528 CPUtime=6.28 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 7333 0 0 0 627 1 0 0 25 0 4 0 510548780 298524672 15020 33554432000 4194304 4650419 140736322702080 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=291528 CPUtime=6.29 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 5655 0 0 0 628 1 0 0 25 0 4 0 510548780 298524672 15020 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291528

[startup+12.701 s]
/proc/loadavg: 8.09 8.14 8.09 9/184 28174
/proc/meminfo: memFree=20665148/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=283792 CPUtime=50.71 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 40493 0 0 0 5063 8 0 0 25 0 4 0 510548780 290603008 19133 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 70948 19133 393 112 0 65913 0
[pid=28169/tid=28170] ppid=28167 vsize=283792 CPUtime=12.62 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 10874 0 0 0 1261 1 0 0 25 0 4 0 510548780 290603008 19133 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=283792 CPUtime=12.68 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 10469 0 0 0 1266 2 0 0 25 0 4 0 510548780 290603008 19133 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=283792 CPUtime=12.68 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 8495 0 0 0 1267 1 0 0 25 0 4 0 510548780 290603008 19133 33554432000 4194304 4650419 140736322702080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 283792

[startup+25.5006 s]
/proc/loadavg: 8.07 8.13 8.09 9/184 28174
/proc/meminfo: memFree=20608352/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=289436 CPUtime=101.83 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 61594 0 0 0 10170 13 0 0 25 0 4 0 510548780 296382464 24467 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 72359 24467 393 112 0 67324 0
[pid=28169/tid=28170] ppid=28167 vsize=289436 CPUtime=25.35 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 17837 0 0 0 2532 3 0 0 25 0 4 0 510548780 296382464 24467 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=289436 CPUtime=25.48 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 16444 0 0 0 2544 4 0 0 25 0 4 0 510548780 296382464 24467 33554432000 4194304 4650419 140736322702080 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=289436 CPUtime=25.48 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 11054 0 0 0 2546 2 0 0 25 0 4 0 510548780 296382464 24467 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 289436

[startup+51.1008 s]
/proc/loadavg: 8.05 8.12 8.08 9/184 28175
/proc/meminfo: memFree=20539780/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=297020 CPUtime=204.11 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 91140 0 0 0 20390 21 0 0 25 0 4 0 510548780 304148480 30101 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 74255 30101 393 112 0 69220 0
[pid=28169/tid=28170] ppid=28167 vsize=297020 CPUtime=50.82 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 27026 0 0 0 5077 5 0 0 25 0 4 0 510548780 304148480 30102 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=297020 CPUtime=51.08 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 25572 0 0 0 5102 6 0 0 25 0 4 0 510548780 304148480 30102 33554432000 4194304 4650419 140736322702080 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=297020 CPUtime=51.09 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 14186 0 0 0 5106 3 0 0 25 0 4 0 510548780 304148480 30102 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 297020

[startup+102.301 s]
/proc/loadavg: 8.02 8.10 8.08 9/184 28176
/proc/meminfo: memFree=20529960/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=299428 CPUtime=408.64 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 143341 0 0 0 40826 38 0 0 25 0 4 0 510548780 306614272 41662 33554432000 4194304 4650419 140736322702080 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 74857 41662 393 112 0 69822 0
[pid=28169/tid=28170] ppid=28167 vsize=299428 CPUtime=101.74 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 39623 0 0 0 10165 9 0 0 25 0 4 0 510548780 306614272 41662 33554432000 4194304 4650419 140736322702080 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=299428 CPUtime=102.29 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 40024 0 0 0 10217 12 0 0 25 0 4 0 510548780 306614272 41662 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=299428 CPUtime=102.29 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 23163 0 0 0 10223 6 0 0 25 0 4 0 510548780 306614272 41662 33554432000 4194304 4650419 140736322702080 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 299428

[startup+162.301 s]

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

[pid=28169] ppid=28167 vsize=542344 CPUtime=2565.69 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 420884 0 0 0 256418 151 0 0 25 0 4 0 510548780 555360256 92104 33554432000 4194304 4650419 140736322702080 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 135586 92104 393 112 0 130551 0
[pid=28169/tid=28170] ppid=28167 vsize=542344 CPUtime=638.82 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 114910 0 0 0 63845 37 0 0 25 0 4 0 510548780 555360256 92104 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=542344 CPUtime=642.3 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 111070 0 0 0 64187 43 0 0 25 0 4 0 510548780 555360256 92104 33554432000 4194304 4650419 140736322702080 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=542344 CPUtime=642.23 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 64246 0 0 0 64197 26 0 0 25 0 4 0 510548780 555360256 92104 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.69
Current children cumulated vsize (KiB) 542344

[startup+702.301 s]
/proc/loadavg: 8.12 8.11 8.08 9/184 28222
/proc/meminfo: memFree=18618012/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=546720 CPUtime=2805.35 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 438092 0 0 0 280376 159 0 0 25 0 4 0 510548780 559841280 87927 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 136680 87927 393 112 0 131645 0
[pid=28169/tid=28170] ppid=28167 vsize=546720 CPUtime=698.5 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 116709 0 0 0 69812 38 0 0 25 0 4 0 510548780 559841280 87927 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=546720 CPUtime=702.3 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 117497 0 0 0 70184 46 0 0 25 0 4 0 510548780 559841280 87927 33554432000 4194304 4650419 140736322702080 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=546720 CPUtime=702.22 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 66619 0 0 0 70195 27 0 0 25 0 4 0 510548780 559841280 87927 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 546720

[startup+762.3 s]
/proc/loadavg: 8.16 8.12 8.08 9/184 28224
/proc/meminfo: memFree=17767884/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=612556 CPUtime=3045.05 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 463617 0 0 0 304336 169 0 0 25 0 4 0 510548780 627257344 93777 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 153139 93777 393 112 0 148104 0
[pid=28169/tid=28170] ppid=28167 vsize=612556 CPUtime=758.18 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 123669 0 0 0 75778 40 0 0 25 0 4 0 510548780 627257344 93777 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=612556 CPUtime=762.31 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 123969 0 0 0 76182 49 0 0 25 0 4 0 510548780 627257344 93777 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=612556 CPUtime=762.23 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 70168 0 0 0 76194 29 0 0 25 0 4 0 510548780 627257344 93777 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 612556

[startup+822.301 s]
/proc/loadavg: 8.17 8.12 8.09 9/184 28225
/proc/meminfo: memFree=17148388/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=612788 CPUtime=3284.7 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 487100 0 0 0 328292 178 0 0 25 0 4 0 510548780 627494912 97838 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 153197 97838 393 112 0 148162 0
[pid=28169/tid=28170] ppid=28167 vsize=612788 CPUtime=817.85 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 128218 0 0 0 81744 41 0 0 25 0 4 0 510548780 627494912 97838 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=612788 CPUtime=822.31 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 130617 0 0 0 82179 52 0 0 25 0 4 0 510548780 627494912 97838 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=612788 CPUtime=822.22 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 73988 0 0 0 82191 31 0 0 25 0 4 0 510548780 627494912 97838 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 612788

[startup+882.307 s]
/proc/loadavg: 8.17 8.13 8.09 9/184 28227
/proc/meminfo: memFree=16559804/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=625676 CPUtime=3524.39 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 508395 0 0 0 352254 185 0 0 25 0 4 0 510548780 640692224 101454 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 156419 101454 393 112 0 151384 0
[pid=28169/tid=28170] ppid=28167 vsize=625676 CPUtime=877.52 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 133057 0 0 0 87710 42 0 0 25 0 4 0 510548780 640692224 101454 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=625676 CPUtime=882.31 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 138535 0 0 0 88178 53 0 0 25 0 4 0 510548780 640692224 101454 33554432000 4194304 4650419 140736322702080 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=625676 CPUtime=882.22 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 75515 0 0 0 88190 32 0 0 25 0 4 0 510548780 640692224 101454 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 625676

[startup+942.3 s]
/proc/loadavg: 8.16 8.13 8.09 9/184 28228
/proc/meminfo: memFree=16300276/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=628028 CPUtime=3764.05 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 530109 0 0 0 376211 194 0 0 25 0 4 0 510548780 643100672 104253 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 157007 104253 393 112 0 151972 0
[pid=28169/tid=28170] ppid=28167 vsize=628028 CPUtime=937.2 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 136484 0 0 0 93676 44 0 0 25 0 4 0 510548780 643100672 104253 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=628028 CPUtime=942.32 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 145232 0 0 0 94176 56 0 0 25 0 4 0 510548780 643100672 104253 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=628028 CPUtime=942.21 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 79721 0 0 0 94188 33 0 0 25 0 4 0 510548780 643100672 104253 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 628028

[startup+1002.3 s]
/proc/loadavg: 8.21 8.15 8.10 9/184 28230
/proc/meminfo: memFree=16219036/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=628264 CPUtime=4003.73 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 550187 0 0 0 400170 203 0 0 25 0 4 0 510548780 643342336 98635 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 157066 98635 393 112 0 152031 0
[pid=28169/tid=28170] ppid=28167 vsize=628264 CPUtime=996.87 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 140508 0 0 0 99641 46 0 0 25 0 4 0 510548780 643342336 98635 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=628264 CPUtime=1002.32 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 151785 0 0 0 100173 59 0 0 25 0 4 0 510548780 643342336 98635 33554432000 4194304 4650419 140736322702080 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=628264 CPUtime=1002.2 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 81026 0 0 0 100186 34 0 0 25 0 4 0 510548780 643342336 98635 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 628264

[startup+1062.3 s]
/proc/loadavg: 8.13 8.14 8.09 9/184 28231
/proc/meminfo: memFree=15936540/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=628544 CPUtime=4243.4 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 571757 0 0 0 424128 212 0 0 25 0 4 0 510548780 643629056 106412 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 157136 106412 393 112 0 152101 0
[pid=28169/tid=28170] ppid=28167 vsize=628544 CPUtime=1056.55 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 145140 0 0 0 105607 48 0 0 25 0 4 0 510548780 643629056 106412 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=628544 CPUtime=1062.32 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 157802 0 0 0 106169 63 0 0 25 0 4 0 510548780 643629056 106412 33554432000 4194304 4650419 140736322702080 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=628544 CPUtime=1062.2 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 85622 0 0 0 106184 36 0 0 25 0 4 0 510548780 643629056 106412 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 628544

[startup+1122.3 s]
/proc/loadavg: 8.09 8.12 8.09 9/184 28233
/proc/meminfo: memFree=15701648/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=633512 CPUtime=4483.06 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 588225 0 0 0 448087 219 0 0 25 0 4 0 510548780 648716288 104035 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 158378 104035 393 112 0 153343 0
[pid=28169/tid=28170] ppid=28167 vsize=633512 CPUtime=1116.21 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 146960 0 0 0 111573 48 0 0 25 0 4 0 510548780 648716288 104035 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=633512 CPUtime=1122.32 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 163073 0 0 0 112167 65 0 0 25 0 4 0 510548780 648716288 104035 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=633512 CPUtime=1122.19 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 89818 0 0 0 112182 37 0 0 25 0 4 0 510548780 648716288 104035 33554432000 4194304 4650419 140736322702080 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 633512

[startup+1182.3 s]
/proc/loadavg: 8.03 8.10 8.08 9/184 28235
/proc/meminfo: memFree=15405860/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=633680 CPUtime=4722.75 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 624352 0 0 0 472046 229 0 0 25 0 4 0 510548780 648888320 107168 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 158420 107168 393 112 0 153385 0
[pid=28169/tid=28170] ppid=28167 vsize=633680 CPUtime=1175.9 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 152732 0 0 0 117539 51 0 0 25 0 4 0 510548780 648888320 107168 33554432000 4194304 4650419 140736322702080 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=633680 CPUtime=1182.33 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 168515 0 0 0 118165 68 0 0 25 0 4 0 510548780 648888320 107168 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=633680 CPUtime=1182.19 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 108271 0 0 0 118179 40 0 0 25 0 4 0 510548780 648888320 107168 33554432000 4194304 4650419 140736322702080 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.75
Current children cumulated vsize (KiB) 633680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.02 8.09 8.08 9/184 28235
/proc/meminfo: memFree=15330588/32951124 swapFree=67111524/67111528
[pid=28169] ppid=28167 vsize=633680 CPUtime=4800.26 cores=0,2,4,6
/proc/28169/stat : 28169 (strangenight1-m) R 28167 28169 27899 0 -1 4202496 636195 0 0 0 479794 232 0 0 25 0 4 0 510548780 648888320 115641 33554432000 4194304 4650419 140736322702080 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28169/statm: 158420 115641 393 112 0 153385 0
[pid=28169/tid=28170] ppid=28167 vsize=633680 CPUtime=1195.19 cores=0,2,4,6
/proc/28169/task/28170/stat : 28170 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 153663 0 0 0 119468 51 0 0 25 0 4 0 510548780 648888320 115641 33554432000 4194304 4650419 140736322702080 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28169/tid=28171] ppid=28167 vsize=633680 CPUtime=1201.73 cores=0,2,4,6
/proc/28169/task/28171/stat : 28171 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 169640 0 0 0 120105 68 0 0 25 0 4 0 510548780 648888320 115641 33554432000 4194304 4650419 140736322702080 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28169/tid=28172] ppid=28167 vsize=633680 CPUtime=1201.59 cores=0,2,4,6
/proc/28169/task/28172/stat : 28172 (strangenight1-m) R 28167 28169 27899 0 -1 4202560 111769 0 0 0 120119 40 0 0 25 0 4 0 510548780 648888320 115641 33554432000 4194304 4650419 140736322702080 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 633680

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.31
CPU user time (s): 4797.96
CPU system time (s): 2.34364
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 687268

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

runsolver used 1.90971 second user time and 4.64529 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-30 18:35:32
IDJOB=3266337
IDBENCH=87455
IDSOLVER=1588
FILE ID=node141/3266337-1304181332
RUNJOBID= node141-1304178924-27917
PBS_JOBID= 13172451
Free space on /tmp= 72592 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_110.shuffled.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266337-1304181332/watcher-3266337-1304181332 -o /tmp/evaluation-result-3266337-1304181332/solver-3266337-1304181332 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3266337-1304181332.cnf

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

MD5SUM BENCH= 34f8b747bfe8e7b589b8832e56ae8363
RANDOM SEED=1400963587

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20718956 kB
Buffers:       1411496 kB
Cached:        8929456 kB
SwapCached:          4 kB
Active:        3920052 kB
Inactive:      7735280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20718956 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6256 kB
Writeback:           0 kB
AnonPages:     1313736 kB
Mapped:          15520 kB
Slab:           510908 kB
PageTables:       7460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1700988 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= 72508 MiB
End job on node141 at 2011-04-30 18:55:35