Trace number 3368876

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.42 1203.14

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf
MD5SUM871f75d4bb41b463ca12a7a8837d201b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.057991
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
Number of clauses of size over 50

Solver Data 

0.00/0.00	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-3368876-1305405160.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1.17/0.33	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.33	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.17/0.33	c calculated reachability. Time: 0.00
1.17/0.33	c Calc default polars -  time:   0.00 s pos:      71 undec:       5 neg:      49
1.17/0.33	c =========================================================================================
1.17/0.33	c types(t): F = full restart, N = normal restart
1.17/0.33	c types(t): S = simplification begin/end, E = solution found
1.17/0.33	c restart types(rt): st = static, dy = dynamic
1.17/0.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/0.33	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
1.17/0.33	c Decided on static restart strategy
1.17/0.33	c  N st     8      4915       125      2662         0      4671     13310    119185   no data   no data  --
3.58/0.90	c  N st    10     11301       125      2662         0      4313     13310     88634   no data   no data  --
3.58/0.90	c  N st    11     17044       125      2662         0      9674     13310    232660   no data   no data  --
3.58/0.90	c  F st    12     25000       125      2662         0     11905     13310    283358   no data   no data  --
3.58/0.90	c  N st    12     25000       125      2662         0     11905     13310    283358   no data   no data  --
3.99/1.10	c Decided on static restart strategy
3.99/1.10	c  N st    18     30002       125      2662         0     10215     13310    230382   no data   no data  --
3.99/1.10	c  S st    18     30002       125      2662         0     10215     13310    230382   no data   no data  --
4.76/1.20	c  S st    18     30504       125      2662         0     10700     13310    243025   no data   no data  --
4.76/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.76/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.76/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.76/1.78	c lits-rem:      2481  cl-subs:     1348  v-elim:      0  v-fix:    0  time:  2.66 s
7.16/1.83	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.18
7.16/1.83	c calculated reachability. Time: 0.00
7.16/1.83	c  N st    18     30504       125      2662         0      9352     13310    202392   no data   no data  --
8.38/2.20	c  N st    20     37615       125      2662         0      8645     13310    169896   no data   no data  --
9.95/2.52	c  N st    21     44014       125      2662         0     14659     13310    325551   no data   no data  --
10.35/2.61	c  S st    22     45756       125      2662         0     16310     13310    369431   no data   no data  --
10.35/2.66	c  S st    22     46260       125      2662         0     16794     13310    382473   no data   no data  --
10.35/2.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.35/2.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
10.35/2.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
10.35/2.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.95/4.07	c lits-rem:      4268  cl-subs:     1644  v-elim:      0  v-fix:    0  time:  5.57 s
15.95/4.07	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.95/4.07	c vivif2 --  cl tried    15150 cl shrink        0 lits rem          0 time: 0.01
16.35/4.14	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.29
16.35/4.14	c calculated reachability. Time: 0.00
16.35/4.14	c  N st    22     46260       125      2662         0     15150     13310    332226   no data   no data  --
19.53/4.97	c  N st    23     60658       125      2662         0     10935     13310    197125   no data   no data  --
21.54/5.45	c  N st    24     69391       125      2662         0     19179     13310    411245   no data   no data  --
21.54/5.45	c  S st    24     69391       125      2662         0     19179     13310    411245   no data   no data  --
21.54/5.50	c  S st    24     69893       125      2662         0     19672     13310    424065   no data   no data  --
21.54/5.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.54/5.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.54/5.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.97/5.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.97/5.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.97/5.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.97/5.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.90/7.08	c lits-rem:      4232  cl-subs:     1967  v-elim:      0  v-fix:    0  time:  6.24 s
27.90/7.08	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.90/7.08	c vivif2 --  cl tried    17705 cl shrink        0 lits rem          0 time: 0.02
28.30/7.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.35
28.30/7.17	c calculated reachability. Time: 0.00
28.30/7.17	c  N st    24     69893       125      2662         0     17705     13310    368167   no data   no data  --
33.49/8.41	c  F st    25     87502       125      2662         0     12711     13310    222282   no data   no data  --
33.49/8.41	c  N st    25     87502       125      2662         0     12711     13310    222282   no data   no data  --
34.29/8.68	c Decided on static restart strategy
35.12/8.85	c  N st    32     95540       125      2662         0     20325     13310    423814   no data   no data  --
37.88/9.58	c  N st    34    104839       125      2662         0     16851     13310    321563   no data   no data  --
37.88/9.58	c  S st    34    104839       125      2662         0     16851     13310    321563   no data   no data  --
38.28/9.63	c  S st    34    105342       125      2662         0     17333     13310    333999   no data   no data  --
38.28/9.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.28/9.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.28/9.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
38.28/9.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.28/9.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.28/9.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
38.28/9.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.67/10.76	c lits-rem:      2213  cl-subs:     1109  v-elim:      0  v-fix:    0  time:  4.44 s
42.67/10.76	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
42.67/10.76	c vivif2 --  cl tried    16224 cl shrink        0 lits rem          0 time: 0.01
43.07/10.83	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.29
43.07/10.83	c calculated reachability. Time: 0.00
43.07/10.83	c  N st    34    105342       125      2662         0     16224     13310    301865   no data   no data  --
45.87/11.58	c  N st    35    114942       125      2662         0     25239     13310    533687   no data   no data  --
49.85/12.55	c  N st    36    129339       125      2662         0     25549     13310    529780   no data   no data  --
56.66/14.29	c  N st    37    150934       125      2662         0     16718     13310    269276   no data   no data  --
58.63/14.71	c  S st    38    158013       125      2662         0     23338     13310    436022   no data   no data  --
58.63/14.77	c  S st    38    158519       125      2662         0     23828     13310    448523   no data   no data  --
58.63/14.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.63/14.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.63/14.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
58.63/14.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.63/14.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.63/14.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
58.63/14.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.03/16.35	c lits-rem:      2712  cl-subs:     2226  v-elim:      0  v-fix:    0  time:  6.22 s
65.03/16.35	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
65.03/16.35	c vivif2 --  cl tried    21602 cl shrink        0 lits rem          0 time: 0.02
65.44/16.47	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.44
65.44/16.47	c calculated reachability. Time: 0.00
65.44/16.47	c  N st    38    158519       125      2662         0     21602     13310    391232   no data   no data  --
81.38/20.47	c  N st    39    207107       125      2662         0     34446     13310    709741   no data   no data  --
91.78/23.01	c  N st    40    237778       125      2662         0     26737     13310    482087   no data   no data  --
91.78/23.01	c  S st    40    237778       125      2662         0     26737     13310    482087   no data   no data  --
91.78/23.08	c  S st    40    238284       125      2662         0     27231     13310    495101   no data   no data  --
91.78/23.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.78/23.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.78/23.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.78/23.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.78/23.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.78/23.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.78/23.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.53/24.79	c lits-rem:      3917  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  6.74 s
98.53/24.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.53/24.79	c vivif2 --  cl tried    25345 cl shrink        0 lits rem          0 time: 0.02
99.33/24.91	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.47
99.33/24.91	c calculated reachability. Time: 0.00
99.33/24.91	c  N st    40    238284       125      2662         0     25345     13310    444101   no data   no data  --
126.07/31.61	c  F st    41    306250       125      2662         0     27251     13310    462080   no data   no data  --
126.07/31.61	c  N st    41    306250       125      2662         0     27251     13310    462080   no data   no data  --
127.66/32.06	c Decided on static restart strategy
137.24/34.48	c  N st    51    334553       125      2662         0     31316     13310    541903   no data   no data  --
146.41/36.72	c  N st    53    357426       125      2662         0     29356     13310    475719   no data   no data  --
146.41/36.72	c  S st    53    357426       125      2662         0     29356     13310    475719   no data   no data  --
146.41/36.79	c  S st    53    357929       125      2662         0     29852     13310    489297   no data   no data  --
146.41/36.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.41/36.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
146.81/36.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
146.81/36.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.81/36.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.81/36.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
146.81/36.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
152.40/38.21	c lits-rem:      2820  cl-subs:     1184  v-elim:      0  v-fix:    0  time:  5.55 s
152.40/38.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
152.40/38.21	c vivif2 --  cl tried    28668 cl shrink        0 lits rem          0 time: 0.02
152.80/38.34	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.51
152.80/38.34	c calculated reachability. Time: 0.00
152.80/38.34	c  N st    53    357929       125      2662         0     28668     13310    454243   no data   no data  --
167.96/42.15	c  N st    54    390321       125      2662         0     34714     13310    598326   no data   no data  --
190.70/47.88	c  N st    55    438911       125      2662         0     28577     13310    419345   no data   no data  --
226.61/56.86	c  N st    56    511793       125      2662         0     41563     13310    740716   no data   no data  --
240.59/60.36	c  N st    57    536894       125      2662         0     36087     13310    571165   no data   no data  --
240.59/60.36	c  S st    57    536894       125      2662         0     36087     13310    571165   no data   no data  --
241.00/60.45	c  S st    57    537398       125      2662         0     36575     13310    584206   no data   no data  --
241.00/60.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
241.00/60.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
241.00/60.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
241.00/60.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.00/60.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.00/60.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
241.00/60.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
248.56/62.34	c lits-rem:      2439  cl-subs:     1420  v-elim:      0  v-fix:    0  time:  7.43 s
248.56/62.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
248.56/62.35	c vivif2 --  cl tried    35155 cl shrink        0 lits rem          0 time: 0.03
249.35/62.53	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.73
249.35/62.53	c calculated reachability. Time: 0.00
249.35/62.53	c  N st    57    537398       125      2662         0     35155     13310    543313   no data   no data  --
334.75/83.97	c  N st    58    701382       125      2662         0     63102     13310   1243969   no data   no data  --
394.62/98.91	c  N st    59    806097       125      2662         0     57395     13310   1042561   no data   no data  --
394.62/98.91	c  S st    59    806097       125      2662         0     57395     13310   1042561   no data   no data  --
395.39/99.10	c  S st    59    806600       125      2662         0     57881     13310   1055393   no data   no data  --
395.39/99.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
395.39/99.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
395.39/99.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
395.39/99.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
395.39/99.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
395.39/99.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
395.39/99.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
419.74/105.21	c lits-rem:       640  cl-subs:     4196  v-elim:      0  v-fix:    0  time: 24.11 s
419.74/105.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
419.74/105.22	c vivif2 --  cl tried    53685 cl shrink        0 lits rem          0 time: 0.05
420.96/105.57	c asymm  cl-useful: 0/2132/2662 lits-rem:0 time: 1.38
420.96/105.57	c calculated reachability. Time: 0.00
420.96/105.57	c  N st    59    806600       125      2662         0     53685     13310    944362   no data   no data  --
596.52/149.59	c  F st    60   1071878       125      2662         0     68696     13310   1250765   no data   no data  --
596.52/149.59	c  N st    60   1071878       125      2662         0     68696     13310   1250765   no data   no data  --
601.68/150.82	c Decided on static restart strategy
618.46/155.06	c  N st    70   1100182       125      2662         0     53420     13310    828055   no data   no data  --
646.76/162.16	c  N st    72   1136175       125      2662         0     44165     13310    560116   no data   no data  --
668.32/167.50	c  N st    73   1168567       125      2662         0     74557     13310   1372071   no data   no data  --
699.43/175.33	c  N st    74   1209900       125      2662         0     69254     13310   1200428   no data   no data  --
699.43/175.33	c  S st    74   1209900       125      2662         0     69254     13310   1200428   no data   no data  --
700.63/175.60	c  S st    74   1210400       125      2662         0     69734     13310   1213142   no data   no data  --
700.63/175.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
700.63/175.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
700.63/175.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
700.63/175.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
700.63/175.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
700.63/175.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
700.63/175.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
752.10/188.53	c lits-rem:      1555  cl-subs:     5957  v-elim:      0  v-fix:    0  time: 51.18 s
752.10/188.53	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
752.10/188.54	c vivif2 --  cl tried    63777 cl shrink        0 lits rem          0 time: 0.06
752.50/188.67	c asymm  cl-useful: 0/530/2662 lits-rem:0 time: 0.49
752.50/188.67	c calculated reachability. Time: 0.00
752.50/188.67	c  N st    74   1210400       125      2662         0     63777     13310   1064198   no data   no data  --
810.35/203.16	c  N st    75   1283282       125      2662         0     87105     13310   1683877   no data   no data  --
915.69/229.55	c  N st    76   1392605       125      2662         0     49245     13310    617330   no data   no data  --
1056.54/264.89	c  N st    77   1556589       125      2662         0     53716     13310    690180   no data   no data  --
1188.22/297.84	c  N st    78   1710401       125      2662         0     93657     13310   1704065   no data   no data  --
1188.22/297.84	c  S st    78   1710401       125      2662         0     93657     13310   1704065   no data   no data  --
1189.81/298.26	c  S st    78   1710904       125      2662         0     94144     13310   1716771   no data   no data  --
1189.81/298.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1189.81/298.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1190.21/298.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1190.21/298.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1190.21/298.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1190.21/298.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1190.21/298.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1335.82/334.85	c lits-rem:      4473  cl-subs:    11214  v-elim:      0  v-fix:    0  time: 145.44 s
1335.82/334.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1335.82/334.87	c vivif2 --  cl tried    82930 cl shrink        0 lits rem          0 time: 0.08
1337.82/335.32	c asymm  cl-useful: 0/1492/2662 lits-rem:0 time: 1.79
1337.82/335.32	c calculated reachability. Time: 0.00
1337.82/335.32	c  N st    78   1710904       125      2662         0     82930     13310   1441800   no data   no data  --
1700.91/426.34	c  N st    79   2079868       125      2662         0     94030     13310   1596012   no data   no data  --
1833.78/459.71	c  N st    80   2210904       125      2662         0     98410     13310   1712309   no data   no data  --
1833.78/459.71	c  S st    80   2210904       125      2662         0     98410     13310   1712309   no data   no data  --
1835.37/460.08	c  S st    80   2211406       125      2662         0     98898     13310   1725703   no data   no data  --
1835.37/460.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1835.37/460.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1835.77/460.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1836.17/460.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1836.17/460.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1836.17/460.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1836.17/460.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1984.18/497.36	c lits-rem:      2388  cl-subs:    10011  v-elim:      0  v-fix:    0  time: 148.22 s
1984.18/497.36	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1984.18/497.38	c vivif2 --  cl tried    88887 cl shrink        0 lits rem          0 time: 0.08
1986.18/497.80	c asymm  cl-useful: 0/1170/2662 lits-rem:0 time: 1.67
1986.18/497.81	c calculated reachability. Time: 0.00
1986.18/497.81	c  N st    80   2211406       125      2662         0     88887     13310   1481695   no data   no data  --
2530.03/634.11	c  N st    81   2711406       125      2662         0    112065     13310   2030742   no data   no data  --
2530.03/634.11	c  S st    81   2711406       125      2662         0    112065     13310   2030742   no data   no data  --
2531.63/634.52	c  S st    81   2711911       125      2662         0    112547     13310   2043570   no data   no data  --
2531.63/634.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2531.63/634.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2531.63/634.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
2532.04/634.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2532.04/634.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2532.04/634.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2532.04/634.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2720.75/681.96	c lits-rem:      1219  cl-subs:     9427  v-elim:      0  v-fix:    0  time: 188.72 s
2720.75/681.96	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2720.75/681.98	c vivif2 --  cl tried   103120 cl shrink        0 lits rem          0 time: 0.10
2722.72/682.42	c asymm  cl-useful: 0/1290/2662 lits-rem:0 time: 1.73
2722.72/682.42	c calculated reachability. Time: 0.00
2722.72/682.42	c  N st    81   2711911       125      2662         0    103120     13310   1798877   no data   no data  --
3314.44/830.70	c  N st    82   3211911       125      2662         0     80149     13310   1044909   no data   no data  --
3314.44/830.70	c  S st    82   3211911       125      2662         0     80149     13310   1044909   no data   no data  --
3315.24/830.99	c  S st    82   3212419       125      2662         0     80639     13310   1058104   no data   no data  --
3315.24/830.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3315.24/830.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3315.64/831.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
3315.64/831.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3315.64/831.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3315.64/831.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3315.64/831.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3342.77/837.88	c lits-rem:       463  cl-subs:     2087  v-elim:      0  v-fix:    0  time: 27.17 s
3342.77/837.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3342.77/837.90	c vivif2 --  cl tried    78552 cl shrink        0 lits rem          0 time: 0.06
3344.40/838.27	c asymm  cl-useful: 0/1306/2662 lits-rem:0 time: 1.46
3344.40/838.27	c calculated reachability. Time: 0.00
3344.40/838.27	c  N st    82   3212419       125      2662         0     78552     13310   1007836   no data   no data  --
3959.64/992.41	c  N st    83   3712422       125      2662         0     88815     13310   1181326   no data   no data  --
3959.64/992.41	c  S st    83   3712422       125      2662         0     88815     13310   1181326   no data   no data  --
3960.44/992.69	c  S st    83   3712923       125      2662         0     89295     13310   1194416   no data   no data  --
3960.84/992.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3960.84/992.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3960.84/992.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3960.84/992.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3960.84/992.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3960.84/992.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3960.84/992.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3988.37/999.63	c lits-rem:       468  cl-subs:     2675  v-elim:      0  v-fix:    0  time: 27.34 s
3988.37/999.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3988.37/999.64	c vivif2 --  cl tried    86620 cl shrink        0 lits rem          0 time: 0.06
3989.60/999.97	c asymm  cl-useful: 0/1396/2662 lits-rem:0 time: 1.28
3989.60/999.97	c calculated reachability. Time: 0.00
3989.60/999.97	c  N st    83   3712923       125      2662         0     86620     13310   1135832   no data   no data  --
4043.83/1013.51	c  F st    84   3751562       125      2662         0    122692     13310   2058958   no data   no data  --
4043.83/1013.51	c  N st    84   3751562       125      2662         0    122692     13310   2058958   no data   no data  --
4053.01/1015.80	c Decided on static restart strategy
4092.51/1025.79	c  N st    94   3779862       125      2662         0    149213     13310   2750157   no data   no data  --
4145.58/1039.08	c  N st    96   3815859       125      2662         0    103888     13310   1575846   no data   no data  --
4186.27/1049.30	c  N st    97   3848253       125      2662         0    134006     13310   2355379   no data   no data  --
4256.51/1066.84	c  N st    98   3896841       125      2662         0     99142     13310   1407655   no data   no data  --
4379.40/1097.66	c  N st    99   3969724       125      2662         0     86070     13310   1064362   no data   no data  --
4531.02/1135.61	c  N st   100   4079047       125      2662         0    105962     13310   1590473   no data   no data  --
4727.73/1184.99	c  N st   101   4212923       125      2662         0    147770     13310   2651355   no data   no data  --
4727.73/1184.99	c  S st   101   4212923       125      2662         0    147770     13310   2651355   no data   no data  --
4730.13/1185.55	c  S st   101   4213428       125      2662         0    148261     13310   2664991   no data   no data  --
4730.13/1185.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4730.13/1185.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4730.53/1185.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.34
4730.94/1185.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4730.94/1185.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4730.94/1185.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4730.94/1185.73	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-3368876-1305405160/watcher-3368876-1305405160 -o /tmp/evaluation-result-3368876-1305405160/solver-3368876-1305405160 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368876-1305405160.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: 3.69 4.75 5.99 2/291 20787
/proc/meminfo: memFree=27774884/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 652114546 52465664 353 33554432000 4194304 4650419 140734654526256 18446744073709551615 47611579869110 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 12809 353 303 112 0 7774 0
[pid=20787/tid=20791] ppid=20785 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652114546 52465664 353 33554432000 4194304 4650419 140734654526256 18446744073709551615 47611579869106 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652114546 52465664 353 33554432000 4194304 4650419 140734654526256 18446744073709551615 47611579869096 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 652114546 52465664 353 33554432000 4194304 4650419 140734654526256 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.081812 s]
/proc/loadavg: 3.69 4.75 5.99 2/291 20787
/proc/meminfo: memFree=27774884/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=282756 CPUtime=0.3 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 1791 0 0 0 30 0 0 0 18 0 4 0 652114546 289542144 1625 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 70689 1625 389 112 0 65654 0
[pid=20787/tid=20791] ppid=20785 vsize=282756 CPUtime=0.07 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 362 0 0 0 7 0 0 0 18 0 4 0 652114546 289542144 1625 33554432000 4194304 4650419 140734654526256 18446744073709551615 4331184 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=282756 CPUtime=0.07 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 385 0 0 0 7 0 0 0 18 0 4 0 652114546 289542144 1625 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=282756 CPUtime=0.06 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 250 0 0 0 6 0 0 0 21 0 4 0 652114546 289542144 1625 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 282756

