Trace number 3175267

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.37 1201.73

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175267-1304105310.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
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.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
3.18/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
3.18/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.85	c calculated reachability. Time: 0.00
3.18/0.85	c Calc default polars -  time:   0.00 s pos:      71 undec:       5 neg:      49
3.18/0.85	c =========================================================================================
3.18/0.85	c types(t): F = full restart, N = normal restart
3.18/0.85	c types(t): S = simplification begin/end, E = solution found
3.18/0.85	c restart types(rt): st = static, dy = dynamic
3.18/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.85	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
3.18/0.85	c Decided on static restart strategy
3.18/0.85	c  N st     8      4915       125      2662         0      4671     13310    119185   no data   no data  --
3.18/0.85	c  N st    10     11301       125      2662         0      4313     13310     88634   no data   no data  --
3.18/0.85	c  N st    11     17044       125      2662         0      9674     13310    232660   no data   no data  --
3.58/0.95	c  F st    12     25000       125      2662         0     11905     13310    283358   no data   no data  --
3.58/0.95	c  N st    12     25000       125      2662         0     11905     13310    283358   no data   no data  --
4.39/1.11	c Decided on static restart strategy
4.39/1.11	c  N st    18     30002       125      2662         0     10215     13310    230382   no data   no data  --
4.39/1.11	c  S st    18     30002       125      2662         0     10215     13310    230382   no data   no data  --
4.39/1.11	c  S st    18     30504       125      2662         0     10700     13310    243025   no data   no data  --
4.39/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.39/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.39/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.78/1.78	c lits-rem:      2481  cl-subs:     1348  v-elim:      0  v-fix:    0  time:  2.66 s
7.18/1.82	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.18
7.18/1.82	c calculated reachability. Time: 0.00
7.18/1.82	c  N st    18     30504       125      2662         0      9352     13310    202392   no data   no data  --
8.39/2.20	c  N st    20     37615       125      2662         0      8645     13310    169896   no data   no data  --
9.96/2.52	c  N st    21     44014       125      2662         0     14659     13310    325551   no data   no data  --
10.37/2.61	c  S st    22     45756       125      2662         0     16310     13310    369431   no data   no data  --
10.37/2.66	c  S st    22     46260       125      2662         0     16794     13310    382473   no data   no data  --
10.37/2.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.37/2.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.37/2.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
10.37/2.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.37/2.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
10.37/2.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.08	c lits-rem:      4268  cl-subs:     1644  v-elim:      0  v-fix:    0  time:  5.61 s
15.96/4.08	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.96/4.08	c vivif2 --  cl tried    15150 cl shrink        0 lits rem          0 time: 0.02
16.36/4.15	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
16.36/4.15	c calculated reachability. Time: 0.00
16.36/4.15	c  N st    22     46260       125      2662         0     15150     13310    332226   no data   no data  --
19.56/4.98	c  N st    23     60658       125      2662         0     10935     13310    197125   no data   no data  --
21.57/5.47	c  N st    24     69391       125      2662         0     19179     13310    411245   no data   no data  --
21.57/5.47	c  S st    24     69391       125      2662         0     19179     13310    411245   no data   no data  --
21.97/5.51	c  S st    24     69893       125      2662         0     19672     13310    424065   no data   no data  --
21.97/5.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.97/5.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.97/5.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.97/5.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.97/5.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.97/5.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.97/5.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.94/7.07	c lits-rem:      4232  cl-subs:     1967  v-elim:      0  v-fix:    0  time:  6.18 s
27.94/7.07	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.94/7.08	c vivif2 --  cl tried    17705 cl shrink        0 lits rem          0 time: 0.02
28.34/7.16	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.34
28.34/7.16	c calculated reachability. Time: 0.00
28.34/7.16	c  N st    24     69893       125      2662         0     17705     13310    368167   no data   no data  --
33.53/8.42	c  F st    25     87502       125      2662         0     12711     13310    222282   no data   no data  --
33.53/8.42	c  N st    25     87502       125      2662         0     12711     13310    222282   no data   no data  --
34.34/8.69	c Decided on static restart strategy
35.16/8.86	c  N st    32     95540       125      2662         0     20325     13310    423814   no data   no data  --
37.93/9.59	c  N st    34    104839       125      2662         0     16851     13310    321563   no data   no data  --
37.93/9.59	c  S st    34    104839       125      2662         0     16851     13310    321563   no data   no data  --
38.33/9.64	c  S st    34    105342       125      2662         0     17333     13310    333999   no data   no data  --
38.33/9.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.33/9.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.33/9.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
38.33/9.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.33/9.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.33/9.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
38.33/9.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.72/10.76	c lits-rem:      2213  cl-subs:     1109  v-elim:      0  v-fix:    0  time:  4.42 s
42.72/10.76	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
42.72/10.76	c vivif2 --  cl tried    16224 cl shrink        0 lits rem          0 time: 0.01
43.12/10.84	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.29
43.12/10.84	c calculated reachability. Time: 0.00
43.12/10.84	c  N st    34    105342       125      2662         0     16224     13310    301865   no data   no data  --
45.91/11.58	c  N st    35    114942       125      2662         0     25239     13310    533687   no data   no data  --
49.91/12.55	c  N st    36    129339       125      2662         0     25549     13310    529780   no data   no data  --
56.72/14.29	c  N st    37    150934       125      2662         0     16718     13310    269276   no data   no data  --
58.70/14.71	c  S st    38    158013       125      2662         0     23338     13310    436022   no data   no data  --
58.70/14.77	c  S st    38    158519       125      2662         0     23828     13310    448523   no data   no data  --
58.70/14.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
58.70/14.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.70/14.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
58.70/14.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.70/14.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.70/14.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
58.70/14.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
64.69/16.29	c lits-rem:      2712  cl-subs:     2226  v-elim:      0  v-fix:    0  time:  5.98 s
64.69/16.29	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
65.09/16.30	c vivif2 --  cl tried    21602 cl shrink        0 lits rem          0 time: 0.02
65.51/16.40	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.41
65.51/16.40	c calculated reachability. Time: 0.00
65.51/16.40	c  N st    38    158519       125      2662         0     21602     13310    391232   no data   no data  --
81.47/20.43	c  N st    39    207107       125      2662         0     34446     13310    709741   no data   no data  --
91.46/22.99	c  N st    40    237778       125      2662         0     26737     13310    482087   no data   no data  --
91.46/22.99	c  S st    40    237778       125      2662         0     26737     13310    482087   no data   no data  --
91.87/23.05	c  S st    40    238284       125      2662         0     27231     13310    495101   no data   no data  --
91.87/23.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
91.87/23.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.87/23.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.87/23.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.87/23.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.87/23.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.87/23.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.65/24.77	c lits-rem:      3917  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  6.75 s
98.65/24.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.65/24.77	c vivif2 --  cl tried    25345 cl shrink        0 lits rem          0 time: 0.02
99.05/24.88	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
99.05/24.89	c calculated reachability. Time: 0.00
99.05/24.89	c  N st    40    238284       125      2662         0     25345     13310    444101   no data   no data  --
126.21/31.61	c  F st    41    306250       125      2662         0     27251     13310    462080   no data   no data  --
126.21/31.62	c  N st    41    306250       125      2662         0     27251     13310    462080   no data   no data  --
127.80/32.07	c Decided on static restart strategy
137.39/34.49	c  N st    51    334553       125      2662         0     31316     13310    541903   no data   no data  --
146.57/36.74	c  N st    53    357426       125      2662         0     29356     13310    475719   no data   no data  --
146.57/36.74	c  S st    53    357426       125      2662         0     29356     13310    475719   no data   no data  --
146.97/36.81	c  S st    53    357929       125      2662         0     29852     13310    489297   no data   no data  --
146.97/36.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
146.97/36.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
146.97/36.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
146.97/36.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.97/36.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.97/36.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
146.97/36.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
152.57/38.24	c lits-rem:      2820  cl-subs:     1184  v-elim:      0  v-fix:    0  time:  5.59 s
152.57/38.24	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
152.57/38.24	c vivif2 --  cl tried    28668 cl shrink        0 lits rem          0 time: 0.02
152.97/38.37	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.52
152.97/38.37	c calculated reachability. Time: 0.00
152.97/38.37	c  N st    53    357929       125      2662         0     28668     13310    454243   no data   no data  --
168.15/42.10	c  N st    54    390321       125      2662         0     34714     13310    598326   no data   no data  --
191.32/47.99	c  N st    55    438911       125      2662         0     28577     13310    419345   no data   no data  --
227.27/56.99	c  N st    56    511793       125      2662         0     41563     13310    740716   no data   no data  --
241.27/60.49	c  N st    57    536894       125      2662         0     36087     13310    571165   no data   no data  --
241.27/60.49	c  S st    57    536894       125      2662         0     36087     13310    571165   no data   no data  --
241.68/60.59	c  S st    57    537398       125      2662         0     36575     13310    584206   no data   no data  --
241.68/60.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
241.68/60.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
242.05/60.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
242.05/60.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.05/60.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.05/60.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
242.05/60.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
249.64/62.50	c lits-rem:      2439  cl-subs:     1420  v-elim:      0  v-fix:    0  time:  7.53 s
249.64/62.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
249.64/62.51	c vivif2 --  cl tried    35155 cl shrink        0 lits rem          0 time: 0.03
250.05/62.69	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.71
250.05/62.69	c calculated reachability. Time: 0.00
250.05/62.69	c  N st    57    537398       125      2662         0     35155     13310    543313   no data   no data  --
335.93/84.15	c  N st    58    701382       125      2662         0     63102     13310   1243969   no data   no data  --
396.24/99.20	c  N st    59    806097       125      2662         0     57395     13310   1042561   no data   no data  --
396.24/99.20	c  S st    59    806097       125      2662         0     57395     13310   1042561   no data   no data  --
396.64/99.38	c  S st    59    806600       125      2662         0     57881     13310   1055393   no data   no data  --
396.64/99.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
396.64/99.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
397.04/99.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
397.04/99.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
397.04/99.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
397.04/99.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
397.04/99.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
421.02/105.41	c lits-rem:       640  cl-subs:     4196  v-elim:      0  v-fix:    0  time: 23.78 s
421.02/105.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
421.02/105.42	c vivif2 --  cl tried    53685 cl shrink        0 lits rem          0 time: 0.04
421.83/105.69	c asymm  cl-useful: 0/2132/2662 lits-rem:0 time: 1.06
421.83/105.69	c calculated reachability. Time: 0.00
421.83/105.69	c  N st    59    806600       125      2662         0     53685     13310    944362   no data   no data  --
598.36/149.84	c  F st    60   1071878       125      2662         0     68696     13310   1250765   no data   no data  --
598.36/149.84	c  N st    60   1071878       125      2662         0     68696     13310   1250765   no data   no data  --
603.16/151.08	c Decided on static restart strategy
620.33/155.34	c  N st    70   1100182       125      2662         0     53420     13310    828055   no data   no data  --
648.70/162.49	c  N st    72   1136175       125      2662         0     44165     13310    560116   no data   no data  --
670.27/167.83	c  N st    73   1168567       125      2662         0     74557     13310   1372071   no data   no data  --
701.43/175.67	c  N st    74   1209900       125      2662         0     69254     13310   1200428   no data   no data  --
701.43/175.67	c  S st    74   1209900       125      2662         0     69254     13310   1200428   no data   no data  --
702.65/175.94	c  S st    74   1210400       125      2662         0     69734     13310   1213142   no data   no data  --
702.65/175.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
702.65/175.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
702.65/175.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
703.05/176.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
703.05/176.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
703.05/176.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
703.05/176.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
755.37/189.12	c lits-rem:      1555  cl-subs:     5957  v-elim:      0  v-fix:    0  time: 52.27 s
755.37/189.12	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
755.37/189.13	c vivif2 --  cl tried    63777 cl shrink        0 lits rem          0 time: 0.05
755.78/189.27	c asymm  cl-useful: 0/530/2662 lits-rem:0 time: 0.54
755.78/189.27	c calculated reachability. Time: 0.00
755.78/189.27	c  N st    74   1210400       125      2662         0     63777     13310   1064198   no data   no data  --
814.07/203.82	c  N st    75   1283282       125      2662         0     87105     13310   1683877   no data   no data  --
919.53/230.23	c  N st    76   1392605       125      2662         0     49245     13310    617330   no data   no data  --
1062.95/266.11	c  N st    77   1556589       125      2662         0     53716     13310    690180   no data   no data  --
1195.18/299.21	c  N st    78   1710401       125      2662         0     93657     13310   1704065   no data   no data  --
1195.18/299.21	c  S st    78   1710401       125      2662         0     93657     13310   1704065   no data   no data  --
1196.75/299.64	c  S st    78   1710904       125      2662         0     94144     13310   1716771   no data   no data  --
1196.75/299.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1196.75/299.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1197.15/299.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
1197.15/299.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1197.15/299.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1197.15/299.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1197.15/299.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1341.36/335.90	c lits-rem:      4473  cl-subs:    11214  v-elim:      0  v-fix:    0  time: 144.29 s
1341.76/335.90	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1341.76/335.92	c vivif2 --  cl tried    82930 cl shrink        0 lits rem          0 time: 0.08
1343.36/336.36	c asymm  cl-useful: 0/1492/2662 lits-rem:0 time: 1.79
1343.36/336.37	c calculated reachability. Time: 0.00
1343.36/336.37	c  N st    78   1710904       125      2662         0     82930     13310   1441800   no data   no data  --
1709.66/428.09	c  N st    79   2079868       125      2662         0     94030     13310   1596012   no data   no data  --
1843.08/461.42	c  N st    80   2210904       125      2662         0     98410     13310   1712309   no data   no data  --
1843.08/461.42	c  S st    80   2210904       125      2662         0     98410     13310   1712309   no data   no data  --
1844.68/461.80	c  S st    80   2211406       125      2662         0     98898     13310   1725703   no data   no data  --
1844.68/461.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1844.68/461.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1844.68/461.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.25
1845.10/461.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1845.10/461.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1845.10/461.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1845.10/461.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1994.49/499.34	c lits-rem:      2388  cl-subs:    10011  v-elim:      0  v-fix:    0  time: 149.40 s
1994.49/499.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1994.49/499.36	c vivif2 --  cl tried    88887 cl shrink        0 lits rem          0 time: 0.08
1996.07/499.79	c asymm  cl-useful: 0/1170/2662 lits-rem:0 time: 1.72
1996.07/499.79	c calculated reachability. Time: 0.00
1996.07/499.79	c  N st    80   2211406       125      2662         0     88887     13310   1481695   no data   no data  --
2544.54/637.02	c  N st    81   2711406       125      2662         0    112065     13310   2030742   no data   no data  --
2544.54/637.02	c  S st    81   2711406       125      2662         0    112065     13310   2030742   no data   no data  --
2546.14/637.43	c  S st    81   2711911       125      2662         0    112547     13310   2043570   no data   no data  --
2546.14/637.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2546.14/637.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2546.54/637.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2546.54/637.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2546.54/637.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2546.54/637.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2546.54/637.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2743.47/686.89	c lits-rem:      1219  cl-subs:     9427  v-elim:      0  v-fix:    0  time: 197.03 s
2743.47/686.89	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2743.87/686.92	c vivif2 --  cl tried   103120 cl shrink        0 lits rem          0 time: 0.10
2745.47/687.36	c asymm  cl-useful: 0/1290/2662 lits-rem:0 time: 1.76
2745.47/687.36	c calculated reachability. Time: 0.00
2745.47/687.36	c  N st    81   2711911       125      2662         0    103120     13310   1798877   no data   no data  --
3347.87/838.17	c  N st    82   3211911       125      2662         0     80149     13310   1044909   no data   no data  --
3347.87/838.17	c  S st    82   3211911       125      2662         0     80149     13310   1044909   no data   no data  --
3349.05/838.43	c  S st    82   3212419       125      2662         0     80639     13310   1058104   no data   no data  --
3349.05/838.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3349.05/838.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3349.05/838.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
3349.45/838.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3349.45/838.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3349.45/838.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3349.45/838.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3371.42/844.00	c lits-rem:       463  cl-subs:     2087  v-elim:      0  v-fix:    0  time: 21.96 s
3371.42/844.00	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3371.42/844.02	c vivif2 --  cl tried    78552 cl shrink        0 lits rem          0 time: 0.06
3372.62/844.35	c asymm  cl-useful: 0/1306/2662 lits-rem:0 time: 1.32
3372.62/844.35	c calculated reachability. Time: 0.00
3372.62/844.35	c  N st    82   3212419       125      2662         0     78552     13310   1007836   no data   no data  --
3996.59/1000.50	c  N st    83   3712422       125      2662         0     88815     13310   1181326   no data   no data  --
3996.59/1000.50	c  S st    83   3712422       125      2662         0     88815     13310   1181326   no data   no data  --
3997.79/1000.84	c  S st    83   3712923       125      2662         0     89295     13310   1194416   no data   no data  --
3997.79/1000.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3997.79/1000.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3997.79/1000.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
3998.20/1000.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3998.20/1000.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3998.20/1000.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3998.20/1000.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4029.73/1008.87	c lits-rem:       468  cl-subs:     2675  v-elim:      0  v-fix:    0  time: 31.67 s
4029.73/1008.87	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4029.73/1008.88	c vivif2 --  cl tried    86620 cl shrink        0 lits rem          0 time: 0.06
4031.33/1009.21	c asymm  cl-useful: 0/1396/2662 lits-rem:0 time: 1.30
4031.33/1009.21	c calculated reachability. Time: 0.00
4031.33/1009.21	c  N st    83   3712923       125      2662         0     86620     13310   1135832   no data   no data  --
4086.08/1022.95	c  F st    84   3751562       125      2662         0    122692     13310   2058958   no data   no data  --
4086.08/1022.95	c  N st    84   3751562       125      2662         0    122692     13310   2058958   no data   no data  --
4095.28/1025.28	c Decided on static restart strategy
4135.99/1035.44	c  N st    94   3779862       125      2662         0    149213     13310   2750157   no data   no data  --
4189.52/1048.89	c  N st    96   3815859       125      2662         0    103888     13310   1575846   no data   no data  --
4231.09/1059.27	c  N st    97   3848253       125      2662         0    134006     13310   2355379   no data   no data  --
4307.37/1078.33	c  N st    98   3896841       125      2662         0     99142     13310   1407655   no data   no data  --
4430.39/1109.11	c  N st    99   3969724       125      2662         0     86070     13310   1064362   no data   no data  --
4581.80/1147.03	c  N st   100   4079047       125      2662         0    105962     13310   1590473   no data   no data  --
4777.93/1196.10	c  N st   101   4212923       125      2662         0    147770     13310   2651355   no data   no data  --
4777.93/1196.10	c  S st   101   4212923       125      2662         0    147770     13310   2651355   no data   no data  --
4780.35/1196.74	c  S st   101   4213428       125      2662         0    148261     13310   2664991   no data   no data  --
4780.35/1196.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4780.35/1196.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4780.75/1196.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.40
4781.12/1196.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4781.12/1196.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4781.12/1196.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4781.12/1196.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175267-1304105310/watcher-3175267-1304105310 -o /tmp/evaluation-result-3175267-1304105310/solver-3175267-1304105310 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175267-1304105310.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: 6.90 7.82 7.68 5/180 4671
/proc/meminfo: memFree=31079864/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 417 0 0 0 0 0 0 0 21 0 4 0 254722266 52465664 357 33554432000 4194304 4650419 140733818049520 18446744073709551615 47434420561842 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 12809 357 306 112 0 7774 0
[pid=4671/tid=4672] ppid=4669 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 254722266 52465664 357 33554432000 4194304 4650419 140733818049520 18446744073709551615 268660662203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 254722266 52465664 357 33554432000 4194304 4650419 140733818049520 18446744073709551615 47434420561836 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 254722266 52465664 357 33554432000 4194304 4650419 140733818049520 18446744073709551615 268655709270 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0433181 s]
/proc/loadavg: 6.90 7.82 7.68 5/180 4671
/proc/meminfo: memFree=31079864/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=282760 CPUtime=0.15 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 1582 0 0 0 15 0 0 0 18 0 4 0 254722266 289546240 1427 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 70690 1427 388 112 0 65655 0
[pid=4671/tid=4672] ppid=4669 vsize=282760 CPUtime=0.04 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 327 0 0 0 4 0 0 0 18 0 4 0 254722266 289546240 1427 33554432000 4194304 4650419 140733818049520 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=282760 CPUtime=0.03 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 309 0 0 0 3 0 0 0 23 0 4 0 254722266 289546240 1427 33554432000 4194304 4650419 140733818049520 18446744073709551615 4331347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=282760 CPUtime=0.03 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 171 0 0 0 3 0 0 0 18 0 4 0 254722266 289546240 1427 33554432000 4194304 4650419 140733818049520 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282760

