Trace number 3173985

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? (TO) 4800.28 1201.73

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173985-1304075120.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.00	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.00	c -- vars added        550
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     234 undec:      63 neg:     253
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       535      2329         0         0      7068         0   no data   no data
0.24/0.06	c Decided on static restart strategy
0.38/0.16	c  N st     8      4920       535      2329         0      4840      7068    121267   no data   no data
1.57/0.41	c  N st    10     11304       535      2329         0      4491      7068     78572   no data   no data
2.77/0.70	c  N st    11     17052       535      2329         0     10117      7068    226520   no data   no data
4.40/1.12	c  F st    12     25000       535      2329         0     12332      7068    270221   no data   no data
4.40/1.12	c  N st    12     25000       535      2329         0     12332      7068    270221   no data   no data
5.17/1.38	c  N dy    18     30000       535      2329         0     10667      7068    212263   no data   no data
5.17/1.38	c  S st    18     30000       535      2329         0     10667      7068    212263   no data   no data
5.57/1.41	c  S st    18     30500       535      2329         0     11167      7068    224521   no data   no data
5.57/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.41	c blocked clauses removed:        9 vars:      2 tried:         535 T: 0.00 s
5.57/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
5.57/1.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.47	c lits-rem:       113  cl-subs:      464  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.48	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.01
5.57/1.48	c calculated reachability. Time: 0.00
5.57/1.48	c  N dy    18     30500       533      2320         0     10703      7041    211652   no data   no data
6.77/1.72	c  N dy    25     34632       533      2320         0     14772      7041    306179     15.95     16.84
7.57/1.95	c  N dy    42     38938       533      2320         0     11231      7041    183493     15.93     16.85
8.79/2.26	c  N dy    57     44119       533      2320         0     16349      7041    304851     15.94     16.82
9.17/2.38	c  S st    63     45751       533      2320         0      9125      7041    107699     15.96   no data
9.57/2.41	c  S st    63     46253       533      2320         0      9626      7041    119015     15.96   no data
9.57/2.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
9.57/2.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.57/2.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.57/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.43	c lits-rem:        10  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.43	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
9.57/2.43	c vivif2 --  cl tried     9611 cl shrink        0 lits rem          0 time: 0.00
9.57/2.43	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.00
9.57/2.43	c calculated reachability. Time: 0.00
9.57/2.43	c  N dy    63     46253       533      2320         0      9611      7041    118651     15.96   no data
10.36/2.67	c  N dy    83     50518       533      2320         0     13837      7041    218718     16.04     16.94
11.96/3.03	c  N dy   105     55825       533      2320         0     19079      7041    346155     16.10     16.97
12.79/3.28	c  N dy   138     59903       533      2320         0     13256      7041    183476     16.26     18.16
13.97/3.59	c  N dy   154     64493       533      2320         0     17772      7041    290539     16.22     17.14
15.56/3.95	c  N dy   179     69086       533      2320         0     11464      7041    122458     16.26     17.15
15.56/3.96	c  S st   181     69379       533      2320         0     11754      7041    129506     16.26     14.64
15.56/3.99	c  S st   181     69883       533      2320         0     12257      7041    141927     16.26   no data
15.56/3.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/4.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.96/4.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
15.96/4.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.96/4.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.96/4.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.02	c lits-rem:        33  cl-subs:       30  v-elim:      0  v-fix:    0  time:  0.01 s
15.96/4.02	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
15.96/4.02	c vivif2 --  cl tried    12227 cl shrink        0 lits rem          0 time: 0.00
15.96/4.02	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.01
15.96/4.02	c calculated reachability. Time: 0.00
15.96/4.02	c  N dy   181     69883       533      2320         0     12227      7041    141107     16.26   no data
17.18/4.34	c  N dy   209     74690       533      2320         0     17005      7041    256348     16.34     17.37
18.76/4.74	c  N dy   235     79659       533      2320         0     21905      7041    374485     16.39     17.26
20.75/5.21	c  N dy   256     86386       533      2320         0     16701      7041    227896     16.33     17.23
21.15/5.30	c  F st   266     87501       533      2320         0     17807      7041    254633     16.37   no data
22.75/5.72	c Decided on static restart strategy
22.75/5.72	c  N st   272     92700       533      2320         0     22928      7041    380218     16.37   no data
24.74/6.27	c  N st   274     99810       533      2320         0     17091      7041    331994     16.37   no data
26.36/6.63	c  S st   275    104824       533      2320         0     22026      7041    461669     16.37   no data
26.36/6.69	c  S st   275    105329       533      2320         0     22531      7041    473806     16.37   no data
26.36/6.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.36/6.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
26.36/6.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.74/6.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.74/6.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.90	c lits-rem:       188  cl-subs:      976  v-elim:      0  v-fix:    0  time:  0.19 s
27.54/6.90	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
27.54/6.91	c vivif2 --  cl tried    21555 cl shrink        0 lits rem          0 time: 0.00
27.54/6.92	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.01
27.54/6.92	c calculated reachability. Time: 0.00
27.54/6.92	c  N st   275    105329       533      2320         0     21555      7041    446460     16.37   no data
30.76/7.70	c  N st   276    114927       533      2320         0     17158      7041    286458     16.37   no data
35.16/8.86	c  N st   277    129325       533      2320         0     16612      7041    284183     16.37   no data
43.12/10.84	c  N st   278    150920       533      2320         0     22189      7041    400675     16.37   no data
45.91/11.55	c  S st   279    157995       533      2320         0     29135      7041    587489     16.37   no data
46.31/11.63	c  S st   279    158496       533      2320         0     29636      7041    599387     16.37   no data
46.31/11.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.31/11.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.31/11.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.31/11.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.31/11.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
46.31/11.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.31/11.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.31/11.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.52/11.99	c lits-rem:       148  cl-subs:     1116  v-elim:      0  v-fix:    0  time:  0.32 s
47.52/11.99	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
47.52/12.00	c vivif2 --  cl tried    28520 cl shrink        0 lits rem          0 time: 0.01
47.93/12.02	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.02
47.93/12.02	c calculated reachability. Time: 0.00
47.93/12.02	c  N st   279    158496       533      2320         0     28520      7041    567140     16.37   no data
69.90/17.53	c  N st   280    207084       533      2320         0     23315      7041    392633     16.37   no data
85.07/21.33	c  N st   281    237744       533      2320         0     33733      7041    620341     16.37   no data
85.07/21.33	c  S st   281    237744       533      2320         0     33733      7041    620341     16.37   no data
85.47/21.41	c  S st   281    238247       533      2320         0     34235      7041    631770     16.37   no data
85.47/21.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.47/21.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.47/21.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.47/21.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.47/21.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.47/21.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
85.47/21.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.47/21.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.47/21.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.48/21.92	c lits-rem:       143  cl-subs:     1151  v-elim:      0  v-fix:    0  time:  0.46 s
87.48/21.92	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
87.48/21.92	c vivif2 --  cl tried    33084 cl shrink        0 lits rem          0 time: 0.01
87.48/21.95	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.02
87.48/21.95	c calculated reachability. Time: 0.00
87.48/21.95	c  N st   281    238247       533      2320         0     33084      7041    601762     16.37   no data
119.81/30.00	c  F st   282    306250       533      2320         0     34912      7041    585821     16.37   no data
119.81/30.00	c  N st   282    306250       533      2320         0     34912      7041    585821     16.37   no data
122.63/30.71	c Decided on static restart strategy
134.20/33.60	c  N st   292    334554       533      2320         0     39198      7041    712315     16.37   no data
145.78/36.53	c  N st   294    357371       533      2320         0     37078      7041    625137     16.37   no data
145.78/36.53	c  S st   294    357371       533      2320         0     37078      7041    625137     16.37   no data
146.18/36.63	c  S st   294    357872       533      2320         0     37578      7041    636531     16.37   no data
146.18/36.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.18/36.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.18/36.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.18/36.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.18/36.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.18/36.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
146.18/36.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.18/36.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.18/36.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.78/37.08	c lits-rem:       255  cl-subs:     1218  v-elim:      0  v-fix:    0  time:  0.41 s
147.78/37.08	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
147.78/37.09	c vivif2 --  cl tried    36360 cl shrink        0 lits rem          0 time: 0.01
148.18/37.12	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.03
148.18/37.12	c calculated reachability. Time: 0.00
148.18/37.12	c  N st   294    357872       533      2320         0     36360      7041    601070     16.37   no data
165.76/41.59	c  N st   295    390264       533      2320         0     42639      7041    750408     16.37   no data
196.11/49.13	c  N st   296    438852       533      2320         0     36457      7041    555899     16.37   no data
243.25/60.97	c  N st   297    511734       533      2320         0     49952      7041    881024     16.37   no data
260.83/65.37	c  N st   298    536808       533      2320         0     44121      7041    680233     16.37   no data
260.83/65.37	c  S st   298    536808       533      2320         0     44121      7041    680233     16.37   no data
261.23/65.49	c  S st   298    537312       533      2320         0     44625      7041    692807     16.37   no data
261.23/65.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
261.63/65.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
261.63/65.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
261.63/65.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.63/65.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.63/65.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
261.63/65.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
261.63/65.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
261.63/65.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.65/66.07	c lits-rem:       198  cl-subs:     1274  v-elim:      0  v-fix:    0  time:  0.53 s
263.65/66.07	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
263.65/66.08	c vivif2 --  cl tried    43351 cl shrink        0 lits rem          0 time: 0.01
264.02/66.11	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.03
264.02/66.11	c calculated reachability. Time: 0.00
264.02/66.11	c  N st   298    537312       533      2320         0     43351      7041    659448     16.37   no data
386.28/96.71	c  N st   299    701296       533      2320         0     37290      7041    422244     16.37   no data
468.95/117.45	c  N st   300    805968       533      2320         0     66374      7041   1144890     16.37   no data
468.95/117.45	c  S st   300    805968       533      2320         0     66374      7041   1144890     16.37   no data
469.76/117.66	c  S st   300    806469       533      2320         0     66875      7041   1156458     16.37   no data
469.76/117.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
469.76/117.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
469.76/117.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
469.76/117.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.76/117.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.76/117.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
469.76/117.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
470.17/117.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
470.17/117.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.53/120.38	c lits-rem:       642  cl-subs:     3139  v-elim:      0  v-fix:    0  time:  2.63 s
480.53/120.38	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
480.92/120.40	c vivif2 --  cl tried    63736 cl shrink        0 lits rem          0 time: 0.01
480.92/120.45	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.05
480.92/120.45	c calculated reachability. Time: 0.00
480.92/120.45	c  N st   300    806469       533      2320         0     63736      7041   1076131     16.37   no data
703.05/176.01	c  F st   301   1071875       533      2320         0     79852      7041   1437149     16.37   no data
703.05/176.01	c  N st   301   1071875       533      2320         0     79852      7041   1437149     16.37   no data
709.41/177.60	c Decided on static restart strategy
728.59/182.42	c  N st   311   1100181       533      2320         0     63581      7041    935343     16.37   no data
763.74/191.27	c  N st   313   1136173       533      2320         0     53869      7041    690915     16.37   no data
794.10/198.86	c  N st   314   1168566       533      2320         0     85614      7041   1555053     16.37   no data
837.64/209.71	c  N st   315   1209705       533      2320         0     79732      7041   1380445     16.37   no data
837.64/209.71	c  S st   315   1209705       533      2320         0     79732      7041   1380445     16.37   no data
838.44/209.95	c  S st   315   1210206       533      2320         0     80231      7041   1392616     16.37   no data
838.44/209.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
838.44/209.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
838.44/209.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
838.44/209.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
838.44/209.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
838.44/209.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
838.44/209.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
838.86/210.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
838.86/210.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
857.21/214.62	c lits-rem:       507  cl-subs:     3876  v-elim:      0  v-fix:    0  time:  4.56 s
857.21/214.62	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
857.21/214.64	c vivif2 --  cl tried    76355 cl shrink        0 lits rem          0 time: 0.02
857.61/214.72	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.07
857.61/214.72	c calculated reachability. Time: 0.00
857.61/214.72	c  N st   315   1210206       533      2320         0     76355      7041   1279133     16.37   no data
949.11/237.68	c  N st   316   1283088       533      2320         0     52829      7041    592360     16.37   no data
1065.73/266.88	c  N st   317   1392412       533      2320         0     60822      7041    773589     16.37   no data
1244.28/311.57	c  N st   318   1556396       533      2320         0     65714      7041    841501     16.37   no data
1420.43/355.65	c  N st   319   1710207       533      2320         0    107144      7041   1825593     16.37   no data
1420.43/355.65	c  S st   319   1710207       533      2320         0    107144      7041   1825593     16.37   no data
1422.03/356.00	c  S st   319   1710715       533      2320         0    107651      7041   1838090     16.37   no data
1422.03/356.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1422.03/356.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1422.03/356.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1422.03/356.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1422.03/356.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1422.03/356.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
1422.03/356.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1422.03/356.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1422.43/356.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1472.37/368.62	c lits-rem:       918  cl-subs:     9459  v-elim:      0  v-fix:    0  time: 12.47 s
1472.37/368.62	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
1472.37/368.64	c vivif2 --  cl tried    98192 cl shrink        0 lits rem          0 time: 0.02
1472.77/368.75	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.11
1472.77/368.75	c calculated reachability. Time: 0.00
1472.77/368.75	c  N st   319   1710715       533      2320         0     98192      7041   1622061     16.37   no data
1935.73/484.68	c  N st   320   2079680       533      2320         0    110416      7041   1973038     16.37   no data
2103.91/526.76	c  N st   321   2210715       533      2320         0    114253      7041   1938880     16.37   no data
2103.91/526.76	c  S st   321   2210715       533      2320         0    114253      7041   1938880     16.37   no data
2105.50/527.15	c  S st   321   2211217       533      2320         0    114751      7041   1952424     16.37   no data
2105.50/527.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2105.90/527.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2105.90/527.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2105.90/527.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2105.90/527.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2105.90/527.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
2105.90/527.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2105.90/527.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2106.30/527.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2158.63/540.44	c lits-rem:       367  cl-subs:     7543  v-elim:      0  v-fix:    0  time: 13.13 s
2158.63/540.44	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
2158.63/540.47	c vivif2 --  cl tried   107208 cl shrink        0 lits rem          0 time: 0.03
2159.03/540.58	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.12
2159.03/540.58	c calculated reachability. Time: 0.00
2159.03/540.58	c  N st   321   2211217       533      2320         0    107208      7041   1764096     16.37   no data
2820.95/706.26	c  N st   322   2711218       533      2320         0    130959      7041   2270131     16.37   no data
2820.95/706.26	c  S st   322   2711218       533      2320         0    130959      7041   2270131     16.37   no data
2822.52/706.66	c  S st   322   2711719       533      2320         0    131460      7041   2282306     16.37   no data
2822.52/706.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2822.92/706.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2822.92/706.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2822.92/706.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2822.92/706.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2822.92/706.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
2822.92/706.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2822.92/706.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2823.32/706.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2898.42/725.66	c lits-rem:      1020  cl-subs:     8473  v-elim:      0  v-fix:    0  time: 18.82 s
2898.42/725.66	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
2898.42/725.69	c vivif2 --  cl tried   122987 cl shrink        0 lits rem          0 time: 0.03
2899.22/725.84	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.14
2899.22/725.84	c calculated reachability. Time: 0.00
2899.22/725.84	c  N st   322   2711719       533      2320         0    122987      7041   2083274     16.37   no data
3686.93/923.10	c  N st   323   3211720       533      2320         0     98489      7041   1271273     16.37   no data
3686.93/923.10	c  S st   323   3211720       533      2320         0     98489      7041   1271273     16.37   no data
3688.93/923.50	c  S st   323   3212222       533      2320         0     98991      7041   1284113     16.37   no data
3688.93/923.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3688.93/923.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3688.93/923.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3688.93/923.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3688.93/923.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3688.93/923.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
3688.93/923.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3689.33/923.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3689.33/923.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3706.12/927.89	c lits-rem:       461  cl-subs:     3359  v-elim:      0  v-fix:    0  time:  4.24 s
3706.12/927.89	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
3706.52/927.91	c vivif2 --  cl tried    95632 cl shrink        0 lits rem          0 time: 0.02
3706.92/928.04	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.13
3706.92/928.04	c calculated reachability. Time: 0.00
3706.92/928.04	c  N st   323   3212222       533      2320         0     95632      7041   1205342     16.37   no data
4568.53/1143.78	c  N st   324   3712222       533      2320         0    105975      7041   1343801     16.37   no data
4568.53/1143.78	c  S st   324   3712222       533      2320         0    105975      7041   1343801     16.37   no data
4570.52/1144.29	c  S st   324   3712727       533      2320         0    106480      7041   1356572     16.37   no data
4570.92/1144.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4570.92/1144.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.08
4570.92/1144.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4570.92/1144.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4570.92/1144.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4570.92/1144.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
4570.92/1144.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4571.32/1144.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4571.32/1144.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4603.29/1152.45	c lits-rem:       399  cl-subs:     5369  v-elim:      0  v-fix:    0  time:  7.97 s
4603.29/1152.45	c vivif2 --  cl tried     2320 cl shrink        0 lits rem          0 time: 0.00
4603.29/1152.48	c vivif2 --  cl tried   101111 cl shrink        0 lits rem          0 time: 0.02
4604.09/1152.62	c asymm  cl-useful: 0/2320/2320 lits-rem:0 time: 0.14
4604.09/1152.62	c calculated reachability. Time: 0.00
4604.09/1152.62	c  N st   324   3712727       533      2320         0    101111      7041   1239473     16.37   no data
4675.98/1170.66	c  F st   325   3751564       533      2320         0    139041      7041   2169193     16.37   no data
4675.98/1170.66	c  N st   325   3751564       533      2320         0    139041      7041   2169193     16.37   no data
4687.98/1173.68	c Decided on static restart strategy
4742.29/1187.26	c  N st   335   3779869       533      2320         0     84181      7041    792399     16.37   no data
4793.85/1200.13	c  N st   337   3815867       533      2320         0    119341      7041   1705243     16.37   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-3173985-1304075120/watcher-3173985-1304075120 -o /tmp/evaluation-result-3173985-1304075120/solver-3173985-1304075120 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173985-1304075120.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.44 7.73 7.81 2/172 26383
/proc/meminfo: memFree=17458360/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 408 0 0 0 0 0 0 0 22 0 4 0 597742777 52441088 347 33554432000 4194304 4627427 140736118581504 18446744073709551615 47782010922928 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 12803 347 299 106 0 7774 0
[pid=26383/tid=26384] ppid=26381 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 597742777 52441088 347 33554432000 4194304 4627427 140736118581504 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 597742777 52441088 347 33554432000 4194304 4627427 140736118581504 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 597742777 52441088 347 33554432000 4194304 4627427 140736118581504 18446744073709551615 47782010922924 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.065559 s]
/proc/loadavg: 6.44 7.73 7.81 2/172 26383
/proc/meminfo: memFree=17458360/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=282296 CPUtime=0.24 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 1523 0 0 0 24 0 0 0 23 0 4 0 597742777 289071104 1434 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 70574 1434 384 106 0 65545 0
[pid=26383/tid=26384] ppid=26381 vsize=282296 CPUtime=0.05 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 276 0 0 0 5 0 0 0 24 0 4 0 597742777 289071104 1435 33554432000 4194304 4627427 140736118581504 18446744073709551615 4299555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=282296 CPUtime=0.05 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 300 0 0 0 5 0 0 0 24 0 4 0 597742777 289071104 1437 33554432000 4194304 4627427 140736118581504 18446744073709551615 4326038 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=282296 CPUtime=0.06 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 231 0 0 0 6 0 0 0 24 0 4 0 597742777 289071104 1438 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 282296

