Trace number 3366544

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.19 1202.85

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf
MD5SUM30f9bf8e3b9c70d1ebd1c611372c0c4a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.562914
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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-3366544-1305407184.cnf'
0.00/0.01	c -- header says num vars:            700
0.00/0.01	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.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:    700 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.06	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:     321 undec:      81 neg:     298
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       687      2970         0         0      8996         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.41/0.19	c  N st     8      4922       687      2970         0      4865      8996    143168   no data   no data
1.57/0.47	c  N st    10     11305       687      2970         0      4500      8996     92734   no data   no data
2.77/0.78	c  N st    11     17048       687      2970         0     10141      8996    251542   no data   no data
4.80/1.25	c  F st    12     25001       687      2970         0     12435      8996    325675   no data   no data
4.80/1.25	c  N st    12     25001       687      2970         0     12435      8996    325675   no data   no data
5.96/1.51	c Decided on static restart strategy
5.96/1.51	c  N st    18     30001       687      2970         0     10731      8996    252821   no data   no data
5.96/1.51	c  S st    18     30001       687      2970         0     10731      8996    252821   no data   no data
5.96/1.54	c  S st    18     30505       687      2970         0     11235      8996    266807   no data   no data
5.96/1.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.96/1.55	c blocked clauses removed:        6 vars:      1 tried:         687 T: 0.00 s
5.96/1.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
5.96/1.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.61	c lits-rem:       371  cl-subs:      317  v-elim:      0  v-fix:    0  time:  0.05 s
6.36/1.62	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.01
6.36/1.62	c calculated reachability. Time: 0.00
6.36/1.62	c  N st    18     30505       686      2964         0     10909      8978    254706   no data   no data
7.96/2.05	c  N st    20     37617       686      2964         0     10122      8978    198548   no data   no data
9.55/2.45	c  N st    21     44016       686      2964         0     16432      8978    381768   no data   no data
9.95/2.56	c  S st    22     45757       686      2964         0      9358      8978    161156   no data   no data
9.95/2.59	c  S st    22     46260       686      2964         0      9861      8978    174526   no data   no data
9.95/2.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.95/2.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.95/2.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
9.95/2.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.35/2.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.35/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.61	c lits-rem:        13  cl-subs:       34  v-elim:      0  v-fix:    0  time:  0.01 s
10.35/2.61	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
10.35/2.61	c vivif2 --  cl tried     9827 cl shrink        0 lits rem          0 time: 0.00
10.35/2.62	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.01
10.35/2.62	c calculated reachability. Time: 0.00
10.35/2.62	c  N st    22     46260       686      2964         0      9827      8978    173541   no data   no data
13.94/3.57	c  N st    23     60658       686      2964         0     14227      8978    303630   no data   no data
16.75/4.25	c  N st    24     69391       686      2964         0     11982      8978    218161   no data   no data
16.75/4.25	c  S st    24     69391       686      2964         0     11982      8978    218161   no data   no data
16.75/4.28	c  S st    24     69894       686      2964         0     12485      8978    232070   no data   no data
16.75/4.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.75/4.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.75/4.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
16.75/4.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.75/4.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.14/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.32	c lits-rem:       127  cl-subs:      105  v-elim:      0  v-fix:    0  time:  0.02 s
17.14/4.32	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
17.14/4.32	c vivif2 --  cl tried    12380 cl shrink        0 lits rem          0 time: 0.00
17.14/4.33	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.01
17.14/4.33	c calculated reachability. Time: 0.00
17.14/4.33	c  N st    24     69894       686      2964         0     12380      8978    228368   no data   no data
22.72/5.72	c  F st    25     87503       686      2964         0     17884      8978    392691   no data   no data
22.72/5.72	c  N st    25     87503       686      2964         0     17884      8978    392691   no data   no data
24.32/6.19	c  N dy    33     93173       686      2964         0     23500      8978    562595     20.47     21.57
26.75/6.77	c  N dy    54    100540       686      2964         0     17928      8978    316991     18.99     20.02
28.31/7.12	c  S st    76    104842       686      2964         0     22188      8978    438731     19.20     19.54
28.31/7.18	c  S st    76    105349       686      2964         0     22695      8978    452405     19.20   no data
28.31/7.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.31/7.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.31/7.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.31/7.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.31/7.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.31/7.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
28.31/7.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.31/7.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.71/7.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.28	c lits-rem:       153  cl-subs:      278  v-elim:      0  v-fix:    0  time:  0.08 s
28.71/7.28	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
28.71/7.29	c vivif2 --  cl tried    22417 cl shrink        0 lits rem          0 time: 0.00
29.11/7.30	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.01
29.11/7.31	c calculated reachability. Time: 0.00
29.11/7.31	c  N dy    76    105349       686      2964         0     22417      8978    443488     19.20   no data
31.49/7.94	c  N dy   112    112112       686      2964         0     15255      8978    199186     19.42     20.47
33.89/8.52	c  N dy   140    119652       686      2964         0     22753      8978    415508     19.43     20.52
37.09/9.38	c  N dy   165    128156       686      2964         0     16298      8978    197818     19.34     20.58
39.92/10.06	c  N dy   199    136415       686      2964         0     24491      8978    431826     19.35     20.55
43.47/10.98	c  N dy   229    145473       686      2964         0     17603      8978    206855     19.29     20.56
47.06/11.82	c  N dy   280    154970       686      2964         0     27036      8978    477581     19.38     20.53
48.27/12.14	c  S st   295    158024       686      2964         0     30070      8978    566412     19.39   no data
48.70/12.22	c  S st   295    158527       686      2964         0     30573      8978    581188     19.39   no data
48.70/12.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.70/12.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.70/12.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.70/12.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.70/12.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.70/12.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
48.70/12.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.70/12.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.70/12.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.05/12.39	c lits-rem:       176  cl-subs:      319  v-elim:      0  v-fix:    0  time:  0.14 s
49.05/12.40	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
49.45/12.40	c vivif2 --  cl tried    30254 cl shrink        0 lits rem          0 time: 0.01
49.45/12.42	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.02
49.45/12.42	c calculated reachability. Time: 0.00
49.45/12.42	c  N dy   295    158527       686      2964         0     30254      8978    570273     19.39   no data
53.44/13.48	c  N dy   332    169733       686      2964         0     24478      8978    378663     19.39     20.51
58.23/14.66	c  N dy   368    180677       686      2964         0     35316      8978    683415     19.35     20.49
62.63/15.79	c  N dy   430    192704       686      2964         0     29406      8978    494470     19.40     20.42
68.61/17.28	c  N dy   492    205023       686      2964         0     22793      8978    285429     19.42     20.49
74.61/18.78	c  N dy   567    218429       686      2964         0     36093      8978    666738     19.49     20.77
80.99/20.36	c  N dy   618    232773       686      2964         0     30493      8978    484873     19.46     20.50
83.81/21.06	c  S st   645    237790       686      2964         0     35476      8978    630750     19.47   no data
84.17/21.14	c  S st   645    238293       686      2964         0     35978      8978    646083     19.47   no data
84.17/21.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.17/21.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.17/21.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.17/21.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.17/21.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.17/21.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
84.17/21.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.17/21.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.17/21.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.97/21.37	c lits-rem:       113  cl-subs:      368  v-elim:      0  v-fix:    0  time:  0.18 s
84.97/21.37	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
84.97/21.37	c vivif2 --  cl tried    35610 cl shrink        0 lits rem          0 time: 0.01
85.37/21.40	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.02
85.37/21.40	c calculated reachability. Time: 0.00
85.37/21.40	c  N dy   645    238293       686      2964         0     35610      8978    633335     19.47   no data
92.17/23.20	c  N dy   714    253658       686      2964         0     30000      8978    441183     19.48     20.69
100.14/25.19	c  N dy   761    269995       686      2964         0     24387      8978    258760     19.43     20.66
109.32/27.40	c  N dy   820    288223       686      2964         0     42468      8978    769563     19.39     20.44
118.10/29.60	c  F st   896    306254       686      2964         0     37553      8978    609607     19.40   no data
118.10/29.68	c  N st   898    306879       686      2964         0     38174      8978    627520     19.40   no data
120.89/30.32	c Decided on static restart strategy
131.68/33.08	c  N st   906    334556       686      2964         0     41689      8978    971039     19.40   no data
144.44/36.23	c  N st   908    357440       686      2964         0     39587      8978    892273     19.40   no data
144.44/36.23	c  S st   908    357440       686      2964         0     39587      8978    892273     19.40   no data
144.85/36.34	c  S st   908    357943       686      2964         0     40090      8978    906054     19.40   no data
144.85/36.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.85/36.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
144.85/36.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.85/36.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.85/36.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.85/36.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
144.85/36.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.85/36.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.85/36.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.63/37.00	c lits-rem:       212  cl-subs:     1014  v-elim:      0  v-fix:    0  time:  0.60 s
147.63/37.00	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
147.63/37.01	c vivif2 --  cl tried    39076 cl shrink        0 lits rem          0 time: 0.01
147.63/37.05	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.03
147.63/37.05	c calculated reachability. Time: 0.00
147.63/37.05	c  N st   908    357943       686      2964         0     39076      8978    868556     19.40   no data
165.99/41.63	c  N st   909    390335       686      2964         0     45246      8978   1059760     19.40   no data
193.93/48.67	c  N st   910    438925       686      2964         0     38938      8978    751662     19.40   no data
239.41/60.04	c  N st   911    511808       686      2964         0     52730      8978   1132038     19.40   no data
254.59/63.89	c  N st   912    536915       686      2964         0     46990      8978    915583     19.40   no data
254.59/63.89	c  S st   912    536915       686      2964         0     46990      8978    915583     19.40   no data
255.37/64.02	c  S st   912    537425       686      2964         0     47499      8978    930551     19.40   no data
255.37/64.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
255.37/64.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
255.37/64.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
255.37/64.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.37/64.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.37/64.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
255.37/64.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
255.37/64.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
255.37/64.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.41/65.09	c lits-rem:       297  cl-subs:     1627  v-elim:      0  v-fix:    0  time:  1.00 s
259.41/65.09	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
259.77/65.10	c vivif2 --  cl tried    45872 cl shrink        0 lits rem          0 time: 0.01
259.77/65.14	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.04
259.77/65.14	c calculated reachability. Time: 0.00
259.77/65.14	c  N st   912    537425       686      2964         0     45872      8978    880540     19.40   no data
383.09/96.02	c  N st   913    701409       686      2964         0     39984      8978    592249     19.40   no data
464.90/116.54	c  N st   914    806138       686      2964         0     68962      8978   1504724     19.40   no data
464.90/116.54	c  S st   914    806138       686      2964         0     68962      8978   1504724     19.40   no data
465.74/116.73	c  S st   914    806642       686      2964         0     69466      8978   1519291     19.40   no data
465.74/116.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
465.74/116.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
465.74/116.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
465.74/116.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
465.74/116.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.74/116.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
465.74/116.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
465.74/116.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
466.09/116.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.26/121.62	c lits-rem:       402  cl-subs:     2823  v-elim:      0  v-fix:    0  time:  4.78 s
485.26/121.62	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
485.26/121.64	c vivif2 --  cl tried    66643 cl shrink        0 lits rem          0 time: 0.02
485.66/121.71	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.06
485.66/121.71	c calculated reachability. Time: 0.00
485.66/121.71	c  N st   914    806642       686      2964         0     66643      8978   1423458     19.40   no data
715.54/179.35	c  F st   915   1071875       686      2964         0     82356      8978   1742154     19.40   no data
715.54/179.35	c  N st   915   1071875       686      2964         0     82356      8978   1742154     19.40   no data
721.12/180.78	c Decided on static restart strategy
738.68/185.18	c  N st   925   1100177       686      2964         0     66164      8978   1155857     19.40   no data
774.19/194.09	c  N st   927   1136170       686      2964         0     56319      8978    850958     19.40   no data
805.72/201.99	c  N st   928   1168564       686      2964         0     87947      8978   1758750     19.40   no data
847.66/212.47	c  N st   929   1209967       686      2964         0     82691      8978   1697233     19.40   no data
847.66/212.47	c  S st   929   1209967       686      2964         0     82691      8978   1697233     19.40   no data
848.82/212.73	c  S st   929   1210469       686      2964         0     83192      8978   1711277     19.40   no data
848.82/212.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
848.82/212.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
848.82/212.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
848.82/212.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
848.82/212.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
848.82/212.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
848.82/212.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
849.22/212.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
849.22/212.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
867.17/217.33	c lits-rem:       504  cl-subs:     2543  v-elim:      0  v-fix:    0  time:  4.47 s
867.17/217.33	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
867.17/217.35	c vivif2 --  cl tried    80649 cl shrink        0 lits rem          0 time: 0.02
867.57/217.43	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.08
867.57/217.44	c calculated reachability. Time: 0.00
867.57/217.44	c  N st   929   1210469       686      2964         0     80649      8978   1624272     19.40   no data
953.37/238.95	c  N st   930   1283351       686      2964         0     56917      8978    823844     19.40   no data
1047.95/262.63	c  N st   931   1392675       686      2964         0     65129      8978   1033022     19.40   no data
1189.24/298.02	c  N st   932   1556659       686      2964         0     69902      8978   1132184     19.40   no data
1351.26/338.68	c  N st   933   1710469       686      2964         0     56098      8978    605734     19.40   no data
1351.26/338.68	c  S st   933   1710469       686      2964         0     56098      8978    605734     19.40   no data
1352.07/338.83	c  S st   933   1710977       686      2964         0     56604      8978    620046     19.40   no data
1352.07/338.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1352.07/338.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1352.07/338.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1352.07/338.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1352.07/338.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1352.07/338.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
1352.07/338.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1352.07/338.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1352.07/338.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1352.49/338.98	c lits-rem:        25  cl-subs:       50  v-elim:      0  v-fix:    0  time:  0.10 s
1352.49/338.98	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
1352.49/338.99	c vivif2 --  cl tried    56554 cl shrink        0 lits rem          0 time: 0.01
1352.85/339.04	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.05
1352.85/339.04	c calculated reachability. Time: 0.00
1352.85/339.04	c  N st   933   1710977       686      2964         0     56554      8978    619008     19.40   no data
1788.25/448.16	c  N st   934   2079941       686      2964         0     62439      8978    675662     19.40   no data
1955.06/489.94	c  N st   935   2210977       686      2964         0     64488      8978    692489     19.40   no data
1955.06/489.94	c  S st   935   2210977       686      2964         0     64488      8978    692489     19.40   no data
1955.86/490.11	c  S st   935   2211480       686      2964         0     64991      8978    707130     19.40   no data
1955.86/490.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1955.86/490.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
1955.86/490.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1955.86/490.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1955.86/490.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1955.86/490.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
1955.86/490.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1955.86/490.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1955.86/490.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1956.26/490.28	c lits-rem:        24  cl-subs:       57  v-elim:      0  v-fix:    0  time:  0.10 s
1956.26/490.28	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
1956.26/490.29	c vivif2 --  cl tried    64934 cl shrink        0 lits rem          0 time: 0.01
1956.66/490.35	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.06
1956.66/490.35	c calculated reachability. Time: 0.00
1956.66/490.35	c  N st   935   2211480       686      2964         0     64934      8978    705718     19.40   no data
2601.18/651.80	c  N st   936   2711483       686      2964         0     81555      8978   1076106     19.40   no data
2601.18/651.80	c  S st   936   2711483       686      2964         0     81555      8978   1076106     19.40   no data
2601.98/652.05	c  S st   936   2711985       686      2964         0     82057      8978   1090596     19.40   no data
2601.98/652.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2602.38/652.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2602.38/652.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2602.38/652.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2602.38/652.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2602.38/652.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
2602.38/652.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2602.38/652.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2602.38/652.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2605.17/652.86	c lits-rem:       141  cl-subs:     1199  v-elim:      0  v-fix:    0  time:  0.70 s
2605.17/652.86	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
2605.17/652.88	c vivif2 --  cl tried    80858 cl shrink        0 lits rem          0 time: 0.02
2605.57/652.96	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.08
2605.57/652.96	c calculated reachability. Time: 0.00
2605.57/652.96	c  N st   936   2711985       686      2964         0     80858      8978   1054953     19.40   no data
3279.67/821.88	c  N st   937   3211985       686      2964         0    127093      8978   2420224     19.40   no data
3279.67/821.88	c  S st   937   3211985       686      2964         0    127093      8978   2420224     19.40   no data
3281.23/822.28	c  S st   937   3212487       686      2964         0    127595      8978   2434225     19.40   no data
3281.23/822.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3281.63/822.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
3281.63/822.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3281.63/822.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3281.63/822.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3281.63/822.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
3281.63/822.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3281.63/822.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3282.03/822.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3336.74/836.11	c lits-rem:      1347  cl-subs:     5675  v-elim:      0  v-fix:    0  time: 13.65 s
3336.74/836.11	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
3336.74/836.15	c vivif2 --  cl tried   121920 cl shrink        0 lits rem          0 time: 0.03
3337.09/836.29	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.14
3337.09/836.29	c calculated reachability. Time: 0.00
3337.09/836.29	c  N st   937   3212487       686      2964         0    121920      8978   2257698     19.40   no data
4104.11/1028.44	c  N st   938   3712487       686      2964         0    132304      8978   2449169     19.40   no data
4104.11/1028.44	c  S st   938   3712487       686      2964         0    132304      8978   2449169     19.40   no data
4105.70/1028.89	c  S st   938   3712992       686      2964         0    132809      8978   2463623     19.40   no data
4106.10/1028.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4106.10/1028.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4106.10/1028.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4106.10/1028.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4106.10/1028.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4106.10/1028.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
4106.10/1028.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4106.50/1029.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4106.50/1029.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4172.73/1045.65	c lits-rem:      1036  cl-subs:     7497  v-elim:      0  v-fix:    0  time: 16.55 s
4172.73/1045.65	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
4172.73/1045.68	c vivif2 --  cl tried   125312 cl shrink        0 lits rem          0 time: 0.04
4173.54/1045.83	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.14
4173.54/1045.83	c calculated reachability. Time: 0.00
4173.54/1045.83	c  N st   938   3712992       686      2964         0    125312      8978   2249058     19.40   no data
4239.78/1062.42	c  F st   939   3751562       686      2964         0    163216      8978   3398179     19.40   no data
4239.78/1062.43	c  N st   939   3751562       686      2964         0    163216      8978   3398179     19.40   no data
4283.69/1073.45	c  N dy  1028   3771761       686      2964         0    100033      8978   1337407     19.44     20.52
4325.99/1084.08	c  N dy  1163   3791808       686      2964         0    119942      8978   1923051     19.53     23.16
4393.43/1100.99	c  N dy  1260   3820448       686      2964         0    148251      8978   2723006     19.50     20.63
4450.90/1115.30	c  N dy  1396   3841219       686      2964         0    168826      8978   3316034     19.58     20.67
4480.84/1122.87	c  N dy  1454   3861390       686      2964         0    104012      8978   1357212     19.56     20.63
4518.75/1132.37	c  N dy  1560   3881453       686      2964         0    123869      8978   1927628     19.60     20.88
4565.04/1144.00	c  N dy  1678   3901505       686      2964         0    143758      8978   2506075     19.65     21.50
4624.50/1158.85	c  N dy  1781   3921580       686      2964         0    163662      8978   3088664     19.68     20.78
4672.39/1170.82	c  N dy  1859   3941662       686      2964         0     97612      8978   1123177     19.68     20.80
4706.71/1179.40	c  N dy  1933   3962103       686      2964         0    117848      8978   1712766     19.68     20.76
4750.60/1190.46	c  N dy  2044   3982138       686      2964         0    137687      8978   2289475     19.72     21.08

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

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

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


