Trace number 3174135

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.74

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.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-3174135-1304101808.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	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
3.17/0.83	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
3.17/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.00 s pos:     321 undec:      81 neg:     298
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0       687      2970         0         0      8996         0   no data   no data
3.17/0.83	c Decided on static restart strategy
3.17/0.83	c  N st     8      4922       687      2970         0      4865      8996    143168   no data   no data
3.17/0.83	c  N st    10     11305       687      2970         0      4500      8996     92734   no data   no data
3.17/0.83	c  N st    11     17048       687      2970         0     10141      8996    251542   no data   no data
4.78/1.23	c  F st    12     25001       687      2970         0     12435      8996    325675   no data   no data
4.78/1.23	c  N st    12     25001       687      2970         0     12435      8996    325675   no data   no data
5.56/1.49	c Decided on static restart strategy
5.56/1.49	c  N st    18     30001       687      2970         0     10731      8996    252821   no data   no data
5.56/1.49	c  S st    18     30001       687      2970         0     10731      8996    252821   no data   no data
5.96/1.52	c  S st    18     30505       687      2970         0     11235      8996    266807   no data   no data
5.96/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.96/1.53	c blocked clauses removed:        6 vars:      1 tried:         687 T: 0.00 s
5.96/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
5.96/1.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.59	c lits-rem:       371  cl-subs:      317  v-elim:      0  v-fix:    0  time:  0.05 s
6.37/1.60	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.01
6.37/1.60	c calculated reachability. Time: 0.00
6.37/1.60	c  N st    18     30505       686      2964         0     10909      8978    254706   no data   no data
7.96/2.02	c  N st    20     37617       686      2964         0     10122      8978    198548   no data   no data
9.58/2.42	c  N st    21     44016       686      2964         0     16432      8978    381768   no data   no data
9.96/2.53	c  S st    22     45757       686      2964         0      9358      8978    161156   no data   no data
9.96/2.56	c  S st    22     46260       686      2964         0      9861      8978    174526   no data   no data
9.96/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
9.96/2.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.58	c lits-rem:        13  cl-subs:       34  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.58	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
9.96/2.59	c vivif2 --  cl tried     9827 cl shrink        0 lits rem          0 time: 0.00
9.96/2.59	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.01
9.96/2.59	c calculated reachability. Time: 0.00
9.96/2.59	c  N st    22     46260       686      2964         0      9827      8978    173541   no data   no data
13.98/3.53	c  N st    23     60658       686      2964         0     14227      8978    303630   no data   no data
16.76/4.20	c  N st    24     69391       686      2964         0     11982      8978    218161   no data   no data
16.76/4.20	c  S st    24     69391       686      2964         0     11982      8978    218161   no data   no data
16.76/4.24	c  S st    24     69894       686      2964         0     12485      8978    232070   no data   no data
16.76/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.76/4.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.76/4.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
16.76/4.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.76/4.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.76/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.28	c lits-rem:       127  cl-subs:      105  v-elim:      0  v-fix:    0  time:  0.02 s
16.76/4.28	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
16.76/4.28	c vivif2 --  cl tried    12380 cl shrink        0 lits rem          0 time: 0.00
16.76/4.29	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.01
16.76/4.29	c calculated reachability. Time: 0.00
16.76/4.29	c  N st    24     69894       686      2964         0     12380      8978    228368   no data   no data
22.36/5.66	c  F st    25     87503       686      2964         0     17884      8978    392691   no data   no data
22.36/5.66	c  N st    25     87503       686      2964         0     17884      8978    392691   no data   no data
24.35/6.13	c  N dy    33     93173       686      2964         0     23500      8978    562595     20.47     21.57
26.34/6.70	c  N dy    54    100540       686      2964         0     17928      8978    316991     18.99     20.02
27.93/7.04	c  S st    76    104842       686      2964         0     22188      8978    438731     19.20     19.54
28.33/7.10	c  S st    76    105349       686      2964         0     22695      8978    452405     19.20   no data
28.33/7.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.33/7.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.33/7.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.33/7.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.33/7.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
28.33/7.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.33/7.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.33/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.21	c lits-rem:       153  cl-subs:      278  v-elim:      0  v-fix:    0  time:  0.08 s
28.74/7.21	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
28.74/7.21	c vivif2 --  cl tried    22417 cl shrink        0 lits rem          0 time: 0.00
28.74/7.23	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.01
28.74/7.23	c calculated reachability. Time: 0.00
28.74/7.23	c  N dy    76    105349       686      2964         0     22417      8978    443488     19.20   no data
31.15/7.85	c  N dy   112    112112       686      2964         0     15255      8978    199186     19.42     20.47
33.53/8.44	c  N dy   140    119652       686      2964         0     22753      8978    415508     19.43     20.52
36.72/9.28	c  N dy   165    128156       686      2964         0     16298      8978    197818     19.34     20.58
39.53/9.95	c  N dy   199    136415       686      2964         0     24491      8978    431826     19.35     20.55
43.12/10.86	c  N dy   229    145473       686      2964         0     17603      8978    206855     19.29     20.56
46.31/11.69	c  N dy   280    154970       686      2964         0     27036      8978    477581     19.38     20.53
47.91/12.01	c  S st   295    158024       686      2964         0     30070      8978    566412     19.39   no data
47.91/12.08	c  S st   295    158527       686      2964         0     30573      8978    581188     19.39   no data
47.91/12.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.91/12.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.91/12.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.91/12.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.91/12.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
47.91/12.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.31/12.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.31/12.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.71/12.26	c lits-rem:       176  cl-subs:      319  v-elim:      0  v-fix:    0  time:  0.15 s
48.71/12.26	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
48.71/12.27	c vivif2 --  cl tried    30254 cl shrink        0 lits rem          0 time: 0.01
48.71/12.29	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.02
48.71/12.29	c calculated reachability. Time: 0.00
48.71/12.29	c  N dy   295    158527       686      2964         0     30254      8978    570273     19.39   no data
53.12/13.34	c  N dy   332    169733       686      2964         0     24478      8978    378663     19.39     20.51
57.92/14.50	c  N dy   368    180677       686      2964         0     35316      8978    683415     19.35     20.49
62.31/15.62	c  N dy   430    192704       686      2964         0     29406      8978    494470     19.40     20.42
68.28/17.10	c  N dy   492    205023       686      2964         0     22793      8978    285429     19.42     20.49
73.88/18.59	c  N dy   567    218429       686      2964         0     36093      8978    666738     19.49     20.77
80.26/20.17	c  N dy   618    232773       686      2964         0     30493      8978    484873     19.46     20.50
83.06/20.85	c  S st   645    237790       686      2964         0     35476      8978    630750     19.47   no data
83.46/20.93	c  S st   645    238293       686      2964         0     35978      8978    646083     19.47   no data
83.46/20.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.46/20.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.46/20.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.46/20.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.46/20.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.46/20.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
83.46/20.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.46/20.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.46/20.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.29/21.16	c lits-rem:       113  cl-subs:      368  v-elim:      0  v-fix:    0  time:  0.18 s
84.29/21.16	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
84.29/21.17	c vivif2 --  cl tried    35610 cl shrink        0 lits rem          0 time: 0.01
84.29/21.19	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.02
84.29/21.19	c calculated reachability. Time: 0.00
84.29/21.19	c  N dy   645    238293       686      2964         0     35610      8978    633335     19.47   no data
91.45/22.97	c  N dy   714    253658       686      2964         0     30000      8978    441183     19.48     20.69
99.45/24.95	c  N dy   761    269995       686      2964         0     24387      8978    258760     19.43     20.66
108.23/27.14	c  N dy   820    288223       686      2964         0     42468      8978    769563     19.39     20.44
117.01/29.31	c  F st   896    306254       686      2964         0     37553      8978    609607     19.40   no data
117.41/29.40	c  N st   898    306879       686      2964         0     38174      8978    627520     19.40   no data
119.81/30.02	c Decided on static restart strategy
130.60/32.75	c  N st   906    334556       686      2964         0     41689      8978    971039     19.40   no data
142.98/35.87	c  N st   908    357440       686      2964         0     39587      8978    892273     19.40   no data
142.98/35.87	c  S st   908    357440       686      2964         0     39587      8978    892273     19.40   no data
143.38/35.98	c  S st   908    357943       686      2964         0     40090      8978    906054     19.40   no data
143.38/35.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.38/36.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
143.38/36.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.38/36.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.78/36.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.78/36.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
143.78/36.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.78/36.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.78/36.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.17/36.65	c lits-rem:       212  cl-subs:     1014  v-elim:      0  v-fix:    0  time:  0.61 s
146.17/36.65	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
146.17/36.66	c vivif2 --  cl tried    39076 cl shrink        0 lits rem          0 time: 0.01
146.17/36.69	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.03
146.17/36.69	c calculated reachability. Time: 0.00
146.17/36.69	c  N st   908    357943       686      2964         0     39076      8978    868556     19.40   no data
164.55/41.25	c  N st   909    390335       686      2964         0     45246      8978   1059760     19.40   no data
192.51/48.25	c  N st   910    438925       686      2964         0     38938      8978    751662     19.40   no data
237.66/59.52	c  N st   911    511808       686      2964         0     52730      8978   1132038     19.40   no data
252.83/63.34	c  N st   912    536915       686      2964         0     46990      8978    915583     19.40   no data
252.83/63.34	c  S st   912    536915       686      2964         0     46990      8978    915583     19.40   no data
253.23/63.47	c  S st   912    537425       686      2964         0     47499      8978    930551     19.40   no data
253.23/63.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
253.23/63.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
253.23/63.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
253.23/63.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
253.23/63.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.23/63.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
253.23/63.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
253.63/63.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
253.63/63.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.62/64.55	c lits-rem:       297  cl-subs:     1627  v-elim:      0  v-fix:    0  time:  1.02 s
257.62/64.55	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
257.62/64.57	c vivif2 --  cl tried    45872 cl shrink        0 lits rem          0 time: 0.01
258.02/64.61	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.04
258.02/64.61	c calculated reachability. Time: 0.00
258.02/64.61	c  N st   912    537425       686      2964         0     45872      8978    880540     19.40   no data
380.25/95.28	c  N st   913    701409       686      2964         0     39984      8978    592249     19.40   no data
461.76/115.63	c  N st   914    806138       686      2964         0     68962      8978   1504724     19.40   no data
461.76/115.63	c  S st   914    806138       686      2964         0     68962      8978   1504724     19.40   no data
462.54/115.83	c  S st   914    806642       686      2964         0     69466      8978   1519291     19.40   no data
462.54/115.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
462.54/115.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
462.54/115.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
462.54/115.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.54/115.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.54/115.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
462.54/115.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.54/115.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.94/115.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
482.12/120.75	c lits-rem:       402  cl-subs:     2823  v-elim:      0  v-fix:    0  time:  4.81 s
482.12/120.75	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
482.12/120.77	c vivif2 --  cl tried    66643 cl shrink        0 lits rem          0 time: 0.02
482.51/120.84	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.07
482.51/120.84	c calculated reachability. Time: 0.00
482.51/120.84	c  N st   914    806642       686      2964         0     66643      8978   1423458     19.40   no data
711.40/178.19	c  F st   915   1071875       686      2964         0     82356      8978   1742154     19.40   no data
711.40/178.19	c  N st   915   1071875       686      2964         0     82356      8978   1742154     19.40   no data
717.39/179.61	c Decided on static restart strategy
734.59/183.98	c  N st   925   1100177       686      2964         0     66164      8978   1155857     19.40   no data
770.12/192.81	c  N st   927   1136170       686      2964         0     56319      8978    850958     19.40   no data
801.28/200.65	c  N st   928   1168564       686      2964         0     87947      8978   1758750     19.40   no data
842.82/211.05	c  N st   929   1209967       686      2964         0     82691      8978   1697233     19.40   no data
842.82/211.05	c  S st   929   1209967       686      2964         0     82691      8978   1697233     19.40   no data
844.03/211.31	c  S st   929   1210469       686      2964         0     83192      8978   1711277     19.40   no data
844.03/211.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
844.03/211.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
844.03/211.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
844.03/211.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
844.03/211.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
844.03/211.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
844.03/211.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
844.03/211.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
844.44/211.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
864.39/216.42	c lits-rem:       504  cl-subs:     2543  v-elim:      0  v-fix:    0  time:  4.98 s
864.39/216.42	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
864.39/216.44	c vivif2 --  cl tried    80649 cl shrink        0 lits rem          0 time: 0.03
864.79/216.55	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.11
864.79/216.55	c calculated reachability. Time: 0.00
864.79/216.55	c  N st   929   1210469       686      2964         0     80649      8978   1624272     19.40   no data
949.07/237.65	c  N st   930   1283351       686      2964         0     56917      8978    823844     19.40   no data
1043.35/261.23	c  N st   931   1392675       686      2964         0     65129      8978   1033022     19.40   no data
1183.55/296.31	c  N st   932   1556659       686      2964         0     69902      8978   1132184     19.40   no data
1344.54/336.69	c  N st   933   1710469       686      2964         0     56098      8978    605734     19.40   no data
1344.54/336.69	c  S st   933   1710469       686      2964         0     56098      8978    605734     19.40   no data
1345.36/336.84	c  S st   933   1710977       686      2964         0     56604      8978    620046     19.40   no data
1345.36/336.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1345.36/336.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1345.36/336.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1345.36/336.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1345.36/336.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1345.36/336.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
1345.36/336.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1345.36/336.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1345.73/336.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1346.13/337.00	c lits-rem:        25  cl-subs:       50  v-elim:      0  v-fix:    0  time:  0.10 s
1346.13/337.00	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
1346.13/337.01	c vivif2 --  cl tried    56554 cl shrink        0 lits rem          0 time: 0.01
1346.13/337.06	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.04
1346.13/337.06	c calculated reachability. Time: 0.00
1346.13/337.06	c  N st   933   1710977       686      2964         0     56554      8978    619008     19.40   no data
1779.15/445.45	c  N st   934   2079941       686      2964         0     62439      8978    675662     19.40   no data
1944.91/486.98	c  N st   935   2210977       686      2964         0     64488      8978    692489     19.40   no data
1944.91/486.98	c  S st   935   2210977       686      2964         0     64488      8978    692489     19.40   no data
1945.71/487.13	c  S st   935   2211480       686      2964         0     64991      8978    707130     19.40   no data
1945.71/487.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1945.71/487.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
1945.71/487.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1945.71/487.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1945.71/487.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1945.71/487.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
1945.71/487.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1945.71/487.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1946.11/487.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1946.51/487.31	c lits-rem:        24  cl-subs:       57  v-elim:      0  v-fix:    0  time:  0.10 s
1946.51/487.31	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
1946.51/487.32	c vivif2 --  cl tried    64934 cl shrink        0 lits rem          0 time: 0.01
1946.51/487.38	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.06
1946.51/487.38	c calculated reachability. Time: 0.00
1946.51/487.38	c  N st   935   2211480       686      2964         0     64934      8978    705718     19.40   no data
2588.03/647.92	c  N st   936   2711483       686      2964         0     81555      8978   1076106     19.40   no data
2588.03/647.92	c  S st   936   2711483       686      2964         0     81555      8978   1076106     19.40   no data
2588.86/648.17	c  S st   936   2711985       686      2964         0     82057      8978   1090596     19.40   no data
2588.86/648.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2589.24/648.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2589.24/648.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2589.24/648.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2589.24/648.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2589.24/648.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
2589.24/648.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2589.24/648.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2589.24/648.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2592.43/649.00	c lits-rem:       141  cl-subs:     1199  v-elim:      0  v-fix:    0  time:  0.72 s
2592.43/649.00	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
2592.43/649.02	c vivif2 --  cl tried    80858 cl shrink        0 lits rem          0 time: 0.02
2592.43/649.09	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.08
2592.43/649.10	c calculated reachability. Time: 0.00
2592.43/649.10	c  N st   936   2711985       686      2964         0     80858      8978   1054953     19.40   no data
3261.92/816.60	c  N st   937   3211985       686      2964         0    127093      8978   2420224     19.40   no data
3261.92/816.60	c  S st   937   3211985       686      2964         0    127093      8978   2420224     19.40   no data
3263.52/817.00	c  S st   937   3212487       686      2964         0    127595      8978   2434225     19.40   no data
3263.52/817.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3263.52/817.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
3263.52/817.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3263.52/817.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3263.52/817.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3263.52/817.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
3263.52/817.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3263.91/817.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3263.91/817.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3318.27/830.78	c lits-rem:      1347  cl-subs:     5675  v-elim:      0  v-fix:    0  time: 13.59 s
3318.27/830.78	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
3318.64/830.82	c vivif2 --  cl tried   121920 cl shrink        0 lits rem          0 time: 0.03
3319.04/830.96	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.14
3319.04/830.96	c calculated reachability. Time: 0.00
3319.04/830.96	c  N st   937   3212487       686      2964         0    121920      8978   2257698     19.40   no data
4082.40/1022.05	c  N st   938   3712487       686      2964         0    132304      8978   2449169     19.40   no data
4082.40/1022.05	c  S st   938   3712487       686      2964         0    132304      8978   2449169     19.40   no data
4084.38/1022.50	c  S st   938   3712992       686      2964         0    132809      8978   2463623     19.40   no data
4084.38/1022.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4084.38/1022.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4084.38/1022.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4084.38/1022.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4084.38/1022.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4084.38/1022.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    686 time:  0.00 s
4084.38/1022.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4084.78/1022.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4085.18/1022.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4150.30/1039.00	c lits-rem:      1036  cl-subs:     7497  v-elim:      0  v-fix:    0  time: 16.30 s
4150.30/1039.00	c vivif2 --  cl tried     2964 cl shrink        0 lits rem          0 time: 0.00
4150.30/1039.04	c vivif2 --  cl tried   125312 cl shrink        0 lits rem          0 time: 0.03
4150.70/1039.18	c asymm  cl-useful: 0/2964/2964 lits-rem:0 time: 0.14
4150.70/1039.18	c calculated reachability. Time: 0.00
4150.70/1039.18	c  N st   938   3712992       686      2964         0    125312      8978   2249058     19.40   no data
4221.80/1056.94	c  F st   939   3751562       686      2964         0    163216      8978   3398179     19.40   no data
4221.80/1056.94	c  N st   939   3751562       686      2964         0    163216      8978   3398179     19.40   no data
4265.33/1067.83	c  N dy  1028   3771761       686      2964         0    100033      8978   1337407     19.44     20.52
4303.68/1077.45	c  N dy  1163   3791808       686      2964         0    119942      8978   1923051     19.53     23.16
4369.59/1093.97	c  N dy  1260   3820448       686      2964         0    148251      8978   2723006     19.50     20.63
4426.72/1108.23	c  N dy  1396   3841219       686      2964         0    168826      8978   3316034     19.58     20.67
4457.07/1115.80	c  N dy  1454   3861390       686      2964         0    104012      8978   1357212     19.56     20.63
4494.63/1125.25	c  N dy  1560   3881453       686      2964         0    123869      8978   1927628     19.60     20.88
4540.56/1136.78	c  N dy  1678   3901505       686      2964         0    143758      8978   2506075     19.65     21.50
4602.47/1152.29	c  N dy  1781   3921580       686      2964         0    163662      8978   3088664     19.68     20.78
4647.61/1163.50	c  N dy  1859   3941662       686      2964         0     97612      8978   1123177     19.68     20.80
4681.58/1172.02	c  N dy  1933   3962103       686      2964         0    117848      8978   1712766     19.68     20.76
4725.11/1182.96	c  N dy  2044   3982138       686      2964         0    137687      8978   2289475     19.72     21.08
4779.44/1196.55	c  N dy  2144   4003988       686      2964         0    159357      8978   2915302     19.73     20.90

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-3174135-1304101808/watcher-3174135-1304101808 -o /tmp/evaluation-result-3174135-1304101808/solver-3174135-1304101808 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174135-1304101808.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: 7.45 7.95 7.98 1/172 2333
/proc/meminfo: memFree=24399920/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 521778564 52441088 353 33554432000 4194304 4627427 140735992589392 18446744073709551615 212687675323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 12803 353 303 106 0 7774 0
[pid=2333/tid=2334] ppid=2331 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 521778565 52441088 353 33554432000 4194304 4627427 140735992589392 18446744073709551615 47175258740658 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 521778565 52441088 353 33554432000 4194304 4627427 140735992589392 18446744073709551615 47175258740240 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 521778565 52441088 353 33554432000 4194304 4627427 140735992589392 18446744073709551615 47175258740249 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.26344 s]
/proc/loadavg: 7.45 7.95 7.98 1/172 2333
/proc/meminfo: memFree=24399920/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=284096 CPUtime=1.02 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 2875 0 0 0 101 1 0 0 18 0 4 0 521778564 290914304 2043 33554432000 4194304 4627427 140735992589392 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 71024 2043 385 106 0 65995 0
[pid=2333/tid=2334] ppid=2331 vsize=284096 CPUtime=0.25 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 652 0 0 0 25 0 0 0 18 0 4 0 521778565 290914304 2043 33554432000 4194304 4627427 140735992589392 18446744073709551615 212687718583 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=284096 CPUtime=0.25 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 625 0 0 0 25 0 0 0 18 0 4 0 521778565 290914304 2043 33554432000 4194304 4627427 140735992589392 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=284096 CPUtime=0.25 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 536 0 0 0 25 0 0 0 18 0 4 0 521778565 290914304 2043 33554432000 4194304 4627427 140735992589392 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 284096

