Trace number 3368787

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.08 1202.45

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf
MD5SUM9b739128337f606a6a7756556c2fd6df
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009998
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
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-3368787-1305403043.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
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.37/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.37/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
0.37/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.10	c calculated reachability. Time: 0.00
0.37/0.10	c Calc default polars -  time:   0.00 s pos:     212 undec:      64 neg:     224
0.37/0.10	c =========================================================================================
0.37/0.10	c types(t): F = full restart, N = normal restart
0.37/0.10	c types(t): S = simplification begin/end, E = solution found
0.37/0.10	c restart types(rt): st = static, dy = dynamic
0.37/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.10	c  B st     0         0       481      2122         0         0      6477         0   no data   no data  --
0.37/0.10	c Decided on static restart strategy
2.76/0.73	c  N st     8      4918       481      2122         0      4858      6477    117046   no data   no data  --
2.76/0.73	c  N st    10     11301       481      2122         0      4490      6477     78980   no data   no data  --
2.76/0.73	c  N st    11     17044       481      2122         0     10086      6477    211155   no data   no data  --
4.39/1.11	c  F st    12     25002       481      2122         0     12394      6477    263198   no data   no data  --
4.39/1.11	c  N st    12     25002       481      2122         0     12394      6477    263198   no data   no data  --
5.16/1.34	c Decided on static restart strategy
5.16/1.34	c  N st    18     30000       481      2122         0     10638      6477    205667   no data   no data  --
5.16/1.34	c  S st    18     30000       481      2122         0     10638      6477    205667   no data   no data  --
5.16/1.37	c  S st    18     30504       481      2122         0     11142      6477    216623   no data   no data  --
5.16/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.16/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
5.16/1.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.36/1.61	c lits-rem:       112  cl-subs:      575  v-elim:      0  v-fix:    0  time:  0.92 s
6.36/1.62	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.04
6.36/1.62	c calculated reachability. Time: 0.00
6.36/1.62	c  N st    18     30504       481      2122         0     10567      6477    201093   no data   no data  --
7.95/2.02	c  N st    20     37616       481      2122         0      9837      6477    163024   no data   no data  --
9.56/2.42	c  N st    21     44016       481      2122         0     16101      6477    311916   no data   no data  --
9.95/2.58	c  S st    22     45758       481      2122         0      9051      6477    128204   no data   no data  --
10.35/2.61	c  S st    22     46261       481      2122         0      9554      6477    139597   no data   no data  --
10.35/2.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.35/2.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.35/2.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
10.35/2.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.76/2.71	c lits-rem:        56  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.39 s
10.76/2.71	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
10.76/2.71	c vivif2 --  cl tried     9490 cl shrink        0 lits rem          0 time: 0.01
10.76/2.72	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.03
10.76/2.72	c calculated reachability. Time: 0.00
10.76/2.72	c  N st    22     46261       481      2122         0      9490      6477    138007   no data   no data  --
14.35/3.60	c  N st    23     60659       481      2122         0     13789      6477    226145   no data   no data  --
16.74/4.21	c  N st    24     69391       481      2122         0     11605      6477    168408   no data   no data  --
16.74/4.21	c  S st    24     69391       481      2122         0     11605      6477    168408   no data   no data  --
16.74/4.24	c  S st    24     69891       481      2122         0     12103      6477    179769   no data   no data  --
16.74/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.74/4.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.74/4.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.74/4.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.74/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
16.74/4.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.56/4.44	c lits-rem:        50  cl-subs:      198  v-elim:      0  v-fix:    0  time:  0.75 s
17.56/4.44	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
17.56/4.44	c vivif2 --  cl tried    11905 cl shrink        0 lits rem          0 time: 0.01
17.56/4.45	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.03
17.56/4.45	c calculated reachability. Time: 0.00
17.56/4.45	c  N st    24     69891       481      2122         0     11905      6477    175487   no data   no data  --
22.72/5.70	c  F st    25     87502       481      2122         0     17466      6477    308990   no data   no data  --
22.72/5.70	c  N st    25     87502       481      2122         0     17466      6477    308990   no data   no data  --
24.32/6.14	c  N dy    33     93275       481      2122         0     23137      6477    442351     16.73     17.78  --
26.34/6.68	c  N dy    42     99855       481      2122         0     16774      6477    235163     14.89     15.68  --
28.32/7.12	c  S st    76    104836       481      2122         0     21698      6477    348558     15.54     15.97  --
28.32/7.18	c  S st    76    105337       481      2122         0     22198      6477    360507     15.54   no data  --
28.32/7.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.32/7.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.32/7.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
28.72/7.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.72/7.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.72/7.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
28.72/7.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.51/7.99	c lits-rem:       279  cl-subs:      499  v-elim:      0  v-fix:    0  time:  3.14 s
31.51/7.99	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
31.51/7.99	c vivif2 --  cl tried    21699 cl shrink        0 lits rem          0 time: 0.02
31.91/8.01	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.06
31.91/8.01	c calculated reachability. Time: 0.00
31.91/8.01	c  N dy    76    105337       481      2122         0     21699      6477    348602     15.54   no data  --
34.32/8.68	c  N dy    99    112378       481      2122         0     14822      6477    162345     15.47     16.39  --
36.71/9.26	c  N dy   133    119830       481      2122         0     22186      6477    330564     15.50     16.38  --
39.93/10.08	c  N dy   152    127502       481      2122         0     14966      6477    144978     15.26     16.19  --
42.30/10.69	c  N dy   186    135788       481      2122         0     23150      6477    333172     15.31     16.14  --
46.29/11.69	c  N dy   229    146121       481      2122         0     17554      6477    183517     15.34     16.29  --
50.28/12.61	c  N dy   276    156681       481      2122         0     27959      6477    419289     15.38     16.24  --
50.68/12.76	c  S st   281    158005       481      2122         0     29271      6477    448796     15.39     15.01  --
51.08/12.83	c  S st   281    158507       481      2122         0     29772      6477    460840     15.39   no data  --
51.08/12.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
51.08/12.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.08/12.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
51.08/12.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.08/12.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.08/12.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
51.08/12.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.27/14.19	c lits-rem:       638  cl-subs:      876  v-elim:      0  v-fix:    0  time:  5.34 s
56.27/14.19	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
56.27/14.20	c vivif2 --  cl tried    28896 cl shrink        0 lits rem          0 time: 0.02
56.67/14.22	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.08
56.67/14.22	c calculated reachability. Time: 0.00
56.67/14.22	c  N dy   281    158507       481      2122         0     28896      6477    440423     15.39   no data  --
62.65/15.76	c  N dy   326    175409       481      2122         0     28774      6477    422160     15.24     16.27  --
67.44/16.98	c  N dy   359    187046       481      2122         0     22477      6477    255093     15.18     15.99  --
75.06/18.88	c  N dy   420    202620       481      2122         0     19100      6477    166491     15.19     16.20  --
80.62/20.23	c  N dy   478    215873       481      2122         0     32162      6477    459038     15.20     16.21  --
87.41/21.92	c  N dy   545    229671       481      2122         0     26052      6477    308088     15.25     16.68  --
91.00/22.85	c  S st   594    237761       481      2122         0     34035      6477    493326     15.30   no data  --
91.40/22.93	c  S st   594    238262       481      2122         0     34536      6477    504538     15.30   no data  --
91.40/22.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
91.40/22.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.40/22.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
91.40/22.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.40/22.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.40/22.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
91.40/22.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
97.78/24.53	c lits-rem:       854  cl-subs:      758  v-elim:      0  v-fix:    0  time:  6.28 s
97.78/24.54	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
97.78/24.54	c vivif2 --  cl tried    33778 cl shrink        0 lits rem          0 time: 0.02
97.78/24.57	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.11
97.78/24.57	c calculated reachability. Time: 0.00
97.78/24.57	c  N dy   594    238262       481      2122         0     33778      6477    486027     15.30   no data  --
104.97/26.39	c  N dy   683    253527       481      2122         0     28154      6477    340543     15.37     16.59  --
113.76/28.58	c  N dy   767    269815       481      2122         0     22528      6477    192462     15.42     16.27  --
121.75/30.55	c  N dy   816    287068       481      2122         0     39487      6477    568900     15.36     16.27  --
130.92/32.86	c  N dy   869    305635       481      2122         0     35040      6477    456569     15.32     16.39  --
131.32/32.94	c  F st   875    306251       481      2122         0     35652      6477    470893     15.33   no data  --
134.12/33.60	c Decided on static restart strategy
144.51/36.25	c  N st   885    334558       481      2122         0     39725      6477    738700     15.33   no data  --
156.48/39.24	c  N st   887    357394       481      2122         0     37507      6477    610922     15.33   no data  --
156.48/39.24	c  S st   887    357394       481      2122         0     37507      6477    610922     15.33   no data  --
156.88/39.34	c  S st   887    357895       481      2122         0     38005      6477    622590     15.33   no data  --
156.88/39.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
156.88/39.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
156.88/39.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
156.88/39.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.88/39.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.88/39.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
156.88/39.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
165.26/41.49	c lits-rem:      1339  cl-subs:     3499  v-elim:      0  v-fix:    0  time:  8.43 s
165.26/41.49	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
165.26/41.49	c vivif2 --  cl tried    34506 cl shrink        0 lits rem          0 time: 0.02
165.66/41.52	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.12
165.66/41.52	c calculated reachability. Time: 0.00
165.66/41.52	c  N st   887    357895       481      2122         0     34506      6477    551561     15.33   no data  --
184.04/46.18	c  N st   888    390287       481      2122         0     40842      6477    729816     15.33   no data  --
209.98/52.65	c  N st   889    438875       481      2122         0     34573      6477    498712     15.33   no data  --
251.50/63.08	c  N st   890    511757       481      2122         0     48321      6477    794036     15.33   no data  --
266.27/66.71	c  N st   891    536842       481      2122         0     42553      6477    626983     15.33   no data  --
266.27/66.71	c  S st   891    536842       481      2122         0     42553      6477    626983     15.33   no data  --
266.67/66.80	c  S st   891    537344       481      2122         0     43054      6477    638599     15.33   no data  --
266.67/66.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
266.67/66.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
266.67/66.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
266.67/66.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.67/66.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.67/66.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
266.67/66.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
273.87/68.64	c lits-rem:       832  cl-subs:     1362  v-elim:      0  v-fix:    0  time:  7.16 s
273.87/68.64	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
273.87/68.64	c vivif2 --  cl tried    41692 cl shrink        0 lits rem          0 time: 0.03
273.87/68.68	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.16
273.87/68.68	c calculated reachability. Time: 0.00
273.87/68.68	c  N st   891    537344       481      2122         0     41692      6477    608328     15.33   no data  --
386.88/96.95	c  N st   892    701328       481      2122         0     35633      6477    386328     15.33   no data  --
461.91/115.72	c  N st   893    806017       481      2122         0     64657      6477   1075970     15.33   no data  --
461.91/115.72	c  S st   893    806017       481      2122         0     64657      6477   1075970     15.33   no data  --
462.71/115.90	c  S st   893    806521       481      2122         0     65159      6477   1087836     15.33   no data  --
462.71/115.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
462.71/115.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
462.71/115.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
462.71/115.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.71/115.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.71/115.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
462.71/115.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
475.49/119.12	c lits-rem:       311  cl-subs:     3632  v-elim:      0  v-fix:    0  time: 12.57 s
475.49/119.12	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
475.49/119.13	c vivif2 --  cl tried    61527 cl shrink        0 lits rem          0 time: 0.05
475.89/119.20	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.28
475.89/119.20	c calculated reachability. Time: 0.00
475.89/119.20	c  N st   893    806521       481      2122         0     61527      6477   1003280     15.33   no data  --
675.93/169.37	c  F st   894   1071878       481      2122         0     77730      6477   1342909     15.33   no data  --
675.93/169.37	c  N st   894   1071878       481      2122         0     77730      6477   1342909     15.33   no data  --
681.52/170.75	c Decided on static restart strategy
700.68/175.57	c  N st   904   1100178       481      2122         0     61454      6477    865573     15.33   no data  --
732.22/183.44	c  N st   906   1136170       481      2122         0     51664      6477    601511     15.33   no data  --
763.37/191.20	c  N st   907   1168563       481      2122         0     83154      6477   1319270     15.33   no data  --
797.30/199.74	c  N st   908   1209782       481      2122         0     77499      6477   1210015     15.33   no data  --
797.30/199.74	c  S st   908   1209782       481      2122         0     77499      6477   1210015     15.33   no data  --
798.10/199.98	c  S st   908   1210287       481      2122         0     78003      6477   1222049     15.33   no data  --
798.10/199.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
798.10/199.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
798.50/200.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
798.50/200.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
798.50/200.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
798.50/200.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
798.50/200.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
819.27/205.29	c lits-rem:       150  cl-subs:     5065  v-elim:      0  v-fix:    0  time: 20.86 s
819.27/205.29	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
819.67/205.31	c vivif2 --  cl tried    72938 cl shrink        0 lits rem          0 time: 0.06
820.07/205.43	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.50
820.07/205.43	c calculated reachability. Time: 0.00
820.07/205.43	c  N st   908   1210287       481      2122         0     72938      6477   1109953     15.33   no data  --
890.32/223.04	c  N st   909   1283171       481      2122         0     49538      6477    500193     15.33   no data  --
988.93/247.74	c  N st   910   1392497       481      2122         0     57600      6477    687576     15.33   no data  --
1149.84/288.08	c  N st   911   1556482       481      2122         0     62528      6477    751933     15.33   no data  --
1297.58/325.09	c  N st   912   1710289       481      2122         0    104439      6477   1902638     15.33   no data  --
1297.58/325.09	c  S st   912   1710289       481      2122         0    104439      6477   1902638     15.33   no data  --
1299.18/325.47	c  S st   912   1710797       481      2122         0    104945      6477   1914707     15.33   no data  --
1299.18/325.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1299.18/325.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1299.58/325.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1299.58/325.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1299.58/325.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1299.58/325.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
1299.58/325.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1344.31/336.78	c lits-rem:      1321  cl-subs:     5944  v-elim:      0  v-fix:    0  time: 44.63 s
1344.31/336.78	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
1344.68/336.80	c vivif2 --  cl tried    99001 cl shrink        0 lits rem          0 time: 0.09
1345.08/336.94	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.53
1345.08/336.94	c calculated reachability. Time: 0.00
1345.08/336.94	c  N st   912   1710797       481      2122         0     99001      6477   1770104     15.33   no data  --
1778.68/445.78	c  N st   913   2079761       481      2122         0    110283      6477   1838868     15.33   no data  --
1943.58/487.00	c  N st   914   2210799       481      2122         0    114223      6477   1805281     15.33   no data  --
1943.58/487.00	c  S st   914   2210799       481      2122         0    114223      6477   1805281     15.33   no data  --
1944.79/487.39	c  S st   914   2211300       481      2122         0    114724      6477   1816717     15.33   no data  --
1944.79/487.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1944.79/487.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1945.20/487.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1945.57/487.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1945.57/487.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1945.57/487.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
1945.57/487.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2013.45/504.56	c lits-rem:      1074  cl-subs:    12490  v-elim:      0  v-fix:    0  time: 68.05 s
2013.45/504.56	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
2013.45/504.58	c vivif2 --  cl tried   102234 cl shrink        0 lits rem          0 time: 0.08
2014.25/504.72	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.56
2014.25/504.72	c calculated reachability. Time: 0.00
2014.25/504.72	c  N st   914   2211300       481      2122         0    102234      6477   1556909     15.33   no data  --
2696.61/675.65	c  N st   915   2711301       481      2122         0    125597      6477   2120558     15.33   no data  --
2696.61/675.65	c  S st   915   2711301       481      2122         0    125597      6477   2120558     15.33   no data  --
2698.21/676.07	c  S st   915   2711805       481      2122         0    126100      6477   2131932     15.33   no data  --
2698.21/676.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2698.21/676.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2698.60/676.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2699.00/676.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2699.00/676.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2699.00/676.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
2699.00/676.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2786.84/698.28	c lits-rem:       402  cl-subs:    10876  v-elim:      0  v-fix:    0  time: 88.08 s
2786.84/698.28	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
2787.24/698.31	c vivif2 --  cl tried   115224 cl shrink        0 lits rem          0 time: 0.10
2787.64/698.47	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.66
2787.64/698.48	c calculated reachability. Time: 0.00
2787.64/698.48	c  N st   915   2711805       481      2122         0    115224      6477   1879118     15.33   no data  --
3460.02/866.87	c  N st   916   3211805       481      2122         0     92018      6477   1158362     15.33   no data  --
3460.02/866.87	c  S st   916   3211805       481      2122         0     92018      6477   1158362     15.33   no data  --
3461.20/867.16	c  S st   916   3212308       481      2122         0     92521      6477   1169254     15.33   no data  --
3461.20/867.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3461.20/867.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3461.60/867.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
3461.60/867.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3461.60/867.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3461.60/867.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
3461.60/867.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3473.19/870.12	c lits-rem:       200  cl-subs:     1871  v-elim:      0  v-fix:    0  time: 11.44 s
3473.19/870.12	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
3473.19/870.13	c vivif2 --  cl tried    90650 cl shrink        0 lits rem          0 time: 0.06
3473.60/870.25	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.45
3473.60/870.25	c calculated reachability. Time: 0.00
3473.60/870.25	c  N st   916   3212308       481      2122         0     90650      6477   1121224     15.33   no data  --
4189.09/1049.42	c  N st   917   3712308       481      2122         0    100665      6477   1216594     15.33   no data  --
4189.09/1049.42	c  S st   917   3712308       481      2122         0    100665      6477   1216594     15.33   no data  --
4190.27/1049.72	c  S st   917   3712811       481      2122         0    101165      6477   1228928     15.33   no data  --
4190.27/1049.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4190.27/1049.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4190.27/1049.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
4190.67/1049.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4190.67/1049.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4190.67/1049.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
4190.67/1049.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4205.84/1053.60	c lits-rem:       404  cl-subs:     4089  v-elim:      0  v-fix:    0  time: 15.10 s
4205.84/1053.60	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
4205.84/1053.62	c vivif2 --  cl tried    97076 cl shrink        0 lits rem          0 time: 0.06
4206.24/1053.74	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.50
4206.24/1053.74	c calculated reachability. Time: 0.00
4206.24/1053.74	c  N st   917   3712811       481      2122         0     97076      6477   1143581     15.33   no data  --
4269.72/1069.65	c  F st   918   3751563       481      2122         0    134724      6477   2069949     15.33   no data  --
4269.72/1069.65	c  N st   918   3751563       481      2122         0    134724      6477   2069949     15.33   no data  --
4279.30/1072.03	c Decided on static restart strategy
4327.22/1084.03	c  N st   928   3779871       481      2122         0    162382      6477   2770262     15.33   no data  --
4372.34/1095.34	c  N st   930   3815866       481      2122         0    114965      6477   1552729     15.33   no data  --
4419.06/1107.06	c  N st   931   3848258       481      2122         0    146428      6477   2319783     15.33   no data  --
4492.92/1125.59	c  N st   932   3896848       481      2122         0    110036      6477   1411318     15.33   no data  --
4604.32/1153.48	c  N st   933   3969730       481      2122         0     96322      6477   1054732     15.33   no data  --
4758.44/1192.05	c  N st   934   4079053       481      2122         0    117639      6477   1645146     15.33   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368787-1305403043/watcher-3368787-1305403043 -o /tmp/evaluation-result-3368787-1305403043/solver-3368787-1305403043 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368787-1305403043.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.00 8.04 8.07 5/241 8400
/proc/meminfo: memFree=24016788/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 651905018 52465664 357 33554432000 4194304 4650419 140733755304448 18446744073709551615 222921777083 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 12809 357 306 112 0 7774 0
[pid=8400/tid=8401] ppid=8398 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651905018 52465664 357 33554432000 4194304 4650419 140733755304448 18446744073709551615 47872749840304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651905018 52465664 357 33554432000 4194304 4650419 140733755304448 18446744073709551615 47872749839897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651905019 52465664 357 33554432000 4194304 4650419 140733755304448 18446744073709551615 47872749839895 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.101303 s]
/proc/loadavg: 8.00 8.04 8.07 5/241 8400
/proc/meminfo: memFree=24016788/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=282500 CPUtime=0.37 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 1697 0 0 0 37 0 0 0 18 0 4 0 651905018 289280000 1564 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 70625 1564 391 112 0 65590 0
[pid=8400/tid=8401] ppid=8398 vsize=282500 CPUtime=0.09 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 365 0 0 0 9 0 0 0 18 0 4 0 651905018 289280000 1564 33554432000 4194304 4650419 140733755304448 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=282500 CPUtime=0.09 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 369 0 0 0 9 0 0 0 18 0 4 0 651905018 289280000 1564 33554432000 4194304 4650419 140733755304448 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=282500 CPUtime=0.09 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 211 0 0 0 9 0 0 0 18 0 4 0 651905019 289280000 1564 33554432000 4194304 4650419 140733755304448 18446744073709551615 4229508 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282500

