Trace number 3366646

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.08 1202.25

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
MD5SUMc2b69177f59f5d1d2093247dc6de56f3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
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-3366646-1305410859.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 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:    550 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:     15  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:     234 undec:      66 neg:     250
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       535      2329         0         0      7091         0   no data   no data
0.04/0.06	c Decided on static restart strategy
0.37/0.16	c  N st     8      4918       535      2329         0      4855      7091    115555   no data   no data
1.57/0.42	c  N st    10     11306       535      2329         0      4485      7091     77893   no data   no data
2.37/0.68	c  N st    11     17049       535      2329         0     10088      7091    212044   no data   no data
3.99/1.09	c  F st    12     25002       535      2329         0     12419      7091    274026   no data   no data
3.99/1.09	c  N st    12     25002       535      2329         0     12419      7091    274026   no data   no data
5.17/1.34	c Decided on static restart strategy
5.17/1.34	c  N st    18     30000       535      2329         0     10666      7091    210483   no data   no data
5.17/1.34	c  S st    18     30000       535      2329         0     10666      7091    210483   no data   no data
5.17/1.37	c  S st    18     30504       535      2329         0     11168      7091    222481   no data   no data
5.17/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.38	c blocked clauses removed:        0 vars:      0 tried:         535 T: 0.00 s
5.17/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
5.17/1.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.17/1.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.45	c lits-rem:       133  cl-subs:      549  v-elim:      0  v-fix:    0  time:  0.06 s
5.56/1.45	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.01
5.56/1.45	c calculated reachability. Time: 0.00
5.56/1.45	c  N st    18     30504       535      2329         0     10619      7091    208726   no data   no data
7.16/1.85	c  N st    20     37615       535      2329         0      9853      7091    169845   no data   no data
8.79/2.23	c  N st    21     44015       535      2329         0     16116      7091    317675   no data   no data
9.16/2.35	c  S st    22     45758       535      2329         0      9091      7091    134956   no data   no data
9.16/2.38	c  S st    22     46261       535      2329         0      9594      7091    147222   no data   no data
9.16/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
9.16/2.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.16/2.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.40	c lits-rem:        14  cl-subs:      121  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.40	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
9.55/2.41	c vivif2 --  cl tried     9473 cl shrink        0 lits rem          0 time: 0.00
9.55/2.41	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.01
9.55/2.41	c calculated reachability. Time: 0.00
9.55/2.41	c  N st    22     46261       535      2329         0      9473      7091    144596   no data   no data
12.77/3.29	c  N st    23     60660       535      2329         0     13880      7091    237645   no data   no data
15.14/3.88	c  N st    24     69391       535      2329         0     11645      7091    172784   no data   no data
15.14/3.88	c  S st    24     69391       535      2329         0     11645      7091    172784   no data   no data
15.55/3.91	c  S st    24     69892       535      2329         0     12145      7091    184601   no data   no data
15.55/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
15.55/3.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.55/3.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.94	c lits-rem:        36  cl-subs:      105  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.94	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
15.55/3.94	c vivif2 --  cl tried    12040 cl shrink        0 lits rem          0 time: 0.00
15.55/3.95	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.01
15.55/3.95	c calculated reachability. Time: 0.00
15.55/3.95	c  N st    24     69892       535      2329         0     12040      7091    182292   no data   no data
20.34/5.17	c  F st    25     87501       535      2329         0     17497      7091    307682   no data   no data
20.34/5.17	c  N st    25     87501       535      2329         0     17497      7091    307682   no data   no data
22.33/5.64	c  N dy    33     93881       535      2329         0     23769      7091    463846     17.09     18.15
24.33/6.13	c  N dy    51    100445       535      2329         0     17438      7091    264481     16.34     17.31
25.53/6.48	c  S st    68    104839       535      2329         0     21771      7091    367484     16.23     16.87
25.94/6.53	c  S st    68    105344       535      2329         0     22276      7091    379710     16.23   no data
25.94/6.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.94/6.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.94/6.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.94/6.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.94/6.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
25.94/6.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
25.94/6.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.94/6.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.62	c lits-rem:        85  cl-subs:      423  v-elim:      0  v-fix:    0  time:  0.07 s
26.36/6.62	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
26.36/6.63	c vivif2 --  cl tried    21853 cl shrink        0 lits rem          0 time: 0.00
26.36/6.64	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.01
26.36/6.64	c calculated reachability. Time: 0.00
26.36/6.64	c  N dy    68    105344       535      2329         0     21853      7091    368817     16.23   no data
28.72/7.29	c  N dy    98    112116       535      2329         0     14723      7091    166744     16.22     18.30
31.11/7.84	c  N dy   125    119577       535      2329         0     22102      7091    341019     16.24     17.14
34.31/8.64	c  N dy   143    127297       535      2329         0     14911      7091    148711     16.04     17.03
36.71/9.26	c  N dy   167    135522       535      2329         0     23020      7091    337517     15.99     16.86
44.28/11.18	c  N dy   191    155886       535      2329         0     27250      7091    403290     15.58     16.42
45.48/11.41	c  S st   195    158017       535      2329         0     29358      7091    450054     15.56     13.41
45.48/11.48	c  S st   195    158519       535      2329         0     29860      7091    462216     15.56   no data
45.48/11.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.48/11.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.48/11.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.48/11.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.48/11.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.48/11.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
45.48/11.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.88/11.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.88/11.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.08/11.87	c lits-rem:       302  cl-subs:     1738  v-elim:      0  v-fix:    0  time:  0.36 s
47.08/11.87	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
47.08/11.87	c vivif2 --  cl tried    28122 cl shrink        0 lits rem          0 time: 0.00
47.08/11.89	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.02
47.08/11.89	c calculated reachability. Time: 0.00
47.08/11.89	c  N dy   195    158519       535      2329         0     28122      7091    427078     15.56   no data
51.48/12.95	c  N dy   224    169110       535      2329         0     21845      7091    269035     15.51     16.38
55.87/14.07	c  N dy   287    179948       535      2329         0     32560      7091    522952     15.58     17.84
60.66/15.23	c  N dy   344    191501       535      2329         0     26212      7091    352850     15.63     17.46
66.24/16.67	c  N dy   379    204018       535      2329         0     19820      7091    188946     15.54     16.43
71.44/17.99	c  N dy   463    217057       535      2329         0     32729      7091    493982     15.62     17.40
80.23/20.14	c  N dy   528    236314       535      2329         0     31961      7091    452594     15.61     16.46
81.03/20.33	c  S st   536    237778       535      2329         0     33413      7091    485522     15.61     13.15
81.43/20.41	c  S st   536    238284       535      2329         0     33918      7091    497967     15.61   no data
81.43/20.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.43/20.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.43/20.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.43/20.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.43/20.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.43/20.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
81.43/20.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.43/20.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.43/20.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.22/20.63	c lits-rem:       112  cl-subs:      984  v-elim:      0  v-fix:    0  time:  0.19 s
82.22/20.63	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
82.22/20.64	c vivif2 --  cl tried    32934 cl shrink        0 lits rem          0 time: 0.00
82.22/20.66	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.02
82.22/20.66	c calculated reachability. Time: 0.00
82.22/20.66	c  N dy   536    238284       535      2329         0     32934      7091    476822     15.61   no data
89.40/22.47	c  N dy   601    253792       535      2329         0     27509      7091    327809     15.63     16.50
98.19/24.61	c  N dy   696    270036       535      2329         0     21828      7091    179312     15.72     19.62
106.18/26.60	c  N dy   788    287286       535      2329         0     38869      7091    584768     15.78     17.23
115.36/28.90	c  N dy   872    305789       535      2329         0     34409      7091    464726     15.76     16.63
115.36/28.97	c  F st   873    306252       535      2329         0     34865      7091    475254     15.76     16.36
118.17/29.62	c Decided on static restart strategy
128.93/32.33	c  N st   883    334559       535      2329         0     38999      7091    762097     15.76   no data
140.13/35.19	c  N st   885    357427       535      2329         0     36827      7091    647830     15.76   no data
140.13/35.19	c  S st   885    357427       535      2329         0     36827      7091    647830     15.76   no data
140.54/35.30	c  S st   885    357931       535      2329         0     37330      7091    659801     15.76   no data
140.91/35.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.91/35.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
140.91/35.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.91/35.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.91/35.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.91/35.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
140.91/35.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
140.91/35.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.91/35.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.90/35.88	c lits-rem:       233  cl-subs:     2142  v-elim:      0  v-fix:    0  time:  0.54 s
142.90/35.88	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
142.90/35.89	c vivif2 --  cl tried    35188 cl shrink        0 lits rem          0 time: 0.01
143.30/35.91	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.02
143.30/35.91	c calculated reachability. Time: 0.00
143.30/35.91	c  N st   885    357931       535      2329         0     35188      7091    611922     15.76   no data
160.87/40.39	c  N st   886    390324       535      2329         0     41413      7091    804265     15.76   no data
187.63/47.05	c  N st   887    438912       535      2329         0     35051      7091    540337     15.76   no data
229.14/57.41	c  N st   888    511795       535      2329         0     48598      7091    834829     15.76   no data
243.12/60.96	c  N st   889    536897       535      2329         0     42812      7091    652608     15.76   no data
243.12/60.96	c  S st   889    536897       535      2329         0     42812      7091    652608     15.76   no data
243.52/61.07	c  S st   889    537407       535      2329         0     43322      7091    665700     15.76   no data
243.52/61.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.52/61.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
243.52/61.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.52/61.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.52/61.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.52/61.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
243.52/61.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
243.92/61.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.92/61.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.71/61.88	c lits-rem:       197  cl-subs:     2428  v-elim:      0  v-fix:    0  time:  0.76 s
246.71/61.88	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
246.71/61.89	c vivif2 --  cl tried    40894 cl shrink        0 lits rem          0 time: 0.01
247.11/61.92	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.03
247.11/61.92	c calculated reachability. Time: 0.00
247.11/61.92	c  N st   889    537407       535      2329         0     40894      7091    611104     15.76   no data
356.51/89.34	c  N st   890    701391       535      2329         0     70103      7091   1288311     15.76   no data
431.57/108.13	c  N st   891    806111       535      2329         0     64498      7091   1140063     15.76   no data
431.57/108.13	c  S st   891    806111       535      2329         0     64498      7091   1140063     15.76   no data
432.37/108.33	c  S st   891    806615       535      2329         0     65000      7091   1152385     15.76   no data
432.37/108.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
432.37/108.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
432.37/108.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.37/108.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
432.37/108.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.37/108.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
432.37/108.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
432.37/108.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
432.77/108.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.56/110.16	c lits-rem:       346  cl-subs:     2153  v-elim:      0  v-fix:    0  time:  1.76 s
439.56/110.16	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
439.56/110.18	c vivif2 --  cl tried    62847 cl shrink        0 lits rem          0 time: 0.02
439.96/110.24	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.06
439.96/110.24	c calculated reachability. Time: 0.00
439.96/110.24	c  N st   891    806615       535      2329         0     62847      7091   1096421     15.76   no data
640.40/160.41	c  F st   892   1071876       535      2329         0     78410      7091   1394989     15.76   no data
640.40/160.41	c  N st   892   1071876       535      2329         0     78410      7091   1394989     15.76   no data
646.78/162.01	c Decided on static restart strategy
664.35/166.49	c  N st   902   1100176       535      2329         0     62242      7091    930111     15.76   no data
695.89/174.34	c  N st   904   1136169       535      2329         0     52427      7091    636770     15.76   no data
723.84/181.32	c  N st   905   1168562       535      2329         0     83949      7091   1405455     15.76   no data
760.57/190.56	c  N st   906   1209923       535      2329         0     78551      7091   1292222     15.76   no data
760.57/190.56	c  S st   906   1209923       535      2329         0     78551      7091   1292222     15.76   no data
761.77/190.82	c  S st   906   1210431       535      2329         0     79058      7091   1304120     15.76   no data
761.77/190.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
761.77/190.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
761.77/190.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
761.77/190.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
761.77/190.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
761.77/190.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
761.77/190.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
761.77/190.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
762.17/190.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
779.34/195.25	c lits-rem:       547  cl-subs:     5414  v-elim:      0  v-fix:    0  time:  4.34 s
779.34/195.25	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
779.34/195.27	c vivif2 --  cl tried    73644 cl shrink        0 lits rem          0 time: 0.02
779.74/195.34	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.07
779.74/195.34	c calculated reachability. Time: 0.00
779.74/195.34	c  N st   906   1210431       535      2329         0     73644      7091   1171073     15.76   no data
854.40/214.08	c  N st   907   1283313       535      2329         0     50089      7091    528517     15.76   no data
963.00/241.24	c  N st   908   1392636       535      2329         0     58254      7091    697164     15.76   no data
1112.32/278.62	c  N st   909   1556620       535      2329         0     63165      7091    775583     15.76   no data
1267.24/317.43	c  N st   910   1710431       535      2329         0    104959      7091   1802315     15.76   no data
1267.24/317.43	c  S st   910   1710431       535      2329         0    104959      7091   1802315     15.76   no data
1268.44/317.79	c  S st   910   1710938       535      2329         0    105466      7091   1814646     15.76   no data
1268.44/317.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1268.85/317.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1268.85/317.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1268.85/317.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1268.85/317.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1268.85/317.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1268.85/317.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1268.85/317.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1269.27/317.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1311.96/328.63	c lits-rem:       408  cl-subs:     6741  v-elim:      0  v-fix:    0  time: 10.70 s
1311.96/328.63	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
1311.96/328.65	c vivif2 --  cl tried    98725 cl shrink        0 lits rem          0 time: 0.02
1312.36/328.76	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.11
1312.36/328.76	c calculated reachability. Time: 0.00
1312.36/328.76	c  N st   910   1710938       535      2329         0     98725      7091   1657211     15.76   no data
1693.67/424.26	c  N st   911   2079902       535      2329         0    110343      7091   1804974     15.76   no data
1840.23/460.96	c  N st   912   2210940       535      2329         0    113940      7091   1820273     15.76   no data
1840.23/460.96	c  S st   912   2210940       535      2329         0    113940      7091   1820273     15.76   no data
1841.80/461.31	c  S st   912   2211443       535      2329         0    114442      7091   1832560     15.76   no data
1841.80/461.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1841.80/461.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1841.80/461.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1841.80/461.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1841.80/461.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1841.80/461.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1841.80/461.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1842.20/461.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1842.20/461.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1894.90/474.69	c lits-rem:       598  cl-subs:    11182  v-elim:      0  v-fix:    0  time: 13.24 s
1894.90/474.69	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
1895.30/474.72	c vivif2 --  cl tried   103260 cl shrink        0 lits rem          0 time: 0.02
1895.70/474.83	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.11
1895.70/474.84	c calculated reachability. Time: 0.00
1895.70/474.84	c  N st   912   2211443       535      2329         0    103260      7091   1601237     15.76   no data
2467.45/618.07	c  N st   913   2711444       535      2329         0    127138      7091   2095960     15.76   no data
2467.45/618.07	c  S st   913   2711444       535      2329         0    127138      7091   2095960     15.76   no data
2469.45/618.50	c  S st   913   2711948       535      2329         0    127640      7091   2108085     15.76   no data
2469.45/618.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2469.45/618.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2469.45/618.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2469.45/618.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2469.45/618.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2469.45/618.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
2469.45/618.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2469.85/618.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2469.85/618.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2542.12/636.78	c lits-rem:       614  cl-subs:    11980  v-elim:      0  v-fix:    0  time: 18.12 s
2542.12/636.78	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
2542.53/636.81	c vivif2 --  cl tried   115660 cl shrink        0 lits rem          0 time: 0.03
2542.94/636.94	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.13
2542.94/636.94	c calculated reachability. Time: 0.00
2542.94/636.94	c  N st   913   2711948       535      2329         0    115660      7091   1847371     15.76   no data
3190.13/799.01	c  N st   914   3211952       535      2329         0     91473      7091   1105296     15.76   no data
3190.13/799.01	c  S st   914   3211952       535      2329         0     91473      7091   1105296     15.76   no data
3191.33/799.31	c  S st   914   3212453       535      2329         0     91972      7091   1118389     15.76   no data
3191.33/799.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3191.33/799.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3191.33/799.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3191.33/799.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3191.33/799.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3191.33/799.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3191.33/799.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3191.33/799.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3191.73/799.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3196.93/800.72	c lits-rem:       241  cl-subs:     2701  v-elim:      0  v-fix:    0  time:  1.30 s
3196.93/800.72	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
3196.93/800.73	c vivif2 --  cl tried    89271 cl shrink        0 lits rem          0 time: 0.02
3197.34/800.82	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.09
3197.34/800.83	c calculated reachability. Time: 0.00
3197.34/800.83	c  N st   914   3212453       535      2329         0     89271      7091   1057138     15.76   no data
3887.25/973.68	c  N st   915   3712455       535      2329         0    100424      7091   1260897     15.76   no data
3887.25/973.68	c  S st   915   3712455       535      2329         0    100424      7091   1260897     15.76   no data
3888.85/974.02	c  S st   915   3712956       535      2329         0    100923      7091   1274127     15.76   no data
3888.85/974.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3888.85/974.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3888.85/974.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3888.85/974.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3888.85/974.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3888.85/974.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3888.85/974.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3889.25/974.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3889.25/974.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3894.84/975.54	c lits-rem:       197  cl-subs:     2120  v-elim:      0  v-fix:    0  time:  1.39 s
3894.84/975.54	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
3894.84/975.56	c vivif2 --  cl tried    98803 cl shrink        0 lits rem          0 time: 0.02
3895.26/975.66	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.10
3895.26/975.66	c calculated reachability. Time: 0.00
3895.26/975.66	c  N st   915   3712956       535      2329         0     98803      7091   1225216     15.76   no data
3949.94/989.31	c  F st   916   3751562       535      2329         0    136429      7091   2159958     15.76   no data
3949.94/989.31	c  N st   916   3751562       535      2329         0    136429      7091   2159958     15.76   no data
3959.13/991.69	c Decided on static restart strategy
4000.67/1002.02	c  N st   926   3779871       535      2329         0    164294      7091   2880639     15.76   no data
4047.37/1013.77	c  N st   928   3815868       535      2329         0    116665      7091   1642950     15.76   no data
4098.47/1026.57	c  N st   929   3848260       535      2329         0    148151      7091   2467110     15.76   no data
4163.58/1042.87	c  N st   930   3896849       535      2329         0    111633      7091   1505412     15.76   no data
4283.33/1072.85	c  N st   931   3969732       535      2329         0     97659      7091   1112600     15.76   no data
4452.62/1115.28	c  N st   932   4079060       535      2329         0    118383      7091   1643439     15.76   no data
4665.03/1168.49	c  N st   933   4212957       535      2329         0    161886      7091   2687981     15.76   no data
4665.03/1168.49	c  S st   933   4212957       535      2329         0    161886      7091   2687981     15.76   no data
4667.43/1169.07	c  S st   933   4213466       535      2329         0    162394      7091   2700630     15.76   no data
4667.43/1169.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4667.83/1169.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.09
4667.83/1169.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4667.83/1169.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4667.83/1169.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4667.83/1169.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
4667.83/1169.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4667.83/1169.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4668.24/1169.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.02 2/233 8936
/proc/meminfo: memFree=24314288/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 406 0 0 0 0 0 0 0 24 0 4 0 652686617 52396032 347 33554432000 4194304 4580107 140734514096576 18446744073709551615 47160905275314 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 12792 347 299 95 0 7774 0
[pid=8936/tid=8937] ppid=8934 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652686617 52396032 347 33554432000 4194304 4580107 140734514096576 18446744073709551615 47160905275314 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652686617 52396032 347 33554432000 4194304 4580107 140734514096576 18446744073709551615 47160905275308 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652686617 52396032 347 33554432000 4194304 4580107 140734514096576 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.018466 s]
/proc/loadavg: 0.00 0.00 0.02 2/233 8936
/proc/meminfo: memFree=24314288/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=282232 CPUtime=0.04 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 1291 0 0 0 4 0 0 0 25 0 4 0 652686617 289005568 1207 33554432000 4194304 4580107 140734514096576 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 70558 1207 376 95 0 65540 0
[pid=8936/tid=8937] ppid=8934 vsize=282232 CPUtime=0.01 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 266 0 0 0 1 0 0 0 25 0 4 0 652686617 289005568 1207 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=282232 CPUtime=0.01 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 243 0 0 0 1 0 0 0 25 0 4 0 652686617 289005568 1207 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=282232 CPUtime=0 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 141 0 0 0 0 0 0 0 25 0 4 0 652686617 289005568 1207 33554432000 4194304 4580107 140734514096576 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 282232