[startup+0.100553 s]
/proc/loadavg: 6.44 7.73 7.81 2/172 26383
/proc/meminfo: memFree=17458360/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=282436 CPUtime=0.38 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 1711 0 0 0 38 0 0 0 23 0 4 0 597742777 289214464 1622 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 70609 1622 384 106 0 65580 0
[pid=26383/tid=26384] ppid=26381 vsize=282436 CPUtime=0.09 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 322 0 0 0 9 0 0 0 24 0 4 0 597742777 289214464 1622 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=282436 CPUtime=0.09 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 346 0 0 0 9 0 0 0 24 0 4 0 597742777 289214464 1622 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=282436 CPUtime=0.09 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 278 0 0 0 9 0 0 0 24 0 4 0 597742777 289214464 1622 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282436

[startup+0.300518 s]
/proc/loadavg: 6.44 7.73 7.81 2/172 26383
/proc/meminfo: memFree=17458360/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=283960 CPUtime=1.17 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 2844 0 0 0 117 0 0 0 23 0 4 0 597742777 290775040 2158 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308135 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 70990 2158 385 106 0 65961 0
[pid=26383/tid=26384] ppid=26381 vsize=283960 CPUtime=0.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 605 0 0 0 29 0 0 0 25 0 4 0 597742777 290775040 2158 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=283960 CPUtime=0.29 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 630 0 0 0 29 0 0 0 25 0 4 0 597742777 290775040 2158 33554432000 4194304 4627427 140736118581504 18446744073709551615 4321779 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=283960 CPUtime=0.29 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 568 0 0 0 29 0 0 0 25 0 4 0 597742777 290775040 2158 33554432000 4194304 4627427 140736118581504 18446744073709551615 4327557 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283960

