Trace number 3175178

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.31 1201.73

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-3175178-1304096300.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.01 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
3.58/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.58/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.58/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
3.58/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.58/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
3.58/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.58/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.58/0.90	c calculated reachability. Time: 0.00
3.58/0.90	c Calc default polars -  time:   0.00 s pos:     212 undec:      64 neg:     224
3.58/0.90	c =========================================================================================
3.58/0.90	c types(t): F = full restart, N = normal restart
3.58/0.90	c types(t): S = simplification begin/end, E = solution found
3.58/0.90	c restart types(rt): st = static, dy = dynamic
3.58/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.90	c  B st     0         0       481      2122         0         0      6477         0   no data   no data  --
3.58/0.90	c Decided on static restart strategy
3.58/0.90	c  N st     8      4918       481      2122         0      4858      6477    117046   no data   no data  --
3.58/0.90	c  N st    10     11301       481      2122         0      4490      6477     78980   no data   no data  --
3.58/0.90	c  N st    11     17044       481      2122         0     10086      6477    211155   no data   no data  --
4.00/1.10	c  F st    12     25002       481      2122         0     12394      6477    263198   no data   no data  --
4.00/1.10	c  N st    12     25002       481      2122         0     12394      6477    263198   no data   no data  --
5.58/1.40	c Decided on static restart strategy
5.58/1.40	c  N st    18     30000       481      2122         0     10638      6477    205667   no data   no data  --
5.58/1.40	c  S st    18     30000       481      2122         0     10638      6477    205667   no data   no data  --
5.58/1.40	c  S st    18     30504       481      2122         0     11142      6477    216623   no data   no data  --
5.58/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.58/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.58/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.58/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.58/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.58/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
5.58/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.98/1.59	c lits-rem:       112  cl-subs:      575  v-elim:      0  v-fix:    0  time:  0.83 s
5.98/1.59	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.04
5.98/1.59	c calculated reachability. Time: 0.00
5.98/1.59	c  N st    18     30504       481      2122         0     10567      6477    201093   no data   no data  --
7.97/2.00	c  N st    20     37616       481      2122         0      9837      6477    163024   no data   no data  --
9.16/2.39	c  N st    21     44016       481      2122         0     16101      6477    311916   no data   no data  --
9.97/2.54	c  S st    22     45758       481      2122         0      9051      6477    128204   no data   no data  --
9.97/2.57	c  S st    22     46261       481      2122         0      9554      6477    139597   no data   no data  --
9.97/2.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.97/2.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.97/2.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
9.97/2.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.37/2.67	c lits-rem:        56  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.36 s
10.37/2.67	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
10.37/2.67	c vivif2 --  cl tried     9490 cl shrink        0 lits rem          0 time: 0.00
10.37/2.68	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.03
10.37/2.68	c calculated reachability. Time: 0.00
10.37/2.68	c  N st    22     46261       481      2122         0      9490      6477    138007   no data   no data  --
13.96/3.56	c  N st    23     60659       481      2122         0     13789      6477    226145   no data   no data  --
16.36/4.16	c  N st    24     69391       481      2122         0     11605      6477    168408   no data   no data  --
16.36/4.16	c  S st    24     69391       481      2122         0     11605      6477    168408   no data   no data  --
16.36/4.20	c  S st    24     69891       481      2122         0     12103      6477    179769   no data   no data  --
16.76/4.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.76/4.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.76/4.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
16.76/4.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.17/4.39	c lits-rem:        50  cl-subs:      198  v-elim:      0  v-fix:    0  time:  0.72 s
17.17/4.39	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
17.17/4.39	c vivif2 --  cl tried    11905 cl shrink        0 lits rem          0 time: 0.01
17.17/4.40	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.03
17.17/4.40	c calculated reachability. Time: 0.00
17.17/4.40	c  N st    24     69891       481      2122         0     11905      6477    175487   no data   no data  --
22.35/5.65	c  F st    25     87502       481      2122         0     17466      6477    308990   no data   no data  --
22.35/5.65	c  N st    25     87502       481      2122         0     17466      6477    308990   no data   no data  --
24.35/6.10	c  N dy    33     93275       481      2122         0     23137      6477    442351     16.73     17.78  --
26.36/6.62	c  N dy    42     99855       481      2122         0     16774      6477    235163     14.89     15.68  --
27.94/7.05	c  S st    76    104836       481      2122         0     21698      6477    348558     15.54     15.97  --
28.34/7.10	c  S st    76    105337       481      2122         0     22198      6477    360507     15.54   no data  --
28.34/7.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.34/7.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.34/7.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
28.34/7.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.34/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
28.34/7.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.14/7.89	c lits-rem:       279  cl-subs:      499  v-elim:      0  v-fix:    0  time:  3.04 s
31.14/7.89	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
31.14/7.89	c vivif2 --  cl tried    21699 cl shrink        0 lits rem          0 time: 0.02
31.54/7.91	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.06
31.54/7.91	c calculated reachability. Time: 0.00
31.54/7.91	c  N dy    76    105337       481      2122         0     21699      6477    348602     15.54   no data  --
33.94/8.57	c  N dy    99    112378       481      2122         0     14822      6477    162345     15.47     16.39  --
36.33/9.16	c  N dy   133    119830       481      2122         0     22186      6477    330564     15.50     16.38  --
39.55/9.98	c  N dy   152    127502       481      2122         0     14966      6477    144978     15.26     16.19  --
42.32/10.60	c  N dy   186    135788       481      2122         0     23150      6477    333172     15.31     16.14  --
46.31/11.60	c  N dy   229    146121       481      2122         0     17554      6477    183517     15.34     16.29  --
49.91/12.51	c  N dy   276    156681       481      2122         0     27959      6477    419289     15.38     16.24  --
50.31/12.66	c  S st   281    158005       481      2122         0     29271      6477    448796     15.39     15.01  --
50.71/12.73	c  S st   281    158507       481      2122         0     29772      6477    460840     15.39   no data  --
50.71/12.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
50.71/12.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.71/12.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
50.71/12.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.71/12.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.71/12.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
50.71/12.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
55.91/14.07	c lits-rem:       638  cl-subs:      876  v-elim:      0  v-fix:    0  time:  5.24 s
55.91/14.07	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
55.91/14.07	c vivif2 --  cl tried    28896 cl shrink        0 lits rem          0 time: 0.02
55.91/14.09	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.09
55.91/14.09	c calculated reachability. Time: 0.00
55.91/14.09	c  N dy   281    158507       481      2122         0     28896      6477    440423     15.39   no data  --
62.30/15.64	c  N dy   326    175409       481      2122         0     28774      6477    422160     15.24     16.27  --
67.09/16.85	c  N dy   359    187046       481      2122         0     22477      6477    255093     15.18     15.99  --
74.70/18.71	c  N dy   420    202620       481      2122         0     19100      6477    166491     15.19     16.20  --
79.88/20.06	c  N dy   478    215873       481      2122         0     32162      6477    459038     15.20     16.21  --
86.67/21.75	c  N dy   545    229671       481      2122         0     26052      6477    308088     15.25     16.68  --
90.26/22.68	c  S st   594    237761       481      2122         0     34035      6477    493326     15.30   no data  --
90.66/22.76	c  S st   594    238262       481      2122         0     34536      6477    504538     15.30   no data  --
90.66/22.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.66/22.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.66/22.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
90.66/22.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.66/22.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.66/22.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
90.66/22.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
97.05/24.32	c lits-rem:       854  cl-subs:      758  v-elim:      0  v-fix:    0  time:  6.10 s
97.05/24.32	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
97.05/24.32	c vivif2 --  cl tried    33778 cl shrink        0 lits rem          0 time: 0.02
97.05/24.35	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.11
97.05/24.35	c calculated reachability. Time: 0.00
97.05/24.35	c  N dy   594    238262       481      2122         0     33778      6477    486027     15.30   no data  --
104.24/26.18	c  N dy   683    253527       481      2122         0     28154      6477    340543     15.37     16.59  --
113.03/28.36	c  N dy   767    269815       481      2122         0     22528      6477    192462     15.42     16.27  --
121.02/30.35	c  N dy   816    287068       481      2122         0     39487      6477    568900     15.36     16.27  --
130.21/32.66	c  N dy   869    305635       481      2122         0     35040      6477    456569     15.32     16.39  --
130.61/32.75	c  F st   875    306251       481      2122         0     35652      6477    470893     15.33   no data  --
133.41/33.41	c Decided on static restart strategy
143.80/36.07	c  N st   885    334558       481      2122         0     39725      6477    738700     15.33   no data  --
155.78/39.06	c  N st   887    357394       481      2122         0     37507      6477    610922     15.33   no data  --
155.78/39.06	c  S st   887    357394       481      2122         0     37507      6477    610922     15.33   no data  --
156.18/39.16	c  S st   887    357895       481      2122         0     38005      6477    622590     15.33   no data  --
156.18/39.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
156.18/39.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
156.18/39.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
156.18/39.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.18/39.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.18/39.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
156.18/39.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
164.56/41.29	c lits-rem:      1339  cl-subs:     3499  v-elim:      0  v-fix:    0  time:  8.35 s
164.56/41.29	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
164.56/41.29	c vivif2 --  cl tried    34506 cl shrink        0 lits rem          0 time: 0.03
164.96/41.32	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.12
164.96/41.32	c calculated reachability. Time: 0.00
164.96/41.32	c  N st   887    357895       481      2122         0     34506      6477    551561     15.33   no data  --
183.75/46.00	c  N st   888    390287       481      2122         0     40842      6477    729816     15.33   no data  --
209.31/52.44	c  N st   889    438875       481      2122         0     34573      6477    498712     15.33   no data  --
250.85/62.86	c  N st   890    511757       481      2122         0     48321      6477    794036     15.33   no data  --
265.64/66.50	c  N st   891    536842       481      2122         0     42553      6477    626983     15.33   no data  --
265.64/66.50	c  S st   891    536842       481      2122         0     42553      6477    626983     15.33   no data  --
266.04/66.60	c  S st   891    537344       481      2122         0     43054      6477    638599     15.33   no data  --
266.04/66.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
266.04/66.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
266.04/66.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
266.04/66.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.04/66.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.04/66.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
266.04/66.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
273.22/68.42	c lits-rem:       832  cl-subs:     1362  v-elim:      0  v-fix:    0  time:  7.10 s
273.22/68.42	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
273.22/68.43	c vivif2 --  cl tried    41692 cl shrink        0 lits rem          0 time: 0.03
273.22/68.47	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.16
273.22/68.47	c calculated reachability. Time: 0.00
273.22/68.47	c  N st   891    537344       481      2122         0     41692      6477    608328     15.33   no data  --
386.29/96.77	c  N st   892    701328       481      2122         0     35633      6477    386328     15.33   no data  --
460.99/115.48	c  N st   893    806017       481      2122         0     64657      6477   1075970     15.33   no data  --
460.99/115.48	c  S st   893    806017       481      2122         0     64657      6477   1075970     15.33   no data  --
461.77/115.67	c  S st   893    806521       481      2122         0     65159      6477   1087836     15.33   no data  --
461.77/115.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
461.77/115.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
462.17/115.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
462.17/115.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.17/115.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.17/115.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
462.17/115.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
474.58/118.88	c lits-rem:       311  cl-subs:     3632  v-elim:      0  v-fix:    0  time: 12.54 s
474.58/118.88	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
474.58/118.89	c vivif2 --  cl tried    61527 cl shrink        0 lits rem          0 time: 0.05
474.96/118.96	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.28
474.96/118.96	c calculated reachability. Time: 0.00
474.96/118.96	c  N st   893    806521       481      2122         0     61527      6477   1003280     15.33   no data  --
675.49/169.17	c  F st   894   1071878       481      2122         0     77730      6477   1342909     15.33   no data  --
675.49/169.17	c  N st   894   1071878       481      2122         0     77730      6477   1342909     15.33   no data  --
681.11/170.54	c Decided on static restart strategy
700.25/175.39	c  N st   904   1100178       481      2122         0     61454      6477    865573     15.33   no data  --
731.81/183.27	c  N st   906   1136170       481      2122         0     51664      6477    601511     15.33   no data  --
762.96/191.08	c  N st   907   1168563       481      2122         0     83154      6477   1319270     15.33   no data  --
797.31/199.64	c  N st   908   1209782       481      2122         0     77499      6477   1210015     15.33   no data  --
797.31/199.64	c  S st   908   1209782       481      2122         0     77499      6477   1210015     15.33   no data  --
798.11/199.89	c  S st   908   1210287       481      2122         0     78003      6477   1222049     15.33   no data  --
798.11/199.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
798.11/199.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
798.51/199.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
798.51/199.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
798.51/199.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
798.51/199.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
798.51/199.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
825.28/206.66	c lits-rem:       150  cl-subs:     5065  v-elim:      0  v-fix:    0  time: 26.70 s
825.28/206.66	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
825.28/206.67	c vivif2 --  cl tried    72938 cl shrink        0 lits rem          0 time: 0.06
825.70/206.80	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.48
825.70/206.80	c calculated reachability. Time: 0.00
825.70/206.80	c  N st   908   1210287       481      2122         0     72938      6477   1109953     15.33   no data  --
894.79/224.04	c  N st   909   1283171       481      2122         0     49538      6477    500193     15.33   no data  --
993.85/248.81	c  N st   910   1392497       481      2122         0     57600      6477    687576     15.33   no data  --
1154.02/288.99	c  N st   911   1556482       481      2122         0     62528      6477    751933     15.33   no data  --
1302.22/326.04	c  N st   912   1710289       481      2122         0    104439      6477   1902638     15.33   no data  --
1302.22/326.04	c  S st   912   1710289       481      2122         0    104439      6477   1902638     15.33   no data  --
1303.82/326.42	c  S st   912   1710797       481      2122         0    104945      6477   1914707     15.33   no data  --
1303.82/326.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1303.82/326.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1303.82/326.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1304.22/326.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1304.22/326.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1304.22/326.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
1304.22/326.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1349.36/337.84	c lits-rem:      1321  cl-subs:     5944  v-elim:      0  v-fix:    0  time: 45.12 s
1349.36/337.84	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
1349.36/337.86	c vivif2 --  cl tried    99001 cl shrink        0 lits rem          0 time: 0.09
1350.16/338.01	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.60
1350.16/338.02	c calculated reachability. Time: 0.00
1350.16/338.02	c  N st   912   1710797       481      2122         0     99001      6477   1770104     15.33   no data  --
1783.60/446.56	c  N st   913   2079761       481      2122         0    110283      6477   1838868     15.33   no data  --
1948.54/487.86	c  N st   914   2210799       481      2122         0    114223      6477   1805281     15.33   no data  --
1948.54/487.86	c  S st   914   2210799       481      2122         0    114223      6477   1805281     15.33   no data  --
1950.14/488.25	c  S st   914   2211300       481      2122         0    114724      6477   1816717     15.33   no data  --
1950.14/488.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1950.14/488.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1950.56/488.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1950.56/488.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1950.56/488.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1950.56/488.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
1950.56/488.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2018.04/505.24	c lits-rem:      1074  cl-subs:    12490  v-elim:      0  v-fix:    0  time: 67.35 s
2018.04/505.24	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
2018.04/505.26	c vivif2 --  cl tried   102234 cl shrink        0 lits rem          0 time: 0.08
2018.44/505.39	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.54
2018.44/505.39	c calculated reachability. Time: 0.00
2018.44/505.39	c  N st   914   2211300       481      2122         0    102234      6477   1556909     15.33   no data  --
2701.51/676.34	c  N st   915   2711301       481      2122         0    125597      6477   2120558     15.33   no data  --
2701.51/676.34	c  S st   915   2711301       481      2122         0    125597      6477   2120558     15.33   no data  --
2703.12/676.76	c  S st   915   2711805       481      2122         0    126100      6477   2131932     15.33   no data  --
2703.12/676.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2703.12/676.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2703.52/676.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2703.92/676.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2703.92/676.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2703.92/676.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
2703.92/676.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2790.21/698.57	c lits-rem:       402  cl-subs:    10876  v-elim:      0  v-fix:    0  time: 86.48 s
2790.21/698.57	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
2790.21/698.59	c vivif2 --  cl tried   115224 cl shrink        0 lits rem          0 time: 0.10
2790.99/698.75	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.64
2790.99/698.76	c calculated reachability. Time: 0.00
2790.99/698.76	c  N st   915   2711805       481      2122         0    115224      6477   1879118     15.33   no data  --
3464.88/867.44	c  N st   916   3211805       481      2122         0     92018      6477   1158362     15.33   no data  --
3464.88/867.44	c  S st   916   3211805       481      2122         0     92018      6477   1158362     15.33   no data  --
3466.08/867.73	c  S st   916   3212308       481      2122         0     92521      6477   1169254     15.33   no data  --
3466.08/867.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3466.08/867.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3466.08/867.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
3466.49/867.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3466.49/867.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3466.49/867.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
3466.49/867.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3478.05/870.71	c lits-rem:       200  cl-subs:     1871  v-elim:      0  v-fix:    0  time: 11.54 s
3478.05/870.71	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
3478.05/870.72	c vivif2 --  cl tried    90650 cl shrink        0 lits rem          0 time: 0.06
3478.45/870.84	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.46
3478.45/870.84	c calculated reachability. Time: 0.00
3478.45/870.84	c  N st   916   3212308       481      2122         0     90650      6477   1121224     15.33   no data  --
4196.28/1050.58	c  N st   917   3712308       481      2122         0    100665      6477   1216594     15.33   no data  --
4196.28/1050.58	c  S st   917   3712308       481      2122         0    100665      6477   1216594     15.33   no data  --
4197.46/1050.89	c  S st   917   3712811       481      2122         0    101165      6477   1228928     15.33   no data  --
4197.86/1050.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4197.86/1050.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4197.86/1050.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
4197.86/1050.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4197.86/1050.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4197.86/1050.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    481 time:  0.00 s
4197.86/1050.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4213.46/1054.82	c lits-rem:       404  cl-subs:     4089  v-elim:      0  v-fix:    0  time: 15.29 s
4213.46/1054.82	c vivif2 --  cl tried     2122 cl shrink        0 lits rem          0 time: 0.00
4213.46/1054.84	c vivif2 --  cl tried    97076 cl shrink        0 lits rem          0 time: 0.07
4213.86/1054.96	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.50
4213.86/1054.97	c calculated reachability. Time: 0.00
4213.86/1054.97	c  N st   917   3712811       481      2122         0     97076      6477   1143581     15.33   no data  --
4277.75/1070.93	c  F st   918   3751563       481      2122         0    134724      6477   2069949     15.33   no data  --
4277.75/1070.93	c  N st   918   3751563       481      2122         0    134724      6477   2069949     15.33   no data  --
4287.35/1073.31	c Decided on static restart strategy
4336.90/1085.77	c  N st   928   3779871       481      2122         0    162382      6477   2770262     15.33   no data  --
4381.21/1096.81	c  N st   930   3815866       481      2122         0    114965      6477   1552729     15.33   no data  --
4427.55/1108.44	c  N st   931   3848258       481      2122         0    146428      6477   2319783     15.33   no data  --
4501.45/1126.95	c  N st   932   3896848       481      2122         0    110036      6477   1411318     15.33   no data  --
4613.72/1155.01	c  N st   933   3969730       481      2122         0     96322      6477   1054732     15.33   no data  --
4768.28/1193.76	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: 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-3175178-1304096300/watcher-3175178-1304096300 -o /tmp/evaluation-result-3175178-1304096300/solver-3175178-1304096300 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175178-1304096300.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: 6.34 7.69 7.88 4/172 19693
/proc/meminfo: memFree=17897356/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 413 0 0 0 1 0 0 0 23 0 4 0 521232661 52465664 352 33554432000 4194304 4650419 140734641186928 18446744073709551615 47494039443378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 12809 352 303 112 0 7774 0
[pid=19693/tid=19694] ppid=19691 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 521232661 52465664 352 33554432000 4194304 4650419 140734641186928 18446744073709551615 47494039443378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 521232661 52465664 352 33554432000 4194304 4650419 140734641186928 18446744073709551615 47494039443372 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521232661 52465664 352 33554432000 4194304 4650419 140734641186928 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0656341 s]
/proc/loadavg: 6.34 7.69 7.88 4/172 19693
/proc/meminfo: memFree=17897356/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=282488 CPUtime=0.24 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 1546 0 0 0 24 0 0 0 18 0 4 0 521232661 289267712 1406 33554432000 4194304 4650419 140734641186928 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 70622 1406 391 112 0 65587 0
[pid=19693/tid=19694] ppid=19691 vsize=282488 CPUtime=0.06 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 351 0 0 0 6 0 0 0 18 0 4 0 521232661 289267712 1406 33554432000 4194304 4650419 140734641186928 18446744073709551615 4331089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=282488 CPUtime=0.06 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 318 0 0 0 6 0 0 0 18 0 4 0 521232661 289267712 1406 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364648 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=282488 CPUtime=0.05 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 166 0 0 0 5 0 0 0 25 0 4 0 521232661 289267712 1406 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 282488

