Trace number 3366394

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-2-mt (fixed)? (TO) 4800.27 1203.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf
MD5SUM529f91a307fdda5249e1a091ee33e647
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366394-1305403160.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.02	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.02	c -- vars added        550
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.56/0.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
1.56/0.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1.56/0.40	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
1.56/0.40	c Finding binary XORs  T:     0.00 s  found:       0
1.56/0.40	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.56/0.40	c calculated reachability. Time: 0.00
1.56/0.40	c Calc default polars -  time:   0.00 s pos:     234 undec:      63 neg:     253
1.56/0.40	c =========================================================================================
1.56/0.40	c types(t): F = full restart, N = normal restart
1.56/0.40	c types(t): S = simplification begin/end, E = solution found
1.56/0.40	c restart types(rt): st = static, dy = dynamic
1.56/0.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.56/0.40	c  B st     0         0       535      2329         0         0      7068         0   no data   no data
1.56/0.40	c Decided on static restart strategy
1.56/0.40	c  N st     8      4920       535      2329         0      4840      7068    121267   no data   no data
3.17/0.83	c  N st    10     11304       535      2329         0      4491      7068     78572   no data   no data
3.17/0.83	c  N st    11     17052       535      2329         0     10117      7068    226520   no data   no data
4.75/1.23	c  F st    12     25000       535      2329         0     12332      7068    270221   no data   no data
4.75/1.23	c  N st    12     25000       535      2329         0     12332      7068    270221   no data   no data
5.55/1.41	c  N dy    18     30000       535      2329         0     10667      7068    212263   no data   no data
5.55/1.41	c  S st    18     30000       535      2329         0     10667      7068    212263   no data   no data
5.55/1.44	c  S st    18     30500       535      2329         0     11167      7068    224521   no data   no data
5.55/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.44	c blocked clauses removed:        9 vars:      2 tried:         535 T: 0.00 s
5.55/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
5.55/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.51	c lits-rem:       113  cl-subs:      464  v-elim:      0  v-fix:    0  time:  0.05 s
5.95/1.52	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.01
5.95/1.52	c calculated reachability. Time: 0.00
5.95/1.52	c  N dy    18     30500       533      2320         0     10703      7041    211652   no data   no data
6.75/1.76	c  N dy    25     34632       533      2320         0     14772      7041    306179     15.95     16.84
7.55/1.99	c  N dy    42     38938       533      2320         0     11231      7041    183493     15.93     16.85
9.14/2.32	c  N dy    57     44119       533      2320         0     16349      7041    304851     15.94     16.82
9.54/2.44	c  S st    63     45751       533      2320         0      9125      7041    107699     15.96   no data
9.54/2.46	c  S st    63     46253       533      2320         0      9626      7041    119015     15.96   no data
9.54/2.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
9.54/2.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.48	c lits-rem:        10  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.48	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
9.54/2.48	c vivif2 --  cl tried     9611 cl shrink        0 lits rem          0 time: 0.00
9.54/2.49	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.00
9.54/2.49	c calculated reachability. Time: 0.00
9.54/2.49	c  N dy    63     46253       533      2320         0      9611      7041    118651     15.96   no data
10.74/2.72	c  N dy    83     50518       533      2320         0     13837      7041    218718     16.04     16.94
11.93/3.09	c  N dy   105     55825       533      2320         0     19079      7041    346155     16.10     16.97
13.18/3.35	c  N dy   138     59903       533      2320         0     13256      7041    183476     16.26     18.16
14.32/3.66	c  N dy   154     64493       533      2320         0     17772      7041    290539     16.22     17.14
15.92/4.02	c  N dy   179     69086       533      2320         0     11464      7041    122458     16.26     17.15
15.92/4.04	c  S st   181     69379       533      2320         0     11754      7041    129506     16.26     14.64
15.92/4.07	c  S st   181     69883       533      2320         0     12257      7041    141927     16.26   no data
15.92/4.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.92/4.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.92/4.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
15.92/4.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.92/4.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.92/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.09	c lits-rem:        33  cl-subs:       30  v-elim:      0  v-fix:    0  time:  0.01 s
15.92/4.09	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
15.92/4.09	c vivif2 --  cl tried    12227 cl shrink        0 lits rem          0 time: 0.00
16.32/4.10	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.01
16.32/4.10	c calculated reachability. Time: 0.00
16.32/4.10	c  N dy   181     69883       533      2320         0     12227      7041    141107     16.26   no data
17.57/4.43	c  N dy   209     74690       533      2320         0     17005      7041    256348     16.34     17.37
19.11/4.83	c  N dy   235     79659       533      2320         0     21905      7041    374485     16.39     17.26
21.11/5.31	c  N dy   256     86386       533      2320         0     16701      7041    227896     16.33     17.23
21.11/5.39	c  F st   266     87501       533      2320         0     17807      7041    254633     16.37   no data
23.10/5.84	c Decided on static restart strategy
23.10/5.84	c  N st   272     92700       533      2320         0     22928      7041    380218     16.37   no data
25.09/6.38	c  N st   274     99810       533      2320         0     17091      7041    331994     16.37   no data
26.69/6.77	c  S st   275    104824       533      2320         0     22026      7041    461669     16.37   no data
27.09/6.82	c  S st   275    105329       533      2320         0     22531      7041    473806     16.37   no data
27.09/6.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.09/6.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.09/6.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.09/6.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.09/6.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.09/6.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
27.09/6.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.09/6.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.09/6.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.88/7.04	c lits-rem:       188  cl-subs:      976  v-elim:      0  v-fix:    0  time:  0.18 s
27.88/7.04	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
27.88/7.04	c vivif2 --  cl tried    21555 cl shrink        0 lits rem          0 time: 0.00
27.88/7.06	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.01
27.88/7.06	c calculated reachability. Time: 0.00
27.88/7.06	c  N st   275    105329       533      2320         0     21555      7041    446460     16.37   no data
31.07/7.86	c  N st   276    114927       533      2320         0     17158      7041    286458     16.37   no data
35.85/9.05	c  N st   277    129325       533      2320         0     16612      7041    284183     16.37   no data
43.89/11.07	c  N st   278    150920       533      2320         0     22189      7041    400675     16.37   no data
47.03/11.80	c  S st   279    157995       533      2320         0     29135      7041    587489     16.37   no data
47.03/11.87	c  S st   279    158496       533      2320         0     29636      7041    599387     16.37   no data
47.03/11.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.03/11.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.03/11.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.03/11.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.03/11.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.03/11.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
47.03/11.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.03/11.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.43/11.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.62/12.25	c lits-rem:       148  cl-subs:     1116  v-elim:      0  v-fix:    0  time:  0.33 s
48.62/12.25	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
48.62/12.26	c vivif2 --  cl tried    28520 cl shrink        0 lits rem          0 time: 0.01
48.62/12.28	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.02
48.62/12.28	c calculated reachability. Time: 0.00
48.62/12.28	c  N st   279    158496       533      2320         0     28520      7041    567140     16.37   no data
70.95/17.89	c  N st   280    207084       533      2320         0     23315      7041    392633     16.37   no data
86.52/21.75	c  N st   281    237744       533      2320         0     33733      7041    620341     16.37   no data
86.52/21.75	c  S st   281    237744       533      2320         0     33733      7041    620341     16.37   no data
86.92/21.84	c  S st   281    238247       533      2320         0     34235      7041    631770     16.37   no data
86.92/21.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.92/21.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.92/21.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.92/21.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.92/21.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.92/21.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
86.92/21.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.92/21.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.92/21.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.90/22.36	c lits-rem:       143  cl-subs:     1151  v-elim:      0  v-fix:    0  time:  0.46 s
88.90/22.36	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
88.90/22.36	c vivif2 --  cl tried    33084 cl shrink        0 lits rem          0 time: 0.01
88.90/22.39	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.02
88.90/22.39	c calculated reachability. Time: 0.00
88.90/22.39	c  N st   281    238247       533      2320         0     33084      7041    601762     16.37   no data
121.61/30.60	c  F st   282    306250       533      2320         0     34912      7041    585821     16.37   no data
122.01/30.60	c  N st   282    306250       533      2320         0     34912      7041    585821     16.37   no data
124.80/31.34	c Decided on static restart strategy
136.36/34.27	c  N st   292    334554       533      2320         0     39198      7041    712315     16.37   no data
148.33/37.26	c  N st   294    357371       533      2320         0     37078      7041    625137     16.37   no data
148.33/37.26	c  S st   294    357371       533      2320         0     37078      7041    625137     16.37   no data
148.74/37.37	c  S st   294    357872       533      2320         0     37578      7041    636531     16.37   no data
148.74/37.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.74/37.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
148.74/37.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
148.74/37.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.74/37.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.74/37.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
148.74/37.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
148.74/37.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.17/37.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.71/37.82	c lits-rem:       255  cl-subs:     1218  v-elim:      0  v-fix:    0  time:  0.40 s
150.71/37.82	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
150.71/37.83	c vivif2 --  cl tried    36360 cl shrink        0 lits rem          0 time: 0.01
150.71/37.85	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.03
150.71/37.85	c calculated reachability. Time: 0.00
150.71/37.85	c  N st   294    357872       533      2320         0     36360      7041    601070     16.37   no data
169.06/42.42	c  N st   295    390264       533      2320         0     42639      7041    750408     16.37   no data
199.77/50.13	c  N st   296    438852       533      2320         0     36457      7041    555899     16.37   no data
248.03/62.20	c  N st   297    511734       533      2320         0     49952      7041    881024     16.37   no data
265.98/66.72	c  N st   298    536808       533      2320         0     44121      7041    680233     16.37   no data
265.98/66.72	c  S st   298    536808       533      2320         0     44121      7041    680233     16.37   no data
266.38/66.84	c  S st   298    537312       533      2320         0     44625      7041    692807     16.37   no data
266.38/66.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
266.38/66.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
266.38/66.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
266.38/66.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.38/66.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.38/66.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
266.38/66.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
266.38/66.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
266.38/66.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.76/67.43	c lits-rem:       198  cl-subs:     1274  v-elim:      0  v-fix:    0  time:  0.53 s
268.76/67.43	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
268.76/67.44	c vivif2 --  cl tried    43351 cl shrink        0 lits rem          0 time: 0.01
268.76/67.47	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.03
268.76/67.47	c calculated reachability. Time: 0.00
268.76/67.47	c  N st   298    537312       533      2320         0     43351      7041    659448     16.37   no data
393.60/98.71	c  N st   299    701296       533      2320         0     37290      7041    422244     16.37   no data
478.20/119.92	c  N st   300    805968       533      2320         0     66374      7041   1144890     16.37   no data
478.20/119.92	c  S st   300    805968       533      2320         0     66374      7041   1144890     16.37   no data
478.94/120.14	c  S st   300    806469       533      2320         0     66875      7041   1156458     16.37   no data
478.94/120.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
478.94/120.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
478.94/120.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
478.94/120.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
478.94/120.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.94/120.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
478.94/120.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
478.94/120.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
479.34/120.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
489.72/122.84	c lits-rem:       642  cl-subs:     3139  v-elim:      0  v-fix:    0  time:  2.59 s
489.72/122.84	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
489.72/122.86	c vivif2 --  cl tried    63736 cl shrink        0 lits rem          0 time: 0.01
490.12/122.92	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.06
490.12/122.92	c calculated reachability. Time: 0.00
490.12/122.92	c  N st   300    806469       533      2320         0     63736      7041   1076131     16.37   no data
717.04/179.83	c  F st   301   1071875       533      2320         0     79852      7041   1437149     16.37   no data
717.04/179.83	c  N st   301   1071875       533      2320         0     79852      7041   1437149     16.37   no data
723.44/181.50	c Decided on static restart strategy
742.97/186.31	c  N st   311   1100181       533      2320         0     63581      7041    935343     16.37   no data
779.27/195.42	c  N st   313   1136173       533      2320         0     53869      7041    690915     16.37   no data
809.98/203.19	c  N st   314   1168566       533      2320         0     85614      7041   1555053     16.37   no data
854.25/214.26	c  N st   315   1209705       533      2320         0     79732      7041   1380445     16.37   no data
854.25/214.26	c  S st   315   1209705       533      2320         0     79732      7041   1380445     16.37   no data
855.48/214.51	c  S st   315   1210206       533      2320         0     80231      7041   1392616     16.37   no data
855.48/214.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
855.48/214.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
855.48/214.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
855.48/214.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
855.48/214.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
855.48/214.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
855.48/214.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
855.48/214.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
855.84/214.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.18/219.20	c lits-rem:       507  cl-subs:     3876  v-elim:      0  v-fix:    0  time:  4.53 s
874.18/219.20	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
874.18/219.22	c vivif2 --  cl tried    76355 cl shrink        0 lits rem          0 time: 0.02
874.18/219.29	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.07
874.18/219.30	c calculated reachability. Time: 0.00
874.18/219.30	c  N st   315   1210206       533      2320         0     76355      7041   1279133     16.37   no data
968.31/242.82	c  N st   316   1283088       533      2320         0     52829      7041    592360     16.37   no data
1087.15/272.61	c  N st   317   1392412       533      2320         0     60822      7041    773589     16.37   no data
1269.41/318.33	c  N st   318   1556396       533      2320         0     65714      7041    841501     16.37   no data
1448.48/363.29	c  N st   319   1710207       533      2320         0    107144      7041   1825593     16.37   no data
1448.48/363.29	c  S st   319   1710207       533      2320         0    107144      7041   1825593     16.37   no data
1450.09/363.64	c  S st   319   1710715       533      2320         0    107651      7041   1838090     16.37   no data
1450.09/363.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1450.49/363.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1450.49/363.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1450.49/363.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1450.49/363.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1450.49/363.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
1450.49/363.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1450.49/363.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1450.49/363.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1500.73/376.39	c lits-rem:       918  cl-subs:     9459  v-elim:      0  v-fix:    0  time: 12.46 s
1500.73/376.39	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
1501.13/376.42	c vivif2 --  cl tried    98192 cl shrink        0 lits rem          0 time: 0.02
1501.53/376.53	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.11
1501.53/376.53	c calculated reachability. Time: 0.00
1501.53/376.53	c  N st   319   1710715       533      2320         0     98192      7041   1622061     16.37   no data
1973.35/494.85	c  N st   320   2079680       533      2320         0    110416      7041   1973038     16.37   no data
2144.45/537.76	c  N st   321   2210715       533      2320         0    114253      7041   1938880     16.37   no data
2144.45/537.76	c  S st   321   2210715       533      2320         0    114253      7041   1938880     16.37   no data
2146.03/538.18	c  S st   321   2211217       533      2320         0    114751      7041   1952424     16.37   no data
2146.03/538.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2146.43/538.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2146.43/538.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2146.43/538.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2146.43/538.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2146.43/538.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
2146.43/538.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2146.43/538.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2146.83/538.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2198.69/551.39	c lits-rem:       367  cl-subs:     7543  v-elim:      0  v-fix:    0  time: 12.88 s
2198.69/551.39	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
2199.08/551.41	c vivif2 --  cl tried   107208 cl shrink        0 lits rem          0 time: 0.02
2199.48/551.53	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.12
2199.48/551.54	c calculated reachability. Time: 0.00
2199.48/551.54	c  N st   321   2211217       533      2320         0    107208      7041   1764096     16.37   no data
2876.29/721.25	c  N st   322   2711218       533      2320         0    130959      7041   2270131     16.37   no data
2876.29/721.25	c  S st   322   2711218       533      2320         0    130959      7041   2270131     16.37   no data
2877.93/721.67	c  S st   322   2711719       533      2320         0    131460      7041   2282306     16.37   no data
2877.93/721.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2878.28/721.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2878.28/721.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2878.28/721.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2878.28/721.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2878.28/721.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
2878.28/721.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2878.28/721.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2878.68/721.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2946.49/738.81	c lits-rem:      1020  cl-subs:     8473  v-elim:      0  v-fix:    0  time: 16.76 s
2946.49/738.81	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
2946.49/738.84	c vivif2 --  cl tried   122987 cl shrink        0 lits rem          0 time: 0.03
2946.89/738.98	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.14
2946.89/738.98	c calculated reachability. Time: 0.00
2946.89/738.98	c  N st   322   2711719       533      2320         0    122987      7041   2083274     16.37   no data
3756.87/942.02	c  N st   323   3211720       533      2320         0     98489      7041   1271273     16.37   no data
3756.87/942.02	c  S st   323   3211720       533      2320         0     98489      7041   1271273     16.37   no data
3758.07/942.33	c  S st   323   3212222       533      2320         0     98991      7041   1284113     16.37   no data
3758.07/942.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3758.07/942.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3758.07/942.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3758.07/942.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3758.07/942.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3758.07/942.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
3758.07/942.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3758.47/942.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3758.47/942.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3767.65/944.79	c lits-rem:       461  cl-subs:     3359  v-elim:      0  v-fix:    0  time:  2.32 s
3767.65/944.79	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
3768.06/944.82	c vivif2 --  cl tried    95632 cl shrink        0 lits rem          0 time: 0.02
3768.49/944.92	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.10
3768.49/944.93	c calculated reachability. Time: 0.00
3768.49/944.93	c  N st   323   3212222       533      2320         0     95632      7041   1205342     16.37   no data
4660.19/1168.59	c  N st   324   3712222       533      2320         0    105975      7041   1343801     16.37   no data
4660.19/1168.59	c  S st   324   3712222       533      2320         0    105975      7041   1343801     16.37   no data
4661.79/1168.92	c  S st   324   3712727       533      2320         0    106480      7041   1356572     16.37   no data
4661.79/1168.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4661.79/1168.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4661.79/1168.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4661.79/1168.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4661.79/1168.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4661.79/1168.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
4661.79/1168.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4662.19/1169.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4662.19/1169.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4676.93/1172.71	c lits-rem:       399  cl-subs:     5369  v-elim:      0  v-fix:    0  time:  3.61 s
4676.93/1172.71	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
4676.93/1172.73	c vivif2 --  cl tried   101111 cl shrink        0 lits rem          0 time: 0.02
4677.34/1172.84	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.11
4677.34/1172.84	c calculated reachability. Time: 0.00
4677.34/1172.84	c  N st   324   3712727       533      2320         0    101111      7041   1239473     16.37   no data
4745.14/1189.83	c  F st   325   3751564       533      2320         0    139041      7041   2169193     16.37   no data
4745.14/1189.83	c  N st   325   3751564       533      2320         0    139041      7041   2169193     16.37   no data
4757.51/1192.92	c Decided on static restart strategy

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-3366394-1305403160/watcher-3366394-1305403160 -o /tmp/evaluation-result-3366394-1305403160/solver-3366394-1305403160 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366394-1305403160.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.45 7.97 8.05 5/367 553
/proc/meminfo: memFree=25735532/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 4 0 632731634 52396032 347 33554432000 4194304 4580107 140737117896416 18446744073709551615 264726461425 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/553/statm: 12792 347 299 95 0 7774 0
[pid=553/tid=554] ppid=551 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632731634 52396032 348 33554432000 4194304 4580107 140737117896416 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632731634 52396032 348 33554432000 4194304 4580107 140737117896416 18446744073709551615 47175869892530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 632731634 52396032 348 33554432000 4194304 4580107 140737117896416 18446744073709551615 47175869892530 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0871381 s]
/proc/loadavg: 7.45 7.97 8.05 5/367 553
/proc/meminfo: memFree=25735532/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=282392 CPUtime=0.3 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 1594 0 0 0 30 0 0 0 24 0 4 0 632731634 289169408 1501 33554432000 4194304 4580107 140737117896416 18446744073709551615 264726510062 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 70598 1501 377 95 0 65580 0
[pid=553/tid=554] ppid=551 vsize=282392 CPUtime=0.07 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 353 0 0 0 7 0 0 0 18 0 4 0 632731634 289169408 1502 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=282392 CPUtime=0.07 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 336 0 0 0 7 0 0 0 18 0 4 0 632731634 289169408 1502 33554432000 4194304 4580107 140737117896416 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=282392 CPUtime=0.08 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 205 0 0 0 8 0 0 0 18 0 4 0 632731634 289169408 1502 33554432000 4194304 4580107 140737117896416 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 282392