[startup+0.100308 s]
/proc/loadavg: 6.90 7.82 7.68 5/180 4671
/proc/meminfo: memFree=31079864/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=282760 CPUtime=0.37 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 1884 0 0 0 37 0 0 0 18 0 4 0 254722266 289546240 1729 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365280 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 70690 1729 389 112 0 65655 0
[pid=4671/tid=4672] ppid=4669 vsize=282760 CPUtime=0.09 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 404 0 0 0 9 0 0 0 18 0 4 0 254722266 289546240 1730 33554432000 4194304 4650419 140733818049520 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=282760 CPUtime=0.09 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 389 0 0 0 9 0 0 0 23 0 4 0 254722266 289546240 1730 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=282760 CPUtime=0.09 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 241 0 0 0 9 0 0 0 18 0 4 0 254722266 289546240 1732 33554432000 4194304 4650419 140733818049520 18446744073709551615 268660323361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282760

[startup+0.300273 s]
/proc/loadavg: 6.90 7.82 7.68 5/180 4671
/proc/meminfo: memFree=31079864/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=284060 CPUtime=1.18 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 3183 0 0 0 117 1 0 0 18 0 4 0 254722266 290877440 2400 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 71015 2400 391 112 0 65980 0
[pid=4671/tid=4672] ppid=4669 vsize=284060 CPUtime=0.29 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 737 0 0 0 29 0 0 0 18 0 4 0 254722266 290877440 2400 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=284060 CPUtime=0.29 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 701 0 0 0 29 0 0 0 23 0 4 0 254722266 290877440 2400 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=284060 CPUtime=0.29 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 563 0 0 0 29 0 0 0 18 0 4 0 254722266 290877440 2400 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284060

