Trace number 3366344

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.22 1203.54

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
MD5SUM2eb2fa74ab0dce335225200db81f6563
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
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-3366344-1305402158.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 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.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.06	c lits-rem:         2  cl-subs:        3  v-elim:     10  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:     278 undec:      66 neg:     256
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       590      2545         2         0      7706         0   no data   no data
0.22/0.16	c Decided on static restart strategy
0.62/0.17	c  N st     8      4920       590      2545         2      4859      7706    134457   no data   no data
1.83/0.51	c  N st    10     11304       590      2545         2      4494      7706     88235   no data   no data
3.17/0.81	c  N st    11     17047       590      2545         2     10158      7706    249605   no data   no data
4.41/1.16	c  F st    12     25003       590      2545         2     12398      7706    296777   no data   no data
4.41/1.16	c  N st    12     25003       590      2545         2     12398      7706    296777   no data   no data
5.56/1.40	c  N dy    18     30000       590      2545         2     10693      7706    231640   no data   no data
5.56/1.40	c  S st    18     30000       590      2545         2     10693      7706    231640   no data   no data
5.56/1.43	c  S st    18     30505       590      2545         2     11197      7706    243654   no data   no data
5.56/1.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.44	c blocked clauses removed:        9 vars:      1 tried:         590 T: 0.00 s
5.56/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
5.56/1.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.50	c lits-rem:        91  cl-subs:      413  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.50	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N dy    18     30505       589      2536         2     10784      7679    231331   no data   no data
6.76/1.74	c  N dy    41     34534       589      2536         2     14777      7679    334131     17.98     20.37
7.56/1.98	c  N dy    51     38892       589      2536         2     11270      7679    193564     17.14     18.17
8.80/2.23	c  N dy    70     42898       589      2536         2     15240      7679    294896     17.11     18.06
9.55/2.44	c  S st    84     45759       589      2536         2      9214      7679    112902     17.15     15.68
9.55/2.46	c  S st    84     46259       589      2536         2      9713      7679    126361     17.15   no data
9.55/2.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
9.55/2.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.48	c lits-rem:         3  cl-subs:       12  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.48	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
9.55/2.48	c vivif2 --  cl tried     9701 cl shrink        0 lits rem          0 time: 0.00
9.55/2.49	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
9.55/2.49	c calculated reachability. Time: 0.00
9.55/2.49	c  N dy    84     46259       589      2536         2      9701      7679    126044     17.15   no data
10.74/2.72	c  N dy    90     50269       589      2536         2     13667      7679    224651     16.88     17.82
11.55/3.00	c  N dy   109     54276       589      2536         2     17637      7679    323792     16.96     20.17
12.76/3.28	c  N dy   131     58521       589      2536         2     11967      7679    161221     17.01     18.12
13.93/3.53	c  N dy   154     62598       589      2536         2     16015      7679    267183     17.11     23.48
15.13/3.86	c  N dy   179     66945       589      2536         2     20330      7679    377198     17.19     18.20
15.93/4.05	c  S st   192     69389       589      2536         2     11852      7679    134460     17.20     14.89
15.93/4.09	c  S st   192     69891       589      2536         2     12351      7679    146853     17.20   no data
15.93/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.93/4.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
15.93/4.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.93/4.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.11	c lits-rem:         4  cl-subs:       26  v-elim:      0  v-fix:    0  time:  0.01 s
16.33/4.11	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
16.33/4.11	c vivif2 --  cl tried    12325 cl shrink        0 lits rem          0 time: 0.00
16.33/4.12	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
16.33/4.12	c calculated reachability. Time: 0.00
16.33/4.12	c  N dy   192     69891       589      2536         2     12325      7679    146092     17.20   no data
17.57/4.43	c  N dy   208     74594       589      2536         2     16980      7679    264103     17.17     18.35
19.12/4.80	c  N dy   227     79431       589      2536         2     21772      7679    384328     17.18     18.13
20.72/5.29	c  N dy   228     85972       589      2536         2     16344      7679    230141     16.92     17.84
21.12/5.40	c  F st   241     87501       589      2536         2     17865      7679    269773     16.97     15.54
23.10/5.80	c Decided on static restart strategy
23.10/5.80	c  N st   247     92693       589      2536         2     23001      7679    408913     16.97   no data
25.10/6.36	c  N st   249     99804       589      2536         2     17162      7679    370145     16.97   no data
27.10/6.82	c  S st   250    104839       589      2536         2     22103      7679    500968     16.97   no data
27.10/6.88	c  S st   250    105345       589      2536         2     22606      7679    513997     16.97   no data
27.10/6.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.10/6.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.10/6.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.10/6.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.10/6.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
27.10/6.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.10/6.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.50/6.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.14	c lits-rem:       240  cl-subs:      896  v-elim:      0  v-fix:    0  time:  0.23 s
28.29/7.14	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
28.29/7.15	c vivif2 --  cl tried    21710 cl shrink        0 lits rem          0 time: 0.01
28.29/7.16	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.01
28.29/7.16	c calculated reachability. Time: 0.00
28.29/7.16	c  N st   250    105345       589      2536         2     21710      7679    486011     16.97   no data
31.89/8.08	c  N st   251    114943       589      2536         2     17331      7679    308130     16.97   no data
37.47/9.44	c  N st   252    129341       589      2536         2     16766      7679    308146     16.97   no data
45.04/11.31	c  N st   253    150940       589      2536         2     22243      7679    403605     16.97   no data
47.86/12.06	c  S st   254    158017       589      2536         2     29183      7679    608059     16.97   no data
48.28/12.13	c  S st   254    158518       589      2536         2     29682      7679    620785     16.97   no data
48.28/12.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.28/12.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.28/12.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.28/12.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.28/12.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.28/12.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
48.28/12.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.28/12.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.28/12.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.63/12.73	c lits-rem:       326  cl-subs:     1637  v-elim:      0  v-fix:    0  time:  0.56 s
50.63/12.73	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
50.63/12.74	c vivif2 --  cl tried    28045 cl shrink        0 lits rem          0 time: 0.01
50.63/12.76	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
50.63/12.76	c calculated reachability. Time: 0.00
50.63/12.76	c  N st   254    158518       589      2536         2     28045      7679    574235     16.97   no data
70.57/17.70	c  N st   255    207108       589      2536         2     22770      7679    385659     16.97   no data
82.96/20.91	c  N st   256    237780       589      2536         2     33227      7679    636343     16.97   no data
82.96/20.91	c  S st   256    237780       589      2536         2     33227      7679    636343     16.97   no data
83.38/20.99	c  S st   256    238284       589      2536         2     33731      7679    649343     16.97   no data
83.38/20.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.73/21.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.73/21.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.73/21.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.73/21.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.73/21.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
83.73/21.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.73/21.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.73/21.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.74/21.52	c lits-rem:       137  cl-subs:     1314  v-elim:      0  v-fix:    0  time:  0.49 s
85.74/21.52	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
85.74/21.53	c vivif2 --  cl tried    32417 cl shrink        0 lits rem          0 time: 0.01
85.74/21.55	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
85.74/21.55	c calculated reachability. Time: 0.00
85.74/21.55	c  N st   256    238284       589      2536         2     32417      7679    615014     16.97   no data
117.65/29.54	c  F st   257    306250       589      2536         2     34438      7679    652849     16.97   no data
117.65/29.54	c  N st   257    306250       589      2536         2     34438      7679    652849     16.97   no data
120.44/30.22	c Decided on static restart strategy
132.80/33.33	c  N st   267    334551       589      2536         2     38717      7679    718369     16.97   no data
144.39/36.30	c  N st   269    357427       589      2536         2     36686      7679    643293     16.97   no data
144.39/36.30	c  S st   269    357427       589      2536         2     36686      7679    643293     16.97   no data
145.16/36.40	c  S st   269    357934       589      2536         2     37193      7679    656248     16.97   no data
145.16/36.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.16/36.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
145.16/36.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.16/36.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.16/36.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.16/36.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
145.16/36.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.16/36.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.16/36.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.36/36.76	c lits-rem:       130  cl-subs:      831  v-elim:      0  v-fix:    0  time:  0.31 s
146.36/36.76	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
146.36/36.76	c vivif2 --  cl tried    36362 cl shrink        0 lits rem          0 time: 0.01
146.36/36.79	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.02
146.36/36.79	c calculated reachability. Time: 0.00
146.36/36.79	c  N st   269    357934       589      2536         2     36362      7679    631694     16.97   no data
164.71/41.32	c  N st   270    390327       589      2536         2     42534      7679    778186     16.97   no data
191.83/48.13	c  N st   271    438916       589      2536         2     36260      7679    571485     16.97   no data
235.31/59.05	c  N st   272    511798       589      2536         2     49933      7679    893534     16.97   no data
252.06/63.23	c  N st   273    536901       589      2536         2     44038      7679    681808     16.97   no data
252.06/63.23	c  S st   273    536901       589      2536         2     44038      7679    681808     16.97   no data
252.46/63.34	c  S st   273    537404       589      2536         2     44540      7679    694032     16.97   no data
252.46/63.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.46/63.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
252.46/63.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.46/63.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.46/63.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.46/63.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
252.46/63.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
252.46/63.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.46/63.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.84/63.97	c lits-rem:       216  cl-subs:     1747  v-elim:      0  v-fix:    0  time:  0.57 s
254.84/63.97	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
254.84/63.98	c vivif2 --  cl tried    42793 cl shrink        0 lits rem          0 time: 0.01
255.24/64.01	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.03
255.24/64.01	c calculated reachability. Time: 0.00
255.24/64.01	c  N st   273    537404       589      2536         2     42793      7679    653665     16.97   no data
363.34/91.15	c  N st   274    701389       589      2536         2     37096      7679    432723     16.97   no data
447.12/112.17	c  N st   275    806107       589      2536         2     65923      7679   1215281     16.97   no data
447.12/112.17	c  S st   275    806107       589      2536         2     65923      7679   1215281     16.97   no data
447.89/112.38	c  S st   275    806611       589      2536         2     66427      7679   1228058     16.97   no data
447.89/112.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
448.29/112.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
448.29/112.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
448.29/112.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
448.29/112.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
448.29/112.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
448.29/112.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
448.29/112.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
448.29/112.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
463.06/116.11	c lits-rem:       479  cl-subs:     3691  v-elim:      0  v-fix:    0  time:  3.65 s
463.06/116.11	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
463.06/116.13	c vivif2 --  cl tried    62736 cl shrink        0 lits rem          0 time: 0.02
463.06/116.18	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.06
463.06/116.18	c calculated reachability. Time: 0.00
463.06/116.18	c  N st   275    806611       589      2536         2     62736      7679   1127259     16.97   no data
694.39/174.18	c  F st   276   1071876       589      2536         2     78888      7679   1506707     16.97   no data
694.39/174.18	c  N st   276   1071876       589      2536         2     78888      7679   1506707     16.97   no data
701.17/175.87	c Decided on static restart strategy
721.51/180.94	c  N st   286   1100179       589      2536         2     62547      7679   1001945     16.97   no data
757.39/189.93	c  N st   288   1136172       589      2536         2     52754      7679    689744     16.97   no data
785.71/197.07	c  N st   289   1168565       589      2536         2     84730      7679   1624114     16.97   no data
828.40/207.72	c  N st   290   1209916       589      2536         2     79101      7679   1393732     16.97   no data
828.40/207.72	c  S st   290   1209916       589      2536         2     79101      7679   1393732     16.97   no data
829.24/207.97	c  S st   290   1210418       589      2536         2     79603      7679   1407518     16.97   no data
829.24/207.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
829.58/208.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
829.58/208.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
829.58/208.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
829.58/208.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
829.58/208.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
829.58/208.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
829.58/208.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
829.58/208.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
841.98/211.13	c lits-rem:       296  cl-subs:     3208  v-elim:      0  v-fix:    0  time:  3.05 s
841.98/211.13	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
841.98/211.15	c vivif2 --  cl tried    76395 cl shrink        0 lits rem          0 time: 0.02
842.40/211.22	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.07
842.40/211.23	c calculated reachability. Time: 0.00
842.40/211.23	c  N st   290   1210418       589      2536         2     76395      7679   1320542     16.97   no data
920.94/231.00	c  N st   291   1283300       589      2536         2     52532      7679    625638     16.97   no data
1031.41/258.68	c  N st   292   1392623       589      2536         2     60870      7679    817199     16.97   no data
1186.56/297.58	c  N st   293   1556610       589      2536         2     65436      7679    887733     16.97   no data
1343.30/336.86	c  N st   294   1710419       589      2536         2    107046      7679   2029788     16.97   no data
1343.30/336.86	c  S st   294   1710419       589      2536         2    107046      7679   2029788     16.97   no data
1344.90/337.21	c  S st   294   1710921       589      2536         2    107547      7679   2042882     16.97   no data
1344.90/337.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1344.90/337.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1344.90/337.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1344.90/337.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1344.90/337.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1344.90/337.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
1344.90/337.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1345.30/337.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1345.30/337.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.52/352.45	c lits-rem:      1317  cl-subs:     8185  v-elim:      0  v-fix:    0  time: 15.09 s
1405.52/352.45	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
1405.52/352.48	c vivif2 --  cl tried    99362 cl shrink        0 lits rem          0 time: 0.03
1405.92/352.58	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.10
1405.92/352.58	c calculated reachability. Time: 0.00
1405.92/352.58	c  N st   294   1710921       589      2536         2     99362      7679   1822037     16.97   no data
1819.14/456.17	c  N st   295   2079888       589      2536         2    110847      7679   1958947     16.97   no data
1982.68/497.14	c  N st   296   2210922       589      2536         2    115007      7679   2064138     16.97   no data
1982.68/497.14	c  S st   296   2210922       589      2536         2    115007      7679   2064138     16.97   no data
1984.25/497.50	c  S st   296   2211423       589      2536         2    115508      7679   2077636     16.97   no data
1984.25/497.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1984.25/497.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1984.25/497.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1984.25/497.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1984.25/497.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1984.25/497.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
1984.25/497.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1984.25/497.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1984.66/497.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2064.82/517.78	c lits-rem:      1209  cl-subs:    10883  v-elim:      0  v-fix:    0  time: 20.12 s
2064.82/517.78	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
2065.22/517.81	c vivif2 --  cl tried   104625 cl shrink        0 lits rem          0 time: 0.03
2065.62/517.91	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.11
2065.62/517.92	c calculated reachability. Time: 0.00
2065.62/517.92	c  N st   296   2211423       589      2536         2    104625      7679   1784922     16.97   no data
2697.83/676.41	c  N st   297   2711423       589      2536         2    128674      7679   2426232     16.97   no data
2697.83/676.41	c  S st   297   2711423       589      2536         2    128674      7679   2426232     16.97   no data
2699.40/676.86	c  S st   297   2711927       589      2536         2    129178      7679   2439537     16.97   no data
2699.40/676.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2699.80/676.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2699.80/676.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2699.80/676.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2699.80/676.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2699.80/676.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
2699.80/676.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2699.80/676.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2700.20/677.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2770.39/694.66	c lits-rem:       796  cl-subs:     6969  v-elim:      0  v-fix:    0  time: 17.62 s
2770.39/694.66	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
2770.79/694.70	c vivif2 --  cl tried   122209 cl shrink        0 lits rem          0 time: 0.03
2771.19/694.83	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.13
2771.19/694.84	c calculated reachability. Time: 0.00
2771.19/694.84	c  N st   297   2711927       589      2536         2    122209      7679   2244560     16.97   no data
3463.98/868.56	c  N st   298   3211930       589      2536         2     97886      7679   1400010     16.97   no data
3463.98/868.56	c  S st   298   3211930       589      2536         2     97886      7679   1400010     16.97   no data
3465.18/868.88	c  S st   298   3212435       589      2536         2     98391      7679   1413479     16.97   no data
3465.18/868.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3465.60/868.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3465.60/868.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3465.60/868.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3465.60/868.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3465.60/868.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
3465.60/868.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3465.60/868.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3465.60/869.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3477.14/871.83	c lits-rem:       383  cl-subs:     3124  v-elim:      0  v-fix:    0  time:  2.84 s
3477.14/871.83	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
3477.14/871.86	c vivif2 --  cl tried    95267 cl shrink        0 lits rem          0 time: 0.02
3477.54/871.95	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.09
3477.54/871.95	c calculated reachability. Time: 0.00
3477.54/871.95	c  N st   298   3212435       589      2536         2     95267      7679   1327420     16.97   no data
4240.56/1063.23	c  N st   299   3712435       589      2536         2    106150      7679   1486302     16.97   no data
4240.56/1063.23	c  S st   299   3712435       589      2536         2    106150      7679   1486302     16.97   no data
4242.17/1063.62	c  S st   299   3712939       589      2536         2    106654      7679   1499877     16.97   no data
4242.17/1063.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4242.17/1063.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4242.17/1063.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4242.17/1063.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4242.17/1063.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4242.17/1063.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    589 time:  0.00 s
4242.17/1063.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4242.59/1063.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4242.59/1063.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4252.92/1066.38	c lits-rem:       399  cl-subs:     2968  v-elim:      0  v-fix:    0  time:  2.60 s
4252.92/1066.38	c vivif2 --  cl tried     2536 cl shrink        0 lits rem          0 time: 0.00
4253.32/1066.40	c vivif2 --  cl tried   103686 cl shrink        0 lits rem          0 time: 0.02
4253.72/1066.50	c asymm  cl-useful: 0/2536/2536 lits-rem:0 time: 0.10
4253.72/1066.51	c calculated reachability. Time: 0.00
4253.72/1066.51	c  N st   299   3712939       589      2536         2    103686      7679   1425653     16.97   no data
4320.72/1083.32	c  F st   300   3751563       589      2536         2    141322      7679   2410949     16.97   no data
4320.72/1083.33	c  N st   300   3751563       589      2536         2    141322      7679   2410949     16.97   no data
4333.08/1086.40	c Decided on static restart strategy
4384.54/1099.40	c  N st   310   3779872       589      2536         2     86080      7679    880841     16.97   no data
4432.79/1111.48	c  N st   312   3815864       589      2536         2    121491      7679   1878497     16.97   no data
4487.43/1125.10	c  N st   313   3848256       589      2536         2    153099      7679   2711539     16.97   no data
4554.83/1142.08	c  N st   314   3896845       589      2536         2    116672      7679   1737752     16.97   no data
4668.89/1170.61	c  N st   315   3969729       589      2536         2    102739      7679   1302147     16.97   no data

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366344-1305402158/watcher-3366344-1305402158 -o /tmp/evaluation-result-3366344-1305402158/solver-3366344-1305402158 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366344-1305402158.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.21 8.13 8.04 5/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 406 0 0 0 0 0 0 0 18 0 4 0 651813785 52396032 347 33554432000 4194304 4580107 140735806087872 18446744073709551615 47654694102956 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 12792 347 299 95 0 7774 0
[pid=12775/tid=12778] ppid=12772 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651813786 52396032 347 33554432000 4194304 4580107 140735806087872 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651813786 52396032 347 33554432000 4194304 4580107 140735806087872 18446744073709551615 47654694102962 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 651813786 52396032 347 33554432000 4194304 4580107 140735806087872 18446744073709551615 47654694102962 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0635109 s]
/proc/loadavg: 8.21 8.13 8.04 5/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=347616 CPUtime=0.22 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 1618 0 0 0 22 0 0 0 19 0 4 0 651813785 355958784 1469 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 86904 1469 376 95 0 81886 0
[pid=12775/tid=12778] ppid=12772 vsize=347616 CPUtime=0.04 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 288 0 0 0 4 0 0 0 20 0 4 0 651813786 355958784 1469 33554432000 4194304 4580107 140735806087872 18446744073709551615 4322517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=347616 CPUtime=0.05 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 327 0 0 0 5 0 0 0 20 0 4 0 651813786 355958784 1469 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=347616 CPUtime=0.05 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 222 0 0 0 5 0 0 0 20 0 4 0 651813786 355958784 1469 33554432000 4194304 4580107 140735806087872 18446744073709551615 228244017519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 347616