[startup+0.100466 s]
/proc/loadavg: 0.00 0.00 0.02 2/233 8936
/proc/meminfo: memFree=24314288/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=282364 CPUtime=0.37 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 1677 0 0 0 37 0 0 0 25 0 4 0 652686617 289140736 1593 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 70591 1593 377 95 0 65573 0
[pid=8936/tid=8937] ppid=8934 vsize=282364 CPUtime=0.09 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 357 0 0 0 9 0 0 0 25 0 4 0 652686617 289140736 1593 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=282364 CPUtime=0.09 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 326 0 0 0 9 0 0 0 25 0 4 0 652686617 289140736 1593 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=282364 CPUtime=0.08 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 259 0 0 0 8 0 0 0 25 0 4 0 652686617 289140736 1593 33554432000 4194304 4580107 140734514096576 18446744073709551615 4322524 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282364

[startup+0.300421 s]
/proc/loadavg: 0.00 0.00 0.02 2/233 8936
/proc/meminfo: memFree=24314288/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=283856 CPUtime=1.18 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 2744 0 0 0 117 1 0 0 25 0 4 0 652686617 290668544 2094 33554432000 4194304 4580107 140734514096576 18446744073709551615 4317194 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 70964 2094 377 95 0 65946 0
[pid=8936/tid=8937] ppid=8934 vsize=283856 CPUtime=0.29 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 620 0 0 0 29 0 0 0 25 0 4 0 652686617 290668544 2094 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=283856 CPUtime=0.29 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 580 0 0 0 29 0 0 0 25 0 4 0 652686617 290668544 2094 33554432000 4194304 4580107 140734514096576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=283856 CPUtime=0.28 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 536 0 0 0 28 0 0 0 25 0 4 0 652686617 290668544 2095 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283856