[startup+0.100808 s]
/proc/loadavg: 3.69 4.75 5.99 2/291 20787
/proc/meminfo: memFree=27774884/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=282756 CPUtime=0.38 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 1886 0 0 0 38 0 0 0 18 0 4 0 652114546 289542144 1720 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 70689 1720 389 112 0 65654 0
[pid=20787/tid=20791] ppid=20785 vsize=282756 CPUtime=0.09 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 386 0 0 0 9 0 0 0 18 0 4 0 652114546 289542144 1721 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=282756 CPUtime=0.09 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 406 0 0 0 9 0 0 0 18 0 4 0 652114546 289542144 1721 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=282756 CPUtime=0.08 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 280 0 0 0 8 0 0 0 21 0 4 0 652114546 289542144 1721 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282756

[startup+0.300775 s]
/proc/loadavg: 3.69 4.75 5.99 2/291 20787
/proc/meminfo: memFree=27774884/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=284232 CPUtime=1.17 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 3185 0 0 0 117 0 0 0 18 0 4 0 652114546 291053568 2391 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 71058 2392 391 112 0 66023 0
[pid=20787/tid=20791] ppid=20785 vsize=284232 CPUtime=0.29 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 704 0 0 0 29 0 0 0 18 0 4 0 652114546 291053568 2392 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=284232 CPUtime=0.29 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 732 0 0 0 29 0 0 0 18 0 4 0 652114546 291053568 2392 33554432000 4194304 4650419 140734654526256 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=284232 CPUtime=0.28 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 610 0 0 0 28 0 0 0 21 0 4 0 652114546 291053568 2392 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284232

