Trace number 3366535

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.23 1204.14

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-3366535-1305406841.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
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     21  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     354 undec:      93 neg:     353
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       779      3387         0         0     10304         0   no data   no data
0.00/0.08	c Decided on static restart strategy
0.37/0.19	c  N st     8      4916       779      3387         0      4875     10304    158670   no data   no data
1.56/0.49	c  N st    10     11301       779      3387         0      4520     10304    103348   no data   no data
2.77/0.79	c  N st    11     17044       779      3387         0     10184     10304    305554   no data   no data
4.75/1.27	c  F st    12     25000       779      3387         0     12515     10304    389483   no data   no data
4.75/1.27	c  N st    12     25000       779      3387         0     12515     10304    389483   no data   no data
5.96/1.53	c  N dy    18     30000       779      3387         0     10776     10304    281736   no data   no data
5.96/1.53	c  S st    18     30000       779      3387         0     10776     10304    281736   no data   no data
5.96/1.57	c  S st    18     30504       779      3387         0     11280     10304    296768   no data   no data
5.96/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.96/1.57	c blocked clauses removed:       17 vars:      2 tried:         779 T: 0.00 s
5.96/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    777 time:  0.00 s
5.96/1.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.57	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.96/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.35/1.63	c lits-rem:        88  cl-subs:      189  v-elim:      0  v-fix:    0  time:  0.04 s
6.35/1.64	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.01
6.35/1.64	c calculated reachability. Time: 0.00
6.35/1.64	c  N dy    18     30504       776      3370         0     11059     10257    287040   no data   no data
7.56/1.90	c  N dy    32     34720       776      3370         0     15247     10257    414979     21.60     22.95
8.38/2.14	c  N dy    45     38761       776      3370         0     11411     10257    230496     21.47     23.40
9.54/2.41	c  N dy    60     42868       776      3370         0     15491     10257    356481     21.43     22.65
10.33/2.61	c  S st    66     45757       776      3370         0      9462     10257    132970     21.20     19.52
10.33/2.64	c  S st    66     46259       776      3370         0      9964     10257    148210     21.20   no data
10.33/2.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.33/2.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.33/2.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.33/2.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.33/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.33/2.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
10.33/2.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.33/2.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.33/2.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.33/2.66	c lits-rem:         6  cl-subs:       11  v-elim:      0  v-fix:    0  time:  0.01 s
10.33/2.66	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
10.33/2.66	c vivif2 --  cl tried     9953 cl shrink        0 lits rem          0 time: 0.00
10.33/2.67	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.01
10.33/2.67	c calculated reachability. Time: 0.00
10.33/2.67	c  N dy    66     46259       776      3370         0      9953     10257    147827     21.20   no data
11.53/2.91	c  N dy    81     50397       776      3370         0     14074     10257    275703     21.08     22.26
12.34/3.19	c  N dy    93     54420       776      3370         0     18073     10257    402384     21.01     24.45
13.52/3.47	c  N dy   103     58462       776      3370         0     12160     10257    187384     20.82     23.00
14.72/3.72	c  N dy   122     62473       776      3370         0     16147     10257    310136     20.80     24.48
15.92/4.04	c  N dy   137     66752       776      3370         0     20396     10257    439595     20.73     21.93
16.72/4.24	c  S st   157     69388       776      3370         0     12101     10257    157411     20.83     20.63
16.72/4.28	c  S st   157     69892       776      3370         0     12604     10257    172435     20.83   no data
16.72/4.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.72/4.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.72/4.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.72/4.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.72/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.72/4.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
16.72/4.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.72/4.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.72/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.32	c lits-rem:        15  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
17.15/4.32	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
17.15/4.32	c vivif2 --  cl tried    12590 cl shrink        0 lits rem          0 time: 0.00
17.15/4.33	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.01
17.15/4.33	c calculated reachability. Time: 0.00
17.15/4.33	c  N dy   157     69892       776      3370         0     12590     10257    171774     20.83   no data
18.29/4.64	c  N dy   173     74456       776      3370         0     17129     10257    313452     20.83     22.09
19.90/5.04	c  N dy   204     79246       776      3370         0     21889     10257    463795     20.98     22.22
21.53/5.50	c  N dy   216     85346       776      3370         0     16019     10257    248212     20.87     22.12
22.29/5.65	c  F st   219     87501       776      3370         0     18158     10257    314035     20.81     17.55
23.48/5.91	c  N st   224     90797       776      3370         0     21421     10257    421137     20.81   no data
23.88/6.07	c Decided on static restart strategy
26.32/6.66	c  N st   227     99805       776      3370         0     17455     10257    452482     20.81   no data
27.87/7.08	c  S st   228    104838       776      3370         0     22406     10257    611527     20.81   no data
28.27/7.14	c  S st   228    105340       776      3370         0     22908     10257    626131     20.81   no data
28.27/7.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.27/7.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.27/7.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.27/7.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.27/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.27/7.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
28.27/7.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.27/7.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.27/7.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.47/7.42	c lits-rem:       170  cl-subs:      608  v-elim:      0  v-fix:    0  time:  0.24 s
29.47/7.42	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
29.47/7.43	c vivif2 --  cl tried    22300 cl shrink        0 lits rem          0 time: 0.01
29.47/7.45	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.01
29.47/7.45	c calculated reachability. Time: 0.00
29.47/7.45	c  N st   228    105340       776      3370         0     22300     10257    600107     20.81   no data
32.66/8.28	c  N st   229    114940       776      3370         0     17958     10257    395734     20.81   no data
39.08/9.91	c  N st   230    129337       776      3370         0     17404     10257    388293     20.81   no data
47.84/12.08	c  N st   231    150934       776      3370         0     22957     10257    527829     20.81   no data
51.00/12.81	c  S st   232    158011       776      3370         0     29976     10257    781470     20.81   no data
51.00/12.88	c  S st   232    158517       776      3370         0     30482     10257    796794     20.81   no data
51.00/12.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.00/12.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
51.00/12.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.00/12.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.00/12.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.00/12.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
51.00/12.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
51.40/12.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.40/12.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.39/13.42	c lits-rem:       240  cl-subs:      911  v-elim:      0  v-fix:    0  time:  0.48 s
53.39/13.42	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
53.39/13.43	c vivif2 --  cl tried    29571 cl shrink        0 lits rem          0 time: 0.01
53.39/13.45	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.02
53.39/13.46	c calculated reachability. Time: 0.00
53.39/13.46	c  N st   232    158517       776      3370         0     29571     10257    761103     20.81   no data
75.31/18.96	c  N st   233    207106       776      3370         0     24251     10257    528266     20.81   no data
92.43/23.22	c  N st   234    237775       776      3370         0     34754     10257    850657     20.81   no data
92.43/23.22	c  S st   234    237775       776      3370         0     34754     10257    850657     20.81   no data
92.82/23.31	c  S st   234    238278       776      3370         0     35257     10257    865620     20.81   no data
92.82/23.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
92.82/23.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
92.82/23.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.82/23.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.82/23.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.82/23.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
92.82/23.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
92.82/23.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
92.82/23.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.81/24.36	c lits-rem:       175  cl-subs:     1323  v-elim:      0  v-fix:    0  time:  0.99 s
96.81/24.36	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
96.81/24.37	c vivif2 --  cl tried    33934 cl shrink        0 lits rem          0 time: 0.01
97.21/24.40	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.03
97.21/24.40	c calculated reachability. Time: 0.00
97.21/24.40	c  N st   234    238278       776      3370         0     33934     10257    810437     20.81   no data
134.30/33.76	c  F st   235    306250       776      3370         0     35806     10257    821298     20.81   no data
134.30/33.76	c  N st   235    306250       776      3370         0     35806     10257    821298     20.81   no data
137.09/34.45	c Decided on static restart strategy
148.26/37.24	c  N st   245    334553       776      3370         0     40157     10257    922839     20.81   no data
160.62/40.39	c  N st   247    357418       776      3370         0     38053     10257    811681     20.81   no data
160.62/40.39	c  S st   247    357418       776      3370         0     38053     10257    811681     20.81   no data
161.02/40.48	c  S st   247    357921       776      3370         0     38555     10257    827901     20.81   no data
161.02/40.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
161.02/40.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
161.02/40.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
161.02/40.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
161.02/40.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.02/40.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
161.02/40.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
161.42/40.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
161.42/40.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.60/40.88	c lits-rem:       298  cl-subs:      617  v-elim:      0  v-fix:    0  time:  0.34 s
162.60/40.88	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
162.60/40.90	c vivif2 --  cl tried    37938 cl shrink        0 lits rem          0 time: 0.01
163.00/40.93	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.03
163.00/40.93	c calculated reachability. Time: 0.00
163.00/40.93	c  N st   247    357921       776      3370         0     37938     10257    802331     20.81   no data
183.78/46.17	c  N st   248    390316       776      3370         0     44219     10257    973629     20.81   no data
214.48/53.81	c  N st   249    438904       776      3370         0     37894     10257    752839     20.81   no data
263.88/66.24	c  N st   250    511786       776      3370         0     51468     10257   1180155     20.81   no data
280.68/70.42	c  N st   251    536881       776      3370         0     45674     10257    918509     20.81   no data
280.68/70.42	c  S st   251    536881       776      3370         0     45674     10257    918509     20.81   no data
281.02/70.53	c  S st   251    537381       776      3370         0     46174     10257    933053     20.81   no data
281.02/70.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
281.02/70.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
281.02/70.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
281.02/70.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
281.02/70.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
281.02/70.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
281.02/70.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
281.02/70.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
281.42/70.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
284.23/71.32	c lits-rem:       176  cl-subs:      996  v-elim:      0  v-fix:    0  time:  0.72 s
284.23/71.32	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
284.23/71.33	c vivif2 --  cl tried    45178 cl shrink        0 lits rem          0 time: 0.01
284.23/71.37	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.04
284.23/71.37	c calculated reachability. Time: 0.00
284.23/71.37	c  N st   251    537381       776      3370         0     45178     10257    895966     20.81   no data
413.01/103.64	c  N st   252    701365       776      3370         0     39077     10257    576686     20.81   no data
499.99/125.45	c  N st   253    806074       776      3370         0     68405     10257   1530622     20.81   no data
499.99/125.45	c  S st   253    806074       776      3370         0     68405     10257   1530622     20.81   no data
500.73/125.64	c  S st   253    806574       776      3370         0     68904     10257   1545586     20.81   no data
500.73/125.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
500.73/125.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
500.73/125.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
500.73/125.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
500.73/125.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
500.73/125.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
500.73/125.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
500.73/125.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
501.12/125.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
519.87/130.48	c lits-rem:       523  cl-subs:     2667  v-elim:      0  v-fix:    0  time:  4.69 s
519.87/130.48	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
520.27/130.50	c vivif2 --  cl tried    66237 cl shrink        0 lits rem          0 time: 0.02
520.27/130.58	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.07
520.27/130.58	c calculated reachability. Time: 0.00
520.27/130.58	c  N st   253    806574       776      3370         0     66237     10257   1453365     20.81   no data
756.32/189.76	c  F st   254   1071876       776      3370         0     81756     10257   1769519     20.81   no data
756.32/189.76	c  N st   254   1071876       776      3370         0     81756     10257   1769519     20.81   no data
763.89/191.62	c Decided on static restart strategy
782.23/196.20	c  N st   264   1100187       776      3370         0     65806     10257   1316495     20.81   no data
815.36/204.55	c  N st   266   1136179       776      3370         0     56107     10257    936216     20.81   no data
848.42/212.87	c  N st   267   1168571       776      3370         0     88006     10257   2058281     20.81   no data
889.09/223.08	c  N st   268   1209862       776      3370         0     82431     10257   1919344     20.81   no data
889.09/223.08	c  S st   268   1209862       776      3370         0     82431     10257   1919344     20.81   no data
890.33/223.35	c  S st   268   1210364       776      3370         0     82933     10257   1934128     20.81   no data
890.33/223.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
890.33/223.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
890.33/223.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
890.33/223.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
890.33/223.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
890.33/223.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
890.33/223.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
890.68/223.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
890.68/223.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
907.03/227.59	c lits-rem:      2136  cl-subs:     1596  v-elim:      0  v-fix:    0  time:  4.07 s
907.03/227.59	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
907.48/227.63	c vivif2 --  cl tried    81337 cl shrink        0 lits rem          0 time: 0.03
907.89/227.72	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.09
907.89/227.73	c calculated reachability. Time: 0.00
907.89/227.73	c  N st   268   1210364       776      3370         0     81337     10257   1863679     20.81   no data
978.40/245.47	c  N st   269   1283249       776      3370         0     57725     10257    924483     20.81   no data
1089.65/273.38	c  N st   270   1392572       776      3370         0     65790     10257   1155135     20.81   no data
1257.92/315.58	c  N st   271   1556556       776      3370         0     70805     10257   1262042     20.81   no data
1430.94/359.15	c  N st   272   1710364       776      3370         0     56804     10257    670411     20.81   no data
1430.94/359.15	c  S st   272   1710364       776      3370         0     56804     10257    670411     20.81   no data
1431.74/359.30	c  S st   272   1710866       776      3370         0     57304     10257    685353     20.81   no data
1431.74/359.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1431.74/359.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1431.74/359.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1431.74/359.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1431.74/359.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1431.74/359.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
1431.74/359.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1431.74/359.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1431.74/359.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1432.14/359.48	c lits-rem:        27  cl-subs:       66  v-elim:      0  v-fix:    0  time:  0.11 s
1432.14/359.48	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
1432.14/359.49	c vivif2 --  cl tried    57238 cl shrink        0 lits rem          0 time: 0.01
1432.54/359.54	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.05
1432.54/359.54	c calculated reachability. Time: 0.00
1432.54/359.54	c  N st   272   1710866       776      3370         0     57238     10257    683408     20.81   no data
1858.41/466.37	c  N st   273   2079832       776      3370         0     63346     10257    733932     20.81   no data
2038.23/511.47	c  N st   274   2210866       776      3370         0     64950     10257    752138     20.81   no data
2038.23/511.47	c  S st   274   2210866       776      3370         0     64950     10257    752138     20.81   no data
2038.98/511.64	c  S st   274   2211367       776      3370         0     65451     10257    767327     20.81   no data
2038.98/511.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2038.98/511.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2038.98/511.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2038.98/511.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2038.98/511.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2038.98/511.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
2038.98/511.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2038.98/511.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2039.38/511.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2039.78/511.84	c lits-rem:        19  cl-subs:       87  v-elim:      0  v-fix:    0  time:  0.12 s
2039.78/511.84	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
2039.78/511.85	c vivif2 --  cl tried    65364 cl shrink        0 lits rem          0 time: 0.01
2040.18/511.91	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.06
2040.18/511.91	c calculated reachability. Time: 0.00
2040.18/511.91	c  N st   274   2211367       776      3370         0     65364     10257    764435     20.81   no data
2743.54/688.39	c  N st   275   2711368       776      3370         0     82259     10257   1218690     20.81   no data
2743.54/688.39	c  S st   275   2711368       776      3370         0     82259     10257   1218690     20.81   no data
2744.79/688.64	c  S st   275   2711872       776      3370         0     82762     10257   1234297     20.81   no data
2744.79/688.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2744.79/688.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2744.79/688.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2744.79/688.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2744.79/688.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2744.79/688.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
2744.79/688.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2745.12/688.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2745.12/688.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2747.92/689.44	c lits-rem:       280  cl-subs:      732  v-elim:      0  v-fix:    0  time:  0.70 s
2747.92/689.44	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
2747.92/689.46	c vivif2 --  cl tried    82030 cl shrink        0 lits rem          0 time: 0.02
2748.32/689.55	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.08
2748.32/689.55	c calculated reachability. Time: 0.00
2748.32/689.55	c  N st   275   2711872       776      3370         0     82030     10257   1207597     20.81   no data
3527.84/885.06	c  N st   276   3211874       776      3370         0    128784     10257   2847026     20.81   no data
3527.84/885.06	c  S st   276   3211874       776      3370         0    128784     10257   2847026     20.81   no data
3529.47/885.50	c  S st   276   3212377       776      3370         0    129287     10257   2862620     20.81   no data
3529.47/885.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3529.88/885.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3529.88/885.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3529.88/885.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3529.88/885.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3529.88/885.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
3529.88/885.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3530.22/885.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3530.61/885.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3590.44/900.79	c lits-rem:      1455  cl-subs:     4154  v-elim:      0  v-fix:    0  time: 14.90 s
3590.44/900.79	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
3590.88/900.84	c vivif2 --  cl tried   125133 cl shrink        0 lits rem          0 time: 0.04
3591.28/900.99	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.15
3591.28/901.00	c calculated reachability. Time: 0.00
3591.28/901.00	c  N st   276   3212377       776      3370         0    125133     10257   2694270     20.81   no data
4427.33/1110.60	c  N st   277   3712377       776      3370         0    135539     10257   2977478     20.81   no data
4427.33/1110.60	c  S st   277   3712377       776      3370         0    135539     10257   2977478     20.81   no data
4428.97/1111.05	c  S st   277   3712879       776      3370         0    136041     10257   2993865     20.81   no data
4428.97/1111.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4429.31/1111.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4429.31/1111.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4429.31/1111.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4429.31/1111.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4429.31/1111.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.00 s
4429.31/1111.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4429.31/1111.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4429.72/1111.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4477.95/1123.39	c lits-rem:       958  cl-subs:     3107  v-elim:      0  v-fix:    0  time: 11.96 s
4477.95/1123.39	c vivif2 --  cl tried     3370 cl shrink        0 lits rem          0 time: 0.00
4478.35/1123.43	c vivif2 --  cl tried   132934 cl shrink        0 lits rem          0 time: 0.04
4478.75/1123.58	c asymm  cl-useful: 0/3370/3370 lits-rem:0 time: 0.15
4478.75/1123.59	c calculated reachability. Time: 0.00
4478.75/1123.59	c  N st   277   3712879       776      3370         0    132934     10257   2861347     20.81   no data
4560.55/1144.03	c  F st   278   3751562       776      3370         0     87301     10257   1036745     20.81   no data
4560.55/1144.03	c  N st   278   3751562       776      3370         0     87301     10257   1036745     20.81   no data
4566.88/1145.62	c Decided on static restart strategy
4597.98/1153.49	c  N st   288   3779864       776      3370         0    115259     10257   1955980     20.81   no data
4660.58/1169.19	c  N st   290   3815856       776      3370         0    150705     10257   3254410     20.81   no data
4718.79/1183.74	c  N st   291   3848248       776      3370         0     97891     10257   1376416     20.81   no data
4799.34/1203.96	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: 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-3366535-1305406841/watcher-3366535-1305406841 -o /tmp/evaluation-result-3366535-1305406841/solver-3366535-1305406841 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366535-1305406841.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: 7.75 8.00 8.03 5/401 28993
/proc/meminfo: memFree=24154880/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=347360 CPUtime=0.02 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 1140 0 0 0 2 0 0 0 25 0 4 0 652282774 355696640 1058 33554432000 4194304 4580107 140736504042048 18446744073709551615 242970211013 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28993/statm: 86875 1067 362 95 0 81857 0
[pid=28993/tid=28994] ppid=28991 vsize=347872 CPUtime=0 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 121 0 0 0 0 0 0 0 25 0 4 0 652282774 356220928 1279 33554432000 4194304 4580107 140736504042048 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=347872 CPUtime=0 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 356 0 0 0 0 0 0 0 25 0 4 0 652282774 356220928 1279 33554432000 4194304 4580107 140736504042048 18446744073709551615 242970205168 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=347872 CPUtime=0 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 170 0 0 0 0 0 0 0 25 0 4 0 652282774 356220928 1279 33554432000 4194304 4580107 140736504042048 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.096068 s]
/proc/loadavg: 7.75 8.00 8.03 5/401 28993
/proc/meminfo: memFree=24154880/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=348000 CPUtime=0.35 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 2048 0 0 0 35 0 0 0 25 0 4 0 652282774 356352000 1889 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28993/statm: 87000 1889 377 95 0 81982 0
[pid=28993/tid=28994] ppid=28991 vsize=348000 CPUtime=0.08 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 417 0 0 0 8 0 0 0 25 0 4 0 652282774 356352000 1889 33554432000 4194304 4580107 140736504042048 18446744073709551615 4321425 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=348000 CPUtime=0.08 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 466 0 0 0 8 0 0 0 25 0 4 0 652282774 356352000 1889 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=348000 CPUtime=0.08 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 297 0 0 0 8 0 0 0 25 0 4 0 652282774 356352000 1889 33554432000 4194304 4580107 140736504042048 18446744073709551615 4321655 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 348000

