Trace number 3369190

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.32 1202.83

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.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369190-1305418128.cnf'
0.00/0.01	c -- header says num vars:            110
0.00/0.01	c -- header says num clauses:        1892
0.00/0.01	c -- clauses added:            0 learnts,         1892 normals,            0 xors
0.00/0.01	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.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:      52 undec:      10 neg:      48
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       110      1892         0         0      9308         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
3.17/0.81	c  N st     8      4912       110      1892         0      4659      9308    111436   no data   no data  --
3.17/0.81	c  N st    10     11296       110      1892         0      4317      9308     80577   no data   no data  --
3.17/0.81	c  N st    11     17040       110      1892         0      9703      9308    212590   no data   no data  --
3.57/0.91	c  F st    12     25003       110      1892         0     11882      9308    261389   no data   no data  --
3.57/0.91	c  N st    12     25003       110      1892         0     11882      9308    261389   no data   no data  --
4.40/1.11	c Decided on static restart strategy
4.40/1.11	c  N st    18     30000       110      1892         0     10157      9308    207002   no data   no data  --
4.40/1.11	c  S st    18     30000       110      1892         0     10157      9308    207002   no data   no data  --
4.40/1.11	c  S st    18     30504       110      1892         0     10642      9308    218448   no data   no data  --
4.40/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.40/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.76/1.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
4.76/1.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.36/1.61	c lits-rem:      2685  cl-subs:     1521  v-elim:      0  v-fix:    0  time:  1.96 s
6.36/1.64	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.14
6.36/1.64	c calculated reachability. Time: 0.00
6.36/1.64	c  N st    18     30504       110      1892         0      9121      9308    176855   no data   no data  --
7.56/1.98	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.15/2.37	c  S st    22     45757       110      1892         0     16093      9308    333077   no data   no data  --
9.54/2.42	c  S st    22     46260       110      1892         0     16579      9308    344618   no data   no data  --
9.54/2.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.54/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.54/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
9.54/2.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.34/3.60	c lits-rem:      4374  cl-subs:     1738  v-elim:      0  v-fix:    0  time:  4.66 s
14.34/3.60	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
14.34/3.60	c vivif2 --  cl tried    14841 cl shrink        0 lits rem          0 time: 0.01
14.34/3.67	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.24
14.34/3.67	c calculated reachability. Time: 0.00
14.34/3.67	c  N st    22     46260       110      1892         0     14841      9308    296582   no data   no data  --
17.14/4.36	c  N st    23     60657       110      1892         0     10643      9308    172144   no data   no data  --
19.13/4.82	c  N st    24     69391       110      1892         0     18845      9308    376895   no data   no data  --
19.13/4.82	c  S st    24     69391       110      1892         0     18845      9308    376895   no data   no data  --
19.13/4.87	c  S st    24     69891       110      1892         0     19330      9308    388473   no data   no data  --
19.13/4.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.13/4.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.13/4.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
19.13/4.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.13/4.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.13/4.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
19.13/4.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.32/6.19	c lits-rem:      4137  cl-subs:     2045  v-elim:      0  v-fix:    0  time:  5.22 s
24.32/6.19	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
24.71/6.20	c vivif2 --  cl tried    17285 cl shrink        0 lits rem          0 time: 0.01
24.71/6.26	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.26
24.71/6.26	c calculated reachability. Time: 0.00
24.71/6.26	c  N st    24     69891       110      1892         0     17285      9308    333293   no data   no data  --
29.10/7.33	c  F st    25     87500       110      1892         0     12337      9308    197563   no data   no data  --
29.10/7.33	c  N st    25     87500       110      1892         0     12337      9308    197563   no data   no data  --
30.31/7.61	c Decided on static restart strategy
30.73/7.79	c  N st    32     95544       110      1892         0     19944      9308    384437   no data   no data  --
33.09/8.38	c  N st    34    104837       110      1892         0     16498      9308    288225   no data   no data  --
33.09/8.38	c  S st    34    104837       110      1892         0     16498      9308    288225   no data   no data  --
33.49/8.43	c  S st    34    105338       110      1892         0     16984      9308    299592   no data   no data  --
33.49/8.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.49/8.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.49/8.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
33.49/8.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.49/8.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.49/8.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
33.49/8.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.88/9.54	c lits-rem:      2427  cl-subs:     1022  v-elim:      0  v-fix:    0  time:  4.39 s
37.88/9.54	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
37.88/9.54	c vivif2 --  cl tried    15962 cl shrink        0 lits rem          0 time: 0.01
38.28/9.60	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.24
38.28/9.60	c calculated reachability. Time: 0.00
38.28/9.60	c  N st    34    105338       110      1892         0     15962      9308    271760   no data   no data  --
40.68/10.22	c  N st    35    114936       110      1892         0     24977      9308    494375   no data   no data  --
44.66/11.21	c  N st    36    129335       110      1892         0     25287      9308    471884   no data   no data  --
51.06/12.81	c  N st    37    150930       110      1892         0     16503      9308    242254   no data   no data  --
52.68/13.27	c  S st    38    158008       110      1892         0     23151      9308    406588   no data   no data  --
53.04/13.33	c  S st    38    158513       110      1892         0     23640      9308    417879   no data   no data  --
53.04/13.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.04/13.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.04/13.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
53.04/13.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.04/13.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.04/13.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
53.04/13.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
58.23/14.64	c lits-rem:      3832  cl-subs:     1788  v-elim:      0  v-fix:    0  time:  5.18 s
58.23/14.64	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
58.23/14.65	c vivif2 --  cl tried    21852 cl shrink        0 lits rem          0 time: 0.01
58.63/14.72	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.30
58.63/14.72	c calculated reachability. Time: 0.00
58.63/14.72	c  N st    38    158513       110      1892         0     21852      9308    368735   no data   no data  --
74.63/18.76	c  N st    39    207101       110      1892         0     34427      9308    631334   no data   no data  --
85.78/21.51	c  N st    40    237770       110      1892         0     26721      9308    440606   no data   no data  --
85.78/21.51	c  S st    40    237770       110      1892         0     26721      9308    440606   no data   no data  --
85.78/21.58	c  S st    40    238272       110      1892         0     27206      9308    452220   no data   no data  --
85.78/21.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.78/21.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.78/21.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
86.18/21.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.18/21.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.18/21.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
86.18/21.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.78/23.09	c lits-rem:      3302  cl-subs:     2210  v-elim:      0  v-fix:    0  time:  5.97 s
91.78/23.09	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
91.78/23.10	c vivif2 --  cl tried    24996 cl shrink        0 lits rem          0 time: 0.02
92.20/23.19	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.36
92.20/23.19	c calculated reachability. Time: 0.00
92.20/23.19	c  N st    40    238272       110      1892         0     24996      9308    401245   no data   no data  --
118.89/29.83	c  F st    41    306250       110      1892         0     26849      9308    404207   no data   no data  --
118.89/29.83	c  N st    41    306250       110      1892         0     26849      9308    404207   no data   no data  --
120.49/30.29	c Decided on static restart strategy
130.08/32.65	c  N st    51    334552       110      1892         0     31116      9308    487725   no data   no data  --
139.65/35.09	c  N st    53    357408       110      1892         0     29108      9308    428695   no data   no data  --
139.65/35.09	c  S st    53    357408       110      1892         0     29108      9308    428695   no data   no data  --
140.07/35.16	c  S st    53    357911       110      1892         0     29589      9308    440497   no data   no data  --
140.07/35.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
140.07/35.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.07/35.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
140.07/35.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.07/35.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.07/35.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
140.07/35.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
145.24/36.43	c lits-rem:      2690  cl-subs:     1326  v-elim:      0  v-fix:    0  time:  4.99 s
145.24/36.43	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
145.24/36.44	c vivif2 --  cl tried    28263 cl shrink        0 lits rem          0 time: 0.02
145.64/36.54	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.41
145.64/36.54	c calculated reachability. Time: 0.00
145.64/36.54	c  N st    53    357911       110      1892         0     28263      9308    408651   no data   no data  --
160.40/40.24	c  N st    54    390303       110      1892         0     34407      9308    556959   no data   no data  --
185.14/46.48	c  N st    55    438893       110      1892         0     28272      9308    372874   no data   no data  --
221.86/55.67	c  N st    56    511776       110      1892         0     41235      9308    664305   no data   no data  --
236.65/59.37	c  N st    57    536866       110      1892         0     35738      9308    513600   no data   no data  --
236.65/59.37	c  S st    57    536866       110      1892         0     35738      9308    513600   no data   no data  --
237.06/59.47	c  S st    57    537368       110      1892         0     36228      9308    525271   no data   no data  --
237.06/59.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
237.06/59.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
237.06/59.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
237.42/59.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
237.42/59.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
237.42/59.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
237.42/59.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
244.21/61.20	c lits-rem:      2489  cl-subs:     1507  v-elim:      0  v-fix:    0  time:  6.78 s
244.21/61.20	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
244.21/61.20	c vivif2 --  cl tried    34721 cl shrink        0 lits rem          0 time: 0.02
244.61/61.34	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.53
244.61/61.34	c calculated reachability. Time: 0.00
244.61/61.34	c  N st    57    537368       110      1892         0     34721      9308    487535   no data   no data  --
334.00/83.71	c  N st    58    701353       110      1892         0     62568      9308   1093269   no data   no data  --
394.26/98.85	c  N st    59    806054       110      1892         0     56680      9308    918788   no data   no data  --
394.26/98.85	c  S st    59    806054       110      1892         0     56680      9308    918788   no data   no data  --
394.68/99.00	c  S st    59    806554       110      1892         0     57154      9308    930053   no data   no data  --
395.09/99.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
395.09/99.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
395.09/99.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
395.09/99.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
395.09/99.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
395.09/99.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
395.09/99.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
418.60/104.93	c lits-rem:      3413  cl-subs:     5573  v-elim:      0  v-fix:    0  time: 23.44 s
418.60/104.93	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
418.60/104.94	c vivif2 --  cl tried    51581 cl shrink        0 lits rem          0 time: 0.04
419.81/105.21	c asymm  cl-useful: 0/1841/1892 lits-rem:0 time: 1.09
419.81/105.22	c calculated reachability. Time: 0.00
419.81/105.22	c  N st    59    806554       110      1892         0     51581      9308    806500   no data   no data  --
584.22/146.47	c  F st    60   1071876       110      1892         0     66843      9308   1076245   no data   no data  --
584.22/146.47	c  N st    60   1071876       110      1892         0     66843      9308   1076245   no data   no data  --
589.42/147.73	c Decided on static restart strategy
609.79/152.84	c  N st    70   1100187       110      1892         0     51625      9308    714547   no data   no data  --
638.51/160.07	c  N st    72   1136182       110      1892         0     85300      9308   1515631   no data   no data  --
661.65/165.89	c  N st    73   1168574       110      1892         0     72816      9308   1236996   no data   no data  --
693.62/173.83	c  N st    74   1209831       110      1892         0     67446      9308   1064952   no data   no data  --
693.62/173.83	c  S st    74   1209831       110      1892         0     67446      9308   1064952   no data   no data  --
694.37/174.05	c  S st    74   1210333       110      1892         0     67931      9308   1076887   no data   no data  --
694.37/174.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
694.37/174.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
694.37/174.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
694.78/174.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
694.78/174.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
694.78/174.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
694.78/174.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
722.72/181.16	c lits-rem:      2325  cl-subs:     5830  v-elim:      0  v-fix:    0  time: 28.10 s
722.72/181.16	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
722.72/181.17	c vivif2 --  cl tried    62101 cl shrink        0 lits rem          0 time: 0.05
724.34/181.56	c asymm  cl-useful: 0/1547/1892 lits-rem:0 time: 1.53
724.34/181.56	c calculated reachability. Time: 0.00
724.34/181.56	c  N st    74   1210333       110      1892         0     62101      9308    941560   no data   no data  --
794.16/199.04	c  N st    75   1283217       110      1892         0     85304      9308   1436963   no data   no data  --
910.68/228.20	c  N st    76   1392540       110      1892         0     94680      9308   1597721   no data   no data  --
1052.36/263.71	c  N st    77   1556525       110      1892         0     52077      9308    602180   no data   no data  --
1188.44/297.86	c  N st    78   1710333       110      1892         0     91861      9308   1518634   no data   no data  --
1188.44/297.86	c  S st    78   1710333       110      1892         0     91861      9308   1518634   no data   no data  --
1189.67/298.16	c  S st    78   1710836       110      1892         0     92343      9308   1530086   no data   no data  --
1189.67/298.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1189.67/298.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1190.03/298.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
1190.03/298.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1190.03/298.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1190.03/298.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
1190.03/298.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1276.65/319.91	c lits-rem:      1446  cl-subs:     9938  v-elim:      0  v-fix:    0  time: 86.38 s
1276.65/319.91	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
1276.65/319.93	c vivif2 --  cl tried    82405 cl shrink        0 lits rem          0 time: 0.08
1278.23/320.37	c asymm  cl-useful: 0/1214/1892 lits-rem:0 time: 1.76
1278.23/320.38	c calculated reachability. Time: 0.00
1278.23/320.38	c  N st    78   1710836       110      1892         0     82405      9308   1315242   no data   no data  --
1689.71/423.43	c  N st    79   2079800       110      1892         0     93953      9308   1530048   no data   no data  --
1818.19/455.70	c  N st    80   2210836       110      1892         0     98251      9308   1584048   no data   no data  --
1818.19/455.70	c  S st    80   2210836       110      1892         0     98251      9308   1584048   no data   no data  --
1819.79/456.01	c  S st    80   2211338       110      1892         0     98740      9308   1596275   no data   no data  --
1819.79/456.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1819.79/456.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1819.79/456.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
1820.20/456.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1820.20/456.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1820.20/456.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
1820.20/456.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1892.07/474.11	c lits-rem:      4605  cl-subs:     8654  v-elim:      0  v-fix:    0  time: 71.77 s
1892.07/474.11	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
1892.07/474.13	c vivif2 --  cl tried    90086 cl shrink        0 lits rem          0 time: 0.07
1892.83/474.36	c asymm  cl-useful: 0/678/1892 lits-rem:0 time: 0.93
1892.83/474.37	c calculated reachability. Time: 0.00
1892.83/474.37	c  N st    80   2211338       110      1892         0     90086      9308   1405958   no data   no data  --
2445.96/612.90	c  N st    81   2711340       110      1892         0    112616      9308   1842827   no data   no data  --
2445.96/612.90	c  S st    81   2711340       110      1892         0    112616      9308   1842827   no data   no data  --
2447.56/613.30	c  S st    81   2711843       110      1892         0    113105      9308   1854885   no data   no data  --
2447.56/613.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2447.56/613.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2447.56/613.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2447.96/613.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2447.96/613.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2447.96/613.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
2447.96/613.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2574.06/645.08	c lits-rem:      3053  cl-subs:    12319  v-elim:      0  v-fix:    0  time: 126.31 s
2574.06/645.08	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
2574.46/645.10	c vivif2 --  cl tried   100786 cl shrink        0 lits rem          0 time: 0.08
2575.66/645.45	c asymm  cl-useful: 0/998/1892 lits-rem:0 time: 1.41
2575.66/645.46	c calculated reachability. Time: 0.00
2575.66/645.46	c  N st    81   2711843       110      1892         0    100786      9308   1587876   no data   no data  --
3221.82/807.35	c  N st    82   3211844       110      1892         0     78296      9308    918205   no data   no data  --
3221.82/807.35	c  S st    82   3211844       110      1892         0     78296      9308    918205   no data   no data  --
3222.59/807.59	c  S st    82   3212345       110      1892         0     78784      9308    930459   no data   no data  --
3222.59/807.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3222.59/807.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3222.99/807.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3222.99/807.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3222.99/807.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3222.99/807.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
3222.99/807.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3242.95/812.62	c lits-rem:       816  cl-subs:     1641  v-elim:      0  v-fix:    0  time: 19.81 s
3242.95/812.62	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
3242.95/812.63	c vivif2 --  cl tried    77143 cl shrink        0 lits rem          0 time: 0.05
3243.76/812.86	c asymm  cl-useful: 0/894/1892 lits-rem:0 time: 0.93
3243.76/812.87	c calculated reachability. Time: 0.00
3243.76/812.87	c  N st    82   3212345       110      1892         0     77143      9308    896327   no data   no data  --
3907.45/979.16	c  N st    83   3712346       110      1892         0     87473      9308   1062171   no data   no data  --
3907.45/979.16	c  S st    83   3712346       110      1892         0     87473      9308   1062171   no data   no data  --
3908.65/979.44	c  S st    83   3712850       110      1892         0     87961      9308   1074163   no data   no data  --
3908.65/979.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3908.65/979.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3908.65/979.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3909.05/979.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3909.05/979.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3909.05/979.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
3909.05/979.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3941.38/987.62	c lits-rem:      1308  cl-subs:     2447  v-elim:      0  v-fix:    0  time: 32.33 s
3941.38/987.62	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
3941.38/987.63	c vivif2 --  cl tried    85514 cl shrink        0 lits rem          0 time: 0.06
3942.57/987.95	c asymm  cl-useful: 0/1128/1892 lits-rem:0 time: 1.27
3942.57/987.96	c calculated reachability. Time: 0.00
3942.57/987.96	c  N st    83   3712850       110      1892         0     85514      9308   1022454   no data   no data  --
3990.86/1000.00	c  F st    84   3751565       110      1892         0    121587      9308   1919087   no data   no data  --
3990.86/1000.00	c  N st    84   3751565       110      1892         0    121587      9308   1919087   no data   no data  --
3999.64/1002.23	c Decided on static restart strategy
4042.76/1013.10	c  N st    94   3779868       110      1892         0    148138      9308   2576214   no data   no data  --
4095.03/1026.19	c  N st    96   3815863       110      1892         0    102785      9308   1438717   no data   no data  --
4147.71/1039.31	c  N st    97   3848256       110      1892         0    133190      9308   2178762   no data   no data  --
4245.89/1063.94	c  N st    98   3896845       110      1892         0     98355      9308   1302171   no data   no data  --
4369.61/1094.98	c  N st    99   3969729       110      1892         0     84966      9308    960462   no data   no data  --
4552.02/1140.61	c  N st   100   4079053       110      1892         0    104629      9308   1427578   no data   no data  --
4779.09/1197.51	c  N st   101   4212851       110      1892         0    146269      9308   2387356   no data   no data  --
4779.09/1197.51	c  S st   101   4212851       110      1892         0    146269      9308   2387356   no data   no data  --
4781.08/1198.08	c  S st   101   4213353       110      1892         0    146753      9308   2399405   no data   no data  --
4781.08/1198.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4781.08/1198.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4781.48/1198.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.30
4781.89/1198.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4781.89/1198.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4781.89/1198.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
4781.89/1198.24	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-3369190-1305418128/watcher-3369190-1305418128 -o /tmp/evaluation-result-3369190-1305418128/solver-3369190-1305418128 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369190-1305418128.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: 7.38 7.95 7.65 5/291 3238
/proc/meminfo: memFree=28845076/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 653410777 52465664 352 33554432000 4194304 4650419 140737432567840 18446744073709551615 47405874636722 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 12809 352 303 112 0 7774 0
[pid=3238/tid=3239] ppid=3236 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653410777 52465664 352 33554432000 4194304 4650419 140737432567840 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653410777 52465664 352 33554432000 4194304 4650419 140737432567840 18446744073709551615 47405874636722 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653410777 52465664 352 33554432000 4194304 4650419 140737432567840 18446744073709551615 47405874636722 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0897509 s]
/proc/loadavg: 7.38 7.95 7.65 5/291 3238
/proc/meminfo: memFree=28845076/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=282428 CPUtime=0.33 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 1635 0 0 0 33 0 0 0 18 0 4 0 653410777 289206272 1507 33554432000 4194304 4650419 140737432567840 18446744073709551615 4310421 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 70607 1508 389 112 0 65572 0
[pid=3238/tid=3239] ppid=3236 vsize=282428 CPUtime=0.07 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 332 0 0 0 7 0 0 0 25 0 4 0 653410777 289206272 1508 33554432000 4194304 4650419 140737432567840 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=282428 CPUtime=0.08 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 317 0 0 0 8 0 0 0 18 0 4 0 653410777 289206272 1508 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=282428 CPUtime=0.08 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 217 0 0 0 8 0 0 0 18 0 4 0 653410777 289206272 1508 33554432000 4194304 4650419 140737432567840 18446744073709551615 228122374853 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 282428

