Trace number 3175337

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.09 1201.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf
MD5SUMc50e43fe8603bb92c9367487557e99ee
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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-3175337-1304119415.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.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.38/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.38/0.10	c calculated reachability. Time: 0.00
0.38/0.10	c Calc default polars -  time:   0.00 s pos:      63 undec:       5 neg:      57
0.38/0.10	c =========================================================================================
0.38/0.10	c types(t): F = full restart, N = normal restart
0.38/0.10	c types(t): S = simplification begin/end, E = solution found
0.38/0.10	c restart types(rt): st = static, dy = dynamic
0.38/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.38/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4916       125      2662         0      4645     13310    115451   no data   no data  --
1.17/0.33	c  N st    10     11299       125      2662         0      4297     13310     86918   no data   no data  --
1.98/0.53	c  N st    11     17043       125      2662         0      9703     13310    227922   no data   no data  --
3.18/0.82	c  F st    12     25001       125      2662         0     11928     13310    282006   no data   no data  --
3.18/0.82	c  N st    12     25001       125      2662         0     11928     13310    282006   no data   no data  --
3.99/1.03	c Decided on static restart strategy
3.99/1.03	c  N st    18     30001       125      2662         0     10223     13310    228495   no data   no data  --
3.99/1.03	c  S st    18     30001       125      2662         0     10223     13310    228495   no data   no data  --
3.99/1.06	c  S st    18     30502       125      2662         0     10714     13310    241257   no data   no data  --
3.99/1.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.99/1.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.99/1.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.99/1.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.77/1.71	c lits-rem:      3404  cl-subs:     1471  v-elim:      0  v-fix:    0  time:  2.55 s
6.77/1.75	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.18
6.77/1.75	c calculated reachability. Time: 0.00
6.77/1.75	c  N st    18     30502       125      2662         0      9243     13310    196803   no data   no data  --
7.97/2.05	c  N st    20     37613       125      2662         0      8525     13310    166638   no data   no data  --
9.17/2.34	c  N st    21     44012       125      2662         0     14539     13310    329168   no data   no data  --
9.57/2.43	c  S st    22     45755       125      2662         0     16162     13310    368909   no data   no data  --
9.57/2.47	c  S st    22     46257       125      2662         0     16655     13310    382132   no data   no data  --
9.57/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.57/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.57/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.57/2.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.82	c lits-rem:      4890  cl-subs:     1668  v-elim:      0  v-fix:    0  time:  5.31 s
15.16/3.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.16/3.82	c vivif2 --  cl tried    14987 cl shrink        0 lits rem          0 time: 0.01
15.16/3.89	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
15.16/3.89	c calculated reachability. Time: 0.00
15.16/3.89	c  N st    22     46257       125      2662         0     14987     13310    330289   no data   no data  --
18.36/4.61	c  N st    23     60656       125      2662         0     10784     13310    192362   no data   no data  --
20.36/5.12	c  N st    24     69385       125      2662         0     19003     13310    403169   no data   no data  --
20.36/5.12	c  S st    24     69385       125      2662         0     19003     13310    403169   no data   no data  --
20.36/5.17	c  S st    24     69892       125      2662         0     19503     13310    416002   no data   no data  --
20.36/5.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.36/5.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.36/5.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
20.36/5.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.36/5.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.36/5.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
20.36/5.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.37/6.66	c lits-rem:      5795  cl-subs:     2124  v-elim:      0  v-fix:    0  time:  5.89 s
26.37/6.66	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
26.37/6.67	c vivif2 --  cl tried    17379 cl shrink        0 lits rem          0 time: 0.02
26.75/6.75	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.33
26.75/6.75	c calculated reachability. Time: 0.00
26.75/6.75	c  N st    24     69892       125      2662         0     17379     13310    355846   no data   no data  --
31.14/7.80	c  F st    25     87500       125      2662         0     12423     13310    214849   no data   no data  --
31.14/7.80	c  N st    25     87500       125      2662         0     12423     13310    214849   no data   no data  --
32.34/8.10	c Decided on static restart strategy
32.74/8.28	c  N st    32     95545       125      2662         0     20038     13310    414702   no data   no data  --
35.54/8.91	c  N st    34    104838       125      2662         0     16516     13310    314861   no data   no data  --
35.54/8.91	c  S st    34    104838       125      2662         0     16516     13310    314861   no data   no data  --
35.54/8.96	c  S st    34    105347       125      2662         0     17012     13310    327914   no data   no data  --
35.54/8.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.54/8.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.54/8.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
35.54/8.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.54/8.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.54/8.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
35.54/8.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.33/10.14	c lits-rem:      2543  cl-subs:     1117  v-elim:      0  v-fix:    0  time:  4.66 s
40.33/10.14	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
40.33/10.15	c vivif2 --  cl tried    15895 cl shrink        0 lits rem          0 time: 0.01
40.73/10.22	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
40.73/10.22	c calculated reachability. Time: 0.00
40.73/10.22	c  N st    34    105347       125      2662         0     15895     13310    295437   no data   no data  --
43.94/11.03	c  N st    35    114945       125      2662         0     24885     13310    526825   no data   no data  --
48.34/12.15	c  N st    36    129342       125      2662         0     25250     13310    518924   no data   no data  --
55.52/13.92	c  N st    37    150938       125      2662         0     16521     13310    265248   no data   no data  --
57.51/14.40	c  S st    38    158020       125      2662         0     23205     13310    444902   no data   no data  --
57.51/14.46	c  S st    38    158523       125      2662         0     23697     13310    458063   no data   no data  --
57.51/14.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.51/14.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.51/14.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
57.51/14.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.51/14.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.51/14.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.51/14.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.90/16.01	c lits-rem:      4447  cl-subs:     1580  v-elim:      0  v-fix:    0  time:  6.11 s
63.90/16.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.90/16.01	c vivif2 --  cl tried    22117 cl shrink        0 lits rem          0 time: 0.02
64.30/16.12	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
64.30/16.13	c calculated reachability. Time: 0.00
64.30/16.13	c  N st    38    158523       125      2662         0     22117     13310    410166   no data   no data  --
80.67/20.25	c  N st    39    207112       125      2662         0     34856     13310    742121   no data   no data  --
91.46/22.94	c  N st    40    237784       125      2662         0     27076     13310    497123   no data   no data  --
91.46/22.94	c  S st    40    237784       125      2662         0     27076     13310    497123   no data   no data  --
91.88/23.01	c  S st    40    238285       125      2662         0     27565     13310    509910   no data   no data  --
91.88/23.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.88/23.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.88/23.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
91.88/23.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.88/23.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.88/23.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
91.88/23.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
98.66/24.77	c lits-rem:      3719  cl-subs:     2028  v-elim:      0  v-fix:    0  time:  6.93 s
98.66/24.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
98.66/24.78	c vivif2 --  cl tried    25537 cl shrink        0 lits rem          0 time: 0.02
99.06/24.88	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.43
99.06/24.88	c calculated reachability. Time: 0.00
99.06/24.88	c  N st    40    238285       125      2662         0     25537     13310    453653   no data   no data  --
122.65/30.70	c  F st    41    306250       125      2662         0     27352     13310    459579   no data   no data  --
122.65/30.70	c  N st    41    306250       125      2662         0     27352     13310    459579   no data   no data  --
124.23/31.12	c Decided on static restart strategy
133.82/33.51	c  N st    51    334558       125      2662         0     31467     13310    542602   no data   no data  --
142.21/35.69	c  N st    53    357429       125      2662         0     29554     13310    476881   no data   no data  --
142.21/35.69	c  S st    53    357429       125      2662         0     29554     13310    476881   no data   no data  --
142.61/35.76	c  S st    53    357932       125      2662         0     30041     13310    489613   no data   no data  --
142.61/35.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
142.61/35.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.61/35.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
142.61/35.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.61/35.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.61/35.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
142.61/35.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
149.01/37.31	c lits-rem:      2866  cl-subs:     1522  v-elim:      0  v-fix:    0  time:  6.09 s
149.01/37.31	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
149.01/37.32	c vivif2 --  cl tried    28519 cl shrink        0 lits rem          0 time: 0.02
149.42/37.44	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.50
149.42/37.44	c calculated reachability. Time: 0.00
149.42/37.44	c  N st    53    357932       125      2662         0     28519     13310    447535   no data   no data  --
162.99/40.88	c  N st    54    390325       125      2662         0     34600     13310    615174   no data   no data  --
186.96/46.88	c  N st    55    438916       125      2662         0     28508     13310    417497   no data   no data  --
218.92/54.81	c  N st    56    511799       125      2662         0     41464     13310    722550   no data   no data  --
230.51/57.78	c  N st    57    536901       125      2662         0     36064     13310    568888   no data   no data  --
230.51/57.78	c  S st    57    536901       125      2662         0     36064     13310    568888   no data   no data  --
230.91/57.87	c  S st    57    537403       125      2662         0     36545     13310    581715   no data   no data  --
230.91/57.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
230.91/57.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
230.91/57.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
231.31/57.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
231.31/57.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.31/57.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
231.31/57.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
239.29/59.90	c lits-rem:      3801  cl-subs:     1407  v-elim:      0  v-fix:    0  time:  7.99 s
239.29/59.90	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
239.29/59.90	c vivif2 --  cl tried    35138 cl shrink        0 lits rem          0 time: 0.03
239.69/60.07	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.66
239.69/60.07	c calculated reachability. Time: 0.00
239.69/60.07	c  N st    57    537403       125      2662         0     35138     13310    540569   no data   no data  --
331.17/82.92	c  N st    58    701388       125      2662         0     63037     13310   1255815   no data   no data  --
397.49/99.58	c  N st    59    806105       125      2662         0     57169     13310   1023333   no data   no data  --
397.49/99.58	c  S st    59    806105       125      2662         0     57169     13310   1023333   no data   no data  --
398.29/99.75	c  S st    59    806608       125      2662         0     57660     13310   1036074   no data   no data  --
398.29/99.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
398.29/99.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
398.29/99.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
398.69/99.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
398.69/99.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
398.69/99.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
398.69/99.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
425.46/106.51	c lits-rem:      1811  cl-subs:     4883  v-elim:      0  v-fix:    0  time: 26.74 s
425.46/106.51	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
425.46/106.52	c vivif2 --  cl tried    52777 cl shrink        0 lits rem          0 time: 0.04
426.27/106.78	c asymm  cl-useful: 0/2269/2662 lits-rem:0 time: 1.04
426.27/106.78	c calculated reachability. Time: 0.00
426.27/106.78	c  N st    59    806608       125      2662         0     52777     13310    912917   no data   no data  --
605.63/151.66	c  F st    60   1071878       125      2662         0     67901     13310   1216110   no data   no data  --
605.63/151.66	c  N st    60   1071878       125      2662         0     67901     13310   1216110   no data   no data  --
610.02/152.72	c Decided on static restart strategy
627.19/157.08	c  N st    70   1100185       125      2662         0     52573     13310    795935   no data   no data  --
657.96/164.79	c  N st    72   1136178       125      2662         0     43248     13310    535106   no data   no data  --
678.33/169.88	c  N st    73   1168575       125      2662         0     73439     13310   1325179   no data   no data  --
714.68/178.91	c  N st    74   1209912       125      2662         0     68171     13310   1164973   no data   no data  --
714.68/178.91	c  S st    74   1209912       125      2662         0     68171     13310   1164973   no data   no data  --
715.48/179.16	c  S st    74   1210413       125      2662         0     68656     13310   1177748   no data   no data  --
715.48/179.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
715.48/179.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
715.90/179.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
715.90/179.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
715.90/179.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
715.90/179.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
715.90/179.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
762.62/190.91	c lits-rem:       962  cl-subs:     5858  v-elim:      0  v-fix:    0  time: 46.55 s
762.62/190.91	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
762.62/190.92	c vivif2 --  cl tried    62798 cl shrink        0 lits rem          0 time: 0.05
763.82/191.22	c asymm  cl-useful: 0/2078/2662 lits-rem:0 time: 1.22
763.82/191.22	c calculated reachability. Time: 0.00
763.82/191.22	c  N st    74   1210413       125      2662         0     62798     13310   1030327   no data   no data  --
833.72/208.74	c  N st    75   1283296       125      2662         0     86000     13310   1597354   no data   no data  --
926.82/232.04	c  N st    76   1392620       125      2662         0     48443     13310    591113   no data   no data  --
1053.84/263.84	c  N st    77   1556604       125      2662         0     53159     13310    672423   no data   no data  --
1198.84/300.15	c  N st    78   1710413       125      2662         0     92944     13310   1695125   no data   no data  --
1198.84/300.15	c  S st    78   1710413       125      2662         0     92944     13310   1695125   no data   no data  --
1200.44/300.54	c  S st    78   1710915       125      2662         0     93427     13310   1708328   no data   no data  --
1200.44/300.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1200.44/300.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1200.84/300.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1200.84/300.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1200.84/300.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1200.84/300.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1200.84/300.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1351.83/338.47	c lits-rem:      2085  cl-subs:    10297  v-elim:      0  v-fix:    0  time: 150.99 s
1351.83/338.47	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1351.83/338.49	c vivif2 --  cl tried    83130 cl shrink        0 lits rem          0 time: 0.08
1353.05/338.72	c asymm  cl-useful: 0/584/2662 lits-rem:0 time: 0.91
1353.05/338.73	c calculated reachability. Time: 0.00
1353.05/338.73	c  N st    78   1710915       125      2662         0     83130     13310   1457418   no data   no data  --
1701.37/425.98	c  N st    79   2079879       125      2662         0     94617     13310   1637007   no data   no data  --
1821.22/455.98	c  N st    80   2210915       125      2662         0     98510     13310   1720877   no data   no data  --
1821.22/455.98	c  S st    80   2210915       125      2662         0     98510     13310   1720877   no data   no data  --
1822.82/456.33	c  S st    80   2211418       125      2662         0     99001     13310   1734052   no data   no data  --
1822.82/456.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1822.82/456.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1822.82/456.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.23
1823.23/456.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1823.23/456.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1823.23/456.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1823.23/456.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1981.00/495.98	c lits-rem:      1909  cl-subs:     9123  v-elim:      0  v-fix:    0  time: 157.86 s
1981.00/495.98	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1981.00/496.00	c vivif2 --  cl tried    89878 cl shrink        0 lits rem          0 time: 0.08
1983.00/496.41	c asymm  cl-useful: 0/1373/2662 lits-rem:0 time: 1.63
1983.00/496.41	c calculated reachability. Time: 0.00
1983.00/496.41	c  N st    80   2211418       125      2662         0     89878     13310   1504287   no data   no data  --
2454.78/614.60	c  N st    81   2711420       125      2662         0    112998     13310   2032271   no data   no data  --
2454.78/614.60	c  S st    81   2711420       125      2662         0    112998     13310   2032271   no data   no data  --
2456.78/615.02	c  S st    81   2711923       125      2662         0    113485     13310   2045310   no data   no data  --
2456.78/615.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2456.78/615.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2457.18/615.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2457.18/615.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2457.18/615.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2457.18/615.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2457.18/615.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2627.76/657.88	c lits-rem:      3925  cl-subs:    10880  v-elim:      0  v-fix:    0  time: 170.61 s
2627.76/657.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2628.14/657.91	c vivif2 --  cl tried   102605 cl shrink        0 lits rem          0 time: 0.10
2630.14/658.40	c asymm  cl-useful: 0/977/2662 lits-rem:0 time: 1.97
2630.14/658.41	c calculated reachability. Time: 0.00
2630.14/658.41	c  N st    81   2711923       125      2662         0    102605     13310   1779878   no data   no data  --
3233.34/809.44	c  N st    82   3211924       125      2662         0     79786     13310   1027677   no data   no data  --
3233.34/809.44	c  S st    82   3211924       125      2662         0     79786     13310   1027677   no data   no data  --
3234.15/809.65	c  S st    82   3212428       125      2662         0     80275     13310   1040904   no data   no data  --
3234.15/809.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3234.15/809.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3234.15/809.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3234.53/809.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3234.53/809.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3234.53/809.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3234.53/809.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3254.90/814.83	c lits-rem:       913  cl-subs:     1810  v-elim:      0  v-fix:    0  time: 20.41 s
3254.90/814.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3254.90/814.85	c vivif2 --  cl tried    78465 cl shrink        0 lits rem          0 time: 0.06
3256.12/815.15	c asymm  cl-useful: 0/1476/2662 lits-rem:0 time: 1.22
3256.12/815.16	c calculated reachability. Time: 0.00
3256.12/815.16	c  N st    82   3212428       125      2662         0     78465     13310    997409   no data   no data  --
3842.51/961.93	c  N st    83   3712429       125      2662         0     88636     13310   1173548   no data   no data  --
3842.51/961.93	c  S st    83   3712429       125      2662         0     88636     13310   1173548   no data   no data  --
3843.71/962.26	c  S st    83   3712929       125      2662         0     89119     13310   1186789   no data   no data  --
3843.71/962.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3843.71/962.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3844.11/962.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3844.11/962.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3844.11/962.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3844.11/962.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3844.11/962.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3892.86/974.51	c lits-rem:      1004  cl-subs:     2677  v-elim:      0  v-fix:    0  time: 48.53 s
3892.86/974.51	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3892.86/974.53	c vivif2 --  cl tried    86442 cl shrink        0 lits rem          0 time: 0.06
3894.04/974.88	c asymm  cl-useful: 0/1159/2662 lits-rem:0 time: 1.40
3894.04/974.88	c calculated reachability. Time: 0.00
3894.04/974.88	c  N st    83   3712929       125      2662         0     86442     13310   1121641   no data   no data  --
3940.38/986.43	c  F st    84   3751563       125      2662         0    122382     13310   2085765   no data   no data  --
3940.38/986.43	c  N st    84   3751563       125      2662         0    122382     13310   2085765   no data   no data  --
3948.37/988.43	c Decided on static restart strategy
3990.31/998.95	c  N st    94   3779864       125      2662         0    148993     13310   2793243   no data   no data  --
4038.65/1011.01	c  N st    96   3815857       125      2662         0    103816     13310   1560266   no data   no data  --
4086.60/1023.01	c  N st    97   3848249       125      2662         0    134062     13310   2367886   no data   no data  --
4152.11/1039.48	c  N st    98   3896837       125      2662         0     99360     13310   1436563   no data   no data  --
4264.74/1067.68	c  N st    99   3969719       125      2662         0     86222     13310   1061668   no data   no data  --
4406.97/1103.29	c  N st   100   4079043       125      2662         0    105888     13310   1546980   no data   no data  --
4587.91/1148.59	c  N st   101   4212929       125      2662         0    147721     13310   2649816   no data   no data  --
4587.91/1148.59	c  S st   101   4212929       125      2662         0    147721     13310   2649816   no data   no data  --
4590.31/1149.12	c  S st   101   4213436       125      2662         0    148209     13310   2663036   no data   no data  --
4590.31/1149.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4590.31/1149.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4590.71/1149.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4590.71/1149.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4590.71/1149.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4590.71/1149.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4590.71/1149.29	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-3175337-1304119415/watcher-3175337-1304119415 -o /tmp/evaluation-result-3175337-1304119415/solver-3175337-1304119415 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175337-1304119415.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.20 7.87 7.99 6/180 22221
/proc/meminfo: memFree=17804684/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=208036 CPUtime=0 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 611 0 0 0 0 0 0 0 25 0 4 0 523544089 213028864 533 33554432000 4194304 4650419 140737449680816 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 52009 534 343 112 0 46974 0
[pid=22221/tid=22222] ppid=22219 vsize=216244 CPUtime=0 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 4 0 523544089 221433856 546 33554432000 4194304 4650419 140737449680816 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=216244 CPUtime=0 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 4 0 523544089 221433856 549 33554432000 4194304 4650419 140737449680816 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=216244 CPUtime=0 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 61 0 0 0 0 0 0 0 25 0 4 0 523544089 221433856 553 33554432000 4194304 4650419 140737449680816 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0422469 s]
/proc/loadavg: 7.20 7.87 7.99 6/180 22221
/proc/meminfo: memFree=17804684/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=282628 CPUtime=0.15 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 1561 0 0 0 15 0 0 0 18 0 4 0 523544089 289411072 1410 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 70657 1410 388 112 0 65622 0
[pid=22221/tid=22222] ppid=22219 vsize=282628 CPUtime=0.03 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 305 0 0 0 3 0 0 0 25 0 4 0 523544089 289411072 1410 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=282628 CPUtime=0.03 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 308 0 0 0 3 0 0 0 18 0 4 0 523544089 289411072 1410 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=282628 CPUtime=0.03 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 164 0 0 0 3 0 0 0 25 0 4 0 523544089 289411072 1410 33554432000 4194304 4650419 140737449680816 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282628