[startup+0 s]
/proc/loadavg: 8.41 8.24 8.03 5/298 2610
/proc/meminfo: memFree=13027664/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 652318066 52396032 348 33554432000 4194304 4580107 140736601031216 18446744073709551615 47021139433388 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2610/statm: 12792 348 299 95 0 7774 0
[pid=2610/tid=2611] ppid=2608 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652318067 52396032 352 33554432000 4194304 4580107 140736601031216 18446744073709551615 47021139433394 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652318067 52396032 352 33554432000 4194304 4580107 140736601031216 18446744073709551615 47021139432985 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 652318067 52396032 352 33554432000 4194304 4580107 140736601031216 18446744073709551615 47021139432976 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.110821 s]
/proc/loadavg: 8.41 8.24 8.03 5/298 2610
/proc/meminfo: memFree=13027664/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=281956 CPUtime=0.41 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 1920 0 0 0 41 0 0 0 25 0 4 0 652318066 288722944 1777 33554432000 4194304 4580107 140736601031216 18446744073709551615 4323122 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 70489 1777 377 95 0 65471 0
[pid=2610/tid=2611] ppid=2608 vsize=281956 CPUtime=0.1 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 423 0 0 0 10 0 0 0 25 0 4 0 652318067 288722944 1777 33554432000 4194304 4580107 140736601031216 18446744073709551615 4321126 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=281956 CPUtime=0.1 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 430 0 0 0 10 0 0 0 25 0 4 0 652318067 288722944 1777 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=281956 CPUtime=0.1 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 250 0 0 0 10 0 0 0 25 0 4 0 652318067 288722944 1778 33554432000 4194304 4580107 140736601031216 18446744073709551615 4320975 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 281956

