Trace number 3174126

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.4 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf
MD5SUMb9f30e687453978167416852673e8ddb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.027994
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
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-3174126-1304099089.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	c -- vars added        800
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3408/3408 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:    800 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1.57/0.48	c lits-rem:         0  cl-subs:        0  v-elim:     21  v-fix:    0  time:  0.00 s
1.57/0.48	c Finding binary XORs  T:     0.00 s  found:       0
1.57/0.48	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.57/0.48	c calculated reachability. Time: 0.00
1.57/0.48	c Calc default polars -  time:   0.00 s pos:     354 undec:      93 neg:     353
1.57/0.48	c =========================================================================================
1.57/0.48	c types(t): F = full restart, N = normal restart
1.57/0.48	c types(t): S = simplification begin/end, E = solution found
1.57/0.48	c restart types(rt): st = static, dy = dynamic
1.57/0.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.57/0.48	c  B st     0         0       779      3387         0         0     10304         0   no data   no data
1.57/0.48	c Decided on static restart strategy
1.57/0.48	c  N st     8      4916       779      3387         0      4875     10304    158670   no data   no data
3.17/0.83	c  N st    10     11301       779      3387         0      4520     10304    103348   no data   no data
3.17/0.83	c  N st    11     17044       779      3387         0     10184     10304    305554   no data   no data
4.77/1.26	c  F st    12     25000       779      3387         0     12515     10304    389483   no data   no data
4.77/1.26	c  N st    12     25000       779      3387         0     12515     10304    389483   no data   no data
5.97/1.52	c  N dy    18     30000       779      3387         0     10776     10304    281736   no data   no data
5.97/1.52	c  S st    18     30000       779      3387         0     10776     10304    281736   no data   no data
5.97/1.55	c  S st    18     30504       779      3387         0     11280     10304    296768   no data   no data
5.97/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.97/1.56	c blocked clauses removed:       17 vars:      2 tried:         779 T: 0.00 s
5.97/1.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
5.97/1.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.56	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.97/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.62	c lits-rem:        88  cl-subs:      189  v-elim:      0  v-fix:    0  time:  0.04 s
6.37/1.63	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.01
6.37/1.63	c calculated reachability. Time: 0.00
6.37/1.63	c  N dy    18     30504       776      3370         0     11059     10257    287040   no data   no data
7.17/1.89	c  N dy    32     34720       776      3370         0     15247     10257    414979     21.60     22.95
8.38/2.12	c  N dy    45     38761       776      3370         0     11411     10257    230496     21.47     23.40
9.16/2.38	c  N dy    60     42868       776      3370         0     15491     10257    356481     21.43     22.65
9.96/2.58	c  S st    66     45757       776      3370         0      9462     10257    132970     21.20     19.52
10.36/2.61	c  S st    66     46259       776      3370         0      9964     10257    148210     21.20   no data
10.36/2.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.36/2.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
10.36/2.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.36/2.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.63	c lits-rem:         6  cl-subs:       11  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.63	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
10.36/2.63	c vivif2 --  cl tried     9953 cl shrink        0 lits rem          0 time: 0.00
10.36/2.64	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.01
10.36/2.64	c calculated reachability. Time: 0.00
10.36/2.64	c  N dy    66     46259       776      3370         0      9953     10257    147827     21.20   no data
11.16/2.87	c  N dy    81     50397       776      3370         0     14074     10257    275703     21.08     22.26
12.36/3.16	c  N dy    93     54420       776      3370         0     18073     10257    402384     21.01     24.45
13.55/3.42	c  N dy   103     58462       776      3370         0     12160     10257    187384     20.82     23.00
14.35/3.67	c  N dy   122     62473       776      3370         0     16147     10257    310136     20.80     24.48
15.55/3.98	c  N dy   137     66752       776      3370         0     20396     10257    439595     20.73     21.93
16.35/4.18	c  S st   157     69388       776      3370         0     12101     10257    157411     20.83     20.63
16.75/4.21	c  S st   157     69892       776      3370         0     12604     10257    172435     20.83   no data
16.75/4.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.75/4.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.75/4.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
16.75/4.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.75/4.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.75/4.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.24	c lits-rem:        15  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
16.75/4.24	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
16.75/4.25	c vivif2 --  cl tried    12590 cl shrink        0 lits rem          0 time: 0.00
16.75/4.25	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.01
16.75/4.25	c calculated reachability. Time: 0.00
16.75/4.25	c  N dy   157     69892       776      3370         0     12590     10257    171774     20.83   no data
17.94/4.56	c  N dy   173     74456       776      3370         0     17129     10257    313452     20.83     22.09
19.55/4.95	c  N dy   204     79246       776      3370         0     21889     10257    463795     20.98     22.22
21.15/5.40	c  N dy   216     85346       776      3370         0     16019     10257    248212     20.87     22.12
21.96/5.55	c  F st   219     87501       776      3370         0     18158     10257    314035     20.81     17.55
23.14/5.80	c  N st   224     90797       776      3370         0     21421     10257    421137     20.81   no data
23.54/5.96	c Decided on static restart strategy
25.96/6.53	c  N st   227     99805       776      3370         0     17455     10257    452482     20.81   no data
27.54/6.95	c  S st   228    104838       776      3370         0     22406     10257    611527     20.81   no data
27.94/7.00	c  S st   228    105340       776      3370         0     22908     10257    626131     20.81   no data
27.94/7.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.94/7.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.94/7.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.94/7.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
27.94/7.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.94/7.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.94/7.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.29	c lits-rem:       170  cl-subs:      608  v-elim:      0  v-fix:    0  time:  0.25 s
28.74/7.29	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
28.74/7.29	c vivif2 --  cl tried    22300 cl shrink        0 lits rem          0 time: 0.01
29.14/7.31	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.02
29.14/7.31	c calculated reachability. Time: 0.00
29.14/7.31	c  N st   228    105340       776      3370         0     22300     10257    600107     20.81   no data
32.33/8.12	c  N st   229    114940       776      3370         0     17958     10257    395734     20.81   no data
38.72/9.70	c  N st   230    129337       776      3370         0     17404     10257    388293     20.81   no data
47.11/11.83	c  N st   231    150934       776      3370         0     22957     10257    527829     20.81   no data
49.91/12.54	c  S st   232    158011       776      3370         0     29976     10257    781470     20.81   no data
50.31/12.61	c  S st   232    158517       776      3370         0     30482     10257    796794     20.81   no data
50.31/12.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.31/12.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.31/12.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.31/12.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.31/12.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.31/12.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
50.31/12.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.31/12.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.31/12.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.33/13.13	c lits-rem:       240  cl-subs:      911  v-elim:      0  v-fix:    0  time:  0.47 s
52.33/13.13	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
52.33/13.14	c vivif2 --  cl tried    29571 cl shrink        0 lits rem          0 time: 0.01
52.33/13.16	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.02
52.33/13.16	c calculated reachability. Time: 0.00
52.33/13.16	c  N st   232    158517       776      3370         0     29571     10257    761103     20.81   no data
73.88/18.55	c  N st   233    207106       776      3370         0     24251     10257    528266     20.81   no data
90.66/22.72	c  N st   234    237775       776      3370         0     34754     10257    850657     20.81   no data
90.66/22.72	c  S st   234    237775       776      3370         0     34754     10257    850657     20.81   no data
91.06/22.80	c  S st   234    238278       776      3370         0     35257     10257    865620     20.81   no data
91.06/22.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.06/22.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
91.06/22.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
91.06/22.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.06/22.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.06/22.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
91.06/22.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
91.06/22.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
91.06/22.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.05/23.83	c lits-rem:       175  cl-subs:     1323  v-elim:      0  v-fix:    0  time:  0.97 s
95.05/23.83	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
95.05/23.84	c vivif2 --  cl tried    33934 cl shrink        0 lits rem          0 time: 0.01
95.05/23.86	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.02
95.05/23.87	c calculated reachability. Time: 0.00
95.05/23.87	c  N st   234    238278       776      3370         0     33934     10257    810437     20.81   no data
131.83/33.03	c  F st   235    306250       776      3370         0     35806     10257    821298     20.81   no data
131.83/33.04	c  N st   235    306250       776      3370         0     35806     10257    821298     20.81   no data
134.60/33.70	c Decided on static restart strategy
145.38/36.44	c  N st   245    334553       776      3370         0     40157     10257    922839     20.81   no data
157.78/39.52	c  N st   247    357418       776      3370         0     38053     10257    811681     20.81   no data
157.78/39.52	c  S st   247    357418       776      3370         0     38053     10257    811681     20.81   no data
158.19/39.61	c  S st   247    357921       776      3370         0     38555     10257    827901     20.81   no data
158.19/39.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
158.19/39.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
158.19/39.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
158.19/39.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
158.19/39.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
158.19/39.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
158.19/39.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
158.19/39.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
158.19/39.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
159.76/40.00	c lits-rem:       298  cl-subs:      617  v-elim:      0  v-fix:    0  time:  0.34 s
159.76/40.00	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
159.76/40.01	c vivif2 --  cl tried    37938 cl shrink        0 lits rem          0 time: 0.01
159.76/40.04	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.03
159.76/40.04	c calculated reachability. Time: 0.00
159.76/40.04	c  N st   247    357921       776      3370         0     37938     10257    802331     20.81   no data
180.16/45.15	c  N st   248    390316       776      3370         0     44219     10257    973629     20.81   no data
210.10/52.69	c  N st   249    438904       776      3370         0     37894     10257    752839     20.81   no data
258.85/64.83	c  N st   250    511786       776      3370         0     51468     10257   1180155     20.81   no data
275.21/68.93	c  N st   251    536881       776      3370         0     45674     10257    918509     20.81   no data
275.21/68.93	c  S st   251    536881       776      3370         0     45674     10257    918509     20.81   no data
275.61/69.05	c  S st   251    537381       776      3370         0     46174     10257    933053     20.81   no data
275.61/69.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
275.61/69.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
275.61/69.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
275.61/69.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
275.61/69.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
275.61/69.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
275.61/69.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
275.61/69.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
276.01/69.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
278.80/69.83	c lits-rem:       176  cl-subs:      996  v-elim:      0  v-fix:    0  time:  0.72 s
278.80/69.83	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
278.80/69.84	c vivif2 --  cl tried    45178 cl shrink        0 lits rem          0 time: 0.01
278.80/69.88	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.04
278.80/69.88	c calculated reachability. Time: 0.00
278.80/69.88	c  N st   251    537381       776      3370         0     45178     10257    895966     20.81   no data
405.43/101.54	c  N st   252    701365       776      3370         0     39077     10257    576686     20.81   no data
490.92/122.93	c  N st   253    806074       776      3370         0     68405     10257   1530622     20.81   no data
490.92/122.93	c  S st   253    806074       776      3370         0     68405     10257   1530622     20.81   no data
491.74/123.11	c  S st   253    806574       776      3370         0     68904     10257   1545586     20.81   no data
491.74/123.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
491.74/123.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
491.74/123.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
491.74/123.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
491.74/123.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
491.74/123.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
491.74/123.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
491.74/123.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
492.14/123.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
510.89/127.90	c lits-rem:       523  cl-subs:     2667  v-elim:      0  v-fix:    0  time:  4.68 s
510.89/127.90	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
510.89/127.92	c vivif2 --  cl tried    66237 cl shrink        0 lits rem          0 time: 0.02
510.89/127.99	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.07
510.89/127.99	c calculated reachability. Time: 0.00
510.89/127.99	c  N st   253    806574       776      3370         0     66237     10257   1453365     20.81   no data
742.20/185.88	c  F st   254   1071876       776      3370         0     81756     10257   1769519     20.81   no data
742.20/185.89	c  N st   254   1071876       776      3370         0     81756     10257   1769519     20.81   no data
749.78/187.71	c Decided on static restart strategy
767.75/192.27	c  N st   264   1100187       776      3370         0     65806     10257   1316495     20.81   no data
800.10/200.37	c  N st   266   1136179       776      3370         0     56107     10257    936216     20.81   no data
832.86/208.54	c  N st   267   1168571       776      3370         0     88006     10257   2058281     20.81   no data
872.81/218.56	c  N st   268   1209862       776      3370         0     82431     10257   1919344     20.81   no data
872.81/218.56	c  S st   268   1209862       776      3370         0     82431     10257   1919344     20.81   no data
874.02/218.81	c  S st   268   1210364       776      3370         0     82933     10257   1934128     20.81   no data
874.02/218.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
874.02/218.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
874.02/218.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
874.02/218.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
874.02/218.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.02/218.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
874.02/218.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
874.02/218.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
874.43/218.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
890.79/223.02	c lits-rem:      2136  cl-subs:     1596  v-elim:      0  v-fix:    0  time:  4.07 s
890.79/223.02	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
890.79/223.04	c vivif2 --  cl tried    81337 cl shrink        0 lits rem          0 time: 0.03
891.18/223.13	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.09
891.18/223.14	c calculated reachability. Time: 0.00
891.18/223.14	c  N st   268   1210364       776      3370         0     81337     10257   1863679     20.81   no data
960.70/240.56	c  N st   269   1283249       776      3370         0     57725     10257    924483     20.81   no data
1070.14/267.95	c  N st   270   1392572       776      3370         0     65790     10257   1155135     20.81   no data
1235.92/309.44	c  N st   271   1556556       776      3370         0     70805     10257   1262042     20.81   no data
1406.49/352.17	c  N st   272   1710364       776      3370         0     56804     10257    670411     20.81   no data
1406.49/352.17	c  S st   272   1710364       776      3370         0     56804     10257    670411     20.81   no data
1407.30/352.32	c  S st   272   1710866       776      3370         0     57304     10257    685353     20.81   no data
1407.30/352.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1407.30/352.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1407.30/352.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1407.30/352.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1407.30/352.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1407.30/352.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
1407.30/352.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1407.30/352.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1407.30/352.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1408.09/352.51	c lits-rem:        27  cl-subs:       66  v-elim:      0  v-fix:    0  time:  0.12 s
1408.09/352.51	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
1408.09/352.52	c vivif2 --  cl tried    57238 cl shrink        0 lits rem          0 time: 0.01
1408.09/352.57	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.05
1408.09/352.57	c calculated reachability. Time: 0.00
1408.09/352.57	c  N st   272   1710866       776      3370         0     57238     10257    683408     20.81   no data
1827.13/457.50	c  N st   273   2079832       776      3370         0     63346     10257    733932     20.81   no data
2004.49/501.89	c  N st   274   2210866       776      3370         0     64950     10257    752138     20.81   no data
2004.49/501.89	c  S st   274   2210866       776      3370         0     64950     10257    752138     20.81   no data
2005.29/502.06	c  S st   274   2211367       776      3370         0     65451     10257    767327     20.81   no data
2005.29/502.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2005.29/502.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2005.29/502.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2005.29/502.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2005.29/502.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2005.29/502.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
2005.29/502.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2005.70/502.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2005.70/502.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2006.10/502.26	c lits-rem:        19  cl-subs:       87  v-elim:      0  v-fix:    0  time:  0.13 s
2006.10/502.26	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
2006.10/502.28	c vivif2 --  cl tried    65364 cl shrink        0 lits rem          0 time: 0.01
2006.50/502.34	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.06
2006.50/502.34	c calculated reachability. Time: 0.00
2006.50/502.34	c  N st   274   2211367       776      3370         0     65364     10257    764435     20.81   no data
2699.56/675.81	c  N st   275   2711368       776      3370         0     82259     10257   1218690     20.81   no data
2699.56/675.81	c  S st   275   2711368       776      3370         0     82259     10257   1218690     20.81   no data
2700.36/676.04	c  S st   275   2711872       776      3370         0     82762     10257   1234297     20.81   no data
2700.36/676.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2700.36/676.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2700.36/676.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2700.36/676.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2700.36/676.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2700.36/676.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
2700.36/676.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2700.76/676.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2700.76/676.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2703.56/676.85	c lits-rem:       280  cl-subs:      732  v-elim:      0  v-fix:    0  time:  0.69 s
2703.56/676.85	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
2703.56/676.86	c vivif2 --  cl tried    82030 cl shrink        0 lits rem          0 time: 0.02
2703.96/676.95	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.08
2703.96/676.95	c calculated reachability. Time: 0.00
2703.96/676.95	c  N st   275   2711872       776      3370         0     82030     10257   1207597     20.81   no data
3471.73/869.10	c  N st   276   3211874       776      3370         0    128784     10257   2847026     20.81   no data
3471.73/869.10	c  S st   276   3211874       776      3370         0    128784     10257   2847026     20.81   no data
3473.33/869.52	c  S st   276   3212377       776      3370         0    129287     10257   2862620     20.81   no data
3473.33/869.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3473.73/869.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3473.73/869.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3473.73/869.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3473.73/869.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3473.73/869.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
3473.73/869.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3473.73/869.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3474.12/869.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3532.04/884.30	c lits-rem:      1455  cl-subs:     4154  v-elim:      0  v-fix:    0  time: 14.56 s
3532.04/884.30	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
3532.46/884.34	c vivif2 --  cl tried   125133 cl shrink        0 lits rem          0 time: 0.04
3532.86/884.48	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.15
3532.86/884.49	c calculated reachability. Time: 0.00
3532.86/884.49	c  N st   276   3212377       776      3370         0    125133     10257   2694270     20.81   no data
4356.12/1090.59	c  N st   277   3712377       776      3370         0    135539     10257   2977478     20.81   no data
4356.12/1090.59	c  S st   277   3712377       776      3370         0    135539     10257   2977478     20.81   no data
4358.13/1091.02	c  S st   277   3712879       776      3370         0    136041     10257   2993865     20.81   no data
4358.13/1091.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4358.13/1091.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4358.54/1091.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4358.54/1091.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4358.54/1091.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4358.54/1091.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
4358.54/1091.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4358.54/1091.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4358.94/1091.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4406.46/1103.12	c lits-rem:       958  cl-subs:     3107  v-elim:      0  v-fix:    0  time: 11.88 s
4406.46/1103.12	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
4406.46/1103.16	c vivif2 --  cl tried   132934 cl shrink        0 lits rem          0 time: 0.04
4407.28/1103.31	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.15
4407.28/1103.32	c calculated reachability. Time: 0.00
4407.28/1103.32	c  N st   277   3712879       776      3370         0    132934     10257   2861347     20.81   no data
4487.14/1123.38	c  F st   278   3751562       776      3370         0     87301     10257   1036745     20.81   no data
4487.14/1123.38	c  N st   278   3751562       776      3370         0     87301     10257   1036745     20.81   no data
4493.55/1124.92	c Decided on static restart strategy
4523.91/1132.59	c  N st   288   3779864       776      3370         0    115259     10257   1955980     20.81   no data
4585.82/1148.02	c  N st   290   3815856       776      3370         0    150705     10257   3254410     20.81   no data
4642.95/1162.30	c  N st   291   3848248       776      3370         0     97891     10257   1376416     20.81   no data
4722.44/1182.28	c  N st   292   3896840       776      3370         0    145678     10257   3052289     20.81   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174126-1304099089/watcher-3174126-1304099089 -o /tmp/evaluation-result-3174126-1304099089/solver-3174126-1304099089 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174126-1304099089.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.86 7.86 8.00 2/172 3669
/proc/meminfo: memFree=24789780/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 409 0 0 0 0 0 0 0 23 0 4 0 600139373 52441088 348 33554432000 4194304 4627427 140736184726704 18446744073709551615 47662681249708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 12803 348 299 106 0 7774 0
[pid=3669/tid=3670] ppid=3667 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 600139374 52441088 348 33554432000 4194304 4627427 140736184726704 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 600139374 52441088 348 33554432000 4194304 4627427 140736184726704 18446744073709551615 252469863478 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 600139374 52441088 348 33554432000 4194304 4627427 140736184726704 18446744073709551615 47662681249708 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.022142 s]
/proc/loadavg: 6.86 7.86 8.00 2/172 3669
/proc/meminfo: memFree=24789780/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=282008 CPUtime=0.06 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 1639 0 0 0 6 0 0 0 18 0 4 0 600139373 288776192 1447 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 70502 1447 384 106 0 65473 0
[pid=3669/tid=3670] ppid=3667 vsize=282008 CPUtime=0.01 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 339 0 0 0 1 0 0 0 25 0 4 0 600139374 288776192 1447 33554432000 4194304 4627427 140736184726704 18446744073709551615 4333365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=282008 CPUtime=0.01 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 344 0 0 0 1 0 0 0 18 0 4 0 600139374 288776192 1447 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=282008 CPUtime=0.01 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 203 0 0 0 1 0 0 0 18 0 4 0 600139374 288776192 1448 33554432000 4194304 4627427 140736184726704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 282008