[startup+0.100627 s]
/proc/loadavg: 6.34 7.69 7.88 4/172 19693
/proc/meminfo: memFree=17897356/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=282624 CPUtime=0.38 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 1724 0 0 0 38 0 0 0 18 0 4 0 521232661 289406976 1584 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 70656 1584 391 112 0 65621 0
[pid=19693/tid=19694] ppid=19691 vsize=282624 CPUtime=0.09 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 397 0 0 0 9 0 0 0 18 0 4 0 521232661 289406976 1584 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=282624 CPUtime=0.09 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 357 0 0 0 9 0 0 0 18 0 4 0 521232661 289406976 1584 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=282624 CPUtime=0.09 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 204 0 0 0 9 0 0 0 25 0 4 0 521232661 289406976 1584 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282624

[startup+0.300592 s]
/proc/loadavg: 6.34 7.69 7.88 4/172 19693
/proc/meminfo: memFree=17897356/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=283756 CPUtime=1.18 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 2839 0 0 0 118 0 0 0 18 0 4 0 521232661 290566144 2119 33554432000 4194304 4650419 140734641186928 18446744073709551615 4333940 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 70939 2119 393 112 0 65904 0
[pid=19693/tid=19694] ppid=19691 vsize=283756 CPUtime=0.29 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 671 0 0 0 29 0 0 0 18 0 4 0 521232661 290566144 2119 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=283756 CPUtime=0.29 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 625 0 0 0 29 0 0 0 18 0 4 0 521232661 290566144 2119 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364648 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=283756 CPUtime=0.29 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 482 0 0 0 29 0 0 0 25 0 4 0 521232661 290566144 2119 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283756

