Trace number 3366496

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.12 1204.85

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf
MD5SUM5aca76da937068f3a8e48a26305deff6
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 variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.03/0.01	c Using 4 threads
0.03/0.01	c This is CryptoMiniSat 3.0.0
0.03/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.03/0.01	c Reading file 'HOME/instance-3366496-1305405594.cnf'
0.03/0.01	c -- header says num vars:            700
0.03/0.01	c -- header says num clauses:        2982
0.03/0.06	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.03/0.06	c -- vars added        700
0.03/0.06	c Parsing time:  0.00 s
0.03/0.06	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.03/0.06	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.00
0.03/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.03/0.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.03/0.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.03/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.03/0.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.03/0.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.03/0.06	c lits-rem:         0  cl-subs:        0  v-elim:     21  v-fix:    0  time:  0.00 s
0.03/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.03/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.03/0.06	c calculated reachability. Time: 0.00
0.03/0.06	c Calc default polars -  time:   0.00 s pos:     314 undec:      86 neg:     300
0.03/0.06	c =========================================================================================
0.03/0.06	c types(t): F = full restart, N = normal restart
0.03/0.06	c types(t): S = simplification begin/end, E = solution found
0.03/0.06	c restart types(rt): st = static, dy = dynamic
0.03/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.03/0.06	c  B st     0         0       679      2944         0         0      8947         0   no data   no data
0.03/0.16	c Decided on static restart strategy
0.77/0.26	c  N st     8      4921       679      2944         0      4865      8947    149260   no data   no data
1.56/0.48	c  N st    10     11304       679      2944         0      4504      8947     98256   no data   no data
2.76/0.77	c  N st    11     17047       679      2944         0     10212      8947    279153   no data   no data
4.75/1.22	c  F st    12     25000       679      2944         0     12515      8947    342370   no data   no data
4.75/1.22	c  N st    12     25000       679      2944         0     12515      8947    342370   no data   no data
5.55/1.48	c Decided on static restart strategy
5.55/1.48	c  N st    18     30000       679      2944         0     10746      8947    254530   no data   no data
5.55/1.48	c  S st    18     30000       679      2944         0     10746      8947    254530   no data   no data
5.95/1.51	c  S st    18     30502       679      2944         0     11248      8947    268319   no data   no data
5.95/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.95/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.95/1.52	c blocked clauses removed:        1 vars:      1 tried:         679 T: 0.00 s
5.95/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.95/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
5.95/1.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.95/1.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.95/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.57	c lits-rem:       128  cl-subs:      245  v-elim:      0  v-fix:    0  time:  0.04 s
5.95/1.58	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.01
5.95/1.58	c calculated reachability. Time: 0.00
5.95/1.58	c  N st    18     30502       678      2943         0     11001      8944    259349   no data   no data
7.94/2.01	c  N st    20     37612       678      2943         0     10220      8944    216578   no data   no data
9.53/2.45	c  N st    21     44011       678      2943         0     16523      8944    415751   no data   no data
9.93/2.56	c  S st    22     45754       678      2943         0      9445      8944    170144   no data   no data
9.93/2.59	c  S st    22     46258       678      2943         0      9949      8944    183822   no data   no data
9.93/2.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.93/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.93/2.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.93/2.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.93/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.93/2.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
9.93/2.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.33/2.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.33/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.33/2.61	c lits-rem:        58  cl-subs:       43  v-elim:      0  v-fix:    0  time:  0.01 s
10.33/2.61	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
10.33/2.61	c vivif2 --  cl tried     9906 cl shrink        0 lits rem          0 time: 0.00
10.33/2.62	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.01
10.33/2.62	c calculated reachability. Time: 0.00
10.33/2.62	c  N st    22     46258       678      2943         0      9906      8944    182257   no data   no data
14.25/3.63	c  N st    23     60655       678      2943         0     14282      8944    304250   no data   no data
16.30/4.31	c  N st    24     69388       678      2943         0     12073      8944    221655   no data   no data
16.30/4.31	c  S st    24     69388       678      2943         0     12073      8944    221655   no data   no data
16.65/4.34	c  S st    24     69893       678      2943         0     12578      8944    235125   no data   no data
16.65/4.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.65/4.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.65/4.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.65/4.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.65/4.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.65/4.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
16.65/4.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.65/4.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.96/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.96/4.48	c lits-rem:        52  cl-subs:       85  v-elim:      0  v-fix:    0  time:  0.02 s
16.96/4.48	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
16.96/4.49	c vivif2 --  cl tried    12493 cl shrink        0 lits rem          0 time: 0.00
16.96/4.49	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.01
16.96/4.50	c calculated reachability. Time: 0.00
16.96/4.50	c  N st    24     69893       678      2943         0     12493      8944    232224   no data   no data
21.62/5.89	c  F st    25     87501       678      2943         0     18031      8944    398566   no data   no data
21.62/5.89	c  N st    25     87501       678      2943         0     18031      8944    398566   no data   no data
23.31/6.35	c  N dy    32     93186       678      2943         0     23650      8944    570433     20.37     21.64
24.99/6.89	c  N dy    42    100143       678      2943         0     17623      8944    301123     18.63     19.66
26.88/7.31	c  S st    70    104840       678      2943         0     22280      8944    431932     18.96     16.84
26.88/7.36	c  S st    70    105343       678      2943         0     22783      8944    445645     18.96   no data
26.88/7.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.88/7.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.88/7.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.88/7.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.88/7.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.88/7.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
26.88/7.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.88/7.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.88/7.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.29/7.47	c lits-rem:        85  cl-subs:      289  v-elim:      0  v-fix:    0  time:  0.08 s
27.29/7.47	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
27.29/7.47	c vivif2 --  cl tried    22494 cl shrink        0 lits rem          0 time: 0.00
27.29/7.48	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.01
27.29/7.49	c calculated reachability. Time: 0.00
27.29/7.49	c  N dy    70    105343       678      2943         0     22494      8944    436752     18.96   no data
30.47/8.21	c  N dy   117    112952       678      2943         0     16165      8944    223131     19.43     20.79
32.91/8.84	c  N dy   135    120255       678      2943         0     23414      8944    429417     19.28     20.92
36.05/9.61	c  N dy   184    128097       678      2943         0     16326      8944    201267     19.45     20.85
38.43/10.29	c  N dy   218    136343       678      2943         0     24519      8944    442247     19.50     21.99
42.42/11.22	c  N dy   258    145794       678      2943         0     18017      8944    223746     19.52     20.62
45.65/12.05	c  N dy   305    155222       678      2943         0     27386      8944    496113     19.57     20.63
46.80/12.36	c  S st   314    158015       678      2943         0     30151      8944    575441     19.54     14.81
47.20/12.43	c  S st   314    158517       678      2943         0     30652      8944    588936     19.54   no data
47.20/12.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.20/12.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.20/12.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.20/12.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.20/12.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.20/12.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
47.20/12.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.20/12.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.20/12.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.99/12.61	c lits-rem:       150  cl-subs:      305  v-elim:      0  v-fix:    0  time:  0.14 s
47.99/12.61	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
47.99/12.62	c vivif2 --  cl tried    30347 cl shrink        0 lits rem          0 time: 0.01
47.99/12.64	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.02
47.99/12.64	c calculated reachability. Time: 0.00
47.99/12.64	c  N dy   314    158517       678      2943         0     30347      8944    577998     19.54   no data
51.98/13.63	c  N dy   364    168640       678      2943         0     23523      8944    353707     19.59     20.67
57.16/14.94	c  N dy   405    180505       678      2943         0     35280      8944    693849     19.55     20.80
62.35/16.20	c  N dy   433    193652       678      2943         0     30465      8944    536922     19.36     20.50
67.98/17.67	c  N dy   511    206129       678      2943         0     24005      8944    322087     19.47     20.50
74.71/19.30	c  N dy   599    220407       678      2943         0     38212      8944    737224     19.56     20.70
80.72/20.81	c  N dy   677    234765       678      2943         0     32615      8944    549760     19.65     20.73
81.87/21.19	c  S st   685    237775       678      2943         0     35607      8944    635489     19.63     18.16
82.27/21.27	c  S st   685    238278       678      2943         0     36109      8944    649804     19.63   no data
82.27/21.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.27/21.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.27/21.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.27/21.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.27/21.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.27/21.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
82.27/21.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.27/21.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.67/21.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.07/21.49	c lits-rem:       252  cl-subs:      335  v-elim:      0  v-fix:    0  time:  0.18 s
83.07/21.49	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
83.47/21.50	c vivif2 --  cl tried    35774 cl shrink        0 lits rem          0 time: 0.01
83.47/21.52	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.02
83.47/21.52	c calculated reachability. Time: 0.00
83.47/21.52	c  N dy   685    238278       678      2943         0     35774      8944    637931     19.63   no data
91.37/23.50	c  N dy   753    253578       678      2943         0     30086      8944    449555     19.66     20.89
100.14/25.79	c  N dy   840    269918       678      2943         0     24454      8944    260179     19.71     20.78
108.90/27.90	c  N dy   929    287169       678      2943         0     41612      8944    766913     19.74     20.81
117.67/30.17	c  N dy  1011    305596       678      2943         0     37038      8944    604577     19.77     20.82
118.07/30.26	c  F st  1015    306251       678      2943         0     37685      8944    623489     19.77     18.56
128.87/32.95	c  N dy  1074    327330       678      2943         0     34770      8944    519760     19.76     20.80
140.00/35.73	c  N dy  1118    347726       678      2943         0     30157      8944    355023     19.65     20.80
144.78/36.99	c  S st  1185    357418       678      2943         0     39798      8944    640359     19.70   no data
145.17/37.09	c  S st  1185    357919       678      2943         0     40299      8944    654871     19.70   no data
145.17/37.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.57/37.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
145.57/37.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.57/37.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.57/37.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.57/37.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
145.57/37.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.57/37.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.57/37.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.41/37.32	c lits-rem:       150  cl-subs:      339  v-elim:      0  v-fix:    0  time:  0.19 s
146.41/37.32	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
146.41/37.33	c vivif2 --  cl tried    39960 cl shrink        0 lits rem          0 time: 0.01
146.41/37.36	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.03
146.41/37.36	c calculated reachability. Time: 0.00
146.41/37.36	c  N dy  1185    357919       678      2943         0     39960      8944    642491     19.70   no data
158.33/40.33	c  N dy  1298    378191       678      2943         0     34302      8944    458082     19.74     20.87
171.48/43.67	c  N dy  1391    398496       678      2943         0     27644      8944    234741     19.76     20.91
182.63/46.44	c  N dy  1456    418532       678      2943         0     47475      8944    809749     19.73     21.19
195.03/49.55	c  N dy  1533    438671       678      2943         0     39700      8944    567938     19.72     20.76
208.92/53.10	c  N dy  1655    458684       678      2943         0     30786      8944    280469     19.76     21.22
220.93/56.08	c  N dy  1775    478686       678      2943         0     50647      8944    871208     19.81     23.60
234.49/59.42	c  N dy  1851    498782       678      2943         0     40807      8944    550424     19.81     23.89
249.58/63.21	c  N dy  1947    518922       678      2943         0     60806      8944   1137807     19.82     21.03
259.95/65.84	c  S st  2024    536878       678      2943         0     47873      8944    737232     19.83     20.79
260.38/65.94	c  S st  2024    537378       678      2943         0     48373      8944    751509     19.83   no data
260.38/65.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.38/65.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.38/65.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.38/65.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.38/65.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.38/65.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
260.38/65.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.38/65.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
260.38/66.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.53/66.27	c lits-rem:       153  cl-subs:      513  v-elim:      0  v-fix:    0  time:  0.27 s
261.53/66.27	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
261.53/66.29	c vivif2 --  cl tried    47860 cl shrink        0 lits rem          0 time: 0.01
261.93/66.32	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.03
261.93/66.32	c calculated reachability. Time: 0.00
261.93/66.32	c  N dy  2024    537378       678      2943         0     47860      8944    734273     19.83   no data
277.49/70.27	c  N dy  2102    557649       678      2943         0     36189      8944    372862     19.82     20.90
291.47/73.77	c  N dy  2172    578425       678      2943         0     56797      8944    973974     19.80     21.01
309.76/78.35	c  N dy  2244    604777       678      2943         0     50117      8944    747229     19.75     20.89
327.68/82.82	c  N dy  2347    626339       678      2943         0     37810      8944    373027     19.77     20.85
341.64/86.32	c  N dy  2430    646806       678      2943         0     58110      8944    973301     19.76     20.86
357.98/90.43	c  N dy  2530    667629       678      2943         0     44092      8944    536848     19.77     21.05
375.51/94.80	c  N dy  2602    689844       678      2943         0     66081      8944   1179777     19.76     21.00
390.66/98.61	c  N dy  2726    710329       678      2943         0     50760      8944    712964     19.79     21.14
409.00/103.27	c  N dy  2795    730397       678      2943         0     70597      8944   1284563     19.77     21.10
423.34/106.86	c  N dy  2895    750436       678      2943         0     53799      8944    776304     19.79     20.99
444.90/112.27	c  N dy  3022    770486       678      2943         0     73727      8944   1367306     19.82     21.02
459.60/115.98	c  N dy  3123    790820       678      2943         0     56212      8944    822006     19.83     20.94
474.36/119.61	c  S st  3197    806067       678      2943         0     71352      8944   1277052     19.84     17.62
474.76/119.79	c  S st  3197    806568       678      2943         0     71853      8944   1291255     19.84   no data
474.76/119.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
475.19/119.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
475.19/119.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
475.19/119.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
475.19/119.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
475.19/119.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
475.19/119.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
475.19/119.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
475.19/119.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.34/120.68	c lits-rem:       186  cl-subs:      991  v-elim:      0  v-fix:    0  time:  0.80 s
478.34/120.68	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
478.74/120.70	c vivif2 --  cl tried    70862 cl shrink        0 lits rem          0 time: 0.02
478.74/120.76	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.06
478.74/120.76	c calculated reachability. Time: 0.00
478.74/120.76	c  N dy  3197    806568       678      2943         0     70862      8944   1258420     19.84   no data
494.68/124.73	c  N dy  3258    826658       678      2943         0     52049      8944    675688     19.83     23.10
514.21/129.65	c  N dy  3372    847400       678      2943         0     72635      8944   1286770     19.85     20.93
530.94/133.86	c  N dy  3458    867856       678      2943         0     53281      8944    692065     19.86     21.00
550.86/138.87	c  N dy  3591    887920       678      2943         0     73188      8944   1287392     19.89     21.82
569.18/143.41	c  N dy  3710    907985       678      2943         0     52412      8944    646002     19.91     24.59
588.32/148.28	c  N dy  3830    928055       678      2943         0     72326      8944   1234491     19.93     21.07
605.85/152.64	c  N dy  3842    948152       678      2943         0     50537      8944    549456     19.88     21.57
623.40/157.08	c  N dy  3908    968492       678      2943         0     70650      8944   1128943     19.88     20.99
644.91/162.41	c  N dy  4010    988581       678      2943         0     47984      8944    468824     19.89     21.67
662.04/166.73	c  N dy  4121   1008635       678      2943         0     67859      8944   1067311     19.91     22.00
686.73/172.91	c  N dy  4238   1028650       678      2943         0     44112      8944    328600     19.93     23.49
702.30/176.86	c  N dy  4342   1048869       678      2943         0     64164      8944    924046     19.94     21.00
724.61/182.46	c  N dy  4423   1069121       678      2943         0     84261      8944   1525563     19.93     21.09
728.20/183.36	c  F st  4428   1071876       678      2943         0     86981      8944   1603023     19.93     17.39
733.38/184.61	c Decided on static restart strategy
743.00/187.02	c  N st  4437   1090581       678      2943         0     60856      8944    834711     19.93   no data
767.24/193.12	c  N st  4439   1114576       678      2943         0     84564      8944   1582013     19.93   no data
786.42/197.91	c  N st  4440   1136171       678      2943         0     60310      8944   1348411     19.93   no data
821.89/206.88	c  N st  4441   1168564       678      2943         0     92278      8944   2423509     19.93   no data
863.70/217.38	c  N st  4442   1209852       678      2943         0     86484      8944   2051075     19.93   no data
863.70/217.38	c  S st  4442   1209852       678      2943         0     86484      8944   2051075     19.93   no data
864.90/217.66	c  S st  4442   1210356       678      2943         0     86988      8944   2066084     19.93   no data
864.90/217.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
864.90/217.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
864.90/217.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
864.90/217.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
864.90/217.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
864.90/217.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
864.90/217.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
865.33/217.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
865.33/217.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
898.36/226.05	c lits-rem:       523  cl-subs:     3928  v-elim:      0  v-fix:    0  time:  8.24 s
898.36/226.05	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
898.36/226.08	c vivif2 --  cl tried    83060 cl shrink        0 lits rem          0 time: 0.03
898.76/226.16	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.08
898.76/226.17	c calculated reachability. Time: 0.00
898.76/226.17	c  N st  4442   1210356       678      2943         0     83060      8944   1934189     19.93   no data
972.50/244.66	c  N st  4443   1283238       678      2943         0     59317      8944   1102242     19.93   no data
1077.73/271.04	c  N st  4444   1392563       678      2943         0     67702      8944   1370256     19.93   no data
1257.13/316.07	c  N st  4445   1556548       678      2943         0     72682      8944   1359125     19.93   no data
1438.89/361.65	c  N st  4446   1710356       678      2943         0     58249      8944    774003     19.93   no data
1438.89/361.65	c  S st  4446   1710356       678      2943         0     58249      8944    774003     19.93   no data
1439.29/361.81	c  S st  4446   1710860       678      2943         0     58753      8944    788861     19.93   no data
1439.72/361.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1439.72/361.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1439.72/361.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1439.72/361.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1439.72/361.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1439.72/361.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
1439.72/361.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1439.72/361.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1439.72/361.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1441.28/362.23	c lits-rem:       120  cl-subs:      384  v-elim:      0  v-fix:    0  time:  0.35 s
1441.28/362.23	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
1441.28/362.24	c vivif2 --  cl tried    58369 cl shrink        0 lits rem          0 time: 0.01
1441.28/362.29	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.05
1441.28/362.29	c calculated reachability. Time: 0.00
1441.28/362.29	c  N st  4446   1710860       678      2943         0     58369      8944    778148     19.93   no data
1915.24/481.11	c  N st  4447   2079824       678      2943         0     64231      8944    805185     19.93   no data
2089.09/524.74	c  N st  4448   2210864       678      2943         0     66542      8944    832786     19.93   no data
2089.09/524.74	c  S st  4448   2210864       678      2943         0     66542      8944    832786     19.93   no data
2089.83/524.93	c  S st  4448   2211367       678      2943         0     67045      8944    847323     19.93   no data
2089.83/524.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2089.83/524.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2089.83/524.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2089.83/524.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2089.83/524.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2089.83/524.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
2089.83/524.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2089.83/524.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2090.23/525.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2091.03/525.27	c lits-rem:       178  cl-subs:      236  v-elim:      0  v-fix:    0  time:  0.27 s
2091.03/525.27	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
2091.03/525.29	c vivif2 --  cl tried    66809 cl shrink        0 lits rem          0 time: 0.01
2091.43/525.34	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.06
2091.43/525.35	c calculated reachability. Time: 0.00
2091.43/525.35	c  N st  4448   2211367       678      2943         0     66809      8944    839389     19.93   no data
2769.07/695.32	c  N st  4449   2711367       678      2943         0     83281      8944   1199454     19.93   no data
2769.07/695.32	c  S st  4449   2711367       678      2943         0     83281      8944   1199454     19.93   no data
2769.87/695.58	c  S st  4449   2711868       678      2943         0     83782      8944   1213480     19.93   no data
2769.87/695.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2770.27/695.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2770.27/695.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2770.27/695.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2770.27/695.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2770.27/695.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
2770.27/695.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2770.27/695.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2770.27/695.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2774.66/696.77	c lits-rem:       226  cl-subs:     1231  v-elim:      0  v-fix:    0  time:  1.09 s
2774.66/696.77	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
2774.66/696.79	c vivif2 --  cl tried    82551 cl shrink        0 lits rem          0 time: 0.02
2775.06/696.87	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.08
2775.06/696.87	c calculated reachability. Time: 0.00
2775.06/696.87	c  N st  4449   2711868       678      2943         0     82551      8944   1174121     19.93   no data
3552.41/891.81	c  N st  4450   3211868       678      2943         0    128032      8944   2378039     19.93   no data
3552.41/891.81	c  S st  4450   3211868       678      2943         0    128032      8944   2378039     19.93   no data
3553.99/892.22	c  S st  4450   3212376       678      2943         0    128540      8944   2393260     19.93   no data
3553.99/892.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3554.39/892.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
3554.39/892.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3554.39/892.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3554.39/892.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3554.39/892.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
3554.39/892.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3554.39/892.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3554.80/892.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3623.38/909.61	c lits-rem:       547  cl-subs:     7721  v-elim:      0  v-fix:    0  time: 17.19 s
3623.38/909.61	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
3623.38/909.65	c vivif2 --  cl tried   120819 cl shrink        0 lits rem          0 time: 0.03
3623.79/909.78	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.13
3623.79/909.78	c calculated reachability. Time: 0.00
3623.79/909.78	c  N st  4450   3212376       678      2943         0    120819      8944   2181123     19.93   no data
4388.29/1101.56	c  N st  4451   3712380       678      2943         0    132202      8944   2594990     19.93   no data
4388.29/1101.56	c  S st  4451   3712380       678      2943         0    132202      8944   2594990     19.93   no data
4389.88/1101.97	c  S st  4451   3712882       678      2943         0    132702      8944   2610262     19.93   no data
4389.88/1101.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4390.28/1102.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4390.28/1102.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4390.28/1102.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4390.28/1102.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4390.28/1102.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
4390.28/1102.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4390.28/1102.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4390.71/1102.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4450.06/1117.00	c lits-rem:       474  cl-subs:     5061  v-elim:      0  v-fix:    0  time: 14.83 s
4450.06/1117.00	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
4450.06/1117.03	c vivif2 --  cl tried   127641 cl shrink        0 lits rem          0 time: 0.04
4450.46/1117.17	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.14
4450.46/1117.18	c calculated reachability. Time: 0.00
4450.46/1117.18	c  N st  4451   3712882       678      2943         0    127641      8944   2431313     19.93   no data
4526.19/1136.13	c  F st  4452   3751562       678      2943         0    165603      8944   3715753     19.93   no data
4526.19/1136.13	c  N st  4452   3751562       678      2943         0    165603      8944   3715753     19.93   no data
4535.38/1138.41	c Decided on static restart strategy
4565.64/1146.00	c  N st  4462   3779868       678      2943         0    110237      8944   1741041     19.93   no data
4633.00/1162.94	c  N st  4464   3815860       678      2943         0    145760      8944   2908672     19.93   no data
4690.01/1177.29	c  N st  4465   3848254       678      2943         0     93152      8944   1152991     19.93   no data
4768.19/1196.88	c  N st  4466   3896843       678      2943         0    140938      8944   2688322     19.93   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-3366496-1305405594/watcher-3366496-1305405594 -o /tmp/evaluation-result-3366496-1305405594/solver-3366496-1305405594 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366496-1305405594.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: 6.37 7.73 7.97 8/401 28868
/proc/meminfo: memFree=24241212/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 407 0 0 0 2 0 0 0 25 0 4 0 652158056 52396032 347 33554432000 4194304 4580107 140736918824368 18446744073709551615 47991853586358 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 12792 347 299 95 0 7774 0
[pid=28868/tid=28869] ppid=28866 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 652158056 52396032 347 33554432000 4194304 4580107 140736918824368 18446744073709551615 47991853586348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652158056 52396032 347 33554432000 4194304 4580107 140736918824368 18446744073709551615 47991853586354 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652158056 52396032 347 33554432000 4194304 4580107 140736918824368 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.015618 s]
/proc/loadavg: 6.37 7.73 7.97 8/401 28868
/proc/meminfo: memFree=24241212/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=116704 CPUtime=0.03 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) D 28866 28868 28827 0 -1 4202496 433 0 0 0 3 0 0 0 25 0 4 0 652158056 119504896 364 33554432000 4194304 4580107 140736918824368 18446744073709551615 242970205168 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 61944 370 312 95 0 56926 0
[pid=28868/tid=28869] ppid=28866 vsize=182240 CPUtime=0.01 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 18 0 0 0 1 0 0 0 18 0 4 0 652158056 186613760 378 33554432000 4194304 4580107 140736918824368 18446744073709551615 242994914832 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=182244 CPUtime=0.01 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 11 0 0 0 1 0 0 0 25 0 4 0 652158056 186617856 390 33554432000 4194304 4580107 140736918824368 18446744073709551615 242970593370 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=183208 CPUtime=0 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 4 0 652158056 187604992 402 33554432000 4194304 4580107 140736918824368 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 116704