[startup+0.101125 s]
/proc/loadavg: 6.86 7.86 8.00 2/172 3669
/proc/meminfo: memFree=24789780/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=282140 CPUtime=0.38 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 2071 0 0 0 38 0 0 0 18 0 4 0 600139373 288911360 1879 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 70535 1879 384 106 0 65506 0
[pid=3669/tid=3670] ppid=3667 vsize=282140 CPUtime=0.09 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 449 0 0 0 9 0 0 0 25 0 4 0 600139374 288911360 1879 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308647 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=282140 CPUtime=0.09 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 450 0 0 0 9 0 0 0 18 0 4 0 600139374 288911360 1879 33554432000 4194304 4627427 140736184726704 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=282140 CPUtime=0.09 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 316 0 0 0 9 0 0 0 18 0 4 0 600139374 288911360 1879 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282140

[startup+0.301088 s]
/proc/loadavg: 6.86 7.86 8.00 2/172 3669
/proc/meminfo: memFree=24789780/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=284008 CPUtime=1.17 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 3303 0 0 0 117 0 0 0 18 0 4 0 600139373 290824192 2336 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 71002 2336 385 106 0 65973 0
[pid=3669/tid=3670] ppid=3667 vsize=284008 CPUtime=0.29 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 748 0 0 0 29 0 0 0 25 0 4 0 600139374 290824192 2336 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=284008 CPUtime=0.29 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 756 0 0 0 29 0 0 0 18 0 4 0 600139374 290824192 2336 33554432000 4194304 4627427 140736184726704 18446744073709551615 4327399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=284008 CPUtime=0.29 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 631 0 0 0 29 0 0 0 18 0 4 0 600139374 290824192 2336 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284008