[startup+0.103262 s]
/proc/loadavg: 7.45 7.97 8.05 5/367 553
/proc/meminfo: memFree=25735532/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=282392 CPUtime=0.37 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 1670 0 0 0 37 0 0 0 24 0 4 0 632731634 289169408 1577 33554432000 4194304 4580107 140737117896416 18446744073709551615 264726448311 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 70598 1577 377 95 0 65580 0
[pid=553/tid=554] ppid=551 vsize=282392 CPUtime=0.08 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) D 551 553 32471 0 -1 4202560 371 0 0 0 8 0 0 0 18 0 4 0 632731634 289169408 1577 33554432000 4194304 4580107 140737117896416 18446744073709551615 264726101771 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=282392 CPUtime=0.09 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 353 0 0 0 9 0 0 0 18 0 4 0 632731634 289169408 1577 33554432000 4194304 4580107 140737117896416 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=282392 CPUtime=0.09 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 229 0 0 0 9 0 0 0 18 0 4 0 632731634 289169408 1577 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282392

[startup+0.300153 s]
/proc/loadavg: 7.45 7.97 8.05 5/367 553
/proc/meminfo: memFree=25735532/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=283932 CPUtime=1.16 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 2796 0 0 0 116 0 0 0 25 0 4 0 632731634 290746368 2106 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 70983 2106 377 95 0 65965 0
[pid=553/tid=554] ppid=551 vsize=283932 CPUtime=0.28 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 644 0 0 0 28 0 0 0 18 0 4 0 632731634 290746368 2106 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=283932 CPUtime=0.28 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 647 0 0 0 28 0 0 0 18 0 4 0 632731634 290746368 2106 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=283932 CPUtime=0.29 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 501 0 0 0 29 0 0 0 18 0 4 0 632731634 290746368 2106 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283932