[startup+0.200805 s]
/proc/loadavg: 8.41 8.24 8.03 5/298 2610
/proc/meminfo: memFree=13027664/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=283512 CPUtime=0.77 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 2611 0 0 0 77 0 0 0 25 0 4 0 652318066 290316288 1771 33554432000 4194304 4580107 140736601031216 18446744073709551615 4324249 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 70878 1771 377 95 0 65860 0
[pid=2610/tid=2611] ppid=2608 vsize=283512 CPUtime=0.19 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 587 0 0 0 19 0 0 0 25 0 4 0 652318067 290316288 1771 33554432000 4194304 4580107 140736601031216 18446744073709551615 4320780 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=283512 CPUtime=0.19 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 606 0 0 0 19 0 0 0 25 0 4 0 652318067 290316288 1771 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293789 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=283512 CPUtime=0.19 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 420 0 0 0 19 0 0 0 25 0 4 0 652318067 290316288 1771 33554432000 4194304 4580107 140736601031216 18446744073709551615 4316288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283512

[startup+0.300785 s]
/proc/loadavg: 8.41 8.24 8.03 5/298 2610
/proc/meminfo: memFree=13027664/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=283652 CPUtime=1.17 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 3006 0 0 0 117 0 0 0 25 0 4 0 652318066 290459648 2166 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 70913 2166 377 95 0 65895 0
[pid=2610/tid=2611] ppid=2608 vsize=283652 CPUtime=0.29 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 675 0 0 0 29 0 0 0 25 0 4 0 652318067 290459648 2166 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=283652 CPUtime=0.29 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 699 0 0 0 29 0 0 0 25 0 4 0 652318067 290459648 2167 33554432000 4194304 4580107 140736601031216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=283652 CPUtime=0.29 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 548 0 0 0 29 0 0 0 25 0 4 0 652318067 290459648 2168 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283652