[startup+0.701015 s]
/proc/loadavg: 6.86 7.86 8.00 2/172 3669
/proc/meminfo: memFree=24789780/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=285080 CPUtime=2.77 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 5204 0 0 0 277 0 0 0 18 0 4 0 600139373 291921920 3048 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 71270 3048 385 106 0 66241 0
[pid=3669/tid=3670] ppid=3667 vsize=285080 CPUtime=0.68 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 1207 0 0 0 68 0 0 0 25 0 4 0 600139374 291921920 3048 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=285080 CPUtime=0.69 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 1248 0 0 0 69 0 0 0 18 0 4 0 600139374 291921920 3048 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=285080 CPUtime=0.69 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 1102 0 0 0 69 0 0 0 18 0 4 0 600139374 291921920 3048 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285080

[startup+1.50087 s]
/proc/loadavg: 6.86 7.86 8.00 9/184 3681
/proc/meminfo: memFree=24765008/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=286768 CPUtime=5.97 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 9093 0 0 0 596 1 0 0 20 0 4 0 600139373 293650432 3582 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 71692 3582 386 106 0 66663 0
[pid=3669/tid=3670] ppid=3667 vsize=286768 CPUtime=1.48 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 2136 0 0 0 148 0 0 0 25 0 4 0 600139374 293650432 3582 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=286768 CPUtime=1.49 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 2242 0 0 0 149 0 0 0 20 0 4 0 600139374 293650432 3582 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=286768 CPUtime=1.49 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 2071 0 0 0 149 0 0 0 20 0 4 0 600139374 293650432 3582 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286768