[startup+0.211499 s]
/proc/loadavg: 8.00 8.04 8.07 5/241 8400
/proc/meminfo: memFree=24016788/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=283804 CPUtime=0.81 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 2471 0 0 0 81 0 0 0 18 0 4 0 651905018 290615296 1758 33554432000 4194304 4650419 140733755304448 18446744073709551615 4331089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 70951 1758 393 112 0 65916 0
[pid=8400/tid=8401] ppid=8398 vsize=283804 CPUtime=0.19 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 544 0 0 0 19 0 0 0 18 0 4 0 651905018 290615296 1758 33554432000 4194304 4650419 140733755304448 18446744073709551615 4328292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=283804 CPUtime=0.2 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 566 0 0 0 20 0 0 0 18 0 4 0 651905018 290615296 1758 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=283804 CPUtime=0.2 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 421 0 0 0 20 0 0 0 18 0 4 0 651905019 290615296 1758 33554432000 4194304 4650419 140733755304448 18446744073709551615 4303919 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 283804

[startup+0.300483 s]
/proc/loadavg: 8.00 8.04 8.07 5/241 8400
/proc/meminfo: memFree=24016788/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=283804 CPUtime=1.16 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 2825 0 0 0 116 0 0 0 18 0 4 0 651905018 290615296 2112 33554432000 4194304 4650419 140733755304448 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 70951 2112 393 112 0 65916 0
[pid=8400/tid=8401] ppid=8398 vsize=283804 CPUtime=0.28 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 637 0 0 0 28 0 0 0 18 0 4 0 651905018 290615296 2112 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=283804 CPUtime=0.29 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 647 0 0 0 29 0 0 0 18 0 4 0 651905018 290615296 2112 33554432000 4194304 4650419 140733755304448 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=283804 CPUtime=0.29 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 506 0 0 0 29 0 0 0 18 0 4 0 651905019 290615296 2112 33554432000 4194304 4650419 140733755304448 18446744073709551615 4315077 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283804