[startup+0.701079 s]
/proc/loadavg: 7.45 7.97 8.05 5/367 553
/proc/meminfo: memFree=25735532/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=284904 CPUtime=2.76 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 4417 0 0 0 276 0 0 0 25 0 4 0 632731634 291741696 2816 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 71226 2816 377 95 0 66208 0
[pid=553/tid=554] ppid=551 vsize=284904 CPUtime=0.68 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 1059 0 0 0 68 0 0 0 18 0 4 0 632731634 291741696 2816 33554432000 4194304 4580107 140737117896416 18446744073709551615 4321320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=284904 CPUtime=0.68 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 1057 0 0 0 68 0 0 0 18 0 4 0 632731634 291741696 2816 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=284904 CPUtime=0.69 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 899 0 0 0 69 0 0 0 18 0 4 0 632731634 291741696 2817 33554432000 4194304 4580107 140737117896416 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284904

[startup+1.50093 s]
/proc/loadavg: 7.45 7.97 8.05 9/371 557
/proc/meminfo: memFree=25716404/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=286364 CPUtime=5.95 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 8933 0 0 0 594 1 0 0 25 0 4 0 632731634 293236736 4748 33554432000 4194304 4580107 140737117896416 18446744073709551615 4416496 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 71591 4748 379 95 0 66573 0
[pid=553/tid=554] ppid=551 vsize=286364 CPUtime=1.48 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 1861 0 0 0 148 0 0 0 20 0 4 0 632731634 293236736 4748 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=286364 CPUtime=1.48 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 1840 0 0 0 148 0 0 0 20 0 4 0 632731634 293236736 4748 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=286364 CPUtime=1.49 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 1699 0 0 0 149 0 0 0 20 0 4 0 632731634 293236736 4748 33554432000 4194304 4580107 140737117896416 18446744073709551615 4295976 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286364