[startup+0.700523 s]
/proc/loadavg: 6.34 7.69 7.88 4/172 19693
/proc/meminfo: memFree=17897356/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=284932 CPUtime=2.78 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 4531 0 0 0 277 1 0 0 18 0 4 0 521232661 291770368 2677 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 71233 2677 393 112 0 66198 0
[pid=19693/tid=19694] ppid=19691 vsize=284932 CPUtime=0.69 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 1050 0 0 0 69 0 0 0 18 0 4 0 521232661 291770368 2677 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=284932 CPUtime=0.69 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 996 0 0 0 69 0 0 0 18 0 4 0 521232661 291770368 2677 33554432000 4194304 4650419 140734641186928 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=284932 CPUtime=0.69 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 1011 0 0 0 69 0 0 0 25 0 4 0 521232661 291770368 2677 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284932

[startup+1.50038 s]
/proc/loadavg: 6.34 7.69 7.88 9/184 19705
/proc/meminfo: memFree=17869492/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=291356 CPUtime=5.98 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 8686 0 0 0 597 1 0 0 20 0 4 0 521232661 298348544 4702 33554432000 4194304 4650419 140734641186928 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 72839 4702 395 112 0 67804 0
[pid=19693/tid=19694] ppid=19691 vsize=291356 CPUtime=1.49 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 1796 0 0 0 149 0 0 0 19 0 4 0 521232661 298348544 4702 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=291356 CPUtime=1.49 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 1780 0 0 0 149 0 0 0 19 0 4 0 521232661 298348544 4702 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=291356 CPUtime=1.48 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 1568 0 0 0 148 0 0 0 25 0 4 0 521232661 298348544 4702 33554432000 4194304 4650419 140734641186928 18446744073709551615 4331084 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 291356