[startup+0.700343 s]
/proc/loadavg: 0.00 0.00 0.02 2/233 8936
/proc/meminfo: memFree=24314288/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=284648 CPUtime=2.77 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 4300 0 0 0 276 1 0 0 18 0 4 0 652686617 291479552 2765 33554432000 4194304 4580107 140734514096576 18446744073709551615 4318719 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 71162 2765 377 95 0 66144 0
[pid=8936/tid=8937] ppid=8934 vsize=284648 CPUtime=0.68 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 1018 0 0 0 68 0 0 0 25 0 4 0 652686617 291479552 2765 33554432000 4194304 4580107 140734514096576 18446744073709551615 4320786 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=284648 CPUtime=0.69 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 952 0 0 0 69 0 0 0 25 0 4 0 652686617 291479552 2766 33554432000 4194304 4580107 140734514096576 18446744073709551615 222921437893 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=284648 CPUtime=0.68 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 933 0 0 0 68 0 0 0 25 0 4 0 652686617 291479552 2766 33554432000 4194304 4580107 140734514096576 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284648

[startup+1.50114 s]
/proc/loadavg: 0.00 0.00 0.02 6/237 8942
/proc/meminfo: memFree=24304212/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=286036 CPUtime=5.97 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 8735 0 0 0 594 3 0 0 19 0 4 0 652686617 292900864 4536 33554432000 4194304 4580107 140734514096576 18446744073709551615 4296274 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 71509 4536 379 95 0 66491 0
[pid=8936/tid=8937] ppid=8934 vsize=286036 CPUtime=1.48 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 1803 0 0 0 148 0 0 0 25 0 4 0 652686617 292900864 4536 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=286036 CPUtime=1.49 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 1724 0 0 0 149 0 0 0 25 0 4 0 652686617 292900864 4536 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=286036 CPUtime=1.48 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 1707 0 0 0 147 1 0 0 25 0 4 0 652686617 292900864 4536 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286036