[startup+0.100237 s]
/proc/loadavg: 7.20 7.87 7.99 6/180 22221
/proc/meminfo: memFree=17804684/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=282764 CPUtime=0.38 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 1876 0 0 0 38 0 0 0 18 0 4 0 523544089 289550336 1725 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 70691 1725 389 112 0 65656 0
[pid=22221/tid=22222] ppid=22219 vsize=282764 CPUtime=0.09 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 394 0 0 0 9 0 0 0 25 0 4 0 523544089 289550336 1725 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=282764 CPUtime=0.09 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 381 0 0 0 9 0 0 0 18 0 4 0 523544089 289550336 1725 33554432000 4194304 4650419 140737449680816 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=282764 CPUtime=0.09 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 243 0 0 0 9 0 0 0 25 0 4 0 523544089 289550336 1725 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282764

[startup+0.300202 s]
/proc/loadavg: 7.20 7.87 7.99 6/180 22221
/proc/meminfo: memFree=17804684/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=284236 CPUtime=1.17 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 3154 0 0 0 117 0 0 0 18 0 4 0 523544089 291057664 2385 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 71059 2385 391 112 0 66024 0
[pid=22221/tid=22222] ppid=22219 vsize=284236 CPUtime=0.29 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 701 0 0 0 29 0 0 0 25 0 4 0 523544089 291057664 2385 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=284236 CPUtime=0.29 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 731 0 0 0 29 0 0 0 18 0 4 0 523544089 291057664 2385 33554432000 4194304 4650419 140737449680816 18446744073709551615 4330538 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=284236 CPUtime=0.29 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 552 0 0 0 29 0 0 0 25 0 4 0 523544089 291057664 2385 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284236