[startup+0.124018 s]
/proc/loadavg: 7.38 7.95 7.65 5/291 3238
/proc/meminfo: memFree=28845076/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=283100 CPUtime=0.47 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 1934 0 0 0 47 0 0 0 18 0 4 0 653410777 289894400 1669 33554432000 4194304 4650419 140737432567840 18446744073709551615 4339895 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 70775 1669 391 112 0 65740 0
[pid=3238/tid=3239] ppid=3236 vsize=283100 CPUtime=0.11 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 389 0 0 0 11 0 0 0 25 0 4 0 653410777 289894400 1669 33554432000 4194304 4650419 140737432567840 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=283100 CPUtime=0.11 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 368 0 0 0 11 0 0 0 18 0 4 0 653410777 289894400 1669 33554432000 4194304 4650419 140737432567840 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=283100 CPUtime=0.11 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 368 0 0 0 11 0 0 0 18 0 4 0 653410777 289894400 1669 33554432000 4194304 4650419 140737432567840 18446744073709551615 228122757255 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 283100

[startup+0.300687 s]
/proc/loadavg: 7.38 7.95 7.65 5/291 3238
/proc/meminfo: memFree=28845076/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=283992 CPUtime=1.17 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 3053 0 0 0 117 0 0 0 18 0 4 0 653410777 290807808 2153 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 70998 2153 391 112 0 65963 0
[pid=3238/tid=3239] ppid=3236 vsize=283992 CPUtime=0.28 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 792 0 0 0 28 0 0 0 25 0 4 0 653410777 290807808 2153 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=283992 CPUtime=0.29 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 641 0 0 0 29 0 0 0 18 0 4 0 653410777 290807808 2153 33554432000 4194304 4650419 140737432567840 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=283992 CPUtime=0.29 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 536 0 0 0 29 0 0 0 18 0 4 0 653410777 290807808 2153 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366928 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) 283992