[startup+0.70071 s]
/proc/loadavg: 8.41 8.24 8.03 5/298 2610
/proc/meminfo: memFree=13027664/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=284552 CPUtime=2.77 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 4764 0 0 0 277 0 0 0 25 0 4 0 652318066 291381248 2865 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 71138 2865 377 95 0 66120 0
[pid=2610/tid=2611] ppid=2608 vsize=284552 CPUtime=0.69 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 1102 0 0 0 69 0 0 0 25 0 4 0 652318067 291381248 2865 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=284552 CPUtime=0.69 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 1134 0 0 0 69 0 0 0 25 0 4 0 652318067 291381248 2865 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=284552 CPUtime=0.69 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 1007 0 0 0 69 0 0 0 25 0 4 0 652318067 291381248 2865 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284552

[startup+1.50056 s]
/proc/loadavg: 8.37 8.23 8.03 9/302 2614
/proc/meminfo: memFree=13015976/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=286148 CPUtime=5.96 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 8265 0 0 0 596 0 0 0 25 0 4 0 652318066 293015552 3405 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 71537 3405 378 95 0 66519 0
[pid=2610/tid=2611] ppid=2608 vsize=286148 CPUtime=1.48 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 1962 0 0 0 148 0 0 0 25 0 4 0 652318067 293015552 3405 33554432000 4194304 4580107 140736601031216 18446744073709551615 4316654 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=286148 CPUtime=1.48 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 1993 0 0 0 148 0 0 0 25 0 4 0 652318067 293015552 3405 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=286148 CPUtime=1.49 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 1907 0 0 0 149 0 0 0 25 0 4 0 652318067 293015552 3405 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286148