[startup+0.701131 s]
/proc/loadavg: 7.20 7.87 7.99 6/180 22221
/proc/meminfo: memFree=17804684/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=285888 CPUtime=2.78 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 5700 0 0 0 277 1 0 0 18 0 4 0 523544089 292749312 2784 33554432000 4194304 4650419 140737449680816 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 71472 2784 391 112 0 66437 0
[pid=22221/tid=22222] ppid=22219 vsize=285888 CPUtime=0.69 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 1382 0 0 0 69 0 0 0 25 0 4 0 523544089 292749312 2785 33554432000 4194304 4650419 140737449680816 18446744073709551615 4363862 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=285888 CPUtime=0.69 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 1343 0 0 0 69 0 0 0 18 0 4 0 523544089 292749312 2786 33554432000 4194304 4650419 140737449680816 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=285888 CPUtime=0.69 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 1138 0 0 0 69 0 0 0 25 0 4 0 523544089 292749312 2786 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285888

[startup+1.50099 s]
/proc/loadavg: 7.20 7.87 7.99 9/184 22225
/proc/meminfo: memFree=17793120/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=283900 CPUtime=5.98 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 11071 0 0 0 596 2 0 0 19 0 4 0 523544089 290713600 5919 33554432000 4194304 4650419 140737449680816 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 70975 5919 393 112 0 65940 0
[pid=22221/tid=22222] ppid=22219 vsize=283900 CPUtime=1.48 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 3092 0 0 0 148 0 0 0 25 0 4 0 523544089 290713600 5919 33554432000 4194304 4650419 140737449680816 18446744073709551615 4438509 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=283900 CPUtime=1.48 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 2279 0 0 0 148 0 0 0 19 0 4 0 523544089 290713600 5919 33554432000 4194304 4650419 140737449680816 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=283900 CPUtime=1.49 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 1971 0 0 0 149 0 0 0 25 0 4 0 523544089 290713600 5919 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 283900