[startup+0.163449 s]
/proc/loadavg: 8.21 8.13 8.04 5/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=347884 CPUtime=0.62 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 2091 0 0 0 62 0 0 0 19 0 4 0 651813785 356233216 1942 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294558 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 86971 1942 377 95 0 81953 0
[pid=12775/tid=12778] ppid=12772 vsize=347884 CPUtime=0.14 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 399 0 0 0 14 0 0 0 20 0 4 0 651813786 356233216 1942 33554432000 4194304 4580107 140735806087872 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=347884 CPUtime=0.15 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 444 0 0 0 15 0 0 0 20 0 4 0 651813786 356233216 1942 33554432000 4194304 4580107 140735806087872 18446744073709551615 4305991 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=347884 CPUtime=0.15 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 343 0 0 0 15 0 0 0 20 0 4 0 651813786 356233216 1942 33554432000 4194304 4580107 140735806087872 18446744073709551615 4321364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 347884

[startup+0.364395 s]
/proc/loadavg: 8.21 8.13 8.04 5/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=349352 CPUtime=1.42 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 3170 0 0 0 142 0 0 0 19 0 4 0 651813785 357736448 2390 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293155 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 87338 2390 377 95 0 82320 0
[pid=12775/tid=12778] ppid=12772 vsize=349352 CPUtime=0.34 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 650 0 0 0 34 0 0 0 20 0 4 0 651813786 357736448 2390 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=349352 CPUtime=0.35 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 715 0 0 0 35 0 0 0 20 0 4 0 651813786 357736448 2390 33554432000 4194304 4580107 140735806087872 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=349352 CPUtime=0.35 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 615 0 0 0 35 0 0 0 20 0 4 0 651813786 357736448 2390 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 349352