[startup+3.1011 s]
/proc/loadavg: 6.34 7.69 7.88 9/184 19705
/proc/meminfo: memFree=17842840/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=291552 CPUtime=12.37 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 16880 0 0 0 1234 3 0 0 25 0 4 0 521232661 298549248 9820 33554432000 4194304 4650419 140734641186928 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 72888 9820 395 112 0 67853 0
[pid=19693/tid=19694] ppid=19691 vsize=291552 CPUtime=3.09 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 3832 0 0 0 309 0 0 0 25 0 4 0 521232661 298549248 9820 33554432000 4194304 4650419 140734641186928 18446744073709551615 4306624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=291552 CPUtime=3.09 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 4356 0 0 0 309 0 0 0 25 0 4 0 521232661 298549248 9820 33554432000 4194304 4650419 140734641186928 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=291552 CPUtime=3.07 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 4128 0 0 0 307 0 0 0 25 0 4 0 521232661 298549248 9820 33554432000 4194304 4650419 140734641186928 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 291552

[startup+6.30054 s]
/proc/loadavg: 6.47 7.70 7.88 9/184 19705
/proc/meminfo: memFree=17797084/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=310168 CPUtime=25.15 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 25588 0 0 0 2511 4 0 0 25 0 4 0 521232661 317612032 13679 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 77542 13679 395 112 0 72507 0
[pid=19693/tid=19694] ppid=19691 vsize=310168 CPUtime=6.29 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 6551 0 0 0 628 1 0 0 25 0 4 0 521232661 317612032 13679 33554432000 4194304 4650419 140734641186928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=310168 CPUtime=6.29 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 7064 0 0 0 628 1 0 0 25 0 4 0 521232661 317612032 13679 33554432000 4194304 4650419 140734641186928 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=310168 CPUtime=6.26 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 5665 0 0 0 625 1 0 0 25 0 4 0 521232661 317612032 13679 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 310168