[startup+0.165534 s]
/proc/loadavg: 6.37 7.73 7.97 8/401 28868
/proc/meminfo: memFree=24241212/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=282580 CPUtime=0.63 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 2143 0 0 0 63 0 0 0 18 0 4 0 652158056 289361920 2034 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 70645 2034 377 95 0 65627 0
[pid=28868/tid=28869] ppid=28866 vsize=282580 CPUtime=0.16 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 474 0 0 0 16 0 0 0 18 0 4 0 652158056 289361920 2034 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=282580 CPUtime=0.15 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 467 0 0 0 15 0 0 0 18 0 4 0 652158056 289361920 2034 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=282580 CPUtime=0.14 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 346 0 0 0 14 0 0 0 25 0 4 0 652158056 289361920 2034 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 282580

[startup+0.300492 s]
/proc/loadavg: 6.37 7.73 7.97 8/401 28868
/proc/meminfo: memFree=24241212/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=284148 CPUtime=1.16 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 3033 0 0 0 116 0 0 0 18 0 4 0 652158056 290967552 2207 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 71037 2207 377 95 0 66019 0
[pid=28868/tid=28869] ppid=28866 vsize=284148 CPUtime=0.29 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 703 0 0 0 29 0 0 0 18 0 4 0 652158056 290967552 2207 33554432000 4194304 4580107 140736918824368 18446744073709551615 4321582 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=284148 CPUtime=0.29 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 690 0 0 0 29 0 0 0 18 0 4 0 652158056 290967552 2207 33554432000 4194304 4580107 140736918824368 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=284148 CPUtime=0.28 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 567 0 0 0 28 0 0 0 25 0 4 0 652158056 290967552 2207 33554432000 4194304 4580107 140736918824368 18446744073709551615 4296130 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284148