[startup+0.700337 s]
/proc/loadavg: 8.21 8.13 8.04 5/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=350368 CPUtime=2.77 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 4606 0 0 0 276 1 0 0 19 0 4 0 651813785 358776832 2841 33554432000 4194304 4580107 140735806087872 18446744073709551615 4318683 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 87592 2841 377 95 0 82574 0
[pid=12775/tid=12778] ppid=12772 vsize=350368 CPUtime=0.68 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 990 0 0 0 68 0 0 0 21 0 4 0 651813786 358776832 2841 33554432000 4194304 4580107 140735806087872 18446744073709551615 4322534 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=350368 CPUtime=0.69 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 1086 0 0 0 69 0 0 0 21 0 4 0 651813786 358776832 2841 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294487 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=350368 CPUtime=0.69 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 955 0 0 0 69 0 0 0 21 0 4 0 651813786 358776832 2842 33554432000 4194304 4580107 140735806087872 18446744073709551615 4489516 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) 350368

[startup+1.5002 s]
/proc/loadavg: 8.35 8.16 8.05 9/346 12785
/proc/meminfo: memFree=18143796/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=357740 CPUtime=5.96 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 9339 0 0 0 594 2 0 0 21 0 4 0 651813785 366325760 4885 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 89435 4885 379 95 0 84417 0
[pid=12775/tid=12778] ppid=12772 vsize=357740 CPUtime=1.46 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 1812 0 0 0 146 0 0 0 23 0 4 0 651813786 366325760 4885 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=357740 CPUtime=1.48 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 1912 0 0 0 148 0 0 0 23 0 4 0 651813786 366325760 4885 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=357740 CPUtime=1.49 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 1786 0 0 0 149 0 0 0 23 0 4 0 651813786 366325760 4885 33554432000 4194304 4580107 140735806087872 18446744073709551615 4306048 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) 357740