[startup+0.700709 s]
/proc/loadavg: 3.69 4.75 5.99 2/291 20787
/proc/meminfo: memFree=27774884/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=285744 CPUtime=2.78 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 5697 0 0 0 277 1 0 0 18 0 4 0 652114546 292601856 2741 33554432000 4194304 4650419 140734654526256 18446744073709551615 4333674 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 71436 2741 391 112 0 66401 0
[pid=20787/tid=20791] ppid=20785 vsize=285744 CPUtime=0.69 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 1346 0 0 0 69 0 0 0 18 0 4 0 652114546 292601856 2741 33554432000 4194304 4650419 140734654526256 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=285744 CPUtime=0.69 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 1366 0 0 0 69 0 0 0 18 0 4 0 652114546 292601856 2741 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=285744 CPUtime=0.68 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 1192 0 0 0 68 0 0 0 22 0 4 0 652114546 292601856 2741 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285744

[startup+1.50058 s]
/proc/loadavg: 3.69 4.75 5.99 9/302 20798
/proc/meminfo: memFree=27748488/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=278144 CPUtime=5.96 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 11489 0 0 0 595 1 0 0 20 0 4 0 652114546 284819456 6294 33554432000 4194304 4650419 140734654526256 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 69536 6294 393 112 0 64501 0
[pid=20787/tid=20791] ppid=20785 vsize=278144 CPUtime=1.49 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 3390 0 0 0 149 0 0 0 20 0 4 0 652114546 284819456 6294 33554432000 4194304 4650419 140734654526256 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=278144 CPUtime=1.49 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 2294 0 0 0 149 0 0 0 19 0 4 0 652114546 284819456 6294 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=278144 CPUtime=1.47 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 2056 0 0 0 147 0 0 0 25 0 4 0 652114546 284819456 6294 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 278144