[startup+0.300485 s]
/proc/loadavg: 7.45 7.95 7.98 1/172 2333
/proc/meminfo: memFree=24399920/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=284096 CPUtime=1.18 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 3068 0 0 0 117 1 0 0 18 0 4 0 521778564 290914304 2236 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 71024 2236 385 106 0 65995 0
[pid=2333/tid=2334] ppid=2331 vsize=284096 CPUtime=0.28 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 696 0 0 0 28 0 0 0 18 0 4 0 521778565 290914304 2236 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=284096 CPUtime=0.29 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 668 0 0 0 29 0 0 0 18 0 4 0 521778565 290914304 2236 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=284096 CPUtime=0.29 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 599 0 0 0 29 0 0 0 18 0 4 0 521778565 290914304 2236 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284096

[startup+0.400468 s]
/proc/loadavg: 7.45 7.95 7.98 1/172 2333
/proc/meminfo: memFree=24399920/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=284272 CPUtime=1.57 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 3403 0 0 0 156 1 0 0 18 0 4 0 521778564 291094528 2571 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 71068 2571 385 106 0 66039 0
[pid=2333/tid=2334] ppid=2331 vsize=284272 CPUtime=0.38 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 777 0 0 0 38 0 0 0 18 0 4 0 521778565 291094528 2571 33554432000 4194304 4627427 140735992589392 18446744073709551615 212687371909 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=284272 CPUtime=0.39 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 753 0 0 0 39 0 0 0 18 0 4 0 521778565 291094528 2571 33554432000 4194304 4627427 140735992589392 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=284272 CPUtime=0.39 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 681 0 0 0 39 0 0 0 18 0 4 0 521778565 291094528 2571 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 284272