[startup+3.10026 s]
/proc/loadavg: 8.37 8.23 8.03 9/302 2614
/proc/meminfo: memFree=13000172/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=288456 CPUtime=12.35 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 20129 0 0 0 1232 3 0 0 25 0 4 0 652318066 295378944 11116 33554432000 4194304 4580107 140736601031216 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 72114 11116 379 95 0 67096 0
[pid=2610/tid=2611] ppid=2608 vsize=288456 CPUtime=3.06 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 4475 0 0 0 306 0 0 0 25 0 4 0 652318067 295378944 11116 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=288456 CPUtime=3.08 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 5231 0 0 0 308 0 0 0 25 0 4 0 652318067 295378944 11116 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=288456 CPUtime=3.09 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 4984 0 0 0 309 0 0 0 25 0 4 0 652318067 295378944 11116 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 288456

[startup+6.30065 s]
/proc/loadavg: 8.34 8.23 8.03 9/302 2614
/proc/meminfo: memFree=12968552/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=298436 CPUtime=25.12 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 30951 0 0 0 2507 5 0 0 25 0 4 0 652318066 305598464 15502 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 74609 15502 379 95 0 69591 0
[pid=2610/tid=2611] ppid=2608 vsize=298436 CPUtime=6.23 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 8496 0 0 0 622 1 0 0 25 0 4 0 652318067 305598464 15502 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=298436 CPUtime=6.28 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 7491 0 0 0 628 0 0 0 25 0 4 0 652318067 305598464 15502 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=298436 CPUtime=6.29 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 7086 0 0 0 628 1 0 0 25 0 4 0 652318067 305598464 15502 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 298436