[startup+0.700449 s]
/proc/loadavg: 6.44 7.73 7.81 2/172 26383
/proc/meminfo: memFree=17458360/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=284860 CPUtime=2.77 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 4460 0 0 0 277 0 0 0 25 0 4 0 597742777 291696640 2863 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 71215 2863 385 106 0 66186 0
[pid=26383/tid=26384] ppid=26381 vsize=284860 CPUtime=0.69 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 1011 0 0 0 69 0 0 0 25 0 4 0 597742777 291696640 2863 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=284860 CPUtime=0.69 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 1025 0 0 0 69 0 0 0 25 0 4 0 597742777 291696640 2863 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=284860 CPUtime=0.69 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 989 0 0 0 69 0 0 0 25 0 4 0 597742777 291696640 2863 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284860

[startup+1.50031 s]
/proc/loadavg: 6.44 7.73 7.81 9/184 26395
/proc/meminfo: memFree=17433100/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=286124 CPUtime=5.97 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 8930 0 0 0 596 1 0 0 25 0 4 0 597742777 292990976 4634 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309517 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 71531 4634 389 106 0 66502 0
[pid=26383/tid=26384] ppid=26381 vsize=286124 CPUtime=1.49 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 1782 0 0 0 149 0 0 0 25 0 4 0 597742777 292990976 4634 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=286124 CPUtime=1.48 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 1812 0 0 0 148 0 0 0 25 0 4 0 597742777 292990976 4634 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=286124 CPUtime=1.49 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 1796 0 0 0 149 0 0 0 25 0 4 0 597742777 292990976 4634 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286124