[startup+0.700204 s]
/proc/loadavg: 6.90 7.82 7.68 5/180 4671
/proc/meminfo: memFree=31079864/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=285464 CPUtime=2.78 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 5669 0 0 0 277 1 0 0 18 0 4 0 254722266 292315136 2707 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 71366 2707 391 112 0 66331 0
[pid=4671/tid=4672] ppid=4669 vsize=285464 CPUtime=0.69 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 1373 0 0 0 69 0 0 0 18 0 4 0 254722266 292315136 2707 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=285464 CPUtime=0.69 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 1294 0 0 0 69 0 0 0 25 0 4 0 254722266 292315136 2707 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=285464 CPUtime=0.69 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 1171 0 0 0 69 0 0 0 18 0 4 0 254722266 292315136 2707 33554432000 4194304 4650419 140733818049520 18446744073709551615 4298153 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285464

[startup+1.50107 s]
/proc/loadavg: 6.90 7.82 7.68 9/184 4675
/proc/meminfo: memFree=31061232/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=286744 CPUtime=5.98 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 11128 0 0 0 596 2 0 0 20 0 4 0 254722266 293625856 5927 33554432000 4194304 4650419 140733818049520 18446744073709551615 4438671 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 71686 5927 393 112 0 66651 0
[pid=4671/tid=4672] ppid=4669 vsize=286744 CPUtime=1.49 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 3158 0 0 0 149 0 0 0 19 0 4 0 254722266 293625856 5927 33554432000 4194304 4650419 140733818049520 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=286744 CPUtime=1.48 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 2175 0 0 0 148 0 0 0 25 0 4 0 254722266 293625856 5927 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=286744 CPUtime=1.48 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 2027 0 0 0 148 0 0 0 20 0 4 0 254722266 293625856 5927 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 286744