[startup+3.10084 s]
/proc/loadavg: 0.00 0.00 0.02 9/245 8953
/proc/meminfo: memFree=24274760/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=286260 CPUtime=12.35 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 17883 0 0 0 1231 4 0 0 22 0 4 0 652686617 293130240 9682 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 71565 9682 379 95 0 66547 0
[pid=8936/tid=8937] ppid=8934 vsize=286260 CPUtime=3.09 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 4217 0 0 0 308 1 0 0 25 0 4 0 652686617 293130240 9682 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=286260 CPUtime=3.09 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 4741 0 0 0 308 1 0 0 25 0 4 0 652686617 293130240 9682 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=286260 CPUtime=3.07 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 3960 0 0 0 306 1 0 0 25 0 4 0 652686617 293130240 9682 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286260

[startup+6.30026 s]
/proc/loadavg: 0.64 0.13 0.07 9/245 8953
/proc/meminfo: memFree=24208244/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=301644 CPUtime=25.13 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 27429 0 0 0 2508 5 0 0 25 0 4 0 652686617 308883456 13294 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 75411 13294 379 95 0 70393 0
[pid=8936/tid=8937] ppid=8934 vsize=301644 CPUtime=6.28 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 7256 0 0 0 627 1 0 0 25 0 4 0 652686617 308883456 13294 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=301644 CPUtime=6.29 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 7756 0 0 0 628 1 0 0 25 0 4 0 652686617 308883456 13294 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=301644 CPUtime=6.24 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 5256 0 0 0 623 1 0 0 25 0 4 0 652686617 308883456 13294 33554432000 4194304 4580107 140734514096576 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 301644