[startup+3.10092 s]
/proc/loadavg: 8.35 8.16 8.05 10/346 12785
/proc/meminfo: memFree=18107216/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=340252 CPUtime=12.35 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 18092 0 0 0 1231 4 0 0 25 0 4 0 651813785 348418048 10777 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 85063 10777 380 95 0 80045 0
[pid=12775/tid=12778] ppid=12772 vsize=340252 CPUtime=3.06 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 4013 0 0 0 305 1 0 0 25 0 4 0 651813786 348418048 10777 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=340252 CPUtime=3.09 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 5168 0 0 0 308 1 0 0 25 0 4 0 651813786 348418048 10777 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=340252 CPUtime=3.09 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 3918 0 0 0 309 0 0 0 25 0 4 0 651813786 348418048 10777 33554432000 4194304 4580107 140735806087872 18446744073709551615 4295901 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) 340252

[startup+6.30036 s]
/proc/loadavg: 8.35 8.16 8.05 10/346 12785
/proc/meminfo: memFree=18050328/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=342284 CPUtime=25.1 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 27058 0 0 0 2505 5 0 0 25 0 4 0 651813785 350498816 14761 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 85571 14761 379 95 0 80553 0
[pid=12775/tid=12778] ppid=12772 vsize=342284 CPUtime=6.21 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 7180 0 0 0 620 1 0 0 25 0 4 0 651813786 350498816 14761 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=342284 CPUtime=6.29 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 7567 0 0 0 628 1 0 0 25 0 4 0 651813786 350498816 14762 33554432000 4194304 4580107 140735806087872 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=342284 CPUtime=6.28 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 5554 0 0 0 628 0 0 0 25 0 4 0 651813786 350498816 14762 33554432000 4194304 4580107 140735806087872 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 342284