[startup+3.10079 s]
/proc/loadavg: 6.90 7.82 7.68 9/184 4675
/proc/meminfo: memFree=31025880/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=304248 CPUtime=12.36 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 18496 0 0 0 1233 3 0 0 25 0 4 0 254722266 311549952 11352 33554432000 4194304 4650419 140733818049520 18446744073709551615 4438666 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 76062 11352 393 112 0 71027 0
[pid=4671/tid=4672] ppid=4669 vsize=304248 CPUtime=3.09 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 4306 0 0 0 309 0 0 0 25 0 4 0 254722266 311549952 11352 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=304248 CPUtime=3.07 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 4419 0 0 0 307 0 0 0 25 0 4 0 254722266 311549952 11352 33554432000 4194304 4650419 140733818049520 18446744073709551615 4438402 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=304248 CPUtime=3.08 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 4196 0 0 0 308 0 0 0 25 0 4 0 254722266 311549952 11352 33554432000 4194304 4650419 140733818049520 18446744073709551615 4330598 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 304248

[startup+6.30023 s]
/proc/loadavg: 6.99 7.82 7.68 9/184 4675
/proc/meminfo: memFree=30969464/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=304780 CPUtime=25.14 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 26287 0 0 0 2510 4 0 0 25 0 4 0 254722266 312094720 15282 33554432000 4194304 4650419 140733818049520 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 76195 15282 393 112 0 71160 0
[pid=4671/tid=4672] ppid=4669 vsize=304780 CPUtime=6.29 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 6454 0 0 0 629 0 0 0 25 0 4 0 254722266 312094720 15282 33554432000 4194304 4650419 140733818049520 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=304780 CPUtime=6.25 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 6612 0 0 0 625 0 0 0 25 0 4 0 254722266 312094720 15282 33554432000 4194304 4650419 140733818049520 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=304780 CPUtime=6.29 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 6048 0 0 0 628 1 0 0 25 0 4 0 254722266 312094720 15282 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 304780