[startup+0.70041 s]
/proc/loadavg: 8.00 8.04 8.07 5/241 8400
/proc/meminfo: memFree=24016788/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=284732 CPUtime=2.76 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 4505 0 0 0 276 0 0 0 18 0 4 0 651905018 291565568 2658 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 71183 2658 393 112 0 66148 0
[pid=8400/tid=8401] ppid=8398 vsize=284732 CPUtime=0.68 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1010 0 0 0 68 0 0 0 18 0 4 0 651905018 291565568 2658 33554432000 4194304 4650419 140733755304448 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=284732 CPUtime=0.69 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1042 0 0 0 69 0 0 0 18 0 4 0 651905018 291565568 2658 33554432000 4194304 4650419 140733755304448 18446744073709551615 4229486 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=284732 CPUtime=0.69 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1037 0 0 0 69 0 0 0 18 0 4 0 651905019 291565568 2658 33554432000 4194304 4650419 140733755304448 18446744073709551615 4333790 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284732

[startup+1.50027 s]
/proc/loadavg: 8.00 8.04 8.07 10/245 8404
/proc/meminfo: memFree=24003356/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=290912 CPUtime=5.96 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 8646 0 0 0 595 1 0 0 20 0 4 0 651905018 297893888 4671 33554432000 4194304 4650419 140733755304448 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 72728 4671 395 112 0 67693 0
[pid=8400/tid=8401] ppid=8398 vsize=290912 CPUtime=1.47 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1811 0 0 0 147 0 0 0 20 0 4 0 651905018 297893888 4671 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=290912 CPUtime=1.49 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1843 0 0 0 149 0 0 0 20 0 4 0 651905018 297893888 4671 33554432000 4194304 4650419 140733755304448 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=290912 CPUtime=1.49 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 1603 0 0 0 149 0 0 0 20 0 4 0 651905019 297893888 4671 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 290912