[startup+3.10103 s]
/proc/loadavg: 6.44 7.73 7.81 9/184 26395
/proc/meminfo: memFree=17409668/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=286548 CPUtime=12.37 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 18164 0 0 0 1234 3 0 0 25 0 4 0 597742777 293425152 10200 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 71637 10200 389 106 0 66608 0
[pid=26383/tid=26384] ppid=26381 vsize=286548 CPUtime=3.08 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 3933 0 0 0 308 0 0 0 25 0 4 0 597742777 293425152 10200 33554432000 4194304 4627427 140736118581504 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=286548 CPUtime=3.07 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 4932 0 0 0 307 0 0 0 25 0 4 0 597742777 293425152 10200 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=286548 CPUtime=3.08 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 4693 0 0 0 308 0 0 0 25 0 4 0 597742777 293425152 10200 33554432000 4194304 4627427 140736118581504 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 286548

[startup+6.30047 s]
/proc/loadavg: 6.64 7.75 7.82 9/184 26395
/proc/meminfo: memFree=17359308/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=302692 CPUtime=25.14 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 28531 0 0 0 2510 4 0 0 25 0 4 0 597742777 309956608 14322 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309134 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 75673 14322 389 106 0 70644 0
[pid=26383/tid=26384] ppid=26381 vsize=302692 CPUtime=6.28 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 7458 0 0 0 627 1 0 0 25 0 4 0 597742777 309956608 14322 33554432000 4194304 4627427 140736118581504 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=302692 CPUtime=6.26 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 8038 0 0 0 625 1 0 0 25 0 4 0 597742777 309956608 14322 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=302692 CPUtime=6.28 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 6675 0 0 0 628 0 0 0 25 0 4 0 597742777 309956608 14322 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 302692