[startup+12.7004 s]
/proc/loadavg: 8.32 8.22 8.03 9/302 2614
/proc/meminfo: memFree=12927516/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=270128 CPUtime=50.65 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 47956 0 0 0 5056 9 0 0 25 0 4 0 652318066 276611072 24775 33554432000 4194304 4580107 140736601031216 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 67532 24775 379 95 0 62514 0
[pid=2610/tid=2611] ppid=2608 vsize=270128 CPUtime=12.58 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 12778 0 0 0 1256 2 0 0 25 0 4 0 652318067 276611072 24775 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=270128 CPUtime=12.69 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 11100 0 0 0 1267 2 0 0 25 0 4 0 652318067 276611072 24775 33554432000 4194304 4580107 140736601031216 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=270128 CPUtime=12.69 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 11867 0 0 0 1267 2 0 0 25 0 4 0 652318067 276611072 24775 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 270128

[startup+25.501 s]
/proc/loadavg: 8.25 8.21 8.03 9/302 2615
/proc/meminfo: memFree=12880628/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=270544 CPUtime=101.73 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 68371 0 0 0 10160 13 0 0 25 0 4 0 652318066 277037056 33586 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 67636 33586 379 95 0 62618 0
[pid=2610/tid=2611] ppid=2608 vsize=270544 CPUtime=25.26 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 20146 0 0 0 2523 3 0 0 25 0 4 0 652318067 277037056 33586 33554432000 4194304 4580107 140736601031216 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=270544 CPUtime=25.48 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 17785 0 0 0 2545 3 0 0 25 0 4 0 652318067 277037056 33586 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=270544 CPUtime=25.49 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 13708 0 0 0 2546 3 0 0 25 0 4 0 652318067 277037056 33586 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 270544

[startup+51.1011 s]
/proc/loadavg: 8.24 8.21 8.03 9/302 2615
/proc/meminfo: memFree=12850932/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=337328 CPUtime=203.91 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 94553 0 0 0 20369 22 0 0 25 0 4 0 652318066 345423872 38146 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 84332 38146 379 95 0 79314 0
[pid=2610/tid=2611] ppid=2608 vsize=337328 CPUtime=50.63 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 24978 0 0 0 5058 5 0 0 25 0 4 0 652318067 345423872 38146 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=337328 CPUtime=51.09 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 25700 0 0 0 5103 6 0 0 25 0 4 0 652318067 345423872 38146 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=337328 CPUtime=51.09 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 18642 0 0 0 5104 5 0 0 25 0 4 0 652318067 345423872 38146 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 337328

[startup+102.3 s]
/proc/loadavg: 8.18 8.19 8.03 9/302 2617
/proc/meminfo: memFree=12825356/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=274908 CPUtime=408.24 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 134065 0 0 0 40789 35 0 0 25 0 4 0 652318066 281505792 42116 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 68727 42116 379 95 0 63709 0
[pid=2610/tid=2611] ppid=2608 vsize=274908 CPUtime=101.37 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 33595 0 0 0 10130 7 0 0 25 0 4 0 652318067 281505792 42118 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=274908 CPUtime=102.29 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 37179 0 0 0 10219 10 0 0 25 0 4 0 652318067 281505792 42118 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=274908 CPUtime=102.3 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 24883 0 0 0 10222 8 0 0 25 0 4 0 652318067 281505792 42118 33554432000 4194304 4580107 140736601031216 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.24
Current children cumulated vsize (KiB) 274908

[startup+162.301 s]

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

[pid=2610] ppid=2608 vsize=665904 CPUtime=2802.72 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 440008 0 0 0 280121 151 0 0 25 0 4 0 652318066 681885696 106834 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 166476 106834 379 95 0 161458 0
[pid=2610/tid=2611] ppid=2608 vsize=665904 CPUtime=695.9 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 116265 0 0 0 69552 38 0 0 25 0 4 0 652318067 681885696 106834 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=665904 CPUtime=702.3 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 97637 0 0 0 70196 34 0 0 25 0 4 0 652318067 681885696 106834 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=665904 CPUtime=702.29 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 106751 0 0 0 70190 39 0 0 25 0 4 0 652318067 681885696 106834 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.72
Current children cumulated vsize (KiB) 665904