[startup+3.10097 s]
/proc/loadavg: 8.00 8.04 8.07 9/245 8404
/proc/meminfo: memFree=23982516/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=283196 CPUtime=12.36 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 16494 0 0 0 1233 3 0 0 25 0 4 0 651905018 289992704 9717 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366062 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 70799 9717 395 112 0 65764 0
[pid=8400/tid=8401] ppid=8398 vsize=283196 CPUtime=3.06 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 3847 0 0 0 306 0 0 0 25 0 4 0 651905018 289992704 9717 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=283196 CPUtime=3.09 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 4418 0 0 0 308 1 0 0 25 0 4 0 651905018 289992704 9717 33554432000 4194304 4650419 140733755304448 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=283196 CPUtime=3.08 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 3733 0 0 0 308 0 0 0 25 0 4 0 651905019 289992704 9717 33554432000 4194304 4650419 140733755304448 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 283196

[startup+6.30039 s]
/proc/loadavg: 8.00 8.04 8.07 9/245 8404
/proc/meminfo: memFree=23969044/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=284864 CPUtime=25.13 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 25409 0 0 0 2508 5 0 0 25 0 4 0 651905018 291700736 13121 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 71216 13121 395 112 0 66181 0
[pid=8400/tid=8401] ppid=8398 vsize=284864 CPUtime=6.24 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 6732 0 0 0 623 1 0 0 25 0 4 0 651905018 291700736 13121 33554432000 4194304 4650419 140733755304448 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=284864 CPUtime=6.28 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 7295 0 0 0 627 1 0 0 25 0 4 0 651905018 291700736 13121 33554432000 4194304 4650419 140733755304448 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=284864 CPUtime=6.29 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 4834 0 0 0 628 1 0 0 25 0 4 0 651905019 291700736 13121 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 284864