[startup+0.700615 s]
/proc/loadavg: 7.38 7.95 7.65 5/291 3238
/proc/meminfo: memFree=28845076/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=285152 CPUtime=2.77 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 5213 0 0 0 277 0 0 0 18 0 4 0 653410777 291995648 2579 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 71288 2579 391 112 0 66253 0
[pid=3238/tid=3239] ppid=3236 vsize=285152 CPUtime=0.68 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 1257 0 0 0 68 0 0 0 25 0 4 0 653410777 291995648 2579 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=285152 CPUtime=0.69 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 1205 0 0 0 69 0 0 0 18 0 4 0 653410777 291995648 2579 33554432000 4194304 4650419 140737432567840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=285152 CPUtime=0.69 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 1057 0 0 0 69 0 0 0 18 0 4 0 653410777 291995648 2579 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366831 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) 285152

[startup+1.50047 s]
/proc/loadavg: 7.38 7.95 7.65 9/295 3242
/proc/meminfo: memFree=28841324/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=286392 CPUtime=5.96 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 10256 0 0 0 595 1 0 0 20 0 4 0 653410777 293265408 5575 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 71598 5575 393 112 0 66563 0
[pid=3238/tid=3239] ppid=3236 vsize=286392 CPUtime=1.47 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 2797 0 0 0 147 0 0 0 25 0 4 0 653410777 293265408 5575 33554432000 4194304 4650419 140737432567840 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=286392 CPUtime=1.49 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 2071 0 0 0 149 0 0 0 20 0 4 0 653410777 293265408 5575 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=286392 CPUtime=1.48 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 1873 0 0 0 148 0 0 0 20 0 4 0 653410777 293265408 5575 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 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) 286392