[startup+3.10063 s]
/proc/loadavg: 7.50 7.97 8.04 9/371 557
/proc/meminfo: memFree=25691660/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=286856 CPUtime=12.33 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 18469 0 0 0 1231 2 0 0 25 0 4 0 632731634 293740544 10131 33554432000 4194304 4580107 140737117896416 18446744073709551615 264726063513 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 71714 10131 379 95 0 66696 0
[pid=553/tid=554] ppid=551 vsize=286856 CPUtime=3.08 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 4027 0 0 0 308 0 0 0 25 0 4 0 632731634 293740544 10131 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=286856 CPUtime=3.08 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 4992 0 0 0 308 0 0 0 25 0 4 0 632731634 293740544 10131 33554432000 4194304 4580107 140737117896416 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=286856 CPUtime=3.08 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 4646 0 0 0 308 0 0 0 25 0 4 0 632731634 293740544 10131 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 286856

[startup+6.30102 s]
/proc/loadavg: 7.50 7.97 8.04 9/371 558
/proc/meminfo: memFree=25644692/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=304860 CPUtime=25.09 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 28568 0 0 0 2505 4 0 0 25 0 4 0 632731634 312176640 13550 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 76215 13550 379 95 0 71197 0
[pid=553/tid=554] ppid=551 vsize=304860 CPUtime=6.28 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 7565 0 0 0 627 1 0 0 25 0 4 0 632731634 312176640 13550 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=304860 CPUtime=6.28 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 7926 0 0 0 627 1 0 0 25 0 4 0 632731634 312176640 13550 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=304860 CPUtime=6.29 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 6492 0 0 0 628 1 0 0 25 0 4 0 632731634 312176640 13550 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 304860