[startup+0.101066 s]
/proc/loadavg: 7.75 8.00 8.03 5/401 28993
/proc/meminfo: memFree=24154880/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=348000 CPUtime=0.37 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 2078 0 0 0 37 0 0 0 25 0 4 0 652282774 356352000 1919 33554432000 4194304 4580107 140736504042048 18446744073709551615 4321270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28993/statm: 87000 1919 377 95 0 81982 0
[pid=28993/tid=28994] ppid=28991 vsize=348000 CPUtime=0.08 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 430 0 0 0 8 0 0 0 25 0 4 0 652282774 356352000 1919 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=348000 CPUtime=0.09 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 471 0 0 0 9 0 0 0 25 0 4 0 652282774 356352000 1919 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=348000 CPUtime=0.09 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 303 0 0 0 9 0 0 0 25 0 4 0 652282774 356352000 1919 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 348000

[startup+0.301032 s]
/proc/loadavg: 7.75 8.00 8.03 5/401 28993
/proc/meminfo: memFree=24154880/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=349700 CPUtime=1.16 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 3292 0 0 0 116 0 0 0 25 0 4 0 652282774 358092800 2358 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28993/statm: 87425 2358 377 95 0 82407 0
[pid=28993/tid=28994] ppid=28991 vsize=349700 CPUtime=0.28 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 735 0 0 0 28 0 0 0 25 0 4 0 652282774 358092800 2358 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=349700 CPUtime=0.29 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 777 0 0 0 29 0 0 0 25 0 4 0 652282774 358092800 2358 33554432000 4194304 4580107 140736504042048 18446744073709551615 4320793 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=349700 CPUtime=0.28 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 617 0 0 0 28 0 0 0 25 0 4 0 652282774 358092800 2358 33554432000 4194304 4580107 140736504042048 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 349700