[startup+12.7004 s]
/proc/loadavg: 6.75 7.76 7.82 9/184 26395
/proc/meminfo: memFree=17300684/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=282652 CPUtime=50.72 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 44662 0 0 0 5064 8 0 0 25 0 4 0 597742777 289435648 23043 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 70663 23043 389 106 0 65634 0
[pid=26383/tid=26384] ppid=26381 vsize=282652 CPUtime=12.68 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 11723 0 0 0 1267 1 0 0 25 0 4 0 597742777 289435648 23043 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=282652 CPUtime=12.63 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 9134 0 0 0 1262 1 0 0 25 0 4 0 597742777 289435648 23043 33554432000 4194304 4627427 140736118581504 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=282652 CPUtime=12.69 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 11481 0 0 0 1267 2 0 0 25 0 4 0 597742777 289435648 23043 33554432000 4194304 4627427 140736118581504 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 282652

[startup+25.5011 s]
/proc/loadavg: 7.03 7.77 7.82 9/184 26395
/proc/meminfo: memFree=17251956/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=301372 CPUtime=101.85 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 62272 0 0 0 10173 12 0 0 25 0 4 0 597742777 308604928 29402 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 75343 29402 389 106 0 70314 0
[pid=26383/tid=26384] ppid=26381 vsize=301372 CPUtime=25.49 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 16296 0 0 0 2546 3 0 0 25 0 4 0 597742777 308604928 29402 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=301372 CPUtime=25.35 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 11868 0 0 0 2534 1 0 0 25 0 4 0 597742777 308604928 29402 33554432000 4194304 4627427 140736118581504 18446744073709551615 4333912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=301372 CPUtime=25.49 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 15647 0 0 0 2546 3 0 0 25 0 4 0 597742777 308604928 29402 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 301372