[startup+0.700413 s]
/proc/loadavg: 7.45 7.95 7.98 1/172 2333
/proc/meminfo: memFree=24399920/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=285136 CPUtime=2.77 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 4803 0 0 0 276 1 0 0 18 0 4 0 521778564 291979264 2912 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 71284 2912 385 106 0 66255 0
[pid=2333/tid=2334] ppid=2331 vsize=285136 CPUtime=0.68 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1121 0 0 0 68 0 0 0 18 0 4 0 521778565 291979264 2912 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=285136 CPUtime=0.69 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1097 0 0 0 69 0 0 0 18 0 4 0 521778565 291979264 2912 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=285136 CPUtime=0.69 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1065 0 0 0 69 0 0 0 18 0 4 0 521778565 291979264 2912 33554432000 4194304 4627427 140735992589392 18446744073709551615 4310577 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) 285136

[startup+1.50027 s]
/proc/loadavg: 7.45 7.95 7.98 9/184 2350
/proc/meminfo: memFree=24372876/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=286648 CPUtime=5.96 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 8326 0 0 0 595 1 0 0 20 0 4 0 521778564 293527552 3474 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 71662 3474 386 106 0 66633 0
[pid=2333/tid=2334] ppid=2331 vsize=286648 CPUtime=1.48 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1980 0 0 0 148 0 0 0 20 0 4 0 521778565 293527552 3474 33554432000 4194304 4627427 140735992589392 18446744073709551615 4327616 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=286648 CPUtime=1.48 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1976 0 0 0 148 0 0 0 20 0 4 0 521778565 293527552 3474 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308590 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=286648 CPUtime=1.49 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 1967 0 0 0 149 0 0 0 20 0 4 0 521778565 293527552 3474 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 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) 286648