[startup+12.7004 s]
/proc/loadavg: 6.60 7.70 7.88 9/184 19705
/proc/meminfo: memFree=17744512/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=310420 CPUtime=50.71 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 36431 0 0 0 5065 6 0 0 25 0 4 0 521232661 317870080 17546 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365280 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 77605 17546 395 112 0 72570 0
[pid=19693/tid=19694] ppid=19691 vsize=310420 CPUtime=12.69 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 10271 0 0 0 1268 1 0 0 25 0 4 0 521232661 317870080 17546 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=310420 CPUtime=12.69 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 9724 0 0 0 1268 1 0 0 25 0 4 0 521232661 317870080 17546 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=310420 CPUtime=12.62 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 7918 0 0 0 1261 1 0 0 25 0 4 0 521232661 317870080 17546 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 310420

[startup+25.5012 s]
/proc/loadavg: 6.91 7.72 7.88 9/184 19706
/proc/meminfo: memFree=17698884/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=310948 CPUtime=101.84 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 55561 0 0 0 10174 10 0 0 25 0 4 0 521232661 318410752 23291 33554432000 4194304 4650419 140734641186928 18446744073709551615 4368117 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 77737 23291 395 112 0 72702 0
[pid=19693/tid=19694] ppid=19691 vsize=310948 CPUtime=25.49 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 16943 0 0 0 2547 2 0 0 25 0 4 0 521232661 318410752 23291 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=310948 CPUtime=25.49 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 15866 0 0 0 2547 2 0 0 25 0 4 0 521232661 318410752 23291 33554432000 4194304 4650419 140734641186928 18446744073709551615 4315156 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=310948 CPUtime=25.35 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 11191 0 0 0 2533 2 0 0 25 0 4 0 521232661 318410752 23291 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 310948