[startup+12.7011 s]
/proc/loadavg: 1.23 0.26 0.11 10/245 8953
/proc/meminfo: memFree=24145896/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=301160 CPUtime=50.68 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 42368 0 0 0 5060 8 0 0 25 0 4 0 652686617 308387840 20316 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 75290 20316 379 95 0 70272 0
[pid=8936/tid=8937] ppid=8934 vsize=301160 CPUtime=12.69 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 10495 0 0 0 1267 2 0 0 25 0 4 0 652686617 308387840 20316 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=301160 CPUtime=12.69 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 10271 0 0 0 1267 2 0 0 25 0 4 0 652686617 308387840 20316 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=301160 CPUtime=12.59 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 10285 0 0 0 1257 2 0 0 25 0 4 0 652686617 308387840 20316 33554432000 4194304 4580107 140734514096576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 301160

[startup+25.5007 s]
/proc/loadavg: 2.73 0.64 0.23 10/245 8954
/proc/meminfo: memFree=24099960/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=312380 CPUtime=101.78 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 58429 0 0 0 10167 11 0 0 25 0 4 0 652686617 319877120 27901 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 78095 27901 379 95 0 73077 0
[pid=8936/tid=8937] ppid=8934 vsize=312380 CPUtime=25.49 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 13929 0 0 0 2546 3 0 0 25 0 4 0 652686617 319877120 27901 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=312380 CPUtime=25.49 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 14008 0 0 0 2547 2 0 0 25 0 4 0 652686617 319877120 27901 33554432000 4194304 4580107 140734514096576 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=312380 CPUtime=25.3 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 15647 0 0 0 2527 3 0 0 25 0 4 0 652686617 319877120 27901 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 312380