[startup+3.10071 s]
/proc/loadavg: 7.20 7.87 7.99 9/184 22225
/proc/meminfo: memFree=17771912/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=303612 CPUtime=12.37 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 18611 0 0 0 1234 3 0 0 25 0 4 0 523544089 310898688 11571 33554432000 4194304 4650419 140737449680816 18446744073709551615 4439653 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 75903 11571 393 112 0 70868 0
[pid=22221/tid=22222] ppid=22219 vsize=303612 CPUtime=3.08 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 4270 0 0 0 307 1 0 0 25 0 4 0 523544089 310898688 11571 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=303612 CPUtime=3.09 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 4522 0 0 0 308 1 0 0 25 0 4 0 523544089 310898688 11571 33554432000 4194304 4650419 140737449680816 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=303612 CPUtime=3.08 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 4480 0 0 0 308 0 0 0 25 0 4 0 523544089 310898688 11571 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 303612

[startup+6.30115 s]
/proc/loadavg: 7.26 7.87 7.99 9/184 22225
/proc/meminfo: memFree=17738076/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=322456 CPUtime=25.15 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 26676 0 0 0 2510 5 0 0 25 0 4 0 523544089 330194944 15684 33554432000 4194304 4650419 140737449680816 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 80614 15684 393 112 0 75579 0
[pid=22221/tid=22222] ppid=22219 vsize=322456 CPUtime=6.26 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 7163 0 0 0 625 1 0 0 25 0 4 0 523544089 330194944 15684 33554432000 4194304 4650419 140737449680816 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=322456 CPUtime=6.28 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 6287 0 0 0 627 1 0 0 25 0 4 0 523544089 330194944 15685 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=322456 CPUtime=6.29 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 6429 0 0 0 628 1 0 0 25 0 4 0 523544089 330194944 15685 33554432000 4194304 4650419 140737449680816 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 322456