[startup+51.1007 s]
/proc/loadavg: 7.28 7.74 7.88 9/184 19706
/proc/meminfo: memFree=17612752/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=368460 CPUtime=204.12 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 87663 0 0 0 20392 20 0 0 25 0 4 0 521232661 377303040 34709 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 92115 34709 395 112 0 87080 0
[pid=19693/tid=19694] ppid=19691 vsize=368460 CPUtime=51.09 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 27649 0 0 0 5104 5 0 0 25 0 4 0 521232661 377303040 34709 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=368460 CPUtime=51.09 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 24383 0 0 0 5105 4 0 0 25 0 4 0 521232661 377303040 34709 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=368460 CPUtime=50.83 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 15988 0 0 0 5079 4 0 0 25 0 4 0 521232661 377303040 34709 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 368460

[startup+102.307 s]
/proc/loadavg: 7.83 7.81 7.90 9/184 19708
/proc/meminfo: memFree=17569948/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=409264 CPUtime=408.67 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 119709 0 0 0 40836 31 0 0 25 0 4 0 521232661 419086336 44645 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 102316 44645 395 112 0 97281 0
[pid=19693/tid=19694] ppid=19691 vsize=409264 CPUtime=102.3 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 36876 0 0 0 10222 8 0 0 25 0 4 0 521232661 419086336 44645 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=409264 CPUtime=102.29 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 32478 0 0 0 10223 6 0 0 25 0 4 0 521232661 419086336 44645 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=409264 CPUtime=101.76 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 22354 0 0 0 10170 6 0 0 25 0 4 0 521232661 419086336 44645 33554432000 4194304 4650419 140734641186928 18446744073709551615 4540584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 409264

[startup+162.301 s]

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

[pid=19693] ppid=19691 vsize=526456 CPUtime=2805.37 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 407506 0 0 0 280387 150 0 0 25 0 4 0 521232661 539090944 85186 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 131614 85187 395 112 0 126579 0
[pid=19693/tid=19694] ppid=19691 vsize=526456 CPUtime=702.3 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 127408 0 0 0 70185 45 0 0 25 0 4 0 521232661 539090944 85187 33554432000 4194304 4650419 140734641186928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=526456 CPUtime=702.29 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 111275 0 0 0 70189 40 0 0 25 0 4 0 521232661 539090944 85187 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=526456 CPUtime=698.51 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 70426 0 0 0 69826 25 0 0 25 0 4 0 521232661 539090944 85187 33554432000 4194304 4650419 140734641186928 18446744073709551615 4298170 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 526456