[startup+0.700963 s]
/proc/loadavg: 7.75 8.00 8.03 5/401 28993
/proc/meminfo: memFree=24154880/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=350768 CPUtime=2.77 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 5182 0 0 0 276 1 0 0 25 0 4 0 652282774 359186432 3059 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28993/statm: 87692 3059 377 95 0 82674 0
[pid=28993/tid=28994] ppid=28991 vsize=350768 CPUtime=0.68 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 1194 0 0 0 68 0 0 0 25 0 4 0 652282774 359186432 3059 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=350768 CPUtime=0.69 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 1270 0 0 0 69 0 0 0 25 0 4 0 652282774 359186432 3059 33554432000 4194304 4580107 140736504042048 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=350768 CPUtime=0.68 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 1074 0 0 0 68 0 0 0 25 0 4 0 652282774 359186432 3059 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 350768

[startup+1.50083 s]
/proc/loadavg: 7.75 8.00 8.03 9/405 28997
/proc/meminfo: memFree=24133312/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=352404 CPUtime=5.96 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 9039 0 0 0 594 2 0 0 25 0 4 0 652282774 360861696 3561 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28993/statm: 88101 3561 378 95 0 83083 0
[pid=28993/tid=28994] ppid=28991 vsize=352404 CPUtime=1.47 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 2093 0 0 0 147 0 0 0 25 0 4 0 652282774 360861696 3561 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=352404 CPUtime=1.49 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 2263 0 0 0 149 0 0 0 25 0 4 0 652282774 360861696 3561 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=352404 CPUtime=1.48 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 2050 0 0 0 148 0 0 0 25 0 4 0 652282774 360861696 3561 33554432000 4194304 4580107 140736504042048 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 352404