[startup+0.700424 s]
/proc/loadavg: 6.37 7.73 7.97 8/401 28868
/proc/meminfo: memFree=24241212/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=285316 CPUtime=2.76 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 4869 0 0 0 276 0 0 0 18 0 4 0 652158056 292163584 2943 33554432000 4194304 4580107 140736918824368 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 71329 2943 377 95 0 66311 0
[pid=28868/tid=28869] ppid=28866 vsize=285316 CPUtime=0.69 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 1170 0 0 0 69 0 0 0 18 0 4 0 652158056 292163584 2943 33554432000 4194304 4580107 140736918824368 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=285316 CPUtime=0.69 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 1159 0 0 0 69 0 0 0 18 0 4 0 652158056 292163584 2943 33554432000 4194304 4580107 140736918824368 18446744073709551615 4322656 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=285316 CPUtime=0.68 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 1010 0 0 0 68 0 0 0 25 0 4 0 652158056 292163584 2943 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285316

[startup+1.50029 s]
/proc/loadavg: 6.58 7.75 7.97 9/405 28872
/proc/meminfo: memFree=24222580/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=286760 CPUtime=5.95 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 8499 0 0 0 594 1 0 0 20 0 4 0 652158056 293642240 3464 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 71690 3464 378 95 0 66672 0
[pid=28868/tid=28869] ppid=28866 vsize=286760 CPUtime=1.49 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 2054 0 0 0 149 0 0 0 20 0 4 0 652158056 293642240 3464 33554432000 4194304 4580107 140736918824368 18446744073709551615 4301616 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=286760 CPUtime=1.48 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 2079 0 0 0 148 0 0 0 19 0 4 0 652158056 293642240 3464 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=286760 CPUtime=1.46 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 1916 0 0 0 146 0 0 0 25 0 4 0 652158056 293642240 3464 33554432000 4194304 4580107 140736918824368 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286760