[startup+12.7008 s]
/proc/loadavg: 7.57 7.97 8.04 9/371 558
/proc/meminfo: memFree=25578500/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=295940 CPUtime=50.62 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 45716 0 0 0 5054 8 0 0 25 0 4 0 632731634 303042560 21203 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 73985 21203 379 95 0 68967 0
[pid=553/tid=554] ppid=551 vsize=295940 CPUtime=12.68 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 11740 0 0 0 1266 2 0 0 25 0 4 0 632731634 303042560 21203 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=295940 CPUtime=12.68 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 10582 0 0 0 1266 2 0 0 25 0 4 0 632731634 303042560 21203 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=295940 CPUtime=12.69 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 10544 0 0 0 1268 1 0 0 25 0 4 0 632731634 303042560 21203 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 295940

[startup+25.5004 s]
/proc/loadavg: 7.64 7.97 8.04 9/371 558
/proc/meminfo: memFree=25524564/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=361464 CPUtime=101.66 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 64247 0 0 0 10152 14 0 0 25 0 4 0 632731634 370139136 29376 33554432000 4194304 4580107 140737117896416 18446744073709551615 4317012 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 90366 29376 379 95 0 85348 0
[pid=553/tid=554] ppid=551 vsize=361464 CPUtime=25.48 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 16573 0 0 0 2544 4 0 0 25 0 4 0 632731634 370139136 29376 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=361464 CPUtime=25.48 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 13884 0 0 0 2545 3 0 0 25 0 4 0 632731634 370139136 29376 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=361464 CPUtime=25.49 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 15321 0 0 0 2546 3 0 0 25 0 4 0 632731634 370139136 29376 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 361464