[startup+3.10118 s]
/proc/loadavg: 7.38 7.95 7.65 9/295 3243
/proc/meminfo: memFree=28825204/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=291080 CPUtime=12.35 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 17356 0 0 0 1233 2 0 0 25 0 4 0 653410777 298065920 10635 33554432000 4194304 4650419 140737432567840 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 72770 10635 393 112 0 67735 0
[pid=3238/tid=3239] ppid=3236 vsize=291080 CPUtime=3.06 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 3908 0 0 0 306 0 0 0 25 0 4 0 653410777 298065920 10635 33554432000 4194304 4650419 140737432567840 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=291080 CPUtime=3.08 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 4181 0 0 0 308 0 0 0 25 0 4 0 653410777 298065920 10635 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=291080 CPUtime=3.09 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 4225 0 0 0 308 1 0 0 25 0 4 0 653410777 298065920 10635 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365327 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) 291080

[startup+6.3006 s]
/proc/loadavg: 7.43 7.95 7.65 9/295 3243
/proc/meminfo: memFree=28807404/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=306240 CPUtime=25.11 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 26752 0 0 0 2506 5 0 0 25 0 4 0 653410777 313589760 15174 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 76560 15175 393 112 0 71525 0
[pid=3238/tid=3239] ppid=3236 vsize=306240 CPUtime=6.23 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 6275 0 0 0 622 1 0 0 25 0 4 0 653410777 313589760 15175 33554432000 4194304 4650419 140737432567840 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=306240 CPUtime=6.29 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 7434 0 0 0 628 1 0 0 25 0 4 0 653410777 313589760 15175 33554432000 4194304 4650419 140737432567840 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=306240 CPUtime=6.29 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 5862 0 0 0 627 2 0 0 25 0 4 0 653410777 313589760 15175 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 306240