[startup+3.10057 s]
/proc/loadavg: 6.86 7.86 8.00 9/184 3681
/proc/meminfo: memFree=24733072/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=275768 CPUtime=12.36 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 20917 0 0 0 1233 3 0 0 25 0 4 0 600139373 282386432 11723 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308282 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 68942 11723 389 106 0 63913 0
[pid=3669/tid=3670] ppid=3667 vsize=275768 CPUtime=3.07 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 4689 0 0 0 306 1 0 0 25 0 4 0 600139374 282386432 11723 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=275768 CPUtime=3.09 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 5730 0 0 0 309 0 0 0 25 0 4 0 600139374 282386432 11723 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=275768 CPUtime=3.08 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 4981 0 0 0 308 0 0 0 25 0 4 0 600139374 282386432 11723 33554432000 4194304 4627427 140736184726704 18446744073709551615 4306556 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 275768

[startup+6.30098 s]
/proc/loadavg: 6.95 7.86 8.00 9/184 3681
/proc/meminfo: memFree=24685688/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=286220 CPUtime=25.15 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 31971 0 0 0 2510 5 0 0 25 0 4 0 600139373 293089280 15880 33554432000 4194304 4627427 140736184726704 18446744073709551615 4332845 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 71555 15880 389 106 0 66526 0
[pid=3669/tid=3670] ppid=3667 vsize=286220 CPUtime=6.25 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 8949 0 0 0 624 1 0 0 25 0 4 0 600139374 293089280 15880 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=286220 CPUtime=6.28 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 8127 0 0 0 628 0 0 0 25 0 4 0 600139374 293089280 15880 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=286220 CPUtime=6.29 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 7113 0 0 0 628 1 0 0 25 0 4 0 600139374 293089280 15880 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 286220