[startup+51.1011 s]
/proc/loadavg: 4.53 1.23 0.44 10/245 8954
/proc/meminfo: memFree=24044464/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=369008 CPUtime=204 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 88472 0 0 0 20381 19 0 0 25 0 4 0 652686617 377864192 38029 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 92252 38029 379 95 0 87234 0
[pid=8936/tid=8937] ppid=8934 vsize=369008 CPUtime=51.09 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 21461 0 0 0 5104 5 0 0 25 0 4 0 652686617 377864192 38029 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=369008 CPUtime=51.09 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 19836 0 0 0 5106 3 0 0 25 0 4 0 652686617 377864192 38029 33554432000 4194304 4580107 140734514096576 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=369008 CPUtime=50.71 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 24144 0 0 0 5065 6 0 0 25 0 4 0 652686617 377864192 38029 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 369008

[startup+102.309 s]
/proc/loadavg: 6.53 2.29 0.84 9/245 8956
/proc/meminfo: memFree=23979096/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=350160 CPUtime=408.45 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 128128 0 0 0 40813 32 0 0 25 0 4 0 652686617 358563840 44761 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 87540 44761 379 95 0 82522 0
[pid=8936/tid=8937] ppid=8934 vsize=350160 CPUtime=102.29 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 33836 0 0 0 10221 8 0 0 25 0 4 0 652686617 358563840 44761 33554432000 4194304 4580107 140734514096576 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=350160 CPUtime=102.3 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 24085 0 0 0 10225 5 0 0 25 0 4 0 652686617 358563840 44761 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=350160 CPUtime=101.53 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 36893 0 0 0 10144 9 0 0 25 0 4 0 652686617 358563840 44761 33554432000 4194304 4580107 140734514096576 18446744073709551615 4321722 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.45
Current children cumulated vsize (KiB) 350160

[startup+162.301 s]

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

[pid=8936] ppid=8934 vsize=491412 CPUtime=2564.5 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 429475 0 0 0 256314 136 0 0 25 0 4 0 652686617 503205888 85203 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 122853 85203 379 95 0 117835 0
[pid=8936/tid=8937] ppid=8934 vsize=491412 CPUtime=642.3 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 83643 0 0 0 64203 27 0 0 25 0 4 0 652686617 503205888 85203 33554432000 4194304 4580107 140734514096576 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=491412 CPUtime=642.32 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 96914 0 0 0 64199 33 0 0 25 0 4 0 652686617 503205888 85203 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=491412 CPUtime=637.55 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 126234 0 0 0 63714 41 0 0 25 0 4 0 652686617 503205888 85203 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2564.5
Current children cumulated vsize (KiB) 491412