[startup+762.307 s]
/proc/loadavg: 8.06 8.09 8.00 9/184 19737
/proc/meminfo: memFree=17209384/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=504496 CPUtime=3045.07 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 432495 0 0 0 304346 161 0 0 25 0 4 0 521232661 516603904 88648 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 126124 88648 395 112 0 121089 0
[pid=19693/tid=19694] ppid=19691 vsize=504496 CPUtime=762.32 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 134038 0 0 0 76184 48 0 0 25 0 4 0 521232661 516603904 88648 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=504496 CPUtime=762.3 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 117575 0 0 0 76188 42 0 0 25 0 4 0 521232661 516603904 88648 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=504496 CPUtime=758.19 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 75578 0 0 0 75792 27 0 0 25 0 4 0 521232661 516603904 88648 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 504496

[startup+822.301 s]
/proc/loadavg: 8.13 8.10 8.01 9/184 19739
/proc/meminfo: memFree=17192128/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=517552 CPUtime=3284.72 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 456972 0 0 0 328300 172 0 0 25 0 4 0 521232661 529973248 93097 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366933 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 129388 93097 395 112 0 124353 0
[pid=19693/tid=19694] ppid=19691 vsize=517552 CPUtime=822.31 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 140576 0 0 0 82180 51 0 0 25 0 4 0 521232661 529973248 93097 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=517552 CPUtime=822.3 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 123702 0 0 0 82185 45 0 0 25 0 4 0 521232661 529973248 93097 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=517552 CPUtime=817.87 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 80393 0 0 0 81757 30 0 0 25 0 4 0 521232661 529973248 93097 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 517552

[startup+882.3 s]
/proc/loadavg: 8.22 8.13 8.02 9/184 19740
/proc/meminfo: memFree=17156760/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=525528 CPUtime=3524.39 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 483838 0 0 0 352256 183 0 0 25 0 4 0 521232661 538140672 93821 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 131382 93821 395 112 0 126347 0
[pid=19693/tid=19694] ppid=19691 vsize=525528 CPUtime=882.31 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 149095 0 0 0 88178 53 0 0 25 0 4 0 521232661 538140672 93821 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=525528 CPUtime=882.29 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 131304 0 0 0 88181 48 0 0 25 0 4 0 521232661 538140672 93821 33554432000 4194304 4650419 140734641186928 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=525528 CPUtime=877.53 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 85165 0 0 0 87721 32 0 0 25 0 4 0 521232661 538140672 93821 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 525528

[startup+942.301 s]
/proc/loadavg: 8.22 8.13 8.02 9/184 19742
/proc/meminfo: memFree=17111960/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=525776 CPUtime=3764.07 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 509774 0 0 0 376213 194 0 0 25 0 4 0 521232661 538394624 98335 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 131444 98335 395 112 0 126409 0
[pid=19693/tid=19694] ppid=19691 vsize=525776 CPUtime=942.31 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 156325 0 0 0 94176 55 0 0 25 0 4 0 521232661 538394624 98335 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=525776 CPUtime=942.29 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 138770 0 0 0 94178 51 0 0 25 0 4 0 521232661 538394624 98335 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=525776 CPUtime=937.21 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 89883 0 0 0 93686 35 0 0 25 0 4 0 521232661 538394624 98335 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 525776

[startup+1002.3 s]
/proc/loadavg: 8.13 8.12 8.02 9/184 19744
/proc/meminfo: memFree=17098396/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=525988 CPUtime=4003.73 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 528757 0 0 0 400171 202 0 0 25 0 4 0 521232661 538611712 97622 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 131497 97622 395 112 0 126462 0
[pid=19693/tid=19694] ppid=19691 vsize=525988 CPUtime=1002.31 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 163185 0 0 0 100173 58 0 0 25 0 4 0 521232661 538611712 97622 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=525988 CPUtime=1002.3 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 142490 0 0 0 100177 53 0 0 25 0 4 0 521232661 538611712 97622 33554432000 4194304 4650419 140734641186928 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=525988 CPUtime=996.88 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 91511 0 0 0 99653 35 0 0 25 0 4 0 521232661 538611712 97622 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 525988

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 8.02 9/184 19745
/proc/meminfo: memFree=17074796/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=539072 CPUtime=4243.4 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 551598 0 0 0 424128 212 0 0 25 0 4 0 521232661 552009728 103158 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 134768 103158 395 112 0 129733 0
[pid=19693/tid=19694] ppid=19691 vsize=539072 CPUtime=1062.32 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 170721 0 0 0 106170 62 0 0 25 0 4 0 521232661 552009728 103158 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=539072 CPUtime=1062.3 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 148207 0 0 0 106174 56 0 0 25 0 4 0 521232661 552009728 103158 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=539072 CPUtime=1056.56 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 95219 0 0 0 105620 36 0 0 25 0 4 0 521232661 552009728 103158 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 539072