[startup+12.7008 s]
/proc/loadavg: 7.04 7.86 8.00 9/184 3681
/proc/meminfo: memFree=24624364/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=305448 CPUtime=50.71 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 52393 0 0 0 5061 10 0 0 25 0 4 0 600139373 312778752 29493 33554432000 4194304 4627427 140736184726704 18446744073709551615 4420116 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 76362 29493 389 106 0 71333 0
[pid=3669/tid=3670] ppid=3667 vsize=305448 CPUtime=12.62 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 13301 0 0 0 1260 2 0 0 25 0 4 0 600139374 312778752 29493 33554432000 4194304 4627427 140736184726704 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=305448 CPUtime=12.68 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 10805 0 0 0 1267 1 0 0 25 0 4 0 600139374 312778752 29493 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=305448 CPUtime=12.69 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 12738 0 0 0 1267 2 0 0 25 0 4 0 600139374 312778752 29493 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 305448

[startup+25.5004 s]
/proc/loadavg: 7.25 7.87 8.00 9/184 3681
/proc/meminfo: memFree=24582668/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=286300 CPUtime=101.83 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 72560 0 0 0 10169 14 0 0 25 0 4 0 600139373 293171200 30614 33554432000 4194304 4627427 140736184726704 18446744073709551615 4327752 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 71575 30614 389 106 0 66546 0
[pid=3669/tid=3670] ppid=3667 vsize=286300 CPUtime=25.35 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 16681 0 0 0 2532 3 0 0 25 0 4 0 600139374 293171200 30614 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=286300 CPUtime=25.48 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 15757 0 0 0 2546 2 0 0 25 0 4 0 600139374 293171200 30614 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=286300 CPUtime=25.49 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 16771 0 0 0 2546 3 0 0 25 0 4 0 600139374 293171200 30614 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 286300