[startup+51.1006 s]
/proc/loadavg: 7.82 7.99 8.05 9/371 559
/proc/meminfo: memFree=25486948/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=393932 CPUtime=203.76 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 89810 0 0 0 20353 23 0 0 25 0 4 0 632731634 403386368 35186 33554432000 4194304 4580107 140737117896416 18446744073709551615 4306048 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 98483 35186 379 95 0 93465 0
[pid=553/tid=554] ppid=551 vsize=393932 CPUtime=51.07 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 21225 0 0 0 5102 5 0 0 25 0 4 0 632731634 403386368 35186 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=393932 CPUtime=51.07 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 19792 0 0 0 5102 5 0 0 25 0 4 0 632731634 403386368 35186 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=393932 CPUtime=51.09 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 21733 0 0 0 5104 5 0 0 25 0 4 0 632731634 403386368 35186 33554432000 4194304 4580107 140737117896416 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 393932

[startup+102.315 s]
/proc/loadavg: 7.93 7.99 8.04 9/371 569
/proc/meminfo: memFree=25420324/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=329264 CPUtime=408 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 123219 0 0 0 40764 36 0 0 25 0 4 0 632731634 337166336 40429 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 82316 40429 379 95 0 77298 0
[pid=553/tid=554] ppid=551 vsize=329264 CPUtime=102.29 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 26294 0 0 0 10222 7 0 0 25 0 4 0 632731634 337166336 40429 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=329264 CPUtime=102.29 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 29209 0 0 0 10220 9 0 0 25 0 4 0 632731634 337166336 40429 33554432000 4194304 4580107 140737117896416 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=329264 CPUtime=102.3 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 29221 0 0 0 10222 8 0 0 25 0 4 0 632731634 337166336 40429 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408
Current children cumulated vsize (KiB) 329264

[startup+162.301 s]

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

[pid=553] ppid=551 vsize=527736 CPUtime=2561.62 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 369032 0 0 0 256013 149 0 0 25 0 4 0 632731634 540401664 93696 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 131934 93696 379 95 0 126916 0
[pid=553/tid=554] ppid=551 vsize=527736 CPUtime=642.31 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 86017 0 0 0 64199 32 0 0 25 0 4 0 632731634 540401664 93698 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=527736 CPUtime=642.28 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 84446 0 0 0 64191 37 0 0 25 0 4 0 632731634 540401664 93698 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=527736 CPUtime=642.32 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 93542 0 0 0 64192 40 0 0 25 0 4 0 632731634 540401664 93698 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.62
Current children cumulated vsize (KiB) 527736