[startup+3.10098 s]
/proc/loadavg: 7.50 7.95 7.98 9/184 2350
/proc/meminfo: memFree=24343612/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=284840 CPUtime=12.36 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 19964 0 0 0 1232 4 0 0 25 0 4 0 521778564 291676160 11161 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 71210 11161 389 106 0 66181 0
[pid=2333/tid=2334] ppid=2331 vsize=284840 CPUtime=3.07 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 4408 0 0 0 307 0 0 0 25 0 4 0 521778565 291676160 11161 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=284840 CPUtime=3.09 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 5244 0 0 0 308 1 0 0 25 0 4 0 521778565 291676160 11161 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=284840 CPUtime=3.09 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 5111 0 0 0 308 1 0 0 25 0 4 0 521778565 291676160 11161 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 284840

[startup+6.3004 s]
/proc/loadavg: 7.50 7.95 7.98 9/184 2350
/proc/meminfo: memFree=24304680/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=287328 CPUtime=25.15 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 30710 0 0 0 2508 7 0 0 25 0 4 0 521778564 294223872 15228 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 71832 15228 389 106 0 66803 0
[pid=2333/tid=2334] ppid=2331 vsize=287328 CPUtime=6.25 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 8333 0 0 0 624 1 0 0 25 0 4 0 521778565 294223872 15228 33554432000 4194304 4627427 140735992589392 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=287328 CPUtime=6.29 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 7431 0 0 0 627 2 0 0 25 0 4 0 521778565 294223872 15228 33554432000 4194304 4627427 140735992589392 18446744073709551615 4321477 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=287328 CPUtime=6.29 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 7329 0 0 0 628 1 0 0 25 0 4 0 521778565 294223872 15228 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 287328