[startup+12.7002 s]
/proc/loadavg: 8.00 8.04 8.07 9/245 8404
/proc/meminfo: memFree=23930380/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=289392 CPUtime=50.68 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 38076 0 0 0 5061 7 0 0 25 0 4 0 651905018 296337408 17384 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 72348 17384 395 112 0 67313 0
[pid=8400/tid=8401] ppid=8398 vsize=289392 CPUtime=12.59 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 9894 0 0 0 1257 2 0 0 25 0 4 0 651905018 296337408 17384 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=289392 CPUtime=12.69 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 10044 0 0 0 1267 2 0 0 25 0 4 0 651905018 296337408 17384 33554432000 4194304 4650419 140733755304448 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=289392 CPUtime=12.68 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 8108 0 0 0 1267 1 0 0 25 0 4 0 651905019 296337408 17384 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 289392

[startup+25.5009 s]
/proc/loadavg: 8.00 8.04 8.06 9/245 8404
/proc/meminfo: memFree=23902848/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=312452 CPUtime=101.77 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 56419 0 0 0 10165 12 0 0 25 0 4 0 651905018 319950848 23843 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 78113 23844 395 112 0 73078 0
[pid=8400/tid=8401] ppid=8398 vsize=312452 CPUtime=25.29 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 15817 0 0 0 2526 3 0 0 25 0 4 0 651905018 319950848 23844 33554432000 4194304 4650419 140733755304448 18446744073709551615 4329380 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=312452 CPUtime=25.49 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 14736 0 0 0 2546 3 0 0 25 0 4 0 651905018 319950848 23844 33554432000 4194304 4650419 140733755304448 18446744073709551615 4330887 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=312452 CPUtime=25.48 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 11467 0 0 0 2545 3 0 0 25 0 4 0 651905019 319950848 23844 33554432000 4194304 4650419 140733755304448 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 312452