[startup+12.7002 s]
/proc/loadavg: 8.45 8.18 8.06 10/346 12786
/proc/meminfo: memFree=17990392/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=349512 CPUtime=50.63 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 45457 0 0 0 5053 10 0 0 25 0 4 0 651813785 357900288 21504 33554432000 4194304 4580107 140735806087872 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 87378 21504 379 95 0 82360 0
[pid=12775/tid=12778] ppid=12772 vsize=349512 CPUtime=12.54 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 11306 0 0 0 1252 2 0 0 25 0 4 0 651813786 357900288 21504 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=349512 CPUtime=12.69 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 10358 0 0 0 1267 2 0 0 25 0 4 0 651813786 357900288 21504 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=349512 CPUtime=12.69 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 11045 0 0 0 1267 2 0 0 25 0 4 0 651813786 357900288 21504 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 349512

[startup+25.501 s]
/proc/loadavg: 8.38 8.18 8.06 10/346 12786
/proc/meminfo: memFree=17921808/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=406940 CPUtime=101.68 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 68414 0 0 0 10154 14 0 0 25 0 4 0 651813785 416706560 32048 33554432000 4194304 4580107 140735806087872 18446744073709551615 4321718 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 101735 32048 379 95 0 96717 0
[pid=12775/tid=12778] ppid=12772 vsize=406940 CPUtime=25.19 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 17660 0 0 0 2516 3 0 0 25 0 4 0 651813786 416706560 32048 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=406940 CPUtime=25.49 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 16330 0 0 0 2546 3 0 0 25 0 4 0 651813786 416706560 32048 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=406940 CPUtime=25.48 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 16189 0 0 0 2545 3 0 0 25 0 4 0 651813786 416706560 32048 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 406940