[startup+12.7004 s]
/proc/loadavg: 7.56 7.97 7.66 9/295 3243
/proc/meminfo: memFree=28777420/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=306976 CPUtime=50.65 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 39884 0 0 0 5058 7 0 0 25 0 4 0 653410777 314343424 19100 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 76744 19100 393 112 0 71709 0
[pid=3238/tid=3239] ppid=3236 vsize=306976 CPUtime=12.57 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 9635 0 0 0 1256 1 0 0 25 0 4 0 653410777 314343424 19100 33554432000 4194304 4650419 140737432567840 18446744073709551615 4360452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=306976 CPUtime=12.69 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 10920 0 0 0 1267 2 0 0 25 0 4 0 653410777 314343424 19100 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=306976 CPUtime=12.69 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 8426 0 0 0 1267 2 0 0 25 0 4 0 653410777 314343424 19100 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 306976

[startup+25.5011 s]
/proc/loadavg: 7.74 7.98 7.67 9/295 3243
/proc/meminfo: memFree=28753332/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=320140 CPUtime=101.73 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 60026 0 0 0 10162 11 0 0 25 0 4 0 653410777 327823360 25496 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 80035 25496 393 112 0 75000 0
[pid=3238/tid=3239] ppid=3236 vsize=320140 CPUtime=25.25 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 15630 0 0 0 2523 2 0 0 25 0 4 0 653410777 327823360 25496 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=320140 CPUtime=25.48 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 17066 0 0 0 2545 3 0 0 25 0 4 0 653410777 327823360 25496 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=320140 CPUtime=25.49 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 11019 0 0 0 2546 3 0 0 25 0 4 0 653410777 327823360 25496 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 320140