[startup+3.10101 s]
/proc/loadavg: 6.58 7.75 7.97 9/405 28872
/proc/meminfo: memFree=24195052/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=292644 CPUtime=12.33 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 20574 0 0 0 1230 3 0 0 25 0 4 0 652158056 299667456 10848 33554432000 4194304 4580107 140736918824368 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 73161 10848 379 95 0 68143 0
[pid=28868/tid=28869] ppid=28866 vsize=292644 CPUtime=3.09 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 4515 0 0 0 309 0 0 0 25 0 4 0 652158056 299667456 10848 33554432000 4194304 4580107 140736918824368 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=292644 CPUtime=3.09 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 5605 0 0 0 308 1 0 0 25 0 4 0 652158056 299667456 10848 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=292644 CPUtime=3.04 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 5042 0 0 0 304 0 0 0 25 0 4 0 652158056 299667456 10848 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 292644

[startup+6.30046 s]
/proc/loadavg: 6.58 7.75 7.97 11/405 28872
/proc/meminfo: memFree=24143792/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=293668 CPUtime=23.31 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 29655 0 0 0 2301 30 0 0 20 0 4 0 652158056 300716032 14301 33554432000 4194304 4580107 140736918824368 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 73417 14301 379 95 0 68399 0
[pid=28868/tid=28869] ppid=28866 vsize=293668 CPUtime=4.63 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 4916 0 0 0 452 11 0 0 25 0 4 0 652158056 300716032 14301 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=293668 CPUtime=6.26 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 9577 0 0 0 623 3 0 0 20 0 4 0 652158056 300716032 14301 33554432000 4194304 4580107 140736918824368 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=293668 CPUtime=6.16 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 7217 0 0 0 614 2 0 0 20 0 4 0 652158056 300716032 14301 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.31
Current children cumulated vsize (KiB) 293668