[startup+51.1007 s]
/proc/loadavg: 7.66 7.91 8.01 9/184 3682
/proc/meminfo: memFree=24536500/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=286692 CPUtime=204.1 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 104942 0 0 0 20385 25 0 0 25 0 4 0 600139373 293572608 39065 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 71673 39065 389 106 0 66644 0
[pid=3669/tid=3670] ppid=3667 vsize=286692 CPUtime=50.81 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 21881 0 0 0 5076 5 0 0 25 0 4 0 600139374 293572608 39065 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=286692 CPUtime=51.08 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 27674 0 0 0 5103 5 0 0 25 0 4 0 600139374 293572608 39065 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=286692 CPUtime=51.09 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 23757 0 0 0 5104 5 0 0 25 0 4 0 600139374 293572608 39065 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 286692

[startup+102.306 s]
/proc/loadavg: 7.85 7.92 8.01 9/184 3683
/proc/meminfo: memFree=24451048/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=385660 CPUtime=408.65 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 154067 0 0 0 40823 42 0 0 25 0 4 0 600139373 394915840 57674 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 96415 57674 389 106 0 91386 0
[pid=3669/tid=3670] ppid=3667 vsize=385660 CPUtime=101.74 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 32325 0 0 0 10165 9 0 0 25 0 4 0 600139374 394915840 57674 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=385660 CPUtime=102.29 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 43653 0 0 0 10218 11 0 0 25 0 4 0 600139374 394915840 57674 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=385660 CPUtime=102.3 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 32706 0 0 0 10222 8 0 0 25 0 4 0 600139374 394915840 57674 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 385660

[startup+162.301 s]

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

[pid=3669] ppid=3667 vsize=618992 CPUtime=2805.42 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 439088 0 0 0 280363 179 0 0 25 0 4 0 600139373 633847808 97460 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 154748 97460 389 106 0 149719 0
[pid=3669/tid=3670] ppid=3667 vsize=618992 CPUtime=698.49 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 89019 0 0 0 69809 40 0 0 25 0 4 0 600139374 633847808 97460 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=618992 CPUtime=702.29 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 157802 0 0 0 70168 61 0 0 25 0 4 0 600139374 633847808 97460 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=618992 CPUtime=702.31 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 44393 0 0 0 70219 12 0 0 25 0 4 0 600139374 633847808 97460 33554432000 4194304 4627427 140736184726704 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 618992