[startup+12.7011 s]
/proc/loadavg: 7.07 7.83 7.68 9/184 4675
/proc/meminfo: memFree=30909452/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=313432 CPUtime=50.71 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 39526 0 0 0 5063 8 0 0 25 0 4 0 254722266 320954368 21177 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 78358 21177 393 112 0 73323 0
[pid=4671/tid=4672] ppid=4669 vsize=313432 CPUtime=12.69 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 10137 0 0 0 1267 2 0 0 25 0 4 0 254722266 320954368 21177 33554432000 4194304 4650419 140733818049520 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=313432 CPUtime=12.62 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 10426 0 0 0 1261 1 0 0 25 0 4 0 254722266 320954368 21177 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=313432 CPUtime=12.69 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 9214 0 0 0 1267 2 0 0 25 0 4 0 254722266 320954368 21177 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 313432

[startup+25.5009 s]
/proc/loadavg: 7.35 7.85 7.69 9/184 4676
/proc/meminfo: memFree=30847444/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=352808 CPUtime=101.84 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 59117 0 0 0 10171 13 0 0 25 0 4 0 254722266 361275392 28159 33554432000 4194304 4650419 140733818049520 18446744073709551615 4311360 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 88202 28159 393 112 0 83167 0
[pid=4671/tid=4672] ppid=4669 vsize=352808 CPUtime=25.48 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 16431 0 0 0 2545 3 0 0 25 0 4 0 254722266 361275392 28159 33554432000 4194304 4650419 140733818049520 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=352808 CPUtime=25.35 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 16468 0 0 0 2532 3 0 0 25 0 4 0 254722266 361275392 28159 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=352808 CPUtime=25.49 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 11745 0 0 0 2547 2 0 0 25 0 4 0 254722266 361275392 28159 33554432000 4194304 4650419 140733818049520 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 352808