[startup+3.10031 s]
/proc/loadavg: 3.69 4.75 5.99 9/302 20798
/proc/meminfo: memFree=27701988/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=286812 CPUtime=12.35 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 18892 0 0 0 1232 3 0 0 25 0 4 0 652114546 293695488 12200 33554432000 4194304 4650419 140734654526256 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 71703 12200 393 112 0 66668 0
[pid=20787/tid=20791] ppid=20785 vsize=286812 CPUtime=3.08 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 4466 0 0 0 308 0 0 0 25 0 4 0 652114546 293695488 12200 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=286812 CPUtime=3.09 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 4529 0 0 0 309 0 0 0 25 0 4 0 652114546 293695488 12200 33554432000 4194304 4650419 140734654526256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=286812 CPUtime=3.05 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 4405 0 0 0 305 0 0 0 25 0 4 0 652114546 293695488 12200 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286812

[startup+6.30078 s]
/proc/loadavg: 4.03 4.80 6.00 9/302 20798
/proc/meminfo: memFree=27659456/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=278548 CPUtime=25.12 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 27018 0 0 0 2507 5 0 0 25 0 4 0 652114546 285233152 14074 33554432000 4194304 4650419 140734654526256 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 69637 14074 393 112 0 64602 0
[pid=20787/tid=20791] ppid=20785 vsize=278548 CPUtime=6.28 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 7438 0 0 0 627 1 0 0 25 0 4 0 652114546 285233152 14074 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=278548 CPUtime=6.28 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 6786 0 0 0 628 0 0 0 25 0 4 0 652114546 285233152 14074 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=278548 CPUtime=6.23 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 5743 0 0 0 622 1 0 0 25 0 4 0 652114546 285233152 14074 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 278548