[startup+762.306 s]
/proc/loadavg: 8.00 8.03 8.01 9/184 3701
/proc/meminfo: memFree=24130428/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=619572 CPUtime=3045.12 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 460367 0 0 0 304323 189 0 0 25 0 4 0 600139373 634441728 95614 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 154893 95614 389 106 0 149864 0
[pid=3669/tid=3670] ppid=3667 vsize=619572 CPUtime=758.16 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 93307 0 0 0 75774 42 0 0 25 0 4 0 600139374 634441728 95614 33554432000 4194304 4627427 140736184726704 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=619572 CPUtime=762.31 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 165501 0 0 0 76167 64 0 0 25 0 4 0 600139374 634441728 95614 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=619572 CPUtime=762.32 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 45159 0 0 0 76219 13 0 0 25 0 4 0 600139374 634441728 95614 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 619572

[startup+822.3 s]
/proc/loadavg: 8.04 8.03 8.01 9/184 3703
/proc/meminfo: memFree=24077096/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=573380 CPUtime=3284.78 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 486218 0 0 0 328276 202 0 0 25 0 4 0 600139373 587141120 103131 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 143345 103131 389 106 0 138316 0
[pid=3669/tid=3670] ppid=3667 vsize=573380 CPUtime=817.83 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 99638 0 0 0 81737 46 0 0 25 0 4 0 600139374 587141120 103131 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=573380 CPUtime=822.3 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 175289 0 0 0 82162 68 0 0 25 0 4 0 600139374 587141120 103131 33554432000 4194304 4627427 140736184726704 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=573380 CPUtime=822.31 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 46050 0 0 0 82218 13 0 0 25 0 4 0 600139374 587141120 103131 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 573380

[startup+882.301 s]
/proc/loadavg: 8.05 8.04 8.00 9/184 3704
/proc/meminfo: memFree=24059228/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=639280 CPUtime=3524.45 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 512342 0 0 0 352232 213 0 0 25 0 4 0 600139373 654622720 111988 33554432000 4194304 4627427 140736184726704 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 159820 111988 389 106 0 154791 0
[pid=3669/tid=3670] ppid=3667 vsize=639280 CPUtime=877.51 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 102761 0 0 0 87703 48 0 0 25 0 4 0 600139374 654622720 111988 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=639280 CPUtime=882.3 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 183500 0 0 0 88158 72 0 0 25 0 4 0 600139374 654622720 111988 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=639280 CPUtime=882.32 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 46879 0 0 0 88218 14 0 0 25 0 4 0 600139374 654622720 111988 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 639280

[startup+942.301 s]
/proc/loadavg: 8.10 8.04 8.01 9/184 3706
/proc/meminfo: memFree=24078420/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=687284 CPUtime=3764.14 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 533917 0 0 0 376189 225 0 0 25 0 4 0 600139373 703778816 108575 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 171821 108575 389 106 0 166792 0
[pid=3669/tid=3670] ppid=3667 vsize=687284 CPUtime=937.19 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 107563 0 0 0 93667 52 0 0 25 0 4 0 600139374 703778816 108575 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=687284 CPUtime=942.3 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 191749 0 0 0 94155 75 0 0 25 0 4 0 600139374 703778816 108575 33554432000 4194304 4627427 140736184726704 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=687284 CPUtime=942.32 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 47703 0 0 0 94217 15 0 0 25 0 4 0 600139374 703778816 108575 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 687284

[startup+1002.3 s]
/proc/loadavg: 8.07 8.05 8.00 9/184 3716
/proc/meminfo: memFree=23996072/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=765924 CPUtime=4003.8 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 561736 0 0 0 400143 237 0 0 25 0 4 0 600139373 784306176 125447 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 191481 125447 389 106 0 186452 0
[pid=3669/tid=3670] ppid=3667 vsize=765924 CPUtime=996.85 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 114484 0 0 0 99631 54 0 0 25 0 4 0 600139374 784306176 125447 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=765924 CPUtime=1002.31 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 204361 0 0 0 100152 79 0 0 25 0 4 0 600139374 784306176 125447 33554432000 4194304 4627427 140736184726704 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=765924 CPUtime=1002.31 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 49064 0 0 0 100216 15 0 0 25 0 4 0 600139374 784306176 125447 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 765924