[startup+702.301 s]
/proc/loadavg: 8.09 7.32 4.28 10/245 8972
/proc/meminfo: memFree=23505884/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=491652 CPUtime=2804.04 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 454130 0 0 0 280258 146 0 0 25 0 4 0 652686617 503451648 91642 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 122913 91642 379 95 0 117895 0
[pid=8936/tid=8937] ppid=8934 vsize=491652 CPUtime=702.29 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 88685 0 0 0 70200 29 0 0 25 0 4 0 652686617 503451648 91642 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=491652 CPUtime=702.31 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 104087 0 0 0 70195 36 0 0 25 0 4 0 652686617 503451648 91642 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=491652 CPUtime=697.1 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 133643 0 0 0 69666 44 0 0 25 0 4 0 652686617 503451648 91642 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.04
Current children cumulated vsize (KiB) 491652

[startup+762.309 s]
/proc/loadavg: 8.07 7.45 4.51 9/245 8973
/proc/meminfo: memFree=23452412/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=557388 CPUtime=3043.63 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 479673 0 0 0 304206 157 0 0 25 0 4 0 652686617 570765312 94360 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 139347 94360 379 95 0 134329 0
[pid=8936/tid=8937] ppid=8934 vsize=557388 CPUtime=762.3 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 91557 0 0 0 76199 31 0 0 25 0 4 0 652686617 570765312 94360 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=557388 CPUtime=762.31 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 110828 0 0 0 76191 40 0 0 25 0 4 0 652686617 570765312 94360 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=557388 CPUtime=756.66 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 145696 0 0 0 75619 47 0 0 25 0 4 0 652686617 570765312 94360 33554432000 4194304 4580107 140734514096576 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3043.63
Current children cumulated vsize (KiB) 557388

[startup+822.301 s]
/proc/loadavg: 8.07 7.56 4.73 9/245 8975
/proc/meminfo: memFree=23433896/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=633532 CPUtime=3283.16 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 502607 0 0 0 328151 165 0 0 25 0 4 0 652686617 648736768 97862 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 158383 97862 379 95 0 153365 0
[pid=8936/tid=8937] ppid=8934 vsize=633532 CPUtime=822.29 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 94544 0 0 0 82197 32 0 0 25 0 4 0 652686617 648736768 97862 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=633532 CPUtime=822.31 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 118927 0 0 0 82189 42 0 0 25 0 4 0 652686617 648736768 97862 33554432000 4194304 4580107 140734514096576 18446744073709551615 4321944 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=633532 CPUtime=816.22 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 151572 0 0 0 81572 50 0 0 25 0 4 0 652686617 648736768 97862 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.16
Current children cumulated vsize (KiB) 633532

[startup+882.301 s]
/proc/loadavg: 8.02 7.64 4.94 10/245 8977
/proc/meminfo: memFree=23443676/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=633756 CPUtime=3522.73 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 524869 0 0 0 352100 173 0 0 25 0 4 0 652686617 648966144 100982 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 158439 100982 379 95 0 153421 0
[pid=8936/tid=8937] ppid=8934 vsize=633756 CPUtime=882.3 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 98904 0 0 0 88196 34 0 0 25 0 4 0 652686617 648966144 100982 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=633756 CPUtime=882.31 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 125345 0 0 0 88186 45 0 0 25 0 4 0 652686617 648966144 100982 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=633756 CPUtime=875.78 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 158464 0 0 0 87526 52 0 0 25 0 4 0 652686617 648966144 100982 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3522.73
Current children cumulated vsize (KiB) 633756

[startup+942.301 s]
/proc/loadavg: 8.01 7.70 5.12 10/245 8978
/proc/meminfo: memFree=23455176/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=581436 CPUtime=3762.29 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 544398 0 0 0 376048 181 0 0 25 0 4 0 652686617 595390464 92276 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 145359 92276 379 95 0 140341 0
[pid=8936/tid=8937] ppid=8934 vsize=581436 CPUtime=942.29 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 101029 0 0 0 94195 34 0 0 25 0 4 0 652686617 595390464 92276 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=581436 CPUtime=942.32 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 131984 0 0 0 94183 49 0 0 25 0 4 0 652686617 595390464 92276 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=581436 CPUtime=935.33 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 165463 0 0 0 93478 55 0 0 25 0 4 0 652686617 595390464 92276 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3762.29
Current children cumulated vsize (KiB) 581436

[startup+1002.3 s]
/proc/loadavg: 8.11 7.79 5.31 9/245 8980
/proc/meminfo: memFree=23405292/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=639804 CPUtime=4001.85 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 570158 0 0 0 399993 192 0 0 25 0 4 0 652686617 655159296 102797 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 159951 102797 379 95 0 154933 0
[pid=8936/tid=8937] ppid=8934 vsize=639804 CPUtime=1002.3 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 105675 0 0 0 100193 37 0 0 25 0 4 0 652686617 655159296 102797 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=639804 CPUtime=1002.31 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 139339 0 0 0 100180 51 0 0 25 0 4 0 652686617 655159296 102797 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=639804 CPUtime=994.89 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 172922 0 0 0 99432 57 0 0 25 0 4 0 652686617 655159296 102797 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4001.85
Current children cumulated vsize (KiB) 639804