[startup+12.7007 s]
/proc/loadavg: 4.35 4.85 6.01 9/302 20799
/proc/meminfo: memFree=27605400/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=292712 CPUtime=50.65 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 40629 0 0 0 5057 8 0 0 25 0 4 0 652114546 299737088 20942 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 73178 20942 393 112 0 68143 0
[pid=20787/tid=20791] ppid=20785 vsize=292712 CPUtime=12.68 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 11707 0 0 0 1266 2 0 0 25 0 4 0 652114546 299737088 20942 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=292712 CPUtime=12.68 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 10711 0 0 0 1267 1 0 0 25 0 4 0 652114546 299737088 20942 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=292712 CPUtime=12.56 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 8647 0 0 0 1255 1 0 0 25 0 4 0 652114546 299737088 20942 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 292712

[startup+25.5006 s]
/proc/loadavg: 5.16 5.01 6.04 9/302 20799
/proc/meminfo: memFree=27553692/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=303328 CPUtime=101.72 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 62924 0 0 0 10158 14 0 0 25 0 4 0 652114546 310607872 25212 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 75832 25212 393 112 0 70797 0
[pid=20787/tid=20791] ppid=20785 vsize=303328 CPUtime=25.49 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 18755 0 0 0 2544 5 0 0 25 0 4 0 652114546 310607872 25212 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=303328 CPUtime=25.49 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 17316 0 0 0 2546 3 0 0 25 0 4 0 652114546 310607872 25212 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=303328 CPUtime=25.23 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 12110 0 0 0 2520 3 0 0 25 0 4 0 652114546 310607872 25212 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 303328