[startup+1062.3 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 3718
/proc/meminfo: memFree=23971872/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=892132 CPUtime=4243.48 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 589162 0 0 0 424097 251 0 0 25 0 4 0 600139373 913543168 132103 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 223033 132103 389 106 0 218004 0
[pid=3669/tid=3670] ppid=3667 vsize=892132 CPUtime=1056.53 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 120294 0 0 0 105596 57 0 0 25 0 4 0 600139374 913543168 132103 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=892132 CPUtime=1062.31 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 212677 0 0 0 106148 83 0 0 25 0 4 0 600139374 913543168 132103 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=892132 CPUtime=1062.31 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 53975 0 0 0 106213 18 0 0 25 0 4 0 600139374 913543168 132103 33554432000 4194304 4627427 140736184726704 18446744073709551615 4321741 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 892132

[startup+1122.3 s]
/proc/loadavg: 8.02 8.04 8.00 9/184 3720
/proc/meminfo: memFree=23949796/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=845572 CPUtime=4483.16 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 612011 0 0 0 448053 263 0 0 25 0 4 0 600139373 865865728 137678 33554432000 4194304 4627427 140736184726704 18446744073709551615 4324328 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 211393 137678 389 106 0 206364 0
[pid=3669/tid=3670] ppid=3667 vsize=845572 CPUtime=1116.21 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 122657 0 0 0 111562 59 0 0 25 0 4 0 600139374 865865728 137678 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=845572 CPUtime=1122.31 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 218912 0 0 0 112144 87 0 0 25 0 4 0 600139374 865865728 137678 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=845572 CPUtime=1122.32 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 57907 0 0 0 112212 20 0 0 25 0 4 0 600139374 865865728 137678 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 845572

[startup+1182.3 s]
/proc/loadavg: 8.07 8.04 8.00 9/184 3721
/proc/meminfo: memFree=23928812/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=836764 CPUtime=4722.84 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 633667 0 0 0 472009 275 0 0 25 0 4 0 600139373 856846336 142983 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 209191 142983 389 106 0 204162 0
[pid=3669/tid=3670] ppid=3667 vsize=836764 CPUtime=1175.88 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 127934 0 0 0 117526 62 0 0 25 0 4 0 600139374 856846336 142983 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=836764 CPUtime=1182.31 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 226645 0 0 0 118140 91 0 0 25 0 4 0 600139374 856846336 142983 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=836764 CPUtime=1182.32 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 58787 0 0 0 118211 21 0 0 25 0 4 0 600139374 856846336 142983 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 836764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 8.04 8.00 5/180 3723
/proc/meminfo: memFree=24234124/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=802180 CPUtime=4800.34 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 641936 0 0 0 479756 278 0 0 25 0 4 0 600139373 821432320 138203 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 200545 138203 389 106 0 195516 0
[pid=3669/tid=3670] ppid=3667 vsize=802180 CPUtime=1195.18 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 129533 0 0 0 119455 63 0 0 25 0 4 0 600139374 821432320 138203 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=802180 CPUtime=1201.72 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 229789 0 0 0 120080 92 0 0 25 0 4 0 600139374 821432320 138203 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=802180 CPUtime=1201.73 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 59251 0 0 0 120152 21 0 0 25 0 4 0 600139374 821432320 138203 33554432000 4194304 4627427 140736184726704 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 802180

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.05 8.04 8.00 5/180 3723
/proc/meminfo: memFree=24234124/32951124 swapFree=67111348/67111528
[pid=3669] ppid=3667 vsize=802180 CPUtime=4800.34 cores=1,3,5,7
/proc/3669/stat : 3669 (strangenight2-m) R 3667 3669 3013 0 -1 4202496 641936 0 0 0 479756 278 0 0 25 0 4 0 600139373 821432320 138203 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3669/statm: 200545 138203 389 106 0 195516 0
[pid=3669/tid=3670] ppid=3667 vsize=802180 CPUtime=1195.18 cores=1,3,5,7
/proc/3669/task/3670/stat : 3670 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 129533 0 0 0 119455 63 0 0 25 0 4 0 600139374 821432320 138203 33554432000 4194304 4627427 140736184726704 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3669/tid=3671] ppid=3667 vsize=802180 CPUtime=1201.72 cores=1,3,5,7
/proc/3669/task/3671/stat : 3671 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 229789 0 0 0 120080 92 0 0 25 0 4 0 600139374 821432320 138203 33554432000 4194304 4627427 140736184726704 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3669/tid=3672] ppid=3667 vsize=802180 CPUtime=1201.73 cores=1,3,5,7
/proc/3669/task/3672/stat : 3672 (strangenight2-m) R 3667 3669 3013 0 -1 4202560 59251 0 0 0 120152 21 0 0 25 0 4 0 600139374 821432320 138203 33554432000 4194304 4627427 140736184726704 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 802180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.4
CPU user time (s): 4797.59
CPU system time (s): 2.81057
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 947016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.59
system time used= 2.81057
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 641937
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= 287
involuntary context switches= 33515

runsolver used 1.90571 second user time and 4.66029 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 19:44:49
IDJOB=3174126
IDBENCH=82944
IDSOLVER=1586
FILE ID=node111/3174126-1304099089
RUNJOBID= node111-1304099089-3655
PBS_JOBID= 13170585
Free space on /tmp= 70896 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174126-1304099089/watcher-3174126-1304099089 -o /tmp/evaluation-result-3174126-1304099089/solver-3174126-1304099089 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174126-1304099089.cnf

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

MD5SUM BENCH= b9f30e687453978167416852673e8ddb
RANDOM SEED=741939728

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24789928 kB
Buffers:       1282384 kB
Cached:        6326176 kB
SwapCached:        124 kB
Active:        3278716 kB
Inactive:      4393528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24789928 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11408 kB
Writeback:           0 kB
AnonPages:       63768 kB
Mapped:          14484 kB
Slab:           425296 kB
PageTables:       4892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187960 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= 70892 MiB
End job on node111 at 2011-04-29 20:04:53