[startup+3.10055 s]
/proc/loadavg: 7.75 8.00 8.03 9/405 28997
/proc/meminfo: memFree=24124260/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=350008 CPUtime=12.34 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 20859 0 0 0 1229 5 0 0 25 0 4 0 652282774 358408192 11737 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 87502 11737 379 95 0 82484 0
[pid=28993/tid=28994] ppid=28991 vsize=350008 CPUtime=3.06 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 4697 0 0 0 305 1 0 0 25 0 4 0 652282774 358408192 11737 33554432000 4194304 4580107 140736504042048 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=350008 CPUtime=3.09 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 5755 0 0 0 308 1 0 0 25 0 4 0 652282774 358408192 11737 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=350008 CPUtime=3.08 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 5021 0 0 0 307 1 0 0 25 0 4 0 652282774 358408192 11737 33554432000 4194304 4580107 140736504042048 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 350008

[startup+6.301 s]
/proc/loadavg: 7.85 8.02 8.04 9/405 28998
/proc/meminfo: memFree=24087056/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=360184 CPUtime=25.08 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 30535 0 0 0 2502 6 0 0 25 0 4 0 652282774 368828416 16373 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 90046 16373 379 95 0 85028 0
[pid=28993/tid=28994] ppid=28991 vsize=360184 CPUtime=6.26 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 8358 0 0 0 625 1 0 0 25 0 4 0 652282774 368828416 16373 33554432000 4194304 4580107 140736504042048 18446744073709551615 4321197 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=360184 CPUtime=6.29 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 8026 0 0 0 628 1 0 0 25 0 4 0 652282774 368828416 16373 33554432000 4194304 4580107 140736504042048 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=360184 CPUtime=6.28 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 7213 0 0 0 626 2 0 0 25 0 4 0 652282774 368828416 16373 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 360184