[startup+12.7002 s]
/proc/loadavg: 7.89 8.02 8.00 12/184 2380
/proc/meminfo: memFree=24285116/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=282572 CPUtime=50.71 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 46461 0 0 0 5061 10 0 0 25 0 4 0 521778564 289353728 23354 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 70643 23354 389 106 0 65614 0
[pid=2333/tid=2334] ppid=2331 vsize=282572 CPUtime=12.62 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 12521 0 0 0 1260 2 0 0 25 0 4 0 521778565 289353728 23354 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=282572 CPUtime=12.68 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 11261 0 0 0 1266 2 0 0 25 0 4 0 521778565 289353728 23354 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=282572 CPUtime=12.69 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 11576 0 0 0 1267 2 0 0 25 0 4 0 521778565 289353728 23354 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 282572

[startup+25.5069 s]
/proc/loadavg: 7.90 8.02 8.00 9/184 2381
/proc/meminfo: memFree=24183040/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=301508 CPUtime=101.86 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 65805 0 0 0 10172 14 0 0 25 0 4 0 521778564 308744192 32513 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 75377 32513 389 106 0 70348 0
[pid=2333/tid=2334] ppid=2331 vsize=301508 CPUtime=25.35 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 17682 0 0 0 2532 3 0 0 25 0 4 0 521778565 308744192 32513 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=301508 CPUtime=25.48 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 19396 0 0 0 2545 3 0 0 25 0 4 0 521778565 308744192 32513 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=301508 CPUtime=25.5 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 14739 0 0 0 2547 3 0 0 25 0 4 0 521778565 308744192 32513 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 301508