[startup+51.1012 s]
/proc/loadavg: 8.00 8.03 8.06 9/245 8405
/proc/meminfo: memFree=23842468/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=314508 CPUtime=203.99 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 85277 0 0 0 20379 20 0 0 25 0 4 0 651905018 322056192 37790 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 78627 37790 395 112 0 73592 0
[pid=8400/tid=8401] ppid=8398 vsize=314508 CPUtime=50.7 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 26193 0 0 0 5065 5 0 0 25 0 4 0 651905018 322056192 37790 33554432000 4194304 4650419 140733755304448 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=314508 CPUtime=51.09 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 20750 0 0 0 5105 4 0 0 25 0 4 0 651905018 322056192 37790 33554432000 4194304 4650419 140733755304448 18446744073709551615 4304010 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=314508 CPUtime=51.08 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 16632 0 0 0 5103 5 0 0 25 0 4 0 651905019 322056192 37790 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 314508

[startup+102.301 s]
/proc/loadavg: 8.00 8.03 8.06 9/245 8406
/proc/meminfo: memFree=23818576/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=305632 CPUtime=408.44 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 122702 0 0 0 40813 31 0 0 25 0 4 0 651905018 312967168 39722 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 76408 39722 395 112 0 71373 0
[pid=8400/tid=8401] ppid=8398 vsize=305632 CPUtime=101.54 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 35757 0 0 0 10146 8 0 0 25 0 4 0 651905018 312967168 39723 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=305632 CPUtime=102.3 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 27315 0 0 0 10223 7 0 0 25 0 4 0 651905018 312967168 39723 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=305632 CPUtime=102.29 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 26059 0 0 0 10221 8 0 0 25 0 4 0 651905019 312967168 39723 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 305632

[startup+162.301 s]

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

[pid=8400] ppid=8398 vsize=595136 CPUtime=2803.21 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 420117 0 0 0 280167 154 0 0 25 0 4 0 651905018 609419264 88446 33554432000 4194304 4650419 140733755304448 18446744073709551615 4331963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 148784 88446 395 112 0 143749 0
[pid=8400/tid=8401] ppid=8398 vsize=595136 CPUtime=696.39 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 125452 0 0 0 69594 45 0 0 25 0 4 0 651905018 609419264 88446 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=595136 CPUtime=702.3 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 101898 0 0 0 70193 37 0 0 25 0 4 0 651905018 609419264 88446 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=595136 CPUtime=702.2 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 83028 0 0 0 70188 32 0 0 25 0 4 0 651905019 609419264 88446 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2803.21
Current children cumulated vsize (KiB) 595136