[startup+702.301 s]
/proc/loadavg: 8.11 8.09 8.06 9/371 585
/proc/meminfo: memFree=24955716/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=540440 CPUtime=2800.91 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 392776 0 0 0 279931 160 0 0 25 0 4 0 632731634 553410560 100136 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 135110 100136 379 95 0 130092 0
[pid=553/tid=554] ppid=551 vsize=540440 CPUtime=702.3 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 91536 0 0 0 70196 34 0 0 25 0 4 0 632731634 553410560 100136 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=540440 CPUtime=702.27 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 91341 0 0 0 70186 41 0 0 25 0 4 0 632731634 553410560 100136 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=540440 CPUtime=702.31 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 98356 0 0 0 70188 43 0 0 25 0 4 0 632731634 553410560 100136 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.91
Current children cumulated vsize (KiB) 540440

[startup+762.314 s]
/proc/loadavg: 8.18 8.12 8.07 9/371 587
/proc/meminfo: memFree=24953560/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=593724 CPUtime=3040.26 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 414477 0 0 0 303856 170 0 0 25 0 4 0 632731634 607973376 104849 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 148431 104849 379 95 0 143413 0
[pid=553/tid=554] ppid=551 vsize=593724 CPUtime=762.32 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 97055 0 0 0 76195 37 0 0 25 0 4 0 632731634 607973376 104849 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=593724 CPUtime=762.28 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 97246 0 0 0 76184 44 0 0 25 0 4 0 632731634 607973376 104849 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=593724 CPUtime=762.33 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 103838 0 0 0 76187 46 0 0 25 0 4 0 632731634 607973376 104849 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.26
Current children cumulated vsize (KiB) 593724

[startup+822.301 s]
/proc/loadavg: 8.19 8.12 8.08 9/371 588
/proc/meminfo: memFree=24937892/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=582448 CPUtime=3279.49 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 434617 0 0 0 327768 181 0 0 25 0 4 0 632731634 596426752 100522 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 145612 100522 379 95 0 140594 0
[pid=553/tid=554] ppid=551 vsize=582448 CPUtime=822.31 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 100275 0 0 0 82192 39 0 0 25 0 4 0 632731634 596426752 100522 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=582448 CPUtime=822.27 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 100462 0 0 0 82181 46 0 0 25 0 4 0 632731634 596426752 100522 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=582448 CPUtime=822.32 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 111704 0 0 0 82182 50 0 0 25 0 4 0 632731634 596426752 100522 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.49
Current children cumulated vsize (KiB) 582448

[startup+882.301 s]
/proc/loadavg: 8.22 8.14 8.09 9/371 590
/proc/meminfo: memFree=24841740/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=607788 CPUtime=3518.78 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 453643 0 0 0 351687 191 0 0 25 0 4 0 632731634 622374912 106980 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 151947 106980 379 95 0 146929 0
[pid=553/tid=554] ppid=551 vsize=607788 CPUtime=882.3 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 106444 0 0 0 88188 42 0 0 25 0 4 0 632731634 622374912 106980 33554432000 4194304 4580107 140737117896416 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=607788 CPUtime=882.27 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 103520 0 0 0 88180 47 0 0 25 0 4 0 632731634 622374912 106980 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=607788 CPUtime=882.31 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 118373 0 0 0 88178 53 0 0 25 0 4 0 632731634 622374912 106980 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.78
Current children cumulated vsize (KiB) 607788

[startup+942.3 s]
/proc/loadavg: 8.26 8.16 8.10 9/371 591
/proc/meminfo: memFree=24807232/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=658956 CPUtime=3758.07 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 476212 0 0 0 375607 200 0 0 25 0 4 0 632731634 674770944 118070 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 164739 118070 379 95 0 159721 0
[pid=553/tid=554] ppid=551 vsize=658956 CPUtime=942.3 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 112357 0 0 0 94187 43 0 0 25 0 4 0 632731634 674770944 118070 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=658956 CPUtime=942.28 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 109269 0 0 0 94178 50 0 0 25 0 4 0 632731634 674770944 118070 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=658956 CPUtime=942.32 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 124856 0 0 0 94176 56 0 0 25 0 4 0 632731634 674770944 118070 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.07
Current children cumulated vsize (KiB) 658956

[startup+1002.3 s]
/proc/loadavg: 8.20 8.16 8.10 9/371 593
/proc/meminfo: memFree=24798736/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=659776 CPUtime=3997.37 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 487796 0 0 0 399531 206 0 0 25 0 4 0 632731634 675610624 121895 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 164944 121895 379 95 0 159926 0
[pid=553/tid=554] ppid=551 vsize=659776 CPUtime=1002.31 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 112822 0 0 0 100187 44 0 0 25 0 4 0 632731634 675610624 121895 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=659776 CPUtime=1002.27 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 113904 0 0 0 100175 52 0 0 25 0 4 0 632731634 675610624 121895 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=659776 CPUtime=1002.32 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 129752 0 0 0 100173 59 0 0 25 0 4 0 632731634 675610624 121895 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.37
Current children cumulated vsize (KiB) 659776