[startup+12.7009 s]
/proc/loadavg: 7.86 8.02 8.04 9/405 28998
/proc/meminfo: memFree=24041868/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=353604 CPUtime=50.6 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 48429 0 0 0 5050 10 0 0 25 0 4 0 652282774 362090496 26417 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 88401 26417 379 95 0 83383 0
[pid=28993/tid=28994] ppid=28991 vsize=353604 CPUtime=12.66 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 11809 0 0 0 1264 2 0 0 25 0 4 0 652282774 362090496 26417 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=353604 CPUtime=12.69 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 10706 0 0 0 1267 2 0 0 25 0 4 0 652282774 362090496 26417 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=353604 CPUtime=12.67 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 13187 0 0 0 1265 2 0 0 25 0 4 0 652282774 362090496 26417 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 353604

[startup+25.5007 s]
/proc/loadavg: 7.89 8.02 8.03 9/405 29007
/proc/meminfo: memFree=23998628/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=363316 CPUtime=101.59 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 70853 0 0 0 10144 15 0 0 25 0 4 0 652282774 372035584 30859 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 90829 30859 379 95 0 85811 0
[pid=28993/tid=28994] ppid=28991 vsize=363316 CPUtime=25.45 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 16996 0 0 0 2542 3 0 0 25 0 4 0 652282774 372035584 30859 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=363316 CPUtime=25.48 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 15784 0 0 0 2545 3 0 0 25 0 4 0 652282774 372035584 30859 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=363316 CPUtime=25.46 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 18134 0 0 0 2542 4 0 0 25 0 4 0 652282774 372035584 30859 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 363316