[startup+51.1006 s]
/proc/loadavg: 7.36 7.79 7.82 9/184 26396
/proc/meminfo: memFree=17215492/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=288644 CPUtime=204.1 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 91531 0 0 0 20390 20 0 0 25 0 4 0 597742777 295571456 32158 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 72161 32158 389 106 0 67132 0
[pid=26383/tid=26384] ppid=26381 vsize=288644 CPUtime=51.08 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 23594 0 0 0 5103 5 0 0 25 0 4 0 597742777 295571456 32158 33554432000 4194304 4627427 140736118581504 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=288644 CPUtime=50.82 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 18084 0 0 0 5079 3 0 0 25 0 4 0 597742777 295571456 32158 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=288644 CPUtime=51.09 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 22146 0 0 0 5104 5 0 0 25 0 4 0 597742777 295571456 32158 33554432000 4194304 4627427 140736118581504 18446744073709551615 4333154 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 288644

[startup+102.307 s]
/proc/loadavg: 7.76 7.83 7.83 9/184 26397
/proc/meminfo: memFree=17143944/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=375344 CPUtime=408.64 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 124894 0 0 0 40834 30 0 0 25 0 4 0 597742777 384352256 47359 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 93836 47359 389 106 0 88807 0
[pid=26383/tid=26384] ppid=26381 vsize=375344 CPUtime=102.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 31445 0 0 0 10222 7 0 0 25 0 4 0 597742777 384352256 47359 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=375344 CPUtime=101.75 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 24126 0 0 0 10170 5 0 0 25 0 4 0 597742777 384352256 47359 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=375344 CPUtime=102.29 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 30696 0 0 0 10222 7 0 0 25 0 4 0 597742777 384352256 47359 33554432000 4194304 4627427 140736118581504 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 375344

[startup+162.301 s]

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

[pid=26383] ppid=26381 vsize=666728 CPUtime=2805.34 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 380207 0 0 0 280402 132 0 0 25 0 4 0 597742777 682729472 107843 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 166682 107843 389 106 0 161653 0
[pid=26383/tid=26384] ppid=26381 vsize=666728 CPUtime=702.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 101886 0 0 0 70194 35 0 0 25 0 4 0 597742777 682729472 107843 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=666728 CPUtime=698.48 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 65020 0 0 0 69827 21 0 0 25 0 4 0 597742777 682729472 107843 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=666728 CPUtime=702.3 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 103710 0 0 0 70192 38 0 0 25 0 4 0 597742777 682729472 107843 33554432000 4194304 4627427 140736118581504 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 666728