[startup+51.1002 s]
/proc/loadavg: 7.93 8.02 8.00 9/184 2381
/proc/meminfo: memFree=24128660/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=302924 CPUtime=204.1 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 93187 0 0 0 20388 22 0 0 25 0 4 0 521778564 310194176 37557 33554432000 4194304 4627427 140735992589392 18446744073709551615 4333188 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 75731 37557 389 106 0 70702 0
[pid=2333/tid=2334] ppid=2331 vsize=302924 CPUtime=50.81 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 22375 0 0 0 5076 5 0 0 25 0 4 0 521778565 310194176 37557 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=302924 CPUtime=51.08 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 28395 0 0 0 5102 6 0 0 25 0 4 0 521778565 310194176 37557 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=302924 CPUtime=51.08 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 19167 0 0 0 5104 4 0 0 25 0 4 0 521778565 310194176 37557 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 302924

[startup+102.301 s]
/proc/loadavg: 8.02 8.03 8.00 9/184 2383
/proc/meminfo: memFree=24036256/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=369228 CPUtime=408.61 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 135543 0 0 0 40825 36 0 0 25 0 4 0 521778564 378089472 50268 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 92307 50268 389 106 0 87278 0
[pid=2333/tid=2334] ppid=2331 vsize=369228 CPUtime=101.73 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 33423 0 0 0 10166 7 0 0 25 0 4 0 521778565 378089472 50268 33554432000 4194304 4627427 140735992589392 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=369228 CPUtime=102.29 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 39584 0 0 0 10219 10 0 0 25 0 4 0 521778565 378089472 50268 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=369228 CPUtime=102.29 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 28449 0 0 0 10221 8 0 0 25 0 4 0 521778565 378089472 50268 33554432000 4194304 4627427 140735992589392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 369228

[startup+162.301 s]

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