[startup+12.701 s]
/proc/loadavg: 7.32 7.87 7.99 9/184 22226
/proc/meminfo: memFree=17690268/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=316508 CPUtime=50.72 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 41866 0 0 0 5064 8 0 0 25 0 4 0 523544089 324104192 20111 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 79127 20111 393 112 0 74092 0
[pid=22221/tid=22222] ppid=22219 vsize=316508 CPUtime=12.63 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 11478 0 0 0 1261 2 0 0 25 0 4 0 523544089 324104192 20111 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=316508 CPUtime=12.69 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 10641 0 0 0 1267 2 0 0 25 0 4 0 523544089 324104192 20111 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=316508 CPUtime=12.69 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 9250 0 0 0 1267 2 0 0 25 0 4 0 523544089 324104192 20111 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 316508

[startup+25.5008 s]
/proc/loadavg: 7.47 7.88 7.99 9/184 22226
/proc/meminfo: memFree=17650952/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=336420 CPUtime=101.85 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 61558 0 0 0 10173 12 0 0 25 0 4 0 523544089 344494080 27083 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 84105 27083 393 112 0 79070 0
[pid=22221/tid=22222] ppid=22219 vsize=336420 CPUtime=25.37 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 17965 0 0 0 2534 3 0 0 25 0 4 0 523544089 344494080 27083 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=336420 CPUtime=25.48 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 17290 0 0 0 2545 3 0 0 25 0 4 0 523544089 344494080 27083 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=336420 CPUtime=25.49 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 11311 0 0 0 2547 2 0 0 25 0 4 0 523544089 344494080 27083 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 336420