[startup+12.7004 s]
/proc/loadavg: 6.95 7.79 7.98 9/405 28873
/proc/meminfo: memFree=24078984/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=311328 CPUtime=48.39 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 48723 0 0 0 4801 38 0 0 25 0 4 0 652158056 318799872 23670 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28868/statm: 77832 23670 379 95 0 72814 0
[pid=28868/tid=28869] ppid=28866 vsize=311328 CPUtime=10.66 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 10311 0 0 0 1050 16 0 0 25 0 4 0 652158056 318799872 23670 33554432000 4194304 4580107 140736918824368 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=311328 CPUtime=12.65 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 13072 0 0 0 1261 4 0 0 25 0 4 0 652158056 318799872 23670 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=311328 CPUtime=12.48 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 12787 0 0 0 1245 3 0 0 25 0 4 0 652158056 318799872 23670 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48.39
Current children cumulated vsize (KiB) 311328

[startup+25.5012 s]
/proc/loadavg: 7.11 7.80 7.98 9/405 28873
/proc/meminfo: memFree=23989756/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=328588 CPUtime=99.35 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 70871 0 0 0 9878 57 0 0 25 0 4 0 652158056 336474112 33128 33554432000 4194304 4580107 140736918824368 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28868/statm: 82147 33128 379 95 0 77129 0
[pid=28868/tid=28869] ppid=28866 vsize=328588 CPUtime=23.46 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 14660 0 0 0 2329 17 0 0 25 0 4 0 652158056 336474112 33128 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=328588 CPUtime=25.44 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 20507 0 0 0 2538 6 0 0 25 0 4 0 652158056 336474112 33128 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=328588 CPUtime=25.1 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 18752 0 0 0 2506 4 0 0 25 0 4 0 652158056 336474112 33128 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 99.35
Current children cumulated vsize (KiB) 328588