[startup+762.301 s]
/proc/loadavg: 8.06 8.09 8.05 9/302 2634
/proc/meminfo: memFree=12363856/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=719884 CPUtime=3042.2 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 466619 0 0 0 304057 163 0 0 25 0 4 0 652318066 737161216 113721 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 179971 113721 379 95 0 174953 0
[pid=2610/tid=2611] ppid=2608 vsize=719884 CPUtime=755.37 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 124338 0 0 0 75495 42 0 0 25 0 4 0 652318067 737161216 113722 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=719884 CPUtime=762.32 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 102241 0 0 0 76196 36 0 0 25 0 4 0 652318067 737161216 113722 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=719884 CPUtime=762.31 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 111490 0 0 0 76189 42 0 0 25 0 4 0 652318067 737161216 113722 33554432000 4194304 4580107 140736601031216 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.2
Current children cumulated vsize (KiB) 719884

[startup+822.301 s]
/proc/loadavg: 8.09 8.10 8.06 9/302 2636
/proc/meminfo: memFree=12398820/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=680960 CPUtime=3281.63 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 492418 0 0 0 327988 175 0 0 25 0 4 0 652318066 697303040 109886 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 170240 109886 379 95 0 165222 0
[pid=2610/tid=2611] ppid=2608 vsize=680960 CPUtime=814.82 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 132387 0 0 0 81437 45 0 0 25 0 4 0 652318067 697303040 109886 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=680960 CPUtime=822.31 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 105630 0 0 0 82193 38 0 0 25 0 4 0 652318067 697303040 109886 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=680960 CPUtime=822.3 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 117563 0 0 0 82186 44 0 0 25 0 4 0 652318067 697303040 109886 33554432000 4194304 4580107 140736601031216 18446744073709551615 4306112 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.63
Current children cumulated vsize (KiB) 680960

[startup+882.311 s]
/proc/loadavg: 8.10 8.11 8.06 9/302 2638
/proc/meminfo: memFree=12334440/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=721076 CPUtime=3521.09 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 522215 0 0 0 351921 188 0 0 25 0 4 0 652318066 738381824 122911 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 180269 122911 379 95 0 175251 0
[pid=2610/tid=2611] ppid=2608 vsize=721076 CPUtime=874.27 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 142057 0 0 0 87379 48 0 0 25 0 4 0 652318067 738381824 122911 33554432000 4194304 4580107 140736601031216 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=721076 CPUtime=882.32 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 110185 0 0 0 88192 40 0 0 25 0 4 0 652318067 738381824 122911 33554432000 4194304 4580107 140736601031216 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=721076 CPUtime=882.31 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 123180 0 0 0 88182 49 0 0 25 0 4 0 652318067 738381824 122911 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.09
Current children cumulated vsize (KiB) 721076

[startup+942.3 s]
/proc/loadavg: 8.07 8.10 8.06 9/302 2639
/proc/meminfo: memFree=12262888/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=747400 CPUtime=3760.5 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 551835 0 0 0 375850 200 0 0 25 0 4 0 652318066 765337600 138180 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 186850 138180 379 95 0 181832 0
[pid=2610/tid=2611] ppid=2608 vsize=747400 CPUtime=933.7 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 146658 0 0 0 93320 50 0 0 25 0 4 0 652318067 765337600 138180 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=747400 CPUtime=942.31 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 117266 0 0 0 94187 44 0 0 25 0 4 0 652318067 765337600 138180 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=747400 CPUtime=942.3 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 133870 0 0 0 94178 52 0 0 25 0 4 0 652318067 765337600 138180 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.5
Current children cumulated vsize (KiB) 747400

[startup+1002.3 s]
/proc/loadavg: 8.02 8.08 8.06 9/302 2641
/proc/meminfo: memFree=12286560/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=735004 CPUtime=3999.94 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 567865 0 0 0 399786 208 0 0 25 0 4 0 652318066 752644096 132098 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 183751 132098 379 95 0 178733 0
[pid=2610/tid=2611] ppid=2608 vsize=735004 CPUtime=993.15 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 151540 0 0 0 99263 52 0 0 25 0 4 0 652318067 752644096 132098 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=735004 CPUtime=1002.32 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 123241 0 0 0 100184 48 0 0 25 0 4 0 652318067 752644096 132098 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=735004 CPUtime=1002.3 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 137840 0 0 0 100176 54 0 0 25 0 4 0 652318067 752644096 132098 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.94
Current children cumulated vsize (KiB) 735004

[startup+1062.3 s]
/proc/loadavg: 8.16 8.10 8.06 9/302 2642
/proc/meminfo: memFree=12267328/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=867464 CPUtime=4239.38 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 593071 0 0 0 423720 218 0 0 25 0 4 0 652318066 888283136 142873 33554432000 4194304 4580107 140736601031216 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 216866 142873 379 95 0 211848 0
[pid=2610/tid=2611] ppid=2608 vsize=867464 CPUtime=1052.6 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 162253 0 0 0 105204 56 0 0 25 0 4 0 652318067 888283136 142873 33554432000 4194304 4580107 140736601031216 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=867464 CPUtime=1062.31 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 124580 0 0 0 106183 48 0 0 25 0 4 0 652318067 888283136 142873 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=867464 CPUtime=1062.29 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 144623 0 0 0 106173 56 0 0 25 0 4 0 652318067 888283136 142873 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.38
Current children cumulated vsize (KiB) 867464