[startup+51.1005 s]
/proc/loadavg: 8.23 8.16 8.06 10/346 12787
/proc/meminfo: memFree=17871424/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=378736 CPUtime=203.79 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 95917 0 0 0 20357 22 0 0 25 0 4 0 651813785 387825664 32859 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 94684 32859 379 95 0 89666 0
[pid=12775/tid=12778] ppid=12772 vsize=378736 CPUtime=50.5 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 22896 0 0 0 5045 5 0 0 25 0 4 0 651813786 387825664 32860 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=378736 CPUtime=51.08 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 21085 0 0 0 5104 4 0 0 25 0 4 0 651813786 387825664 32860 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=378736 CPUtime=51.09 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 24970 0 0 0 5103 6 0 0 25 0 4 0 651813786 387825664 32860 33554432000 4194304 4580107 140735806087872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 378736

[startup+102.314 s]
/proc/loadavg: 8.18 8.16 8.06 10/346 12788
/proc/meminfo: memFree=17797268/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=395072 CPUtime=408.06 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 144684 0 0 0 40770 36 0 0 25 0 4 0 651813785 404553728 40403 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 98768 40403 379 95 0 93750 0
[pid=12775/tid=12778] ppid=12772 vsize=395072 CPUtime=101.12 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 31584 0 0 0 10104 8 0 0 25 0 4 0 651813786 404553728 40403 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=395072 CPUtime=102.3 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 31488 0 0 0 10223 7 0 0 25 0 4 0 651813786 404553728 40403 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=395072 CPUtime=102.3 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 40485 0 0 0 10220 10 0 0 25 0 4 0 651813786 404553728 40403 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 395072

[startup+162.301 s]

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

[pid=12775] ppid=12772 vsize=614436 CPUtime=2801.1 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 440775 0 0 0 279955 155 0 0 25 0 4 0 651813785 629182464 93222 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 153609 93222 379 95 0 148591 0
[pid=12775/tid=12778] ppid=12772 vsize=614436 CPUtime=694.19 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 83960 0 0 0 69388 31 0 0 25 0 4 0 651813786 629182464 93222 33554432000 4194304 4580107 140735806087872 18446744073709551615 4325732 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=614436 CPUtime=702.28 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 115292 0 0 0 70190 38 0 0 25 0 4 0 651813786 629182464 93222 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=614436 CPUtime=702.3 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 119075 0 0 0 70187 43 0 0 25 0 4 0 651813786 629182464 93222 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.1
Current children cumulated vsize (KiB) 614436