[startup+1122.3 s]
/proc/loadavg: 8.04 8.09 8.02 9/184 19747
/proc/meminfo: memFree=17089284/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=604872 CPUtime=4483.07 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 574609 0 0 0 448083 224 0 0 25 0 4 0 521232661 619388928 104721 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 151218 104721 395 112 0 146183 0
[pid=19693/tid=19694] ppid=19691 vsize=604872 CPUtime=1122.31 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 176181 0 0 0 112165 66 0 0 25 0 4 0 521232661 619388928 104721 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=604872 CPUtime=1122.3 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 154246 0 0 0 112171 59 0 0 25 0 4 0 521232661 619388928 104721 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=604872 CPUtime=1116.22 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 100603 0 0 0 111584 38 0 0 25 0 4 0 521232661 619388928 104721 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 604872

[startup+1182.3 s]
/proc/loadavg: 8.01 8.07 8.01 9/184 19748
/proc/meminfo: memFree=17070432/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=649160 CPUtime=4722.75 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 594241 0 0 0 472040 235 0 0 25 0 4 0 521232661 664739840 107156 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 162290 107156 395 112 0 157255 0
[pid=19693/tid=19694] ppid=19691 vsize=649160 CPUtime=1182.32 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 183094 0 0 0 118163 69 0 0 25 0 4 0 521232661 664739840 107156 33554432000 4194304 4650419 140734641186928 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=649160 CPUtime=1182.3 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 158958 0 0 0 118169 61 0 0 25 0 4 0 521232661 664739840 107156 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=649160 CPUtime=1175.9 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 102847 0 0 0 117550 40 0 0 25 0 4 0 521232661 664739840 107156 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.75
Current children cumulated vsize (KiB) 649160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 8.06 8.01 9/184 19749
/proc/meminfo: memFree=17068944/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=556712 CPUtime=4800.25 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 604327 0 0 0 479787 238 0 0 25 0 4 0 521232661 570073088 106601 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 139178 106601 395 112 0 134143 0
[pid=19693/tid=19694] ppid=19691 vsize=556712 CPUtime=1201.73 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 185984 0 0 0 120103 70 0 0 25 0 4 0 521232661 570073088 106601 33554432000 4194304 4650419 140734641186928 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=556712 CPUtime=1201.71 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 161543 0 0 0 120109 62 0 0 25 0 4 0 521232661 570073088 106601 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=556712 CPUtime=1195.19 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 104762 0 0 0 119478 41 0 0 25 0 4 0 521232661 570073088 106601 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 556712

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

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

[startup+1201.7 s]
/proc/loadavg: 8.01 8.06 8.01 9/184 19749
/proc/meminfo: memFree=17068944/32951124 swapFree=67111528/67111528
[pid=19693] ppid=19691 vsize=556712 CPUtime=4800.25 cores=0,2,4,6
/proc/19693/stat : 19693 (strangenight1-m) R 19691 19693 19020 0 -1 4202496 604327 0 0 0 479787 238 0 0 25 0 4 0 521232661 570073088 106601 33554432000 4194304 4650419 140734641186928 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19693/statm: 139178 106601 395 112 0 134143 0
[pid=19693/tid=19694] ppid=19691 vsize=556712 CPUtime=1201.73 cores=0,2,4,6
/proc/19693/task/19694/stat : 19694 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 185984 0 0 0 120103 70 0 0 25 0 4 0 521232661 570073088 106601 33554432000 4194304 4650419 140734641186928 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19693/tid=19695] ppid=19691 vsize=556712 CPUtime=1201.71 cores=0,2,4,6
/proc/19693/task/19695/stat : 19695 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 161543 0 0 0 120109 62 0 0 25 0 4 0 521232661 570073088 106601 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19693/tid=19696] ppid=19691 vsize=556712 CPUtime=1195.19 cores=0,2,4,6
/proc/19693/task/19696/stat : 19696 (strangenight1-m) R 19691 19693 19020 0 -1 4202560 104762 0 0 0 119478 41 0 0 25 0 4 0 521232661 570073088 106601 33554432000 4194304 4650419 140734641186928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 556712

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.31
CPU user time (s): 4797.9
CPU system time (s): 2.40663
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 670180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.9
system time used= 2.40663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 604327
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= 321
involuntary context switches= 20504

runsolver used 1.9467 second user time and 4.55831 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 18:58:20
IDJOB=3175178
IDBENCH=82796
IDSOLVER=1588
FILE ID=node103/3175178-1304096300
RUNJOBID= node103-1304096300-19678
PBS_JOBID= 13170574
Free space on /tmp= 71520 MiB

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

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

MD5SUM BENCH= 9b739128337f606a6a7756556c2fd6df
RANDOM SEED=695021804

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:      17897512 kB
Buffers:       2148784 kB
Cached:       12258764 kB
SwapCached:          0 kB
Active:        5584788 kB
Inactive:      8886220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17897512 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12480 kB
Writeback:           0 kB
AnonPages:       62780 kB
Mapped:          14484 kB
Slab:           519676 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187708 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-29 19:18:24