[startup+51.1008 s]
/proc/loadavg: 7.41 7.81 7.98 9/405 28873
/proc/meminfo: memFree=23934888/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=333876 CPUtime=201.37 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 99363 0 0 0 20071 66 0 0 25 0 4 0 652158056 341889024 40291 33554432000 4194304 4580107 140736918824368 18446744073709551615 4301936 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28868/statm: 83469 40291 379 95 0 78451 0
[pid=28868/tid=28869] ppid=28866 vsize=333876 CPUtime=49.04 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 17966 0 0 0 4886 18 0 0 25 0 4 0 652158056 341889024 40291 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=333876 CPUtime=51.03 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 30572 0 0 0 5094 9 0 0 25 0 4 0 652158056 341889024 40291 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=333876 CPUtime=50.37 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 28443 0 0 0 5031 6 0 0 25 0 4 0 652158056 341889024 40291 33554432000 4194304 4580107 140736918824368 18446744073709551615 4320727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.37
Current children cumulated vsize (KiB) 333876

[startup+102.315 s]
/proc/loadavg: 7.87 7.87 7.99 9/405 28875
/proc/meminfo: memFree=23856244/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=345572 CPUtime=405.45 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 145733 0 0 0 40464 81 0 0 25 0 4 0 652158056 353865728 49753 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28868/statm: 86393 49753 379 95 0 81375 0
[pid=28868/tid=28869] ppid=28866 vsize=345572 CPUtime=100.24 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 24497 0 0 0 10004 20 0 0 25 0 4 0 652158056 353865728 49753 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=345572 CPUtime=102.24 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 44030 0 0 0 10210 14 0 0 25 0 4 0 652158056 353865728 49753 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=345572 CPUtime=100.92 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 46045 0 0 0 10081 11 0 0 25 0 4 0 652158056 353865728 49753 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 405.45
Current children cumulated vsize (KiB) 345572

[startup+162.301 s]

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