[startup+762.314 s]
/proc/loadavg: 8.06 8.11 8.08 10/346 12806
/proc/meminfo: memFree=17328232/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=545480 CPUtime=3040.46 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 463849 0 0 0 303882 164 0 0 25 0 4 0 651813785 558571520 95889 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 136370 95889 379 95 0 131352 0
[pid=12775/tid=12778] ppid=12772 vsize=545480 CPUtime=753.51 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 85524 0 0 0 75319 32 0 0 25 0 4 0 651813786 558571520 95889 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=545480 CPUtime=762.29 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 121681 0 0 0 76189 40 0 0 25 0 4 0 651813786 558571520 95889 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=545480 CPUtime=762.32 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 125709 0 0 0 76186 46 0 0 25 0 4 0 651813786 558571520 95889 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.46
Current children cumulated vsize (KiB) 545480

[startup+822.3 s]
/proc/loadavg: 8.07 8.11 8.08 10/346 12807
/proc/meminfo: memFree=17322388/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=546996 CPUtime=3279.72 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 489163 0 0 0 327799 173 0 0 25 0 4 0 651813785 560123904 99298 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 136749 99298 379 95 0 131731 0
[pid=12775/tid=12778] ppid=12772 vsize=546996 CPUtime=812.8 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 90764 0 0 0 81246 34 0 0 25 0 4 0 651813786 560123904 99298 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=546996 CPUtime=822.28 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 127679 0 0 0 82186 42 0 0 25 0 4 0 651813786 560123904 99298 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=546996 CPUtime=822.3 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 132297 0 0 0 82182 48 0 0 25 0 4 0 651813786 560123904 99298 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.72
Current children cumulated vsize (KiB) 546996

[startup+882.301 s]
/proc/loadavg: 8.07 8.10 8.08 10/346 12809
/proc/meminfo: memFree=17289376/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=558960 CPUtime=3519.03 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 510563 0 0 0 351718 185 0 0 25 0 4 0 651813785 572375040 103797 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 139740 103797 379 95 0 134722 0
[pid=12775/tid=12778] ppid=12772 vsize=558960 CPUtime=872.11 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 94952 0 0 0 87174 37 0 0 25 0 4 0 651813786 572375040 103797 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=558960 CPUtime=882.28 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 134181 0 0 0 88183 45 0 0 25 0 4 0 651813786 572375040 103797 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=558960 CPUtime=882.31 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 136420 0 0 0 88180 51 0 0 25 0 4 0 651813786 572375040 103797 33554432000 4194304 4580107 140735806087872 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.03
Current children cumulated vsize (KiB) 558960

[startup+942.3 s]
/proc/loadavg: 8.07 8.09 8.08 10/346 12810
/proc/meminfo: memFree=17267168/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=636548 CPUtime=3758.36 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 534089 0 0 0 375641 195 0 0 25 0 4 0 651813785 651825152 110373 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 159137 110373 379 95 0 154119 0
[pid=12775/tid=12778] ppid=12772 vsize=636548 CPUtime=931.44 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 98218 0 0 0 93105 39 0 0 25 0 4 0 651813786 651825152 110373 33554432000 4194304 4580107 140735806087872 18446744073709551615 4321020 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=636548 CPUtime=942.27 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 141340 0 0 0 94181 46 0 0 25 0 4 0 651813786 651825152 110373 33554432000 4194304 4580107 140735806087872 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=636548 CPUtime=942.31 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 142690 0 0 0 94176 55 0 0 25 0 4 0 651813786 651825152 110373 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.36
Current children cumulated vsize (KiB) 636548

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.09 10/346 12812
/proc/meminfo: memFree=17233548/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=688876 CPUtime=3997.64 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 551778 0 0 0 399561 203 0 0 25 0 4 0 651813785 705409024 109911 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 172219 109911 379 95 0 167201 0
[pid=12775/tid=12778] ppid=12772 vsize=688876 CPUtime=990.73 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 98248 0 0 0 99034 39 0 0 25 0 4 0 651813786 705409024 109911 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=688876 CPUtime=1002.28 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 146027 0 0 0 100179 49 0 0 25 0 4 0 651813786 705409024 109911 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=688876 CPUtime=1002.31 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 148772 0 0 0 100174 57 0 0 25 0 4 0 651813786 705409024 109911 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.64
Current children cumulated vsize (KiB) 688876

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 8.09 10/346 12814
/proc/meminfo: memFree=17191500/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=702656 CPUtime=4236.97 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 574114 0 0 0 423485 212 0 0 25 0 4 0 651813785 719519744 116820 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294363 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 175664 116820 379 95 0 170646 0
[pid=12775/tid=12778] ppid=12772 vsize=702656 CPUtime=1050.05 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 104360 0 0 0 104964 41 0 0 25 0 4 0 651813786 719519744 116820 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=702656 CPUtime=1062.27 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 149058 0 0 0 106177 50 0 0 25 0 4 0 651813786 719519744 116820 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=702656 CPUtime=1062.31 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 155198 0 0 0 106172 59 0 0 25 0 4 0 651813786 719519744 116820 33554432000 4194304 4580107 140735806087872 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.97
Current children cumulated vsize (KiB) 702656

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 8.09 10/346 12824
/proc/meminfo: memFree=17180100/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=702916 CPUtime=4476.26 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 593583 0 0 0 447406 220 0 0 25 0 4 0 651813785 719785984 117335 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 175729 117335 379 95 0 170711 0
[pid=12775/tid=12778] ppid=12772 vsize=702916 CPUtime=1109.36 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 108502 0 0 0 110893 43 0 0 25 0 4 0 651813786 719785984 117335 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=702916 CPUtime=1122.26 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 152368 0 0 0 112175 51 0 0 25 0 4 0 651813786 719785984 117335 33554432000 4194304 4580107 140735806087872 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=702916 CPUtime=1122.31 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 162348 0 0 0 112169 62 0 0 25 0 4 0 651813786 719785984 117335 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.26
Current children cumulated vsize (KiB) 702916