[startup+1062.3 s]
/proc/loadavg: 8.14 8.14 8.09 9/371 605
/proc/meminfo: memFree=24831556/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=585252 CPUtime=4236.65 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 506057 0 0 0 423447 218 0 0 25 0 4 0 632731634 599298048 114471 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 146313 114471 379 95 0 141295 0
[pid=553/tid=554] ppid=551 vsize=585252 CPUtime=1062.31 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 118780 0 0 0 106184 47 0 0 25 0 4 0 632731634 599298048 114471 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=585252 CPUtime=1062.27 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 120235 0 0 0 106171 56 0 0 25 0 4 0 632731634 599298048 114471 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=585252 CPUtime=1062.33 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 132499 0 0 0 106173 60 0 0 25 0 4 0 632731634 599298048 114471 33554432000 4194304 4580107 140737117896416 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.65
Current children cumulated vsize (KiB) 585252

[startup+1122.3 s]
/proc/loadavg: 8.05 8.11 8.08 9/371 606
/proc/meminfo: memFree=24794420/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=600488 CPUtime=4475.94 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 529048 0 0 0 447366 228 0 0 25 0 4 0 632731634 614899712 116852 33554432000 4194304 4580107 140737117896416 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 150122 116852 379 95 0 145104 0
[pid=553/tid=554] ppid=551 vsize=600488 CPUtime=1122.31 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 124945 0 0 0 112180 51 0 0 25 0 4 0 632731634 614899712 116852 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=600488 CPUtime=1122.28 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 126811 0 0 0 112168 60 0 0 25 0 4 0 632731634 614899712 116852 33554432000 4194304 4580107 140737117896416 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=600488 CPUtime=1122.32 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 138138 0 0 0 112171 61 0 0 25 0 4 0 632731634 614899712 116852 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.94
Current children cumulated vsize (KiB) 600488

[startup+1182.3 s]
/proc/loadavg: 8.07 8.11 8.08 9/371 608
/proc/meminfo: memFree=24746504/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=731588 CPUtime=4715.23 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 549004 0 0 0 471284 239 0 0 25 0 4 0 632731634 749146112 131988 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 182897 131988 379 95 0 177879 0
[pid=553/tid=554] ppid=551 vsize=731588 CPUtime=1182.32 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 129529 0 0 0 118179 53 0 0 25 0 4 0 632731634 749146112 131988 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=731588 CPUtime=1182.27 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 130852 0 0 0 118165 62 0 0 25 0 4 0 632731634 749146112 131988 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=731588 CPUtime=1182.33 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 145256 0 0 0 118168 65 0 0 25 0 4 0 632731634 749146112 131988 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.23
Current children cumulated vsize (KiB) 731588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.04 8.10 8.08 10/371 608
/proc/meminfo: memFree=24725536/32951124 swapFree=63083164/67111528
[pid=553] ppid=551 vsize=717828 CPUtime=4800.18 cores=1,3,5,7
/proc/553/stat : 553 (strangenight2-m) R 551 553 32471 0 -1 4202496 553595 0 0 0 479775 243 0 0 25 0 4 0 632731634 735055872 129483 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/553/statm: 179457 129483 379 95 0 174439 0
[pid=553/tid=554] ppid=551 vsize=717828 CPUtime=1203.63 cores=1,3,5,7
/proc/553/task/554/stat : 554 (strangenight2-m) R 551 553 32471 0 -1 4202560 129581 0 0 0 120310 53 0 0 25 0 4 0 632731634 735055872 129484 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=553/tid=555] ppid=551 vsize=717828 CPUtime=1203.59 cores=1,3,5,7
/proc/553/task/555/stat : 555 (strangenight2-m) R 551 553 32471 0 -1 4202560 132936 0 0 0 120295 64 0 0 25 0 4 0 632731634 735055872 129484 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=553/tid=556] ppid=551 vsize=717828 CPUtime=1203.64 cores=1,3,5,7
/proc/553/task/556/stat : 556 (strangenight2-m) R 551 553 32471 0 -1 4202560 146651 0 0 0 120298 66 0 0 25 0 4 0 632731634 735055872 129484 33554432000 4194304 4580107 140737117896416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 717828

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.27
CPU user time (s): 4797.81
CPU system time (s): 2.45963
CPU usage (%): 398.811
Max. virtual memory (cumulated for all children) (KiB): 783888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.81
system time used= 2.45963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553597
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= 564
involuntary context switches= 18986

runsolver used 3.89441 second user time and 10.4554 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 21:59:20
IDJOB=3366394
IDBENCH=82803
IDSOLVER=1844
FILE ID=node141/3366394-1305403160
RUNJOBID= node141-1305403160-531
PBS_JOBID= 13324452
Free space on /tmp= 73292 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366394-1305403160/watcher-3366394-1305403160 -o /tmp/evaluation-result-3366394-1305403160/solver-3366394-1305403160 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366394-1305403160.cnf

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

MD5SUM BENCH= 529f91a307fdda5249e1a091ee33e647
RANDOM SEED=925326052

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      25736688 kB
Buffers:        226024 kB
Cached:        4779336 kB
SwapCached:      15708 kB
Active:        1978300 kB
Inactive:      4996812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25736688 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           11048 kB
Writeback:           0 kB
AnonPages:     1961104 kB
Mapped:          12804 kB
Slab:           135988 kB
PageTables:      38512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86269668 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= 73288 MiB
End job on node141 at 2011-05-14 22:19:26