[startup+762.301 s]
/proc/loadavg: 8.12 8.12 8.08 9/245 8436
/proc/meminfo: memFree=23461396/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=595376 CPUtime=3042.79 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 447638 0 0 0 304112 167 0 0 25 0 4 0 651905018 609665024 93212 33554432000 4194304 4650419 140733755304448 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 148844 93212 395 112 0 143809 0
[pid=8400/tid=8401] ppid=8398 vsize=595376 CPUtime=755.96 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 133903 0 0 0 75547 49 0 0 25 0 4 0 651905018 609665024 93213 33554432000 4194304 4650419 140733755304448 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=595376 CPUtime=762.31 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 107802 0 0 0 76191 40 0 0 25 0 4 0 651905018 609665024 93213 33554432000 4194304 4650419 140733755304448 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=595376 CPUtime=762.2 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 87907 0 0 0 76186 34 0 0 25 0 4 0 651905019 609665024 93213 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.79
Current children cumulated vsize (KiB) 595376

[startup+822.3 s]
/proc/loadavg: 8.11 8.12 8.09 9/245 8438
/proc/meminfo: memFree=23468456/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=608136 CPUtime=3282.33 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 470063 0 0 0 328057 176 0 0 25 0 4 0 651905018 622731264 94076 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 152034 94076 395 112 0 146999 0
[pid=8400/tid=8401] ppid=8398 vsize=608136 CPUtime=815.52 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 141357 0 0 0 81501 51 0 0 25 0 4 0 651905018 622731264 94076 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=608136 CPUtime=822.3 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 113109 0 0 0 82188 42 0 0 25 0 4 0 651905018 622731264 94076 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=608136 CPUtime=822.19 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 90172 0 0 0 82184 35 0 0 25 0 4 0 651905019 622731264 94076 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3282.33
Current children cumulated vsize (KiB) 608136

[startup+882.309 s]
/proc/loadavg: 5.70 7.45 7.86 5/236 8457
/proc/meminfo: memFree=23929824/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=542864 CPUtime=3521.92 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 496554 0 0 0 352003 189 0 0 25 0 4 0 651905018 555892736 96921 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 135716 96921 395 112 0 130681 0
[pid=8400/tid=8401] ppid=8398 vsize=542864 CPUtime=875.1 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 151023 0 0 0 87455 55 0 0 25 0 4 0 651905018 555892736 96921 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=542864 CPUtime=882.31 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 118711 0 0 0 88186 45 0 0 25 0 4 0 651905018 555892736 96921 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=542864 CPUtime=882.19 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 94301 0 0 0 88181 38 0 0 25 0 4 0 651905019 555892736 96921 33554432000 4194304 4650419 140733755304448 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.92
Current children cumulated vsize (KiB) 542864

[startup+942.3 s]
/proc/loadavg: 4.62 6.82 7.62 5/236 8459
/proc/meminfo: memFree=23908804/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=596308 CPUtime=3761.45 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 518206 0 0 0 375947 198 0 0 25 0 4 0 651905018 610619392 102127 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 149077 102127 395 112 0 144042 0
[pid=8400/tid=8401] ppid=8398 vsize=596308 CPUtime=934.65 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 157506 0 0 0 93407 58 0 0 25 0 4 0 651905018 610619392 102127 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=596308 CPUtime=942.3 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 122272 0 0 0 94184 46 0 0 25 0 4 0 651905018 610619392 102127 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=596308 CPUtime=942.18 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 99061 0 0 0 94178 40 0 0 25 0 4 0 651905019 610619392 102127 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3761.45
Current children cumulated vsize (KiB) 596308

[startup+1002.3 s]
/proc/loadavg: 4.23 6.30 7.39 5/236 8460
/proc/meminfo: memFree=23909616/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=596528 CPUtime=4001.01 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 539966 0 0 0 399891 210 0 0 25 0 4 0 651905018 610844672 101828 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 149132 101828 395 112 0 144097 0
[pid=8400/tid=8401] ppid=8398 vsize=596528 CPUtime=994.21 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 163923 0 0 0 99360 61 0 0 25 0 4 0 651905018 610844672 101828 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=596528 CPUtime=1002.3 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 125266 0 0 0 100182 48 0 0 25 0 4 0 651905018 610844672 101828 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=596528 CPUtime=1002.18 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 104066 0 0 0 100174 44 0 0 25 0 4 0 651905019 610844672 101828 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4001.01
Current children cumulated vsize (KiB) 596528

[startup+1062.3 s]
/proc/loadavg: 4.15 5.90 7.18 5/236 8462
/proc/meminfo: memFree=23877068/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=674268 CPUtime=4240.58 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 564662 0 0 0 423839 219 0 0 25 0 4 0 651905018 690450432 110251 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 168567 110251 395 112 0 163532 0
[pid=8400/tid=8401] ppid=8398 vsize=674268 CPUtime=1053.78 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 170895 0 0 0 105315 63 0 0 25 0 4 0 651905018 690450432 110251 33554432000 4194304 4650419 140733755304448 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=674268 CPUtime=1062.31 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 130624 0 0 0 106180 51 0 0 25 0 4 0 651905018 690450432 110251 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=674268 CPUtime=1062.16 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 110274 0 0 0 106171 45 0 0 25 0 4 0 651905019 690450432 110251 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4240.58
Current children cumulated vsize (KiB) 674268