[startup+51.1003 s]
/proc/loadavg: 7.71 7.91 8.00 9/184 22227
/proc/meminfo: memFree=17601964/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=338444 CPUtime=204.13 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 96983 0 0 0 20391 22 0 0 25 0 4 0 523544089 346566656 33150 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 84611 33150 393 112 0 79576 0
[pid=22221/tid=22222] ppid=22219 vsize=338444 CPUtime=50.85 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 28311 0 0 0 5080 5 0 0 25 0 4 0 523544089 346566656 33150 33554432000 4194304 4650419 140737449680816 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=338444 CPUtime=51.08 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 27654 0 0 0 5102 6 0 0 25 0 4 0 523544089 346566656 33150 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=338444 CPUtime=51.08 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 16049 0 0 0 5105 3 0 0 25 0 4 0 523544089 346566656 33150 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 338444

[startup+102.307 s]
/proc/loadavg: 8.01 7.95 8.01 9/184 22228
/proc/meminfo: memFree=17524184/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=332320 CPUtime=408.69 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 152273 0 0 0 40830 39 0 0 25 0 4 0 523544089 340295680 40398 33554432000 4194304 4650419 140737449680816 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 83080 40398 393 112 0 78045 0
[pid=22221/tid=22222] ppid=22219 vsize=332320 CPUtime=101.8 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 45759 0 0 0 10169 11 0 0 25 0 4 0 523544089 340295680 40398 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=332320 CPUtime=102.29 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 45128 0 0 0 10219 10 0 0 25 0 4 0 523544089 340295680 40398 33554432000 4194304 4650419 140737449680816 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=332320 CPUtime=102.28 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 21528 0 0 0 10223 5 0 0 25 0 4 0 523544089 340295680 40398 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 332320

[startup+162.301 s]

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

[pid=22221] ppid=22219 vsize=567224 CPUtime=2565.84 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 409303 0 0 0 256440 144 0 0 25 0 4 0 523544089 580837376 99785 33554432000 4194304 4650419 140737449680816 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 141806 99785 393 112 0 136771 0
[pid=22221/tid=22222] ppid=22219 vsize=567224 CPUtime=638.99 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 124989 0 0 0 63860 39 0 0 25 0 4 0 523544089 580837376 99785 33554432000 4194304 4650419 140737449680816 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=567224 CPUtime=642.24 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 119705 0 0 0 64181 43 0 0 25 0 4 0 523544089 580837376 99785 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=567224 CPUtime=642.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 63692 0 0 0 64201 26 0 0 25 0 4 0 523544089 580837376 99785 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.84
Current children cumulated vsize (KiB) 567224

[startup+702.301 s]
/proc/loadavg: 8.01 8.04 8.01 9/184 22244
/proc/meminfo: memFree=17070156/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=620560 CPUtime=2805.5 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 422899 0 0 0 280399 151 0 0 25 0 4 0 523544089 635453440 100410 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 155140 100410 393 112 0 150105 0
[pid=22221/tid=22222] ppid=22219 vsize=620560 CPUtime=698.66 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 128199 0 0 0 69826 40 0 0 25 0 4 0 523544089 635453440 100410 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=620560 CPUtime=702.23 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 125427 0 0 0 70177 46 0 0 25 0 4 0 523544089 635453440 100410 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366479 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=620560 CPUtime=702.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 64206 0 0 0 70200 27 0 0 25 0 4 0 523544089 635453440 100410 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.5
Current children cumulated vsize (KiB) 620560