[startup+51.1003 s]
/proc/loadavg: 6.24 5.28 6.10 9/302 20799
/proc/meminfo: memFree=27491000/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=299112 CPUtime=203.87 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 97668 0 0 0 20362 25 0 0 25 0 4 0 652114546 306290688 32512 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 74778 32512 393 112 0 69743 0
[pid=20787/tid=20791] ppid=20785 vsize=299112 CPUtime=51.09 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 29453 0 0 0 5102 7 0 0 25 0 4 0 652114546 306290688 32512 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=299112 CPUtime=51.09 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 26917 0 0 0 5103 6 0 0 25 0 4 0 652114546 306290688 32512 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=299112 CPUtime=50.57 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 15861 0 0 0 5053 4 0 0 25 0 4 0 652114546 306290688 32512 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 299112

[startup+102.312 s]
/proc/loadavg: 7.43 5.74 6.21 9/302 20801
/proc/meminfo: memFree=27421892/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=302264 CPUtime=408.2 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 156978 0 0 0 40776 44 0 0 25 0 4 0 652114546 309518336 40055 33554432000 4194304 4650419 140734654526256 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 75566 40055 393 112 0 70531 0
[pid=20787/tid=20791] ppid=20785 vsize=302264 CPUtime=102.29 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 46386 0 0 0 10217 12 0 0 25 0 4 0 652114546 309518336 40055 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=302264 CPUtime=102.3 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 42614 0 0 0 10218 12 0 0 25 0 4 0 652114546 309518336 40055 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=302264 CPUtime=101.28 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 23818 0 0 0 10121 7 0 0 25 0 4 0 652114546 309518336 40055 33554432000 4194304 4650419 140734654526256 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 302264

[startup+162.301 s]

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

[pid=20787] ppid=20785 vsize=553320 CPUtime=2802.12 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 488974 0 0 0 280023 189 0 0 25 0 4 0 652114546 566599680 105143 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 138330 105143 393 112 0 133295 0
[pid=20787/tid=20791] ppid=20785 vsize=553320 CPUtime=702.3 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 143607 0 0 0 70180 50 0 0 25 0 4 0 652114546 566599680 105143 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=553320 CPUtime=702.29 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 140881 0 0 0 70169 60 0 0 25 0 4 0 652114546 566599680 105143 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=553320 CPUtime=695.21 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 70416 0 0 0 69489 32 0 0 25 0 4 0 652114546 566599680 105143 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.12
Current children cumulated vsize (KiB) 553320

[startup+762.311 s]
/proc/loadavg: 8.15 7.89 7.17 9/302 20819
/proc/meminfo: memFree=26841632/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=684564 CPUtime=3041.56 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 516118 0 0 0 303955 201 0 0 25 0 4 0 652114546 700993536 114269 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 171141 114269 393 112 0 166106 0
[pid=20787/tid=20791] ppid=20785 vsize=684564 CPUtime=762.3 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 152223 0 0 0 76177 53 0 0 25 0 4 0 652114546 700993536 114269 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=684564 CPUtime=762.31 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 150177 0 0 0 76165 66 0 0 25 0 4 0 652114546 700993536 114269 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=684564 CPUtime=754.62 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 74108 0 0 0 75429 33 0 0 25 0 4 0 652114546 700993536 114269 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.56
Current children cumulated vsize (KiB) 684564