[startup+1122.3 s]
/proc/loadavg: 4.12 5.57 6.98 5/236 8464
/proc/meminfo: memFree=23879732/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=609880 CPUtime=4480.15 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 581568 0 0 0 447789 226 0 0 25 0 4 0 651905018 624517120 109342 33554432000 4194304 4650419 140733755304448 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 152470 109342 395 112 0 147435 0
[pid=8400/tid=8401] ppid=8398 vsize=609880 CPUtime=1113.34 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 177078 0 0 0 111269 65 0 0 25 0 4 0 651905018 624517120 109342 33554432000 4194304 4650419 140733755304448 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=609880 CPUtime=1122.31 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 132491 0 0 0 112179 52 0 0 25 0 4 0 651905018 624517120 109342 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=609880 CPUtime=1122.17 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 112709 0 0 0 112171 46 0 0 25 0 4 0 651905019 624517120 109342 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4480.15
Current children cumulated vsize (KiB) 609880

[startup+1182.3 s]
/proc/loadavg: 4.11 5.29 6.80 5/236 8465
/proc/meminfo: memFree=23853248/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=662472 CPUtime=4719.72 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 602239 0 0 0 471736 236 0 0 25 0 4 0 651905018 678371328 116078 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 165618 116078 395 112 0 160583 0
[pid=8400/tid=8401] ppid=8398 vsize=662472 CPUtime=1172.91 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 183567 0 0 0 117223 68 0 0 25 0 4 0 651905018 678371328 116078 33554432000 4194304 4650419 140733755304448 18446744073709551615 4363493 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=662472 CPUtime=1182.31 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 135949 0 0 0 118176 55 0 0 25 0 4 0 651905018 678371328 116078 33554432000 4194304 4650419 140733755304448 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=662472 CPUtime=1182.17 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 117513 0 0 0 118169 48 0 0 25 0 4 0 651905019 678371328 116078 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4719.72
Current children cumulated vsize (KiB) 662472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.41 s]
/proc/loadavg: 4.07 5.21 6.74 5/236 8466
/proc/meminfo: memFree=23848012/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=662772 CPUtime=4800.02 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 607507 0 0 0 479763 239 0 0 25 0 4 0 651905018 678678528 117196 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 165693 117196 395 112 0 160658 0
[pid=8400/tid=8401] ppid=8398 vsize=662772 CPUtime=1192.87 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 184900 0 0 0 119218 69 0 0 25 0 4 0 651905018 678678528 117196 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=662772 CPUtime=1202.43 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 135949 0 0 0 120188 55 0 0 25 0 4 0 651905018 678678528 117196 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=662772 CPUtime=1202.28 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 118493 0 0 0 120180 48 0 0 25 0 4 0 651905019 678678528 117196 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 662772

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

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

[startup+1202.41 s]
/proc/loadavg: 4.07 5.21 6.74 5/236 8466
/proc/meminfo: memFree=23848012/32951124 swapFree=61559568/67111528
[pid=8400] ppid=8398 vsize=662772 CPUtime=4800.02 cores=0,2,4,6
/proc/8400/stat : 8400 (strangenight1-m) R 8398 8400 7898 0 -1 4202496 607507 0 0 0 479763 239 0 0 25 0 4 0 651905018 678678528 117196 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8400/statm: 165693 117196 395 112 0 160658 0
[pid=8400/tid=8401] ppid=8398 vsize=662772 CPUtime=1192.87 cores=0,2,4,6
/proc/8400/task/8401/stat : 8401 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 184900 0 0 0 119218 69 0 0 25 0 4 0 651905018 678678528 117196 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8400/tid=8402] ppid=8398 vsize=662772 CPUtime=1202.43 cores=0,2,4,6
/proc/8400/task/8402/stat : 8402 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 135949 0 0 0 120188 55 0 0 25 0 4 0 651905018 678678528 117196 33554432000 4194304 4650419 140733755304448 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8400/tid=8403] ppid=8398 vsize=662772 CPUtime=1202.28 cores=0,2,4,6
/proc/8400/task/8403/stat : 8403 (strangenight1-m) R 8398 8400 7898 0 -1 4202560 118493 0 0 0 120180 48 0 0 25 0 4 0 651905019 678678528 117196 33554432000 4194304 4650419 140733755304448 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 662772

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.45
CPU time (s): 4800.08
CPU user time (s): 4797.66
CPU system time (s): 2.41363
CPU usage (%): 399.193
Max. virtual memory (cumulated for all children) (KiB): 726168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.41363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607507
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= 452
involuntary context switches= 22752

runsolver used 2.56561 second user time and 6.20906 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-14 21:57:23
IDJOB=3368787
IDBENCH=82796
IDSOLVER=1846
FILE ID=node109/3368787-1305403043
RUNJOBID= node109-1305401463-8213
PBS_JOBID= 13324470
Free space on /tmp= 73220 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368787-1305403043/watcher-3368787-1305403043 -o /tmp/evaluation-result-3368787-1305403043/solver-3368787-1305403043 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368787-1305403043.cnf

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

MD5SUM BENCH= 9b739128337f606a6a7756556c2fd6df
RANDOM SEED=303025118

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24017068 kB
Buffers:        230984 kB
Cached:        2259340 kB
SwapCached:      28404 kB
Active:         395572 kB
Inactive:      8322964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24017068 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:            6272 kB
Writeback:           0 kB
AnonPages:     6205548 kB
Mapped:          18164 kB
Slab:           122176 kB
PageTables:      31436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 18267612 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= 73220 MiB
End job on node109 at 2011-05-14 22:17:27