[startup+51.1003 s]
/proc/loadavg: 7.93 8.01 8.03 9/405 29008
/proc/meminfo: memFree=23961260/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=382216 CPUtime=203.67 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 105842 0 0 0 20342 25 0 0 25 0 4 0 652282774 391389184 40027 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 95554 40027 379 95 0 90536 0
[pid=28993/tid=28994] ppid=28991 vsize=382216 CPUtime=51.06 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 23632 0 0 0 5100 6 0 0 25 0 4 0 652282774 391389184 40027 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=382216 CPUtime=51.08 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 27804 0 0 0 5102 6 0 0 25 0 4 0 652282774 391389184 40027 33554432000 4194304 4580107 140736504042048 18446744073709551615 4319826 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=382216 CPUtime=51.05 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 26369 0 0 0 5099 6 0 0 25 0 4 0 652282774 391389184 40027 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.67
Current children cumulated vsize (KiB) 382216

[startup+102.315 s]
/proc/loadavg: 7.97 8.01 8.03 9/405 29009
/proc/meminfo: memFree=23874324/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=403976 CPUtime=407.88 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 159101 0 0 0 40746 42 0 0 25 0 4 0 652282774 413671424 53288 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 100994 53288 379 95 0 95976 0
[pid=28993/tid=28994] ppid=28991 vsize=403976 CPUtime=102.27 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 38058 0 0 0 10217 10 0 0 25 0 4 0 652282774 413671424 53288 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=403976 CPUtime=102.29 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 42392 0 0 0 10218 11 0 0 25 0 4 0 652282774 413671424 53288 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=403976 CPUtime=102.27 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 42101 0 0 0 10216 11 0 0 25 0 4 0 652282774 413671424 53288 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.88
Current children cumulated vsize (KiB) 403976

[startup+162.301 s]

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

[pid=28993] ppid=28991 vsize=687004 CPUtime=2799.35 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 498297 0 0 0 279731 204 0 0 25 0 4 0 652282774 703492096 98482 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 171751 98482 379 95 0 166733 0
[pid=28993/tid=28994] ppid=28991 vsize=687004 CPUtime=702.27 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 102832 0 0 0 70183 44 0 0 25 0 4 0 652282774 703492096 98482 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=687004 CPUtime=702.27 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 153723 0 0 0 70166 61 0 0 25 0 4 0 652282774 703492096 98482 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=687004 CPUtime=701.57 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 111112 0 0 0 70111 46 0 0 25 0 4 0 652282774 703492096 98482 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2799.35
Current children cumulated vsize (KiB) 687004