[startup+822.3 s]
/proc/loadavg: 8.05 7.91 7.22 9/302 20820
/proc/meminfo: memFree=26808108/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=745620 CPUtime=3280.93 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 536402 0 0 0 327883 210 0 0 25 0 4 0 652114546 763514880 119932 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 186405 119932 393 112 0 181370 0
[pid=20787/tid=20791] ppid=20785 vsize=745620 CPUtime=822.3 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 157498 0 0 0 82174 56 0 0 25 0 4 0 652114546 763514880 119932 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=745620 CPUtime=822.29 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 155807 0 0 0 82162 67 0 0 25 0 4 0 652114546 763514880 119932 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=745620 CPUtime=814.01 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 75957 0 0 0 81367 34 0 0 25 0 4 0 652114546 763514880 119932 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.93
Current children cumulated vsize (KiB) 745620

[startup+882.3 s]
/proc/loadavg: 8.09 7.94 7.27 9/302 20822
/proc/meminfo: memFree=26799036/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=692132 CPUtime=3520.33 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 553401 0 0 0 351814 219 0 0 25 0 4 0 652114546 708743168 117771 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 173033 117771 393 112 0 167998 0
[pid=20787/tid=20791] ppid=20785 vsize=692132 CPUtime=882.29 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 159595 0 0 0 88172 57 0 0 25 0 4 0 652114546 708743168 117771 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=692132 CPUtime=882.29 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 162341 0 0 0 88159 70 0 0 25 0 4 0 652114546 708743168 117771 33554432000 4194304 4650419 140734654526256 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=692132 CPUtime=873.41 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 80883 0 0 0 87305 36 0 0 25 0 4 0 652114546 708743168 117771 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.33
Current children cumulated vsize (KiB) 692132

[startup+942.3 s]
/proc/loadavg: 8.03 7.94 7.31 9/302 20823
/proc/meminfo: memFree=26828884/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=640320 CPUtime=3759.74 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 576164 0 0 0 375742 232 0 0 25 0 4 0 652114546 655687680 105537 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 160080 105537 393 112 0 155045 0
[pid=20787/tid=20791] ppid=20785 vsize=640320 CPUtime=942.3 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 166170 0 0 0 94169 61 0 0 25 0 4 0 652114546 655687680 105537 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=640320 CPUtime=942.29 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 170729 0 0 0 94154 75 0 0 25 0 4 0 652114546 655687680 105537 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=640320 CPUtime=932.82 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 83211 0 0 0 93244 38 0 0 25 0 4 0 652114546 655687680 105537 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.74
Current children cumulated vsize (KiB) 640320

[startup+1002.3 s]
/proc/loadavg: 8.07 7.97 7.36 9/302 20825
/proc/meminfo: memFree=26790916/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=631676 CPUtime=3999.13 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 597964 0 0 0 399670 243 0 0 25 0 4 0 652114546 646836224 117163 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 157919 117163 393 112 0 152884 0
[pid=20787/tid=20791] ppid=20785 vsize=631676 CPUtime=1002.3 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 171380 0 0 0 100166 64 0 0 25 0 4 0 652114546 646836224 117163 33554432000 4194304 4650419 140734654526256 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=631676 CPUtime=1002.3 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 176689 0 0 0 100152 78 0 0 25 0 4 0 652114546 646836224 117163 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=631676 CPUtime=992.21 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 87398 0 0 0 99181 40 0 0 25 0 4 0 652114546 646836224 117163 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.13
Current children cumulated vsize (KiB) 631676

[startup+1062.3 s]
/proc/loadavg: 8.08 7.99 7.40 9/302 20827
/proc/meminfo: memFree=26810220/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=752224 CPUtime=4238.54 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 613670 0 0 0 423601 253 0 0 25 0 4 0 652114546 770277376 113101 33554432000 4194304 4650419 140734654526256 18446744073709551615 4313319 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 188056 113101 393 112 0 183021 0
[pid=20787/tid=20791] ppid=20785 vsize=752224 CPUtime=1062.3 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 172922 0 0 0 106165 65 0 0 25 0 4 0 652114546 770277376 113101 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=752224 CPUtime=1062.3 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 183346 0 0 0 106148 82 0 0 25 0 4 0 652114546 770277376 113101 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=752224 CPUtime=1051.62 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 89629 0 0 0 105120 42 0 0 25 0 4 0 652114546 770277376 113101 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.54
Current children cumulated vsize (KiB) 752224