[pid=2333] ppid=2331 vsize=757500 CPUtime=2805.34 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 412112 0 0 0 280393 141 0 0 25 0 4 0 521778564 775680000 106950 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 189375 106950 389 106 0 184346 0
[pid=2333/tid=2334] ppid=2331 vsize=757500 CPUtime=698.41 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 111754 0 0 0 69803 38 0 0 25 0 4 0 521778565 775680000 106950 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=757500 CPUtime=702.3 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 121350 0 0 0 70188 42 0 0 25 0 4 0 521778565 775680000 106950 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=757500 CPUtime=702.3 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 101250 0 0 0 70195 35 0 0 25 0 4 0 521778565 775680000 106950 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 757500

[startup+762.301 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 2401
/proc/meminfo: memFree=23552928/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=654108 CPUtime=3045.01 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 439257 0 0 0 304347 154 0 0 25 0 4 0 521778564 669806592 104511 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 163527 104511 389 106 0 158498 0
[pid=2333/tid=2334] ppid=2331 vsize=654108 CPUtime=758.08 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 120178 0 0 0 75765 43 0 0 25 0 4 0 521778565 669806592 104511 33554432000 4194304 4627427 140735992589392 18446744073709551615 4324341 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=654108 CPUtime=762.3 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 125720 0 0 0 76185 45 0 0 25 0 4 0 521778565 669806592 104511 33554432000 4194304 4627427 140735992589392 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=654108 CPUtime=762.31 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 111566 0 0 0 76193 38 0 0 25 0 4 0 521778565 669806592 104511 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 654108

[startup+822.301 s]
/proc/loadavg: 8.03 8.05 8.00 9/184 2403
/proc/meminfo: memFree=23522408/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=668948 CPUtime=3284.69 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 465707 0 0 0 328304 165 0 0 25 0 4 0 521778564 685002752 110347 33554432000 4194304 4627427 140735992589392 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 167237 110347 389 106 0 162208 0
[pid=2333/tid=2334] ppid=2331 vsize=668948 CPUtime=817.76 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 129725 0 0 0 81729 47 0 0 25 0 4 0 521778565 685002752 110347 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=668948 CPUtime=822.31 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 133144 0 0 0 82183 48 0 0 25 0 4 0 521778565 685002752 110347 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=668948 CPUtime=822.31 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 119853 0 0 0 82189 42 0 0 25 0 4 0 521778565 685002752 110347 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 668948

[startup+882.301 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 2405
/proc/meminfo: memFree=23480336/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=745504 CPUtime=3524.37 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 495746 0 0 0 352260 177 0 0 25 0 4 0 521778564 763396096 119053 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 186376 119053 389 106 0 181347 0
[pid=2333/tid=2334] ppid=2331 vsize=745504 CPUtime=877.43 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 140421 0 0 0 87693 50 0 0 25 0 4 0 521778565 763396096 119053 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=745504 CPUtime=882.32 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 140237 0 0 0 88181 51 0 0 25 0 4 0 521778565 763396096 119053 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=745504 CPUtime=882.31 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 127058 0 0 0 88185 46 0 0 25 0 4 0 521778565 763396096 119053 33554432000 4194304 4627427 140735992589392 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 745504

[startup+942.301 s]
/proc/loadavg: 8.00 8.03 8.00 9/184 2406
/proc/meminfo: memFree=23417804/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=745736 CPUtime=3764.03 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 524842 0 0 0 376216 187 0 0 25 0 4 0 521778564 763633664 129981 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 186434 129981 389 106 0 181405 0
[pid=2333/tid=2334] ppid=2331 vsize=745736 CPUtime=937.09 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 148238 0 0 0 93657 52 0 0 25 0 4 0 521778565 763633664 129981 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=745736 CPUtime=942.31 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 147533 0 0 0 94177 54 0 0 25 0 4 0 521778565 763633664 129981 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=745736 CPUtime=942.31 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 138241 0 0 0 94183 48 0 0 25 0 4 0 521778565 763633664 129981 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 745736

[startup+1002.31 s]
/proc/loadavg: 8.04 8.03 8.00 9/184 2408
/proc/meminfo: memFree=23392116/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=826356 CPUtime=4003.72 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 552165 0 0 0 400174 198 0 0 25 0 4 0 521778564 846188544 136405 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 206589 136405 389 106 0 201560 0
[pid=2333/tid=2334] ppid=2331 vsize=826356 CPUtime=996.76 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 157013 0 0 0 99620 56 0 0 25 0 4 0 521778565 846188544 136405 33554432000 4194304 4627427 140735992589392 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=826356 CPUtime=1002.31 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 155499 0 0 0 100174 57 0 0 25 0 4 0 521778565 846188544 136405 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=826356 CPUtime=1002.32 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 144659 0 0 0 100182 50 0 0 25 0 4 0 521778565 846188544 136405 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 826356

[startup+1062.3 s]
/proc/loadavg: 8.09 8.05 8.01 9/184 2409
/proc/meminfo: memFree=23379444/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=712336 CPUtime=4243.37 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 572963 0 0 0 424130 207 0 0 25 0 4 0 521778564 729432064 135470 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 178084 135470 389 106 0 173055 0
[pid=2333/tid=2334] ppid=2331 vsize=712336 CPUtime=1056.43 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 165746 0 0 0 105583 60 0 0 25 0 4 0 521778565 729432064 135470 33554432000 4194304 4627427 140735992589392 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=712336 CPUtime=1062.31 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 162244 0 0 0 106171 60 0 0 25 0 4 0 521778565 729432064 135470 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=712336 CPUtime=1062.31 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 148790 0 0 0 106179 52 0 0 25 0 4 0 521778565 729432064 135470 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 712336

[startup+1122.3 s]
/proc/loadavg: 8.17 8.09 8.02 9/184 2411
/proc/meminfo: memFree=23384736/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=765976 CPUtime=4483.04 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 588522 0 0 0 448090 214 0 0 25 0 4 0 521778564 784359424 136673 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 191494 136673 389 106 0 186465 0
[pid=2333/tid=2334] ppid=2331 vsize=765976 CPUtime=1116.1 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 166888 0 0 0 111549 61 0 0 25 0 4 0 521778565 784359424 136673 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=765976 CPUtime=1122.31 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 167985 0 0 0 112169 62 0 0 25 0 4 0 521778565 784359424 136673 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=765976 CPUtime=1122.31 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 155431 0 0 0 112176 55 0 0 25 0 4 0 521778565 784359424 136673 33554432000 4194304 4627427 140735992589392 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 765976

[startup+1182.3 s]
/proc/loadavg: 8.17 8.10 8.02 9/184 2413
/proc/meminfo: memFree=23348612/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=765652 CPUtime=4722.72 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 605039 0 0 0 472052 220 0 0 25 0 4 0 521778564 784027648 138727 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 191413 138727 389 106 0 186384 0
[pid=2333/tid=2334] ppid=2331 vsize=765652 CPUtime=1175.77 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 167752 0 0 0 117516 61 0 0 25 0 4 0 521778565 784027648 138727 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=765652 CPUtime=1182.31 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 174503 0 0 0 118166 65 0 0 25 0 4 0 521778565 784027648 138727 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=765652 CPUtime=1182.32 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 164108 0 0 0 118174 58 0 0 25 0 4 0 521778565 784027648 138727 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 765652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.11 8.02 9/184 2413
/proc/meminfo: memFree=23321064/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=819872 CPUtime=4800.22 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 608637 0 0 0 479800 222 0 0 25 0 4 0 521778564 839548928 141798 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 204968 141798 389 106 0 199939 0
[pid=2333/tid=2334] ppid=2331 vsize=819872 CPUtime=1195.05 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 167818 0 0 0 119444 61 0 0 25 0 4 0 521778565 839548928 141799 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=819872 CPUtime=1201.72 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 176249 0 0 0 120106 66 0 0 25 0 4 0 521778565 839548928 141799 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=819872 CPUtime=1201.72 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 165613 0 0 0 120114 58 0 0 25 0 4 0 521778565 839548928 141799 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 819872

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.17 8.11 8.02 9/184 2413
/proc/meminfo: memFree=23321064/32951124 swapFree=67111524/67111528
[pid=2333] ppid=2331 vsize=819872 CPUtime=4800.22 cores=0,2,4,6
/proc/2333/stat : 2333 (strangenight2-m) R 2331 2333 1225 0 -1 4202496 608637 0 0 0 479800 222 0 0 25 0 4 0 521778564 839548928 141798 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2333/statm: 204968 141798 389 106 0 199939 0
[pid=2333/tid=2334] ppid=2331 vsize=819872 CPUtime=1195.05 cores=0,2,4,6
/proc/2333/task/2334/stat : 2334 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 167818 0 0 0 119444 61 0 0 25 0 4 0 521778565 839548928 141799 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2333/tid=2335] ppid=2331 vsize=819872 CPUtime=1201.72 cores=0,2,4,6
/proc/2333/task/2335/stat : 2335 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 176249 0 0 0 120106 66 0 0 25 0 4 0 521778565 839548928 141799 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2333/tid=2336] ppid=2331 vsize=819872 CPUtime=1201.72 cores=0,2,4,6
/proc/2333/task/2336/stat : 2336 (strangenight2-m) R 2331 2333 1225 0 -1 4202560 165613 0 0 0 120114 58 0 0 25 0 4 0 521778565 839548928 141799 33554432000 4194304 4627427 140735992589392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 819872

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.28
CPU user time (s): 4798.03
CPU system time (s): 2.25166
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 891212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.03
system time used= 2.25166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 608639
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= 240
involuntary context switches= 23014

runsolver used 1.9547 second user time and 4.6123 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 20:30:08
IDJOB=3174135
IDBENCH=82953
IDSOLVER=1586
FILE ID=node139/3174135-1304101808
RUNJOBID= node139-1304101808-2323
PBS_JOBID= 13170601
Free space on /tmp= 72552 MiB

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

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

MD5SUM BENCH= 30f9bf8e3b9c70d1ebd1c611372c0c4a
RANDOM SEED=1670402887

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24399952 kB
Buffers:       2045056 kB
Cached:        5924016 kB
SwapCached:          4 kB
Active:         925452 kB
Inactive:      7106428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24399952 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5852 kB
Writeback:           0 kB
AnonPages:       62820 kB
Mapped:          14720 kB
Slab:           453996 kB
PageTables:       4412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190052 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= 72544 MiB
End job on node139 at 2011-04-29 20:50:12