[startup+1122.3 s]
/proc/loadavg: 8.20 8.11 8.07 9/302 2644
/proc/meminfo: memFree=12259004/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=827544 CPUtime=4478.84 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 611074 0 0 0 447658 226 0 0 25 0 4 0 652318066 847405056 144626 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 206886 144626 379 95 0 201868 0
[pid=2610/tid=2611] ppid=2608 vsize=827544 CPUtime=1112.05 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 163240 0 0 0 111148 57 0 0 25 0 4 0 652318067 847405056 144626 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=827544 CPUtime=1122.32 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 133837 0 0 0 112180 52 0 0 25 0 4 0 652318067 847405056 144626 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=827544 CPUtime=1122.3 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 150248 0 0 0 112171 59 0 0 25 0 4 0 652318067 847405056 144626 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.84
Current children cumulated vsize (KiB) 827544

[startup+1182.3 s]
/proc/loadavg: 8.02 8.06 8.05 10/302 2677
/proc/meminfo: memFree=12388032/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=948160 CPUtime=4718.28 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 629727 0 0 0 471595 233 0 0 25 0 4 0 652318066 970915840 154401 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 237040 154401 379 95 0 232022 0
[pid=2610/tid=2611] ppid=2608 vsize=948160 CPUtime=1171.51 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 166837 0 0 0 117092 59 0 0 25 0 4 0 652318067 970915840 154401 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=948160 CPUtime=1182.31 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 139605 0 0 0 118177 54 0 0 25 0 4 0 652318067 970915840 154401 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=948160 CPUtime=1182.3 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 155156 0 0 0 118170 60 0 0 25 0 4 0 652318067 970915840 154401 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.28
Current children cumulated vsize (KiB) 948160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.01 8.05 8.05 9/302 2677
/proc/meminfo: memFree=12358988/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=838936 CPUtime=4800.1 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 638928 0 0 0 479774 236 0 0 25 0 4 0 652318066 859070464 154767 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 209734 154767 379 95 0 204716 0
[pid=2610/tid=2611] ppid=2608 vsize=838936 CPUtime=1191.82 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 168995 0 0 0 119122 60 0 0 25 0 4 0 652318067 859070464 154768 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=838936 CPUtime=1202.83 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 142535 0 0 0 120228 55 0 0 25 0 4 0 652318067 859070464 154768 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=838936 CPUtime=1202.81 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 158227 0 0 0 120220 61 0 0 25 0 4 0 652318067 859070464 154768 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 838936

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

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

[startup+1202.8 s]
/proc/loadavg: 8.01 8.05 8.05 9/302 2677
/proc/meminfo: memFree=12358988/32950928 swapFree=67083212/67111528
[pid=2610] ppid=2608 vsize=838936 CPUtime=4800.1 cores=0,2,4,6
/proc/2610/stat : 2610 (strangenight2-m) R 2608 2610 2430 0 -1 4202496 638928 0 0 0 479774 236 0 0 25 0 4 0 652318066 859070464 154767 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2610/statm: 209734 154767 379 95 0 204716 0
[pid=2610/tid=2611] ppid=2608 vsize=838936 CPUtime=1191.82 cores=0,2,4,6
/proc/2610/task/2611/stat : 2611 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 168995 0 0 0 119122 60 0 0 25 0 4 0 652318067 859070464 154768 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2610/tid=2612] ppid=2608 vsize=838936 CPUtime=1202.83 cores=0,2,4,6
/proc/2610/task/2612/stat : 2612 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 142535 0 0 0 120228 55 0 0 25 0 4 0 652318067 859070464 154768 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2610/tid=2613] ppid=2608 vsize=838936 CPUtime=1202.81 cores=0,2,4,6
/proc/2610/task/2613/stat : 2613 (strangenight2-m) R 2608 2610 2430 0 -1 4202560 158227 0 0 0 120220 61 0 0 25 0 4 0 652318067 859070464 154768 33554432000 4194304 4580107 140736601031216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 838936

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.85
CPU time (s): 4800.19
CPU user time (s): 4797.79
CPU system time (s): 2.39764
CPU usage (%): 399.069
Max. virtual memory (cumulated for all children) (KiB): 1014936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.79
system time used= 2.39764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638930
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= 678
involuntary context switches= 23104

runsolver used 3.02154 second user time and 8.02078 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-14 23:06:24
IDJOB=3366544
IDBENCH=82953
IDSOLVER=1844
FILE ID=node127/3366544-1305407184
RUNJOBID= node127-1305405919-2448
PBS_JOBID= 13324505
Free space on /tmp= 73472 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366544-1305407184/watcher-3366544-1305407184 -o /tmp/evaluation-result-3366544-1305407184/solver-3366544-1305407184 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366544-1305407184.cnf

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

MD5SUM BENCH= 30f9bf8e3b9c70d1ebd1c611372c0c4a
RANDOM SEED=309217684

node127.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.823
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.64
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.823
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.83
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.823
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.823
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.86
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.823
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.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13027820 kB
Buffers:        289332 kB
Cached:        3365440 kB
SwapCached:       1620 kB
Active:       16921024 kB
Inactive:      2666212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13027820 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:            5476 kB
Writeback:          36 kB
AnonPages:    15931160 kB
Mapped:          26676 kB
Slab:           226192 kB
PageTables:      47216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44538580 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= 73468 MiB
End job on node127 at 2011-05-14 23:26:29