[pid=28868] ppid=28866 vsize=643348 CPUtime=2557.85 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 381825 0 0 0 255594 191 0 0 25 0 4 0 652158056 658788352 104075 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 160837 104075 379 95 0 155819 0
[pid=28868/tid=28869] ppid=28866 vsize=643348 CPUtime=640.06 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 49692 0 0 0 63974 32 0 0 25 0 4 0 652158056 658788352 104076 33554432000 4194304 4580107 140736918824368 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=643348 CPUtime=642.2 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 124524 0 0 0 64171 49 0 0 25 0 4 0 652158056 658788352 104076 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=643348 CPUtime=634.02 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 108862 0 0 0 63365 37 0 0 25 0 4 0 652158056 658788352 104076 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2557.85
Current children cumulated vsize (KiB) 643348

[startup+702.301 s]
/proc/loadavg: 8.09 8.07 8.03 9/405 28891
/proc/meminfo: memFree=23352812/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=554884 CPUtime=2796.99 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 398703 0 0 0 279498 201 0 0 25 0 4 0 652158056 568201216 97539 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 138721 97539 379 95 0 133703 0
[pid=28868/tid=28869] ppid=28866 vsize=554884 CPUtime=700.01 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 49932 0 0 0 69967 34 0 0 25 0 4 0 652158056 568201216 97539 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=554884 CPUtime=702.19 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 131600 0 0 0 70166 53 0 0 25 0 4 0 652158056 568201216 97539 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=554884 CPUtime=693.25 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 111935 0 0 0 69286 39 0 0 25 0 4 0 652158056 568201216 97539 33554432000 4194304 4580107 140736918824368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2796.99
Current children cumulated vsize (KiB) 554884

[startup+762.315 s]
/proc/loadavg: 8.11 8.08 8.03 9/405 28893
/proc/meminfo: memFree=23308652/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=623268 CPUtime=3036.22 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 415718 0 0 0 303411 211 0 0 25 0 4 0 652158056 638226432 100793 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 155817 100793 379 95 0 150799 0
[pid=28868/tid=28869] ppid=28866 vsize=623268 CPUtime=759.97 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 50147 0 0 0 75962 35 0 0 25 0 4 0 652158056 638226432 100793 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=623268 CPUtime=762.2 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 137966 0 0 0 76164 56 0 0 25 0 4 0 652158056 638226432 100793 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=623268 CPUtime=752.49 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 115259 0 0 0 75209 40 0 0 25 0 4 0 652158056 638226432 100793 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3036.22
Current children cumulated vsize (KiB) 623268

[startup+822.301 s]
/proc/loadavg: 8.27 8.13 8.05 9/405 28894
/proc/meminfo: memFree=23292772/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=557788 CPUtime=3275.36 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 433065 0 0 0 327316 220 0 0 25 0 4 0 652158056 571174912 104655 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 139447 104655 379 95 0 134429 0
[pid=28868/tid=28869] ppid=28866 vsize=557788 CPUtime=819.92 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 51051 0 0 0 81956 36 0 0 25 0 4 0 652158056 571174912 104655 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=557788 CPUtime=822.19 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 141907 0 0 0 82161 58 0 0 25 0 4 0 652158056 571174912 104655 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=557788 CPUtime=811.72 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 120813 0 0 0 81130 42 0 0 25 0 4 0 652158056 571174912 104655 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3275.36
Current children cumulated vsize (KiB) 557788

[startup+882.301 s]
/proc/loadavg: 8.17 8.13 8.05 9/405 28896
/proc/meminfo: memFree=23300204/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=563048 CPUtime=3514.53 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 449080 0 0 0 351224 229 0 0 25 0 4 0 652158056 576561152 99777 33554432000 4194304 4580107 140736918824368 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 140762 99777 379 95 0 135744 0
[pid=28868/tid=28869] ppid=28866 vsize=563048 CPUtime=879.87 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 52214 0 0 0 87949 38 0 0 25 0 4 0 652158056 576561152 99777 33554432000 4194304 4580107 140736918824368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=563048 CPUtime=882.19 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 147208 0 0 0 88158 61 0 0 25 0 4 0 652158056 576561152 99777 33554432000 4194304 4580107 140736918824368 18446744073709551615 4318741 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=563048 CPUtime=870.95 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 123609 0 0 0 87052 43 0 0 25 0 4 0 652158056 576561152 99777 33554432000 4194304 4580107 140736918824368 18446744073709551615 4325780 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3514.53
Current children cumulated vsize (KiB) 563048

[startup+942.3 s]
/proc/loadavg: 8.28 8.16 8.07 9/405 28897
/proc/meminfo: memFree=23214884/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=623804 CPUtime=3753.7 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 469872 0 0 0 375131 239 0 0 25 0 4 0 652158056 638775296 106746 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 155951 106746 379 95 0 150933 0
[pid=28868/tid=28869] ppid=28866 vsize=623804 CPUtime=939.82 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 53265 0 0 0 93942 40 0 0 25 0 4 0 652158056 638775296 106746 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=623804 CPUtime=942.19 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 153310 0 0 0 94154 65 0 0 25 0 4 0 652158056 638775296 106746 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=623804 CPUtime=930.18 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 128067 0 0 0 92973 45 0 0 25 0 4 0 652158056 638775296 106746 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3753.7
Current children cumulated vsize (KiB) 623804

[startup+1002.3 s]
/proc/loadavg: 8.25 8.16 8.07 9/405 28899
/proc/meminfo: memFree=23262616/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=628748 CPUtime=3992.85 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 490719 0 0 0 399038 247 0 0 25 0 4 0 652158056 643837952 107584 33554432000 4194304 4580107 140736918824368 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 157187 107584 379 95 0 152169 0
[pid=28868/tid=28869] ppid=28866 vsize=628748 CPUtime=999.77 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 53571 0 0 0 99936 41 0 0 25 0 4 0 652158056 643837952 107584 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=628748 CPUtime=1002.19 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 163582 0 0 0 100151 68 0 0 25 0 4 0 652158056 643837952 107584 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=628748 CPUtime=989.4 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 130598 0 0 0 98894 46 0 0 25 0 4 0 652158056 643837952 107584 33554432000 4194304 4580107 140736918824368 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3992.85
Current children cumulated vsize (KiB) 628748