[startup+1182.3 s]
/proc/loadavg: 8.42 8.18 8.11 10/346 12826
/proc/meminfo: memFree=17155984/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=796372 CPUtime=4715.56 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 614613 0 0 0 471326 230 0 0 25 0 4 0 651813785 815484928 122549 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 199093 122549 379 95 0 194075 0
[pid=12775/tid=12778] ppid=12772 vsize=796372 CPUtime=1168.66 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 113487 0 0 0 116820 46 0 0 25 0 4 0 651813786 815484928 122549 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=796372 CPUtime=1182.27 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 156087 0 0 0 118174 53 0 0 25 0 4 0 651813786 815484928 122549 33554432000 4194304 4580107 140735806087872 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=796372 CPUtime=1182.31 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 167825 0 0 0 118166 65 0 0 25 0 4 0 651813786 815484928 122549 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.56
Current children cumulated vsize (KiB) 796372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.30 8.16 8.11 10/346 12826
/proc/meminfo: memFree=17146924/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=703284 CPUtime=4800.14 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 623972 0 0 0 479779 235 0 0 25 0 4 0 651813785 720162816 123807 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 175821 123807 379 95 0 170803 0
[pid=12775/tid=12778] ppid=12772 vsize=703284 CPUtime=1189.61 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 114668 0 0 0 118914 47 0 0 25 0 4 0 651813786 720162816 123809 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=703284 CPUtime=1203.48 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 159033 0 0 0 120294 54 0 0 25 0 4 0 651813786 720162816 123809 33554432000 4194304 4580107 140735806087872 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=703284 CPUtime=1203.52 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 170673 0 0 0 120285 67 0 0 25 0 4 0 651813786 720162816 123809 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 703284

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

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

[startup+1203.5 s]
/proc/loadavg: 8.30 8.16 8.11 10/346 12826
/proc/meminfo: memFree=17146924/32951124 swapFree=67082152/67111528
[pid=12775] ppid=12772 vsize=703284 CPUtime=4800.14 cores=0,2,4,6
/proc/12775/stat : 12775 (strangenight2-m) R 12772 12775 12350 0 -1 4202496 623972 0 0 0 479779 235 0 0 25 0 4 0 651813785 720162816 123807 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12775/statm: 175821 123807 379 95 0 170803 0
[pid=12775/tid=12778] ppid=12772 vsize=703284 CPUtime=1189.61 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 114668 0 0 0 118914 47 0 0 25 0 4 0 651813786 720162816 123809 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12775/tid=12780] ppid=12772 vsize=703284 CPUtime=1203.48 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 159033 0 0 0 120294 54 0 0 25 0 4 0 651813786 720162816 123809 33554432000 4194304 4580107 140735806087872 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12775/tid=12782] ppid=12772 vsize=703284 CPUtime=1203.52 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (strangenight2-m) R 12772 12775 12350 0 -1 4202560 170673 0 0 0 120285 67 0 0 25 0 4 0 651813786 720162816 123809 33554432000 4194304 4580107 140735806087872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 703284

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.22
CPU user time (s): 4797.84
CPU system time (s): 2.37864
CPU usage (%): 398.84
Max. virtual memory (cumulated for all children) (KiB): 809044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.84
system time used= 2.37864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 623977
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= 554
involuntary context switches= 45214

runsolver used 3.70944 second user time and 9.99048 second system time

The end

Launcher Data

Begin job on node136 at 2011-05-14 21:42:38
IDJOB=3366344
IDBENCH=82753
IDSOLVER=1844
FILE ID=node136/3366344-1305402158
RUNJOBID= node136-1305400952-12664
PBS_JOBID= 13324455
Free space on /tmp= 72996 MiB

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

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

MD5SUM BENCH= 2eb2fa74ab0dce335225200db81f6563
RANDOM SEED=85218793

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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:      18168484 kB
Buffers:        294460 kB
Cached:        5033604 kB
SwapCached:       2740 kB
Active:       10554416 kB
Inactive:      3887452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18168484 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           10948 kB
Writeback:          36 kB
AnonPages:     9112400 kB
Mapped:          27644 kB
Slab:           236700 kB
PageTables:      39340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69858576 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= 72984 MiB
End job on node136 at 2011-05-14 22:02:44