[startup+762.306 s]
/proc/loadavg: 8.17 8.10 7.96 9/184 26415
/proc/meminfo: memFree=16752780/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=667052 CPUtime=3045.03 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 399623 0 0 0 304363 140 0 0 25 0 4 0 597742777 683061248 105109 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 166763 105109 389 106 0 161734 0
[pid=26383/tid=26384] ppid=26381 vsize=667052 CPUtime=762.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 110165 0 0 0 76191 38 0 0 25 0 4 0 597742777 683061248 105109 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=667052 CPUtime=758.17 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 67988 0 0 0 75794 23 0 0 25 0 4 0 597742777 683061248 105109 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=667052 CPUtime=762.31 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 109782 0 0 0 76190 41 0 0 25 0 4 0 597742777 683061248 105109 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 667052

[startup+822.301 s]
/proc/loadavg: 8.16 8.11 7.97 9/184 26417
/proc/meminfo: memFree=16735908/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=655096 CPUtime=3284.69 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 421476 0 0 0 328318 151 0 0 25 0 4 0 597742777 670818304 102309 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 163774 102309 389 106 0 158745 0
[pid=26383/tid=26384] ppid=26381 vsize=655096 CPUtime=822.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 117004 0 0 0 82187 42 0 0 25 0 4 0 597742777 670818304 102309 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=655096 CPUtime=817.84 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 71176 0 0 0 81760 24 0 0 25 0 4 0 597742777 670818304 102309 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=655096 CPUtime=822.31 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 116776 0 0 0 82187 44 0 0 25 0 4 0 597742777 670818304 102309 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 655096

[startup+882.301 s]
/proc/loadavg: 8.14 8.12 7.98 9/184 26418
/proc/meminfo: memFree=16699304/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=680532 CPUtime=3524.36 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 444920 0 0 0 352275 161 0 0 25 0 4 0 597742777 696864768 112770 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 170133 112770 389 106 0 165104 0
[pid=26383/tid=26384] ppid=26381 vsize=680532 CPUtime=882.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 123880 0 0 0 88183 46 0 0 25 0 4 0 597742777 696864768 112770 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=680532 CPUtime=877.51 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 76869 0 0 0 87725 26 0 0 25 0 4 0 597742777 696864768 112770 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=680532 CPUtime=882.31 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 123463 0 0 0 88184 47 0 0 25 0 4 0 597742777 696864768 112770 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 680532

[startup+942.301 s]
/proc/loadavg: 8.13 8.12 7.99 9/184 26420
/proc/meminfo: memFree=16657012/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=731728 CPUtime=3764.03 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 467295 0 0 0 376235 168 0 0 25 0 4 0 597742777 749289472 120089 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 182932 120089 389 106 0 177903 0
[pid=26383/tid=26384] ppid=26381 vsize=731728 CPUtime=942.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 133868 0 0 0 94181 48 0 0 25 0 4 0 597742777 749289472 120089 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=731728 CPUtime=937.19 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 77375 0 0 0 93693 26 0 0 25 0 4 0 597742777 749289472 120089 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=731728 CPUtime=942.31 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 133097 0 0 0 94181 50 0 0 25 0 4 0 597742777 749289472 120089 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 731728

[startup+1002.3 s]
/proc/loadavg: 8.12 8.13 8.00 9/184 26421
/proc/meminfo: memFree=16654752/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=707076 CPUtime=4003.7 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 487632 0 0 0 400193 177 0 0 25 0 4 0 597742777 724045824 117700 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 176769 117700 389 106 0 171740 0
[pid=26383/tid=26384] ppid=26381 vsize=707076 CPUtime=1002.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 140064 0 0 0 100178 51 0 0 25 0 4 0 597742777 724045824 117700 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=707076 CPUtime=996.86 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 80749 0 0 0 99659 27 0 0 25 0 4 0 597742777 724045824 117700 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=707076 CPUtime=1002.31 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 139299 0 0 0 100178 53 0 0 25 0 4 0 597742777 724045824 117700 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 707076

[startup+1062.3 s]
/proc/loadavg: 8.11 8.13 8.01 9/184 26423
/proc/meminfo: memFree=16674948/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=656128 CPUtime=4243.37 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 506958 0 0 0 424152 185 0 0 25 0 4 0 597742777 671875072 114148 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 164032 114148 389 106 0 159003 0
[pid=26383/tid=26384] ppid=26381 vsize=656128 CPUtime=1062.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 146417 0 0 0 106176 53 0 0 25 0 4 0 597742777 671875072 114148 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=656128 CPUtime=1056.54 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 87063 0 0 0 105624 30 0 0 25 0 4 0 597742777 671875072 114148 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=656128 CPUtime=1062.31 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 144462 0 0 0 106176 55 0 0 25 0 4 0 597742777 671875072 114148 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 656128