[startup+1062.3 s]
/proc/loadavg: 8.23 8.16 8.08 9/405 28901
/proc/meminfo: memFree=23191312/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=687100 CPUtime=4232.04 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 514635 0 0 0 422945 259 0 0 25 0 4 0 652158056 703590400 120511 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294479 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 171775 120511 379 95 0 166757 0
[pid=28868/tid=28869] ppid=28866 vsize=687100 CPUtime=1059.73 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 56982 0 0 0 105929 44 0 0 25 0 4 0 652158056 703590400 120511 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=687100 CPUtime=1062.19 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 170944 0 0 0 106148 71 0 0 25 0 4 0 652158056 703590400 120511 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=687100 CPUtime=1048.64 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 135708 0 0 0 104816 48 0 0 25 0 4 0 652158056 703590400 120511 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4232.04
Current children cumulated vsize (KiB) 687100

[startup+1122.3 s]
/proc/loadavg: 8.14 8.15 8.08 9/405 28902
/proc/meminfo: memFree=23160928/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=639188 CPUtime=4471.19 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 530463 0 0 0 446853 266 0 0 25 0 4 0 652158056 654528512 117887 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 159797 117887 379 95 0 154779 0
[pid=28868/tid=28869] ppid=28866 vsize=639188 CPUtime=1119.69 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 57388 0 0 0 111924 45 0 0 25 0 4 0 652158056 654528512 117887 33554432000 4194304 4580107 140736918824368 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=639188 CPUtime=1122.19 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 173840 0 0 0 112146 73 0 0 25 0 4 0 652158056 654528512 117887 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=639188 CPUtime=1107.84 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 138038 0 0 0 110735 49 0 0 25 0 4 0 652158056 654528512 117887 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4471.19
Current children cumulated vsize (KiB) 639188

[startup+1182.3 s]
/proc/loadavg: 8.11 8.13 8.08 9/405 28904
/proc/meminfo: memFree=23154708/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=635804 CPUtime=4710.35 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 550377 0 0 0 470756 279 0 0 25 0 4 0 652158056 651063296 119793 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 158951 119793 379 95 0 153933 0
[pid=28868/tid=28869] ppid=28866 vsize=635804 CPUtime=1179.63 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 58245 0 0 0 117916 47 0 0 25 0 4 0 652158056 651063296 119793 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=635804 CPUtime=1182.19 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 181039 0 0 0 118142 77 0 0 25 0 4 0 652158056 651063296 119793 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=635804 CPUtime=1167.09 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 142622 0 0 0 116657 52 0 0 25 0 4 0 652158056 651063296 119793 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4710.35
Current children cumulated vsize (KiB) 635804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.8 s]
/proc/loadavg: 8.08 8.12 8.07 5/400 28905
/proc/meminfo: memFree=23766068/32951132 swapFree=67093844/67111528
[pid=28868] ppid=28866 vsize=642064 CPUtime=4800.06 cores=0,2,4,6
/proc/28868/stat : 28868 (strangenight2-m) R 28866 28868 28827 0 -1 4202496 557328 0 0 0 479724 282 0 0 25 0 4 0 652158056 657473536 118829 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28868/statm: 160516 118829 379 95 0 155498 0
[pid=28868/tid=28869] ppid=28866 vsize=642064 CPUtime=1202.14 cores=0,2,4,6
/proc/28868/task/28869/stat : 28869 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 58286 0 0 0 120167 47 0 0 25 0 4 0 652158056 657473536 118830 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28868/tid=28870] ppid=28866 vsize=642064 CPUtime=1204.7 cores=0,2,4,6
/proc/28868/task/28870/stat : 28870 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 185622 0 0 0 120392 78 0 0 25 0 4 0 652158056 657473536 118830 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28868/tid=28871] ppid=28866 vsize=642064 CPUtime=1189.28 cores=0,2,4,6
/proc/28868/task/28871/stat : 28871 (strangenight2-m) R 28866 28868 28827 0 -1 4202560 143366 0 0 0 118876 52 0 0 25 0 4 0 652158056 657473536 118830 33554432000 4194304 4580107 140736918824368 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 642064

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): 1204.85
CPU time (s): 4800.12
CPU user time (s): 4797.27
CPU system time (s): 2.84757
CPU usage (%): 398.401
Max. virtual memory (cumulated for all children) (KiB): 795696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.27
system time used= 2.84757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557329
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= 298
involuntary context switches= 23193

runsolver used 4.27535 second user time and 11.1863 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 22:39:54
IDJOB=3366496
IDBENCH=82905
IDSOLVER=1844
FILE ID=node128/3366496-1305405594
RUNJOBID= node128-1305405594-28845
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-v700-c2982-S1230934123-063.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366496-1305405594/watcher-3366496-1305405594 -o /tmp/evaluation-result-3366496-1305405594/solver-3366496-1305405594 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366496-1305405594.cnf

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

MD5SUM BENCH= 5aca76da937068f3a8e48a26305deff6
RANDOM SEED=495283982

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:      24241492 kB
Buffers:        265280 kB
Cached:        2891396 kB
SwapCached:       1440 kB
Active:        6328352 kB
Inactive:      2089216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24241492 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           11044 kB
Writeback:           0 kB
AnonPages:     5258636 kB
Mapped:          31424 kB
Slab:           187288 kB
PageTables:      38144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100756504 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:00:01