[startup+51.1005 s]
/proc/loadavg: 7.82 7.98 7.68 9/295 3244
/proc/meminfo: memFree=28775884/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=303052 CPUtime=203.9 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 87554 0 0 0 20372 18 0 0 25 0 4 0 653410777 310325248 28959 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 75763 28959 393 112 0 70728 0
[pid=3238/tid=3239] ppid=3236 vsize=303052 CPUtime=50.62 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 24140 0 0 0 5058 4 0 0 25 0 4 0 653410777 310325248 28959 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=303052 CPUtime=51.09 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 26975 0 0 0 5103 6 0 0 25 0 4 0 653410777 310325248 28959 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=303052 CPUtime=51.08 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 13291 0 0 0 5105 3 0 0 25 0 4 0 653410777 310325248 28960 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 303052

[startup+102.311 s]
/proc/loadavg: 8.02 8.01 7.70 9/295 3248
/proc/meminfo: memFree=28677784/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=328928 CPUtime=408.27 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 140013 0 0 0 40793 34 0 0 25 0 4 0 653410777 336822272 42307 33554432000 4194304 4650419 140737432567840 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 82232 42307 393 112 0 77197 0
[pid=3238/tid=3239] ppid=3236 vsize=328928 CPUtime=101.36 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 37802 0 0 0 10128 8 0 0 25 0 4 0 653410777 336822272 42307 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=328928 CPUtime=102.3 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 39208 0 0 0 10219 11 0 0 25 0 4 0 653410777 336822272 42307 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=328928 CPUtime=102.29 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 24793 0 0 0 10223 6 0 0 25 0 4 0 653410777 336822272 42307 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 328928

[startup+162.3 s]

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

[pid=3238] ppid=3236 vsize=520096 CPUtime=2563.31 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 409520 0 0 0 256182 149 0 0 25 0 4 0 653410777 532578304 83792 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 130024 83792 393 112 0 124989 0
[pid=3238/tid=3239] ppid=3236 vsize=520096 CPUtime=636.46 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 108172 0 0 0 63609 37 0 0 25 0 4 0 653410777 532578304 83792 33554432000 4194304 4650419 140737432567840 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=520096 CPUtime=642.31 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 112975 0 0 0 64189 42 0 0 25 0 4 0 653410777 532578304 83792 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=520096 CPUtime=642.32 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 63958 0 0 0 64207 25 0 0 25 0 4 0 653410777 532578304 83792 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.31
Current children cumulated vsize (KiB) 520096

[startup+702.301 s]
/proc/loadavg: 6.05 7.52 7.67 5/286 3284
/proc/meminfo: memFree=28984236/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=454760 CPUtime=2802.74 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 425683 0 0 0 280116 158 0 0 25 0 4 0 653410777 465674240 85309 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 113690 85309 393 112 0 108655 0
[pid=3238/tid=3239] ppid=3236 vsize=454760 CPUtime=695.92 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 111151 0 0 0 69554 38 0 0 25 0 4 0 653410777 465674240 85309 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=454760 CPUtime=702.3 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 119764 0 0 0 70185 45 0 0 25 0 4 0 653410777 465674240 85309 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=454760 CPUtime=702.31 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 63963 0 0 0 70206 25 0 0 25 0 4 0 653410777 465674240 85309 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.74
Current children cumulated vsize (KiB) 454760