[startup+1062.3 s]
/proc/loadavg: 8.11 7.84 5.48 9/245 8981
/proc/meminfo: memFree=23407488/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=587928 CPUtime=4241.41 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 591984 0 0 0 423939 202 0 0 25 0 4 0 652686617 602038272 99278 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 146982 99278 379 95 0 141964 0
[pid=8936/tid=8937] ppid=8934 vsize=587928 CPUtime=1062.29 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 107548 0 0 0 106192 37 0 0 25 0 4 0 652686617 602038272 99278 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=587928 CPUtime=1062.32 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 146063 0 0 0 106177 55 0 0 25 0 4 0 652686617 602038272 99278 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=587928 CPUtime=1054.46 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 179440 0 0 0 105386 60 0 0 25 0 4 0 652686617 602038272 99278 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4241.41
Current children cumulated vsize (KiB) 587928

[startup+1122.3 s]
/proc/loadavg: 8.11 7.88 5.64 10/245 8983
/proc/meminfo: memFree=23384896/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=561696 CPUtime=4480.97 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 614848 0 0 0 447886 211 0 0 25 0 4 0 652686617 575176704 107679 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 140424 107679 379 95 0 135406 0
[pid=8936/tid=8937] ppid=8934 vsize=561696 CPUtime=1122.29 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 111844 0 0 0 112190 39 0 0 25 0 4 0 652686617 575176704 107679 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=561696 CPUtime=1122.33 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 152674 0 0 0 112175 58 0 0 25 0 4 0 652686617 575176704 107679 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=561696 CPUtime=1114.01 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 184838 0 0 0 111338 63 0 0 25 0 4 0 652686617 575176704 107679 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4480.97
Current children cumulated vsize (KiB) 561696

[startup+1182.3 s]
/proc/loadavg: 8.11 7.92 5.79 10/245 8985
/proc/meminfo: memFree=23354480/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=572680 CPUtime=4720.53 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 631273 0 0 0 471833 220 0 0 25 0 4 0 652686617 586424320 106505 33554432000 4194304 4580107 140734514096576 18446744073709551615 4406365 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 143170 106505 379 95 0 138152 0
[pid=8936/tid=8937] ppid=8934 vsize=572680 CPUtime=1182.29 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 112646 0 0 0 118189 40 0 0 25 0 4 0 652686617 586424320 106505 33554432000 4194304 4580107 140734514096576 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=572680 CPUtime=1182.33 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 158114 0 0 0 118171 62 0 0 25 0 4 0 652686617 586424320 106505 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=572680 CPUtime=1173.57 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 189644 0 0 0 117292 65 0 0 25 0 4 0 652686617 586424320 106505 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4720.53
Current children cumulated vsize (KiB) 572680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.08 7.92 5.84 10/245 8985
/proc/meminfo: memFree=23328436/32951124 swapFree=61559568/67111528
[pid=8936] ppid=8934 vsize=652008 CPUtime=4800.02 cores=0,2,4,6
/proc/8936/stat : 8936 (strangenight2-m) R 8934 8936 8848 0 -1 4202496 639404 0 0 0 479779 223 0 0 25 0 4 0 652686617 667656192 114577 33554432000 4194304 4580107 140734514096576 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8936/statm: 163002 114577 379 95 0 157984 0
[pid=8936/tid=8937] ppid=8934 vsize=652008 CPUtime=1202.21 cores=0,2,4,6
/proc/8936/task/8937/stat : 8937 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 114341 0 0 0 120180 41 0 0 25 0 4 0 652686617 667656192 114577 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8936/tid=8938] ppid=8934 vsize=652008 CPUtime=1202.24 cores=0,2,4,6
/proc/8936/task/8938/stat : 8938 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 164461 0 0 0 120161 63 0 0 25 0 4 0 652686617 667656192 114577 33554432000 4194304 4580107 140734514096576 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8936/tid=8939] ppid=8934 vsize=652008 CPUtime=1193.31 cores=0,2,4,6
/proc/8936/task/8939/stat : 8939 (strangenight2-m) R 8934 8936 8848 0 -1 4202560 189733 0 0 0 119266 65 0 0 25 0 4 0 652686617 667656192 114577 33554432000 4194304 4580107 140734514096576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 652008

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.25
CPU time (s): 4800.08
CPU user time (s): 4797.83
CPU system time (s): 2.25466
CPU usage (%): 399.26
Max. virtual memory (cumulated for all children) (KiB): 693280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.83
system time used= 2.25466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639404
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= 249
involuntary context switches= 34507

runsolver used 2.55461 second user time and 6.23605 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-15 00:07:39
IDJOB=3366646
IDBENCH=83055
IDSOLVER=1844
FILE ID=node109/3366646-1305410859
RUNJOBID= node109-1305410851-8866
PBS_JOBID= 13324534
Free space on /tmp= 73228 MiB

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

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

MD5SUM BENCH= c2b69177f59f5d1d2093247dc6de56f3
RANDOM SEED=174817425

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24314568 kB
Buffers:        233784 kB
Cached:        2252724 kB
SwapCached:      28404 kB
Active:          96376 kB
Inactive:      8323328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24314568 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:            5812 kB
Writeback:           0 kB
AnonPages:     5911140 kB
Mapped:          17180 kB
Slab:           122624 kB
PageTables:      30512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 17852708 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= 73216 MiB
End job on node109 at 2011-05-15 00:27:43