[startup+51.1004 s]
/proc/loadavg: 7.64 7.88 7.71 9/184 4677
/proc/meminfo: memFree=30807924/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=347724 CPUtime=204.1 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 91625 0 0 0 20387 23 0 0 25 0 4 0 254722266 356069376 32682 33554432000 4194304 4650419 140733818049520 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 86931 32682 393 112 0 81896 0
[pid=4671/tid=4672] ppid=4669 vsize=347724 CPUtime=51.09 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 26827 0 0 0 5103 6 0 0 25 0 4 0 254722266 356069376 32682 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=347724 CPUtime=50.81 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 25305 0 0 0 5076 5 0 0 25 0 4 0 254722266 356069376 32682 33554432000 4194304 4650419 140733818049520 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=347724 CPUtime=51.08 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 15302 0 0 0 5105 3 0 0 25 0 4 0 254722266 356069376 32682 33554432000 4194304 4650419 140733818049520 18446744073709551615 4304332 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 347724

[startup+102.306 s]
/proc/loadavg: 7.97 7.93 7.73 9/184 4678
/proc/meminfo: memFree=30734092/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=348224 CPUtime=408.64 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 152238 0 0 0 40824 40 0 0 25 0 4 0 254722266 356581376 41376 33554432000 4194304 4650419 140733818049520 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4671/statm: 87056 41376 393 112 0 82021 0
[pid=4671/tid=4672] ppid=4669 vsize=348224 CPUtime=102.29 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 43134 0 0 0 10219 10 0 0 25 0 4 0 254722266 356581376 41376 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=348224 CPUtime=101.73 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 40818 0 0 0 10163 10 0 0 25 0 4 0 254722266 356581376 41376 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=348224 CPUtime=102.3 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 25549 0 0 0 10223 7 0 0 25 0 4 0 254722266 356581376 41376 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 348224

[startup+162.301 s]

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

[pid=4671] ppid=4669 vsize=556128 CPUtime=2805.39 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 441245 0 0 0 280373 166 0 0 25 0 4 0 254722266 569475072 98938 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 139032 98938 393 112 0 133997 0
[pid=4671/tid=4672] ppid=4669 vsize=556128 CPUtime=702.28 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 135964 0 0 0 70179 49 0 0 25 0 4 0 254722266 569475072 98938 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=556128 CPUtime=699.54 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 129012 0 0 0 69902 52 0 0 25 0 4 0 254722266 569475072 98938 33554432000 4194304 4650419 140733818049520 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=556128 CPUtime=702.3 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 56556 0 0 0 70212 18 0 0 25 0 4 0 254722266 569475072 98938 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 556128