[startup+762.306 s]
/proc/loadavg: 8.08 8.05 8.01 9/184 22246
/proc/meminfo: memFree=17088996/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=620672 CPUtime=3045.2 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 448982 0 0 0 304359 161 0 0 25 0 4 0 523544089 635568128 105200 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 155168 105200 393 112 0 150133 0
[pid=22221/tid=22222] ppid=22219 vsize=620672 CPUtime=758.34 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 137328 0 0 0 75791 43 0 0 25 0 4 0 523544089 635568128 105200 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=620672 CPUtime=762.24 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 133408 0 0 0 76175 49 0 0 25 0 4 0 523544089 635568128 105200 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=620672 CPUtime=762.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 67032 0 0 0 76199 28 0 0 25 0 4 0 523544089 635568128 105200 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.2
Current children cumulated vsize (KiB) 620672

[startup+822.301 s]
/proc/loadavg: 8.03 8.04 8.00 9/184 22247
/proc/meminfo: memFree=17026484/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=620820 CPUtime=3284.86 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 466846 0 0 0 328317 169 0 0 25 0 4 0 523544089 635719680 109534 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 155205 109534 393 112 0 150170 0
[pid=22221/tid=22222] ppid=22219 vsize=620820 CPUtime=818.03 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 144712 0 0 0 81755 48 0 0 25 0 4 0 523544089 635719680 109534 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=620820 CPUtime=822.22 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 140610 0 0 0 82172 50 0 0 25 0 4 0 523544089 635719680 109534 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=620820 CPUtime=822.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 67036 0 0 0 82199 28 0 0 25 0 4 0 523544089 635719680 109534 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.86
Current children cumulated vsize (KiB) 620820

[startup+882.301 s]
/proc/loadavg: 8.12 8.06 8.01 9/184 22249
/proc/meminfo: memFree=17030936/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=629020 CPUtime=3524.54 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 487338 0 0 0 352277 177 0 0 25 0 4 0 523544089 644116480 112477 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 157255 112477 393 112 0 152220 0
[pid=22221/tid=22222] ppid=22219 vsize=629020 CPUtime=877.71 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 148874 0 0 0 87722 49 0 0 25 0 4 0 523544089 644116480 112477 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=629020 CPUtime=882.22 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 148848 0 0 0 88168 54 0 0 25 0 4 0 523544089 644116480 112477 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=629020 CPUtime=882.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 68989 0 0 0 88198 29 0 0 25 0 4 0 523544089 644116480 112477 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.54
Current children cumulated vsize (KiB) 629020

[startup+942.301 s]
/proc/loadavg: 8.18 8.08 8.01 9/184 22250
/proc/meminfo: memFree=17034400/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=640712 CPUtime=3764.22 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 506948 0 0 0 376238 184 0 0 25 0 4 0 523544089 656089088 107955 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 160178 107955 393 112 0 155143 0
[pid=22221/tid=22222] ppid=22219 vsize=640712 CPUtime=937.39 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 155472 0 0 0 93688 51 0 0 25 0 4 0 523544089 656089088 107955 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=640712 CPUtime=942.21 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 157013 0 0 0 94165 56 0 0 25 0 4 0 523544089 656089088 107955 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=640712 CPUtime=942.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 70283 0 0 0 94198 29 0 0 25 0 4 0 523544089 656089088 107955 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.22
Current children cumulated vsize (KiB) 640712

[startup+1002.3 s]
/proc/loadavg: 8.20 8.09 8.02 9/184 22252
/proc/meminfo: memFree=17020224/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=644312 CPUtime=4003.89 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 523979 0 0 0 400198 191 0 0 25 0 4 0 523544089 659775488 107472 33554432000 4194304 4650419 140737449680816 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 161078 107472 393 112 0 156043 0
[pid=22221/tid=22222] ppid=22219 vsize=644312 CPUtime=997.07 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 163167 0 0 0 99652 55 0 0 25 0 4 0 523544089 659775488 107472 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=644312 CPUtime=1002.22 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 161252 0 0 0 100164 58 0 0 25 0 4 0 523544089 659775488 107472 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=644312 CPUtime=1002.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 71967 0 0 0 100197 30 0 0 25 0 4 0 523544089 659775488 107472 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.89
Current children cumulated vsize (KiB) 644312

[startup+1062.3 s]
/proc/loadavg: 8.19 8.11 8.02 9/184 22254
/proc/meminfo: memFree=16980524/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=629884 CPUtime=4243.58 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 537215 0 0 0 424161 197 0 0 25 0 4 0 523544089 645001216 110063 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 157471 110063 393 112 0 152436 0
[pid=22221/tid=22222] ppid=22219 vsize=629884 CPUtime=1056.76 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 170243 0 0 0 105618 58 0 0 25 0 4 0 523544089 645001216 110063 33554432000 4194304 4650419 140737449680816 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=629884 CPUtime=1062.21 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 161365 0 0 0 106163 58 0 0 25 0 4 0 523544089 645001216 110063 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=629884 CPUtime=1062.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 74453 0 0 0 106196 31 0 0 25 0 4 0 523544089 645001216 110063 33554432000 4194304 4650419 140737449680816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.58
Current children cumulated vsize (KiB) 629884