[startup+762.315 s]
/proc/loadavg: 8.15 8.11 8.06 9/405 29030
/proc/meminfo: memFree=23519312/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=687608 CPUtime=3038.65 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 525711 0 0 0 303645 220 0 0 25 0 4 0 652282774 704110592 97067 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 171902 97067 379 95 0 166884 0
[pid=28993/tid=28994] ppid=28991 vsize=687608 CPUtime=762.28 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 108320 0 0 0 76182 46 0 0 25 0 4 0 652282774 704110592 97067 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=687608 CPUtime=762.28 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 161462 0 0 0 76163 65 0 0 25 0 4 0 652282774 704110592 97067 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=687608 CPUtime=761.59 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 117282 0 0 0 76109 50 0 0 25 0 4 0 652282774 704110592 97067 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038.65
Current children cumulated vsize (KiB) 687608

[startup+822.301 s]
/proc/loadavg: 8.15 8.12 8.07 9/405 29031
/proc/meminfo: memFree=23462752/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=706928 CPUtime=3277.83 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 556861 0 0 0 327547 236 0 0 25 0 4 0 652282774 723894272 109618 33554432000 4194304 4580107 140736504042048 18446744073709551615 4281854 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 176732 109618 379 95 0 171714 0
[pid=28993/tid=28994] ppid=28991 vsize=706928 CPUtime=822.26 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 114634 0 0 0 82177 49 0 0 25 0 4 0 652282774 723894272 109618 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=706928 CPUtime=822.27 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 171538 0 0 0 82156 71 0 0 25 0 4 0 652282774 723894272 109618 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=706928 CPUtime=821.58 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 123671 0 0 0 82105 53 0 0 25 0 4 0 652282774 723894272 109618 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.83
Current children cumulated vsize (KiB) 706928

[startup+882.3 s]
/proc/loadavg: 8.18 8.14 8.08 9/405 29033
/proc/meminfo: memFree=23479728/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=652636 CPUtime=3517.05 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 582839 0 0 0 351455 250 0 0 25 0 4 0 652282774 668299264 105686 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 163159 105686 379 95 0 158141 0
[pid=28993/tid=28994] ppid=28991 vsize=652636 CPUtime=882.27 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 120655 0 0 0 88174 53 0 0 25 0 4 0 652282774 668299264 105686 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=652636 CPUtime=882.27 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 180040 0 0 0 88152 75 0 0 25 0 4 0 652282774 668299264 105686 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=652636 CPUtime=881.58 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 126853 0 0 0 88103 55 0 0 25 0 4 0 652282774 668299264 105686 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3517.05
Current children cumulated vsize (KiB) 652636

[startup+942.301 s]
/proc/loadavg: 8.19 8.15 8.09 9/405 29035
/proc/meminfo: memFree=23410516/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=785172 CPUtime=3756.3 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 613756 0 0 0 375366 264 0 0 25 0 4 0 652282774 804016128 122387 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 196293 122387 379 95 0 191275 0
[pid=28993/tid=28994] ppid=28991 vsize=785172 CPUtime=942.27 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 126655 0 0 0 94171 56 0 0 25 0 4 0 652282774 804016128 122387 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=785172 CPUtime=942.27 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 188065 0 0 0 94147 80 0 0 25 0 4 0 652282774 804016128 122387 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=785172 CPUtime=941.59 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 131797 0 0 0 94101 58 0 0 25 0 4 0 652282774 804016128 122387 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3756.3
Current children cumulated vsize (KiB) 785172

[startup+1002.3 s]
/proc/loadavg: 8.11 8.14 8.09 9/405 29036
/proc/meminfo: memFree=23369952/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=749372 CPUtime=3995.52 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 645294 0 0 0 399273 279 0 0 25 0 4 0 652282774 767356928 130261 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 187343 130261 379 95 0 182325 0
[pid=28993/tid=28994] ppid=28991 vsize=749372 CPUtime=1002.27 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 133115 0 0 0 100167 60 0 0 25 0 4 0 652282774 767356928 130261 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=749372 CPUtime=1002.27 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 200802 0 0 0 100143 84 0 0 25 0 4 0 652282774 767356928 130261 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=749372 CPUtime=1001.58 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 136051 0 0 0 100099 59 0 0 25 0 4 0 652282774 767356928 130261 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3995.52
Current children cumulated vsize (KiB) 749372

[startup+1062.3 s]
/proc/loadavg: 8.08 8.12 8.09 9/405 29038
/proc/meminfo: memFree=23338444/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=863340 CPUtime=4234.76 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 672078 0 0 0 423184 292 0 0 25 0 4 0 652282774 884060160 137564 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 215835 137564 379 95 0 210817 0
[pid=28993/tid=28994] ppid=28991 vsize=863340 CPUtime=1062.27 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 139019 0 0 0 106164 63 0 0 25 0 4 0 652282774 884060160 137564 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=863340 CPUtime=1062.26 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 208942 0 0 0 106139 87 0 0 25 0 4 0 652282774 884060160 137564 33554432000 4194304 4580107 140736504042048 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=863340 CPUtime=1061.58 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 141085 0 0 0 106096 62 0 0 25 0 4 0 652282774 884060160 137564 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4234.76
Current children cumulated vsize (KiB) 863340