[startup+762.307 s]
/proc/loadavg: 8.08 8.10 7.92 9/184 4695
/proc/meminfo: memFree=30194384/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=543360 CPUtime=3045.08 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 458942 0 0 0 304332 176 0 0 25 0 4 0 254722266 556400640 106522 33554432000 4194304 4650419 140733818049520 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 135840 106522 393 112 0 130805 0
[pid=4671/tid=4672] ppid=4669 vsize=543360 CPUtime=762.29 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 144814 0 0 0 76175 54 0 0 25 0 4 0 254722266 556400640 106522 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=543360 CPUtime=759.55 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 137199 0 0 0 75897 58 0 0 25 0 4 0 254722266 556400640 106522 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=543360 CPUtime=762.31 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 56686 0 0 0 76213 18 0 0 25 0 4 0 254722266 556400640 106522 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 543360

[startup+822.301 s]
/proc/loadavg: 8.14 8.11 7.93 9/184 4697
/proc/meminfo: memFree=30171760/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=600004 CPUtime=3284.75 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 484231 0 0 0 328289 186 0 0 25 0 4 0 254722266 614404096 101002 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 150001 101002 393 112 0 144966 0
[pid=4671/tid=4672] ppid=4669 vsize=600004 CPUtime=822.29 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 152082 0 0 0 82172 57 0 0 25 0 4 0 254722266 614404096 101002 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=600004 CPUtime=819.55 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 145664 0 0 0 81894 61 0 0 25 0 4 0 254722266 614404096 101002 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=600004 CPUtime=822.3 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 59684 0 0 0 82211 19 0 0 25 0 4 0 254722266 614404096 101002 33554432000 4194304 4650419 140733818049520 18446744073709551615 4339794 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 600004

[startup+882.301 s]
/proc/loadavg: 8.12 8.10 7.93 9/184 4699
/proc/meminfo: memFree=30154972/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=578644 CPUtime=3524.42 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 506325 0 0 0 352245 197 0 0 25 0 4 0 254722266 592531456 108596 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 144661 108596 393 112 0 139626 0
[pid=4671/tid=4672] ppid=4669 vsize=578644 CPUtime=882.28 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 159514 0 0 0 88168 60 0 0 25 0 4 0 254722266 592531456 108596 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=578644 CPUtime=879.54 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 153141 0 0 0 87890 64 0 0 25 0 4 0 254722266 592531456 108596 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=578644 CPUtime=882.3 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 63639 0 0 0 88209 21 0 0 25 0 4 0 254722266 592531456 108596 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 578644

[startup+942.301 s]
/proc/loadavg: 8.10 8.09 7.94 9/184 4700
/proc/meminfo: memFree=30121700/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=607664 CPUtime=3764.1 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 531415 0 0 0 376200 210 0 0 25 0 4 0 254722266 622247936 104881 33554432000 4194304 4650419 140733818049520 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 151916 104881 393 112 0 146881 0
[pid=4671/tid=4672] ppid=4669 vsize=607664 CPUtime=942.28 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 168437 0 0 0 94163 65 0 0 25 0 4 0 254722266 622247936 104881 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=607664 CPUtime=939.55 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 160401 0 0 0 93886 69 0 0 25 0 4 0 254722266 622247936 104881 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=607664 CPUtime=942.3 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 65968 0 0 0 94208 22 0 0 25 0 4 0 254722266 622247936 104881 33554432000 4194304 4650419 140733818049520 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 607664

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 7.94 9/184 4702
/proc/meminfo: memFree=30105008/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=659864 CPUtime=4003.77 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 555696 0 0 0 400154 223 0 0 25 0 4 0 254722266 675700736 108533 33554432000 4194304 4650419 140733818049520 18446744073709551615 4439304 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 164966 108533 393 112 0 159931 0
[pid=4671/tid=4672] ppid=4669 vsize=659864 CPUtime=1002.29 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 174252 0 0 0 100160 69 0 0 25 0 4 0 254722266 675700736 108533 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=659864 CPUtime=999.55 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 166389 0 0 0 99883 72 0 0 25 0 4 0 254722266 675700736 108533 33554432000 4194304 4650419 140733818049520 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=659864 CPUtime=1002.31 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 70260 0 0 0 100206 25 0 0 25 0 4 0 254722266 675700736 108533 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 659864

[startup+1062.3 s]
/proc/loadavg: 8.08 8.08 7.95 9/184 4703
/proc/meminfo: memFree=30075700/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=659800 CPUtime=4243.45 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 568517 0 0 0 424115 230 0 0 25 0 4 0 254722266 675635200 113917 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 164950 113917 393 112 0 159915 0
[pid=4671/tid=4672] ppid=4669 vsize=659800 CPUtime=1062.29 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 177611 0 0 0 106158 71 0 0 25 0 4 0 254722266 675635200 113917 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=659800 CPUtime=1059.55 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 168705 0 0 0 105882 73 0 0 25 0 4 0 254722266 675635200 113917 33554432000 4194304 4650419 140733818049520 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=659800 CPUtime=1062.31 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 72479 0 0 0 106205 26 0 0 25 0 4 0 254722266 675635200 113917 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 659800