[startup+1122.3 s]
/proc/loadavg: 8.13 8.02 7.45 9/302 20828
/proc/meminfo: memFree=26768300/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=645732 CPUtime=4477.95 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 638673 0 0 0 447529 266 0 0 25 0 4 0 652114546 661229568 118732 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 161433 118732 393 112 0 156398 0
[pid=20787/tid=20791] ppid=20785 vsize=645732 CPUtime=1122.3 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 179701 0 0 0 112162 68 0 0 25 0 4 0 652114546 661229568 118732 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=645732 CPUtime=1122.3 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 190119 0 0 0 112144 86 0 0 25 0 4 0 652114546 661229568 118732 33554432000 4194304 4650419 140734654526256 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=645732 CPUtime=1111.02 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 94391 0 0 0 111059 43 0 0 25 0 4 0 652114546 661229568 118732 33554432000 4194304 4650419 140734654526256 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.95
Current children cumulated vsize (KiB) 645732

[startup+1182.3 s]
/proc/loadavg: 8.14 8.04 7.49 9/302 20829
/proc/meminfo: memFree=26752900/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=667536 CPUtime=4717.36 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 661256 0 0 0 471461 275 0 0 25 0 4 0 652114546 683556864 120345 33554432000 4194304 4650419 140734654526256 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 166884 120345 393 112 0 161849 0
[pid=20787/tid=20791] ppid=20785 vsize=667536 CPUtime=1182.3 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 183050 0 0 0 118160 70 0 0 25 0 4 0 652114546 683556864 120345 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=667536 CPUtime=1182.3 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 200418 0 0 0 118141 89 0 0 25 0 4 0 652114546 683556864 120345 33554432000 4194304 4650419 140734654526256 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=667536 CPUtime=1170.42 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 96473 0 0 0 116998 44 0 0 25 0 4 0 652114546 683556864 120345 33554432000 4194304 4650419 140734654526256 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.36
Current children cumulated vsize (KiB) 667536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.25 8.07 7.51 5/297 20831
/proc/meminfo: memFree=27295056/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=615956 CPUtime=4800.35 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 666953 0 0 0 479757 278 0 0 25 0 4 0 652114546 630738944 118997 33554432000 4194304 4650419 140734654526256 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 153989 118997 393 112 0 148954 0
[pid=20787/tid=20791] ppid=20785 vsize=615956 CPUtime=1203.12 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 185178 0 0 0 120240 72 0 0 25 0 4 0 652114546 630738944 118997 33554432000 4194304 4650419 140734654526256 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=615956 CPUtime=1203.11 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 200418 0 0 0 120222 89 0 0 25 0 4 0 652114546 630738944 118997 33554432000 4194304 4650419 140734654526256 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=615956 CPUtime=1191 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 96473 0 0 0 119056 44 0 0 25 0 4 0 652114546 630738944 118997 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 615956

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

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

[startup+1203.1 s]
/proc/loadavg: 8.25 8.07 7.51 5/297 20831
/proc/meminfo: memFree=27295056/32951124 swapFree=63649232/67111528
[pid=20787] ppid=20785 vsize=615956 CPUtime=4800.35 cores=1,3,5,7
/proc/20787/stat : 20787 (strangenight1-m) R 20785 20787 20027 0 -1 4202496 666953 0 0 0 479757 278 0 0 25 0 4 0 652114546 630738944 118997 33554432000 4194304 4650419 140734654526256 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20787/statm: 153989 118997 393 112 0 148954 0
[pid=20787/tid=20791] ppid=20785 vsize=615956 CPUtime=1203.12 cores=1,3,5,7
/proc/20787/task/20791/stat : 20791 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 185178 0 0 0 120240 72 0 0 25 0 4 0 652114546 630738944 118997 33554432000 4194304 4650419 140734654526256 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20787/tid=20792] ppid=20785 vsize=615956 CPUtime=1203.11 cores=1,3,5,7
/proc/20787/task/20792/stat : 20792 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 200418 0 0 0 120222 89 0 0 25 0 4 0 652114546 630738944 118997 33554432000 4194304 4650419 140734654526256 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20787/tid=20793] ppid=20785 vsize=615956 CPUtime=1191 cores=1,3,5,7
/proc/20787/task/20793/stat : 20793 (strangenight1-m) R 20785 20787 20027 0 -1 4202560 96473 0 0 0 119056 44 0 0 25 0 4 0 652114546 630738944 118997 33554432000 4194304 4650419 140734654526256 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 615956

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.42
CPU user time (s): 4797.61
CPU system time (s): 2.80357
CPU usage (%): 398.991
Max. virtual memory (cumulated for all children) (KiB): 756908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.61
system time used= 2.80357
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 666954
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= 280
involuntary context switches= 36777

runsolver used 3.23051 second user time and 8.89665 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 22:32:40
IDJOB=3368876
IDBENCH=82885
IDSOLVER=1846
FILE ID=node130/3368876-1305405160
RUNJOBID= node130-1305405160-20772
PBS_JOBID= 13324461
Free space on /tmp= 73428 MiB

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

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

MD5SUM BENCH= 871f75d4bb41b463ca12a7a8837d201b
RANDOM SEED=1483791450

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27775056 kB
Buffers:        257292 kB
Cached:        3595756 kB
SwapCached:      10248 kB
Active:        1144616 kB
Inactive:      3761364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27775056 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           12448 kB
Writeback:           4 kB
AnonPages:     1051076 kB
Mapped:          12780 kB
Slab:           182704 kB
PageTables:      24864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51460140 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= 73424 MiB
End job on node130 at 2011-05-14 22:52:46