[startup+762.311 s]
/proc/loadavg: 4.80 6.89 7.45 5/286 3286
/proc/meminfo: memFree=28966716/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=479896 CPUtime=3042.24 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 447379 0 0 0 304054 170 0 0 25 0 4 0 653410777 491413504 89478 33554432000 4194304 4650419 140737432567840 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 119974 89478 393 112 0 114939 0
[pid=3238/tid=3239] ppid=3236 vsize=479896 CPUtime=755.38 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 118075 0 0 0 75496 42 0 0 25 0 4 0 653410777 491413504 89478 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=479896 CPUtime=762.31 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 123494 0 0 0 76185 46 0 0 25 0 4 0 653410777 491413504 89478 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=479896 CPUtime=762.32 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 66695 0 0 0 76205 27 0 0 25 0 4 0 653410777 491413504 89478 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.24
Current children cumulated vsize (KiB) 479896

[startup+822.301 s]
/proc/loadavg: 4.34 6.38 7.23 5/286 3287
/proc/meminfo: memFree=28949048/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=542624 CPUtime=3281.67 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 473941 0 0 0 327985 182 0 0 25 0 4 0 653410777 555646976 94250 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 135656 94250 393 112 0 130621 0
[pid=3238/tid=3239] ppid=3236 vsize=542624 CPUtime=814.83 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 126531 0 0 0 81437 46 0 0 25 0 4 0 653410777 555646976 94250 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=542624 CPUtime=822.3 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 130054 0 0 0 82181 49 0 0 25 0 4 0 653410777 555646976 94250 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=542624 CPUtime=822.31 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 70536 0 0 0 82203 28 0 0 25 0 4 0 653410777 555646976 94250 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.67
Current children cumulated vsize (KiB) 542624

[startup+882.301 s]
/proc/loadavg: 4.12 5.94 7.03 5/286 3289
/proc/meminfo: memFree=28942080/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=542860 CPUtime=3521.12 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 495531 0 0 0 351919 193 0 0 25 0 4 0 653410777 555888640 95702 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 135715 95702 393 112 0 130680 0
[pid=3238/tid=3239] ppid=3236 vsize=542860 CPUtime=874.28 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 132072 0 0 0 87379 49 0 0 25 0 4 0 653410777 555888640 95702 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=542860 CPUtime=882.31 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 136629 0 0 0 88179 52 0 0 25 0 4 0 653410777 555888640 95702 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=542860 CPUtime=882.31 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 73430 0 0 0 88202 29 0 0 25 0 4 0 653410777 555888640 95702 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.12
Current children cumulated vsize (KiB) 542860

[startup+942.3 s]
/proc/loadavg: 4.04 5.59 6.83 5/286 3291
/proc/meminfo: memFree=28951452/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=572552 CPUtime=3760.58 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 519395 0 0 0 375850 208 0 0 25 0 4 0 653410777 586293248 93732 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 143138 93732 393 112 0 138103 0
[pid=3238/tid=3239] ppid=3236 vsize=572552 CPUtime=933.74 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 139157 0 0 0 93321 53 0 0 25 0 4 0 653410777 586293248 93732 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=572552 CPUtime=942.31 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 144081 0 0 0 94174 57 0 0 25 0 4 0 653410777 586293248 93732 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=572552 CPUtime=942.31 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 75451 0 0 0 94201 30 0 0 25 0 4 0 653410777 586293248 93732 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.58
Current children cumulated vsize (KiB) 572552

[startup+1002.3 s]
/proc/loadavg: 4.01 5.29 6.65 5/286 3292
/proc/meminfo: memFree=28948188/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=519520 CPUtime=4000.04 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 543756 0 0 0 399781 223 0 0 25 0 4 0 653410777 531988480 94384 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 129880 94384 393 112 0 124845 0
[pid=3238/tid=3239] ppid=3236 vsize=519520 CPUtime=993.2 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 145302 0 0 0 99263 57 0 0 25 0 4 0 653410777 531988480 94384 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=519520 CPUtime=1002.31 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 150637 0 0 0 100169 62 0 0 25 0 4 0 653410777 531988480 94384 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=519520 CPUtime=1002.31 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 79276 0 0 0 100198 33 0 0 25 0 4 0 653410777 531988480 94384 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.04
Current children cumulated vsize (KiB) 519520

[startup+1062.3 s]
/proc/loadavg: 4.00 5.06 6.49 5/286 3294
/proc/meminfo: memFree=28926228/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=544496 CPUtime=4239.5 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 565648 0 0 0 423717 233 0 0 25 0 4 0 653410777 557563904 99905 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 136124 99905 393 112 0 131089 0
[pid=3238/tid=3239] ppid=3236 vsize=544496 CPUtime=1052.66 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 150881 0 0 0 105207 59 0 0 25 0 4 0 653410777 557563904 99905 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=544496 CPUtime=1062.32 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 156241 0 0 0 106168 64 0 0 25 0 4 0 653410777 557563904 99905 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=544496 CPUtime=1062.32 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 84092 0 0 0 106196 36 0 0 25 0 4 0 653410777 557563904 99905 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.5
Current children cumulated vsize (KiB) 544496