[startup+1122.3 s]
/proc/loadavg: 8.07 8.08 7.95 9/184 4705
/proc/meminfo: memFree=30060780/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=684208 CPUtime=4483.13 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 590830 0 0 0 448072 241 0 0 25 0 4 0 254722266 700628992 117519 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 171052 117519 393 112 0 166017 0
[pid=4671/tid=4672] ppid=4669 vsize=684208 CPUtime=1122.28 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 181328 0 0 0 112155 73 0 0 25 0 4 0 254722266 700628992 117519 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=684208 CPUtime=1119.55 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 175722 0 0 0 111878 77 0 0 25 0 4 0 254722266 700628992 117519 33554432000 4194304 4650419 140733818049520 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=684208 CPUtime=1122.31 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 77572 0 0 0 112204 27 0 0 25 0 4 0 254722266 700628992 117519 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 684208

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 7.96 9/184 4707
/proc/meminfo: memFree=30032836/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=684404 CPUtime=4722.81 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 612250 0 0 0 472023 258 0 0 25 0 4 0 254722266 700829696 120587 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 171101 120587 393 112 0 166066 0
[pid=4671/tid=4672] ppid=4669 vsize=684404 CPUtime=1182.28 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 184773 0 0 0 118153 75 0 0 25 0 4 0 254722266 700829696 120587 33554432000 4194304 4650419 140733818049520 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=684404 CPUtime=1179.55 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 182687 0 0 0 117873 82 0 0 25 0 4 0 254722266 700829696 120587 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=684404 CPUtime=1182.31 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 81805 0 0 0 118201 30 0 0 25 0 4 0 254722266 700829696 120587 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 684404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.09 7.96 5/179 4708
/proc/meminfo: memFree=30586524/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=706120 CPUtime=4800.32 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 625005 0 0 0 479771 261 0 0 25 0 4 0 254722266 723066880 124079 33554432000 4194304 4650419 140733818049520 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 176530 124079 393 112 0 171495 0
[pid=4671/tid=4672] ppid=4669 vsize=706120 CPUtime=1201.7 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 185887 0 0 0 120094 76 0 0 25 0 4 0 254722266 723066880 124079 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=706120 CPUtime=1198.96 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 187491 0 0 0 119813 83 0 0 25 0 4 0 254722266 723066880 124079 33554432000 4194304 4650419 140733818049520 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=706120 CPUtime=1201.72 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 82429 0 0 0 120141 31 0 0 25 0 4 0 254722266 723066880 124079 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 706120

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

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

[startup+1201.7 s]
/proc/loadavg: 8.12 8.09 7.96 5/179 4708
/proc/meminfo: memFree=30586524/32951124 swapFree=67111524/67111528
[pid=4671] ppid=4669 vsize=706120 CPUtime=4800.32 cores=1,3,5,7
/proc/4671/stat : 4671 (strangenight1-m) R 4669 4671 3825 0 -1 4202496 625005 0 0 0 479771 261 0 0 25 0 4 0 254722266 723066880 124079 33554432000 4194304 4650419 140733818049520 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4671/statm: 176530 124079 393 112 0 171495 0
[pid=4671/tid=4672] ppid=4669 vsize=706120 CPUtime=1201.7 cores=1,3,5,7
/proc/4671/task/4672/stat : 4672 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 185887 0 0 0 120094 76 0 0 25 0 4 0 254722266 723066880 124079 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4671/tid=4673] ppid=4669 vsize=706120 CPUtime=1198.96 cores=1,3,5,7
/proc/4671/task/4673/stat : 4673 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 187491 0 0 0 119813 83 0 0 25 0 4 0 254722266 723066880 124079 33554432000 4194304 4650419 140733818049520 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4671/tid=4674] ppid=4669 vsize=706120 CPUtime=1201.72 cores=1,3,5,7
/proc/4671/task/4674/stat : 4674 (strangenight1-m) R 4669 4671 3825 0 -1 4202560 82429 0 0 0 120141 31 0 0 25 0 4 0 254722266 723066880 124079 33554432000 4194304 4650419 140733818049520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 706120

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4797.74
CPU system time (s): 2.6326
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 794840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.74
system time used= 2.6326
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 625006
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= 423
involuntary context switches= 32369

runsolver used 1.89771 second user time and 4.66929 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 21:28:30
IDJOB=3175267
IDBENCH=82885
IDSOLVER=1588
FILE ID=node107/3175267-1304105310
RUNJOBID= node107-1304105310-4649
PBS_JOBID= 13170615
Free space on /tmp= 71796 MiB

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

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

MD5SUM BENCH= 871f75d4bb41b463ca12a7a8837d201b
RANDOM SEED=688286378

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31080020 kB
Buffers:        338744 kB
Cached:        1114604 kB
SwapCached:          4 kB
Active:          99132 kB
Inactive:      1424636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31080020 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12596 kB
Writeback:           0 kB
AnonPages:       70284 kB
Mapped:          15264 kB
Slab:           284460 kB
PageTables:       5076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   271940 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= 71796 MiB
End job on node107 at 2011-04-29 21:48:34