[startup+1122.3 s]
/proc/loadavg: 8.10 8.13 8.09 9/405 29039
/proc/meminfo: memFree=23335696/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=753996 CPUtime=4473.97 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 694850 0 0 0 447092 305 0 0 25 0 4 0 652282774 772091904 130083 33554432000 4194304 4580107 140736504042048 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 188499 130083 379 95 0 183481 0
[pid=28993/tid=28994] ppid=28991 vsize=753996 CPUtime=1122.27 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 141226 0 0 0 112163 64 0 0 25 0 4 0 652282774 772091904 130083 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=753996 CPUtime=1122.27 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 216411 0 0 0 112135 92 0 0 25 0 4 0 652282774 772091904 130083 33554432000 4194304 4580107 140736504042048 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=753996 CPUtime=1121.59 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 146987 0 0 0 112093 66 0 0 25 0 4 0 652282774 772091904 130083 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4473.97
Current children cumulated vsize (KiB) 753996

[startup+1182.3 s]
/proc/loadavg: 8.18 8.15 8.09 9/405 29072
/proc/meminfo: memFree=23650724/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=868204 CPUtime=4713.21 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 718740 0 0 0 471004 317 0 0 25 0 4 0 652282774 889040896 129424 33554432000 4194304 4580107 140736504042048 18446744073709551615 4321030 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 217051 129424 379 95 0 212033 0
[pid=28993/tid=28994] ppid=28991 vsize=868204 CPUtime=1182.27 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 146261 0 0 0 118161 66 0 0 25 0 4 0 652282774 889040896 129424 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=868204 CPUtime=1182.27 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 223208 0 0 0 118131 96 0 0 25 0 4 0 652282774 889040896 129424 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=868204 CPUtime=1181.58 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 151895 0 0 0 118090 68 0 0 25 0 4 0 652282774 889040896 129424 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4713.21
Current children cumulated vsize (KiB) 868204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.1 s]
/proc/loadavg: 8.12 8.13 8.09 9/405 29072
/proc/meminfo: memFree=23600136/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=765308 CPUtime=4800.17 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 728233 0 0 0 479695 322 0 0 25 0 4 0 652282774 783675392 133674 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 191327 133674 379 95 0 186309 0
[pid=28993/tid=28994] ppid=28991 vsize=765308 CPUtime=1204.08 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 148072 0 0 0 120341 67 0 0 25 0 4 0 652282774 783675392 133675 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=765308 CPUtime=1204.08 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 226482 0 0 0 120311 97 0 0 25 0 4 0 652282774 783675392 133675 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=765308 CPUtime=1203.4 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 154345 0 0 0 120270 70 0 0 25 0 4 0 652282774 783675392 133675 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 765308

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

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

[startup+1204.1 s]
/proc/loadavg: 8.12 8.13 8.09 9/405 29072
/proc/meminfo: memFree=23600136/32951132 swapFree=67093844/67111528
[pid=28993] ppid=28991 vsize=765308 CPUtime=4800.17 cores=1,3,5,7
/proc/28993/stat : 28993 (strangenight2-m) R 28991 28993 28827 0 -1 4202496 728233 0 0 0 479695 322 0 0 25 0 4 0 652282774 783675392 133674 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28993/statm: 191327 133674 379 95 0 186309 0
[pid=28993/tid=28994] ppid=28991 vsize=765308 CPUtime=1204.08 cores=1,3,5,7
/proc/28993/task/28994/stat : 28994 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 148072 0 0 0 120341 67 0 0 25 0 4 0 652282774 783675392 133675 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28993/tid=28995] ppid=28991 vsize=765308 CPUtime=1204.08 cores=1,3,5,7
/proc/28993/task/28995/stat : 28995 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 226482 0 0 0 120311 97 0 0 25 0 4 0 652282774 783675392 133675 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28993/tid=28996] ppid=28991 vsize=765308 CPUtime=1203.4 cores=1,3,5,7
/proc/28993/task/28996/stat : 28996 (strangenight2-m) R 28991 28993 28827 0 -1 4202560 154345 0 0 0 120270 70 0 0 25 0 4 0 652282774 783675392 133675 33554432000 4194304 4580107 140736504042048 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 765308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.14
CPU time (s): 4800.23
CPU user time (s): 4796.99
CPU system time (s): 3.24751
CPU usage (%): 398.643
Max. virtual memory (cumulated for all children) (KiB): 989560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.99
system time used= 3.24751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 728234
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= 297
involuntary context switches= 31813

runsolver used 4.22336 second user time and 11.2143 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 23:00:41
IDJOB=3366535
IDBENCH=82944
IDSOLVER=1844
FILE ID=node128/3366535-1305406841
RUNJOBID= node128-1305405594-28846
PBS_JOBID= 13324496
Free space on /tmp= 73604 MiB

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

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

MD5SUM BENCH= b9f30e687453978167416852673e8ddb
RANDOM SEED=618318883

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24155160 kB
Buffers:        265780 kB
Cached:        2891916 kB
SwapCached:       1440 kB
Active:        6416748 kB
Inactive:      2089268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24155160 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:            6844 kB
Writeback:           0 kB
AnonPages:     5347068 kB
Mapped:          32348 kB
Slab:           187372 kB
PageTables:      38456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100880980 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73596 MiB
End job on node128 at 2011-05-14 23:20:47