[startup+1122.3 s]
/proc/loadavg: 4.00 4.86 6.33 5/286 3295
/proc/meminfo: memFree=28899660/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=610140 CPUtime=4478.97 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 585774 0 0 0 447654 243 0 0 25 0 4 0 653410777 624783360 106536 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 152535 106536 393 112 0 147500 0
[pid=3238/tid=3239] ppid=3236 vsize=610140 CPUtime=1112.11 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 155543 0 0 0 111149 62 0 0 25 0 4 0 653410777 624783360 106536 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=610140 CPUtime=1122.31 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 160729 0 0 0 112165 66 0 0 25 0 4 0 653410777 624783360 106536 33554432000 4194304 4650419 140737432567840 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=610140 CPUtime=1122.32 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 90000 0 0 0 112195 37 0 0 25 0 4 0 653410777 624783360 106536 33554432000 4194304 4650419 140737432567840 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.97
Current children cumulated vsize (KiB) 610140

[startup+1182.3 s]
/proc/loadavg: 4.00 4.70 6.18 5/286 3297
/proc/meminfo: memFree=28919216/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=612840 CPUtime=4718.43 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 600885 0 0 0 471593 250 0 0 25 0 4 0 653410777 627548160 101515 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 153210 101515 393 112 0 148175 0
[pid=3238/tid=3239] ppid=3236 vsize=612840 CPUtime=1171.57 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 159308 0 0 0 117092 65 0 0 25 0 4 0 653410777 627548160 101515 33554432000 4194304 4650419 140737432567840 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=612840 CPUtime=1182.31 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 163553 0 0 0 118164 67 0 0 25 0 4 0 653410777 627548160 101515 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=612840 CPUtime=1182.32 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 92319 0 0 0 118194 38 0 0 25 0 4 0 653410777 627548160 101515 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.43
Current children cumulated vsize (KiB) 612840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 4.00 4.66 6.13 5/286 3298
/proc/meminfo: memFree=28888084/32951124 swapFree=54427468/67111528
[pid=3238] ppid=3236 vsize=612840 CPUtime=4800.26 cores=1,3,5,7
/proc/3238/stat : 3238 (strangenight1-m) R 3236 3238 2611 0 -1 4202496 609222 0 0 0 479772 254 0 0 25 0 4 0 653410777 627548160 109163 33554432000 4194304 4650419 140737432567840 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3238/statm: 153210 109163 393 112 0 148175 0
[pid=3238/tid=3239] ppid=3236 vsize=612840 CPUtime=1191.88 cores=1,3,5,7
/proc/3238/task/3239/stat : 3239 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 159962 0 0 0 119123 65 0 0 25 0 4 0 653410777 627548160 109163 33554432000 4194304 4650419 140737432567840 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3238/tid=3240] ppid=3236 vsize=612840 CPUtime=1202.82 cores=1,3,5,7
/proc/3238/task/3240/stat : 3240 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 164706 0 0 0 120214 68 0 0 25 0 4 0 653410777 627548160 109163 33554432000 4194304 4650419 140737432567840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3238/tid=3241] ppid=3236 vsize=612840 CPUtime=1202.83 cores=1,3,5,7
/proc/3238/task/3241/stat : 3241 (strangenight1-m) R 3236 3238 2611 0 -1 4202560 92760 0 0 0 120245 38 0 0 25 0 4 0 653410777 627548160 109163 33554432000 4194304 4650419 140737432567840 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 612840

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): 1202.83
CPU time (s): 4800.32
CPU user time (s): 4797.76
CPU system time (s): 2.55761
CPU usage (%): 399.084
Max. virtual memory (cumulated for all children) (KiB): 675716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.76
system time used= 2.55761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 609223
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= 369
involuntary context switches= 27808

runsolver used 3.04854 second user time and 7.9108 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-15 02:08:48
IDJOB=3369190
IDBENCH=87455
IDSOLVER=1846
FILE ID=node138/3369190-1305418128
RUNJOBID= node138-1305415164-2630
PBS_JOBID= 13324560
Free space on /tmp= 73336 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369190-1305418128/watcher-3369190-1305418128 -o /tmp/evaluation-result-3369190-1305418128/solver-3369190-1305418128 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369190-1305418128.cnf

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

MD5SUM BENCH= 34f8b747bfe8e7b589b8832e56ae8363
RANDOM SEED=2075431662

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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:      28845356 kB
Buffers:        254036 kB
Cached:        3141244 kB
SwapCached:      18472 kB
Active:        1340304 kB
Inactive:      2550288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28845356 kB
SwapTotal:    67111528 kB
SwapFree:     54427468 kB
Dirty:            6288 kB
Writeback:           0 kB
AnonPages:      487548 kB
Mapped:           9748 kB
Slab:           111016 kB
PageTables:      40884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 40085204 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= 73340 MiB
End job on node138 at 2011-05-15 02:28:53