[startup+1122.3 s]
/proc/loadavg: 8.23 8.15 8.02 9/184 26425
/proc/meminfo: memFree=16659408/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=656452 CPUtime=4483.05 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 531491 0 0 0 448110 195 0 0 25 0 4 0 597742777 672206848 117847 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 164113 117847 389 106 0 159084 0
[pid=26383/tid=26384] ppid=26381 vsize=656452 CPUtime=1122.29 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 152612 0 0 0 112174 55 0 0 25 0 4 0 597742777 672206848 117847 33554432000 4194304 4627427 140736118581504 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=656452 CPUtime=1116.2 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 93361 0 0 0 111588 32 0 0 25 0 4 0 597742777 672206848 117847 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=656452 CPUtime=1122.32 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 150629 0 0 0 112174 58 0 0 25 0 4 0 597742777 672206848 117847 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 656452

[startup+1182.3 s]
/proc/loadavg: 8.16 8.14 8.02 9/184 26426
/proc/meminfo: memFree=16659760/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=656608 CPUtime=4722.72 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 550566 0 0 0 472072 200 0 0 25 0 4 0 597742777 672366592 117388 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 164152 117388 389 106 0 159123 0
[pid=26383/tid=26384] ppid=26381 vsize=656608 CPUtime=1182.3 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 158868 0 0 0 118173 57 0 0 25 0 4 0 597742777 672366592 117388 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=656608 CPUtime=1175.89 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 97376 0 0 0 117555 34 0 0 25 0 4 0 597742777 672366592 117388 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=656608 CPUtime=1182.31 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 158214 0 0 0 118172 59 0 0 25 0 4 0 597742777 672366592 117388 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 656608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.13 8.01 9/184 26427
/proc/meminfo: memFree=16645860/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=658644 CPUtime=4800.23 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 557920 0 0 0 479821 202 0 0 25 0 4 0 597742777 674451456 121105 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 164661 121105 389 106 0 159632 0
[pid=26383/tid=26384] ppid=26381 vsize=658644 CPUtime=1201.71 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 160186 0 0 0 120113 58 0 0 25 0 4 0 597742777 674451456 121105 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=658644 CPUtime=1195.18 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 99835 0 0 0 119484 34 0 0 25 0 4 0 597742777 674451456 121105 33554432000 4194304 4627427 140736118581504 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=658644 CPUtime=1201.72 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 159511 0 0 0 120112 60 0 0 25 0 4 0 597742777 674451456 121105 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 658644

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.11 8.13 8.01 9/184 26427
/proc/meminfo: memFree=16645860/32950940 swapFree=67111528/67111528
[pid=26383] ppid=26381 vsize=658644 CPUtime=4800.23 cores=0,2,4,6
/proc/26383/stat : 26383 (strangenight2-m) R 26381 26383 25837 0 -1 4202496 557920 0 0 0 479821 202 0 0 25 0 4 0 597742777 674451456 121105 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26383/statm: 164661 121105 389 106 0 159632 0
[pid=26383/tid=26384] ppid=26381 vsize=658644 CPUtime=1201.71 cores=0,2,4,6
/proc/26383/task/26384/stat : 26384 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 160186 0 0 0 120113 58 0 0 25 0 4 0 597742777 674451456 121105 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26383/tid=26385] ppid=26381 vsize=658644 CPUtime=1195.18 cores=0,2,4,6
/proc/26383/task/26385/stat : 26385 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 99835 0 0 0 119484 34 0 0 25 0 4 0 597742777 674451456 121105 33554432000 4194304 4627427 140736118581504 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26383/tid=26386] ppid=26381 vsize=658644 CPUtime=1201.72 cores=0,2,4,6
/proc/26383/task/26386/stat : 26386 (strangenight2-m) R 26381 26383 25837 0 -1 4202560 159511 0 0 0 120112 60 0 0 25 0 4 0 597742777 674451456 121105 33554432000 4194304 4627427 140736118581504 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 658644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.28
CPU user time (s): 4798.24
CPU system time (s): 2.04569
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 771756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.24
system time used= 2.04569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557920
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= 207
involuntary context switches= 34551

runsolver used 1.93871 second user time and 4.6213 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-29 13:05:20
IDJOB=3173985
IDBENCH=82803
IDSOLVER=1586
FILE ID=node117/3173985-1304075120
RUNJOBID= node117-1304075120-26368
PBS_JOBID= 13170483
Free space on /tmp= 71680 MiB

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

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

MD5SUM BENCH= 529f91a307fdda5249e1a091ee33e647
RANDOM SEED=1810195176

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      17458772 kB
Buffers:       2379200 kB
Cached:       12467588 kB
SwapCached:          0 kB
Active:        8138692 kB
Inactive:      6772276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      17458772 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11360 kB
Writeback:           0 kB
AnonPages:       63096 kB
Mapped:          14492 kB
Slab:           518144 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   189464 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= 71672 MiB
End job on node117 at 2011-04-29 13:25:24