[startup+1122.3 s]
/proc/loadavg: 8.19 8.11 8.02 9/184 22255
/proc/meminfo: memFree=16930792/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=657832 CPUtime=4483.25 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 562211 0 0 0 448117 208 0 0 25 0 4 0 523544089 673619968 113400 33554432000 4194304 4650419 140737449680816 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 164458 113400 393 112 0 159423 0
[pid=22221/tid=22222] ppid=22219 vsize=657832 CPUtime=1116.44 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 177686 0 0 0 111583 61 0 0 25 0 4 0 523544089 673619968 113400 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=657832 CPUtime=1122.2 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 168038 0 0 0 112159 61 0 0 25 0 4 0 523544089 673619968 113400 33554432000 4194304 4650419 140737449680816 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=657832 CPUtime=1122.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 78344 0 0 0 112194 33 0 0 25 0 4 0 523544089 673619968 113400 33554432000 4194304 4650419 140737449680816 18446744073709551615 4339837 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.25
Current children cumulated vsize (KiB) 657832

[startup+1182.3 s]
/proc/loadavg: 8.13 8.11 8.02 9/184 22257
/proc/meminfo: memFree=16885776/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=655420 CPUtime=4722.92 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 584287 0 0 0 472074 218 0 0 25 0 4 0 523544089 671150080 124608 33554432000 4194304 4650419 140737449680816 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 163855 124608 393 112 0 158820 0
[pid=22221/tid=22222] ppid=22219 vsize=655420 CPUtime=1176.12 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 186395 0 0 0 117547 65 0 0 25 0 4 0 523544089 671150080 124608 33554432000 4194304 4650419 140737449680816 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=655420 CPUtime=1182.2 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 173743 0 0 0 118157 63 0 0 25 0 4 0 523544089 671150080 124608 33554432000 4194304 4650419 140737449680816 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=655420 CPUtime=1182.27 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 82617 0 0 0 118191 36 0 0 25 0 4 0 523544089 671150080 124608 33554432000 4194304 4650419 140737449680816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.92
Current children cumulated vsize (KiB) 655420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.09 8.10 8.02 9/184 22288
/proc/meminfo: memFree=17307816/32951124 swapFree=67111528/67111528
[pid=22221] ppid=22219 vsize=657996 CPUtime=4800.04 cores=0,2,4,6
/proc/22221/stat : 22221 (strangenight1-m) R 22219 22221 21853 0 -1 4202496 585151 0 0 0 479784 220 0 0 25 0 4 0 523544089 673787904 125472 33554432000 4194304 4650419 140737449680816 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22221/statm: 164499 125472 393 112 0 159464 0
[pid=22221/tid=22222] ppid=22219 vsize=657996 CPUtime=1195.31 cores=0,2,4,6
/proc/22221/task/22222/stat : 22222 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 186395 0 0 0 119466 65 0 0 25 0 4 0 523544089 673787904 125472 33554432000 4194304 4650419 140737449680816 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22221/tid=22223] ppid=22219 vsize=657996 CPUtime=1201.5 cores=0,2,4,6
/proc/22221/task/22223/stat : 22223 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 173743 0 0 0 120086 64 0 0 25 0 4 0 523544089 673787904 125472 33554432000 4194304 4650419 140737449680816 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22221/tid=22224] ppid=22219 vsize=657996 CPUtime=1201.58 cores=0,2,4,6
/proc/22221/task/22224/stat : 22224 (strangenight1-m) R 22219 22221 21853 0 -1 4202560 83232 0 0 0 120121 37 0 0 25 0 4 0 523544089 673787904 125472 33554432000 4194304 4650419 140737449680816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 657996

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.09
CPU user time (s): 4797.87
CPU system time (s): 2.22566
CPU usage (%): 399.463
Max. virtual memory (cumulated for all children) (KiB): 768564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.22566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585151
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= 366
involuntary context switches= 23075

runsolver used 1.89971 second user time and 4.42733 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-30 01:23:35
IDJOB=3175337
IDBENCH=82955
IDSOLVER=1588
FILE ID=node103/3175337-1304119415
RUNJOBID= node103-1304119403-22168
PBS_JOBID= 13170711
Free space on /tmp= 71512 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175337-1304119415/watcher-3175337-1304119415 -o /tmp/evaluation-result-3175337-1304119415/solver-3175337-1304119415 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175337-1304119415.cnf

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

MD5SUM BENCH= c50e43fe8603bb92c9367487557e99ee
RANDOM SEED=577488494

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17804964 kB
Buffers:       2149624 kB
Cached:       12260904 kB
SwapCached:          0 kB
Active:        5690620 kB
Inactive:      8871780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17804964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12708 kB
Writeback:           0 kB
AnonPages:      151028 kB
Mapped:          15392 kB
Slab:           520540 kB
PageTables:       5276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   427364 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= 71508 MiB
End job on node103 at 2011-04-30 01:43:38