Trace number 3366392

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.26 1202.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf
MD5SUM9d309b87a927b4b93163b466ed90b7e5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.015997
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3366392-1305403144.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
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.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      43 undec:       4 neg:      53
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.43/0.18	c  N st     8      4920       100      2130         0      4556     10650    100020   no data   no data
1.17/0.30	c  N st    10     11303       100      2130         0      4208     10650     74436   no data   no data
1.97/0.50	c  N st    11     17046       100      2130         0      9496     10650    186949   no data   no data
3.18/0.81	c  F st    12     25001       100      2130         0     11673     10650    229340   no data   no data
3.18/0.82	c  N st    12     25001       100      2130         0     11673     10650    229340   no data   no data
3.97/1.01	c Decided on static restart strategy
3.97/1.01	c  N st    18     30001       100      2130         0     10039     10650    186908   no data   no data
3.97/1.01	c  S st    18     30001       100      2130         0     10039     10650    186908   no data   no data
3.97/1.04	c  S st    18     30502       100      2130         0     10530     10650    197636   no data   no data
3.97/1.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.97/1.05	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.97/1.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.97/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.22	c lits-rem:       329  cl-subs:     1951  v-elim:      0  v-fix:    0  time:  0.17 s
4.80/1.25	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.80/1.26	c calculated reachability. Time: 0.00
4.80/1.26	c  N st    18     30502       100      2130         0      8579     10650    155653   no data   no data
5.96/1.57	c  N st    20     37613       100      2130         0      7916     10650    130345   no data   no data
7.16/1.86	c  N st    21     44012       100      2130         0     13819     10650    256951   no data   no data
7.56/1.95	c  S st    22     45755       100      2130         0     15440     10650    292711   no data   no data
7.56/2.00	c  S st    22     46262       100      2130         0     15922     10650    303478   no data   no data
7.96/2.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.96/2.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.96/2.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.96/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.96/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.96/2.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.96/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.39	c lits-rem:       366  cl-subs:     2194  v-elim:      0  v-fix:    0  time:  0.37 s
9.19/2.39	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c vivif2 --  cl tried    13728 cl shrink        0 lits rem          0 time: 0.00
9.55/2.44	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.55/2.44	c calculated reachability. Time: 0.00
9.55/2.44	c  N st    22     46262       100      2130         0     13728     10650    255545   no data   no data
12.35/3.18	c  N st    23     60659       100      2130         0      9647     10650    142513   no data   no data
14.35/3.68	c  N st    24     69393       100      2130         0     17662     10650    311078   no data   no data
14.35/3.68	c  S st    24     69393       100      2130         0     17662     10650    311078   no data   no data
14.75/3.72	c  S st    24     69898       100      2130         0     18142     10650    321525   no data   no data
14.75/3.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.75/3.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.75/3.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.75/3.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.75/3.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.75/3.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.75/3.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.75/3.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.75/3.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.30	c lits-rem:       576  cl-subs:     2844  v-elim:      0  v-fix:    0  time:  0.56 s
17.14/4.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
17.14/4.31	c vivif2 --  cl tried    15298 cl shrink        0 lits rem          0 time: 0.00
17.14/4.36	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
17.14/4.37	c calculated reachability. Time: 0.00
17.14/4.37	c  N st    24     69898       100      2130         0     15298     10650    263810   no data   no data
21.13/5.35	c  F st    25     87503       100      2130         0     21570     10650    383702   no data   no data
21.13/5.35	c  N st    25     87503       100      2130         0     21570     10650    383702   no data   no data
22.36/5.65	c Decided on static restart strategy
23.13/5.82	c  N st    32     95542       100      2130         0     18041     10650    309193   no data   no data
25.52/6.41	c  N st    34    104848       100      2130         0     14692     10650    232372   no data   no data
25.52/6.41	c  S st    34    104848       100      2130         0     14692     10650    232372   no data   no data
25.52/6.46	c  S st    34    105352       100      2130         0     15175     10650    243121   no data   no data
25.52/6.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.52/6.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.52/6.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.52/6.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.52/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.52/6.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.52/6.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.52/6.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.52/6.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.61	c lits-rem:       131  cl-subs:      996  v-elim:      0  v-fix:    0  time:  0.14 s
26.35/6.61	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
26.35/6.62	c vivif2 --  cl tried    14179 cl shrink        0 lits rem          0 time: 0.00
26.35/6.67	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
26.35/6.67	c calculated reachability. Time: 0.00
26.35/6.67	c  N st    34    105352       100      2130         0     14179     10650    222025   no data   no data
29.12/7.30	c  N st    35    114950       100      2130         0     23072     10650    411457   no data   no data
32.71/8.22	c  N st    36    129347       100      2130         0     23404     10650    404174   no data   no data
38.70/9.71	c  N st    37    150942       100      2130         0     29532     10650    531141   no data   no data
40.29/10.15	c  S st    38    158028       100      2130         0     21249     10650    332427   no data   no data
40.69/10.20	c  S st    38    158531       100      2130         0     21729     10650    343120   no data   no data
40.69/10.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.69/10.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
40.69/10.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.69/10.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.69/10.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.69/10.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.69/10.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.69/10.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.69/10.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.89/10.59	c lits-rem:       346  cl-subs:     1981  v-elim:      0  v-fix:    0  time:  0.37 s
41.89/10.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.89/10.59	c vivif2 --  cl tried    19748 cl shrink        0 lits rem          0 time: 0.00
42.29/10.67	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
42.29/10.67	c calculated reachability. Time: 0.00
42.29/10.67	c  N st    38    158531       100      2130         0     19748     10650    302529   no data   no data
57.49/14.47	c  N st    39    207119       100      2130         0     32212     10650    529269   no data   no data
67.84/17.02	c  N st    40    237796       100      2130         0     24516     10650    360651   no data   no data
67.84/17.02	c  S st    40    237796       100      2130         0     24516     10650    360651   no data   no data
67.84/17.09	c  S st    40    238297       100      2130         0     24998     10650    371477   no data   no data
67.84/17.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.84/17.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
67.84/17.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.84/17.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.84/17.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.84/17.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
67.84/17.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.24/17.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
68.24/17.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.26/17.61	c lits-rem:       268  cl-subs:     2517  v-elim:      0  v-fix:    0  time:  0.51 s
70.26/17.61	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
70.26/17.62	c vivif2 --  cl tried    22481 cl shrink        0 lits rem          0 time: 0.00
70.26/17.70	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
70.26/17.70	c calculated reachability. Time: 0.00
70.26/17.70	c  N st    40    238297       100      2130         0     22481     10650    324026   no data   no data
93.78/23.53	c  F st    41    306251       100      2130         0     24594     10650    337323   no data   no data
93.78/23.53	c  N st    41    306251       100      2130         0     24594     10650    337323   no data   no data
95.38/23.99	c Decided on static restart strategy
104.57/26.29	c  N st    51    334552       100      2130         0     28759     10650    422463   no data   no data
114.18/28.67	c  N st    53    357445       100      2130         0     26822     10650    359589   no data   no data
114.18/28.67	c  S st    53    357445       100      2130         0     26822     10650    359589   no data   no data
114.58/28.75	c  S st    53    357945       100      2130         0     27300     10650    370264   no data   no data
114.58/28.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
114.58/28.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
114.58/28.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114.58/28.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
114.58/28.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.58/28.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
114.58/28.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
114.58/28.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
114.58/28.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.74/29.02	c lits-rem:       164  cl-subs:     1202  v-elim:      0  v-fix:    0  time:  0.25 s
115.74/29.02	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
115.74/29.02	c vivif2 --  cl tried    26098 cl shrink        0 lits rem          0 time: 0.00
116.14/29.12	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
116.14/29.12	c calculated reachability. Time: 0.00
116.14/29.12	c  N st    53    357945       100      2130         0     26098     10650    346878   no data   no data
129.31/32.46	c  N st    54    390337       100      2130         0     31853     10650    451743   no data   no data
152.86/38.39	c  N st    55    438925       100      2130         0     25958     10650    311591   no data   no data
183.20/45.93	c  N st    56    511808       100      2130         0     38608     10650    560255   no data   no data
195.98/49.14	c  N st    57    536918       100      2130         0     33230     10650    437193   no data   no data
195.98/49.14	c  S st    57    536918       100      2130         0     33230     10650    437193   no data   no data
196.38/49.22	c  S st    57    537419       100      2130         0     33710     10650    448030   no data   no data
196.38/49.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
196.38/49.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
196.38/49.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
196.38/49.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
196.38/49.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
196.38/49.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
196.38/49.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
196.38/49.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
196.38/49.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.00/49.66	c lits-rem:       316  cl-subs:     1563  v-elim:      0  v-fix:    0  time:  0.41 s
198.00/49.66	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
198.00/49.66	c vivif2 --  cl tried    32147 cl shrink        0 lits rem          0 time: 0.00
198.36/49.79	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.13
198.36/49.79	c calculated reachability. Time: 0.00
198.36/49.79	c  N st    57    537419       100      2130         0     32147     10650    417970   no data   no data
278.60/69.82	c  N st    58    701405       100      2130         0     59382     10650    908811   no data   no data
334.88/83.94	c  N st    59    806128       100      2130         0     53824     10650    806415   no data   no data
334.88/83.94	c  S st    59    806128       100      2130         0     53824     10650    806415   no data   no data
335.28/84.09	c  S st    59    806630       100      2130         0     54305     10650    817276   no data   no data
335.68/84.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
335.68/84.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
335.68/84.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
335.68/84.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
335.68/84.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
335.68/84.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
335.68/84.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
335.68/84.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
335.68/84.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
348.46/87.30	c lits-rem:      1079  cl-subs:     6132  v-elim:      0  v-fix:    0  time:  3.16 s
348.46/87.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
348.46/87.32	c vivif2 --  cl tried    48173 cl shrink        0 lits rem          0 time: 0.01
349.26/87.55	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
349.26/87.55	c calculated reachability. Time: 0.00
349.26/87.55	c  N st    59    806630       100      2130         0     48173     10650    699473   no data   no data
510.52/128.00	c  F st    60   1071876       100      2130         0     63515     10650    952238   no data   no data
510.92/128.00	c  N st    60   1071876       100      2130         0     63515     10650    952238   no data   no data
515.71/129.23	c Decided on static restart strategy
535.70/134.28	c  N st    70   1100181       100      2130         0     48396     10650    620616   no data   no data
560.82/140.50	c  N st    72   1136174       100      2130         0     81720     10650   1355110   no data   no data
581.57/145.75	c  N st    73   1168567       100      2130         0     69175     10650   1063157   no data   no data
615.90/154.32	c  N st    74   1209945       100      2130         0     63964     10650    919577   no data   no data
615.90/154.32	c  S st    74   1209945       100      2130         0     63964     10650    919577   no data   no data
616.70/154.55	c  S st    74   1210448       100      2130         0     64445     10650    930608   no data   no data
616.70/154.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
616.70/154.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
616.70/154.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
616.70/154.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
616.70/154.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
616.70/154.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
616.70/154.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
617.10/154.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
617.10/154.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
637.45/159.77	c lits-rem:       980  cl-subs:     6051  v-elim:      0  v-fix:    0  time:  5.13 s
637.45/159.77	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
637.45/159.78	c vivif2 --  cl tried    58394 cl shrink        0 lits rem          0 time: 0.01
639.05/160.14	c asymm  cl-useful: 0/1792/2130 lits-rem:0 time: 0.36
639.05/160.14	c calculated reachability. Time: 0.00
639.05/160.14	c  N st    74   1210448       100      2130         0     58394     10650    813518   no data   no data
694.93/174.19	c  N st    75   1283330       100      2130         0     81257     10650   1262069   no data   no data
778.75/195.17	c  N st    76   1392655       100      2130         0     90820     10650   1459525   no data   no data
901.69/225.99	c  N st    77   1556639       100      2130         0     97851     10650   1551629   no data   no data
1024.64/256.79	c  N st    78   1710448       100      2130         0     87425     10650   1287503   no data   no data
1024.64/256.79	c  S st    78   1710448       100      2130         0     87425     10650   1287503   no data   no data
1025.83/257.06	c  S st    78   1710953       100      2130         0     87915     10650   1298805   no data   no data
1025.83/257.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1026.23/257.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1026.23/257.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1026.23/257.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1026.23/257.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1026.23/257.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1026.23/257.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1026.23/257.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1026.23/257.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1073.33/268.90	c lits-rem:      1374  cl-subs:    13168  v-elim:      0  v-fix:    0  time: 11.74 s
1073.33/268.90	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1073.33/268.92	c vivif2 --  cl tried    74747 cl shrink        0 lits rem          0 time: 0.02
1074.93/269.37	c asymm  cl-useful: 0/1467/2130 lits-rem:0 time: 0.44
1074.93/269.37	c calculated reachability. Time: 0.00
1074.93/269.37	c  N st    78   1710953       100      2130         0     74747     10650   1062937   no data   no data
1412.99/354.01	c  N st    79   2079917       100      2130         0     86763     10650   1235818   no data   no data
1527.16/382.62	c  N st    80   2210954       100      2130         0     90552     10650   1320865   no data   no data
1527.16/382.62	c  S st    80   2210954       100      2130         0     90552     10650   1320865   no data   no data
1528.39/382.92	c  S st    80   2211460       100      2130         0     91031     10650   1332352   no data   no data
1528.39/382.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1528.39/382.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1528.39/382.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1528.39/382.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1528.39/382.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1528.39/382.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1528.39/382.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1528.39/382.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1528.75/383.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1567.89/392.82	c lits-rem:      1370  cl-subs:     9811  v-elim:      0  v-fix:    0  time:  9.80 s
1567.89/392.82	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1567.89/392.83	c vivif2 --  cl tried    81220 cl shrink        0 lits rem          0 time: 0.02
1568.65/393.01	c asymm  cl-useful: 0/663/2130 lits-rem:0 time: 0.17
1568.65/393.01	c calculated reachability. Time: 0.00
1568.65/393.01	c  N st    80   2211460       100      2130         0     81220     10650   1133959   no data   no data
2090.74/523.83	c  N st    81   2711460       100      2130         0    103846     10650   1505849   no data   no data
2090.74/523.83	c  S st    81   2711460       100      2130         0    103846     10650   1505849   no data   no data
2091.95/524.19	c  S st    81   2711964       100      2130         0    104329     10650   1517037   no data   no data
2092.35/524.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2092.35/524.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2092.35/524.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2092.35/524.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2092.35/524.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2092.35/524.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2092.35/524.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2092.35/524.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2092.75/524.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2145.04/537.49	c lits-rem:      1296  cl-subs:    13491  v-elim:      0  v-fix:    0  time: 13.18 s
2145.04/537.49	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2145.44/537.51	c vivif2 --  cl tried    90838 cl shrink        0 lits rem          0 time: 0.02
2146.64/537.84	c asymm  cl-useful: 0/1240/2130 lits-rem:0 time: 0.33
2146.64/537.85	c calculated reachability. Time: 0.00
2146.64/537.85	c  N st    81   2711964       100      2130         0     90838     10650   1271006   no data   no data
2685.48/672.80	c  N st    82   3211966       100      2130         0    139993     10650   2162502   no data   no data
2685.48/672.80	c  S st    82   3211966       100      2130         0    139993     10650   2162502   no data   no data
2687.11/673.22	c  S st    82   3212469       100      2130         0    140470     10650   2173727   no data   no data
2687.11/673.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2687.11/673.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2687.11/673.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2687.11/673.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2687.11/673.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2687.11/673.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2687.11/673.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2687.51/673.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2687.51/673.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2886.23/723.18	c lits-rem:      2149  cl-subs:    27696  v-elim:      0  v-fix:    0  time: 49.79 s
2886.23/723.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2886.63/723.21	c vivif2 --  cl tried   112774 cl shrink        0 lits rem          0 time: 0.03
2888.63/723.72	c asymm  cl-useful: 0/874/2130 lits-rem:0 time: 0.51
2888.63/723.73	c calculated reachability. Time: 0.00
2888.63/723.73	c  N st    82   3212469       100      2130         0    112774     10650   1683398   no data   no data
3461.82/867.33	c  N st    83   3712469       100      2130         0    130699     10650   1914859   no data   no data
3461.82/867.33	c  S st    83   3712469       100      2130         0    130699     10650   1914859   no data   no data
3463.42/867.74	c  S st    83   3712972       100      2130         0    131176     10650   1926010   no data   no data
3463.42/867.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3463.82/867.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
3463.82/867.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3463.82/867.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3463.82/867.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3463.82/867.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3463.82/867.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3463.82/867.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3464.25/867.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3591.57/899.86	c lits-rem:      1923  cl-subs:    22151  v-elim:      0  v-fix:    0  time: 31.94 s
3591.57/899.86	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3591.57/899.88	c vivif2 --  cl tried   109025 cl shrink        0 lits rem          0 time: 0.02
3593.13/900.24	c asymm  cl-useful: 0/1012/2130 lits-rem:0 time: 0.36
3593.13/900.24	c calculated reachability. Time: 0.00
3593.13/900.24	c  N st    83   3712972       100      2130         0    109025     10650   1533205   no data   no data
3645.02/913.24	c  F st    84   3751562       100      2130         0    144366     10650   2323082   no data   no data
3645.02/913.24	c  N st    84   3751562       100      2130         0    144366     10650   2323082   no data   no data
3655.40/915.84	c Decided on static restart strategy
3680.15/922.09	c  N st    94   3779866       100      2130         0     94956     10650   1216090   no data   no data
3728.09/934.06	c  N st    96   3815858       100      2130         0    128201     10650   1968087   no data   no data
3777.55/946.43	c  N st    97   3848250       100      2130         0     80551     10650    877535   no data   no data
3828.68/959.22	c  N st    98   3896838       100      2130         0    125146     10650   1843448   no data   no data
3914.07/980.61	c  N st    99   3969721       100      2130         0    113435     10650   1582933   no data   no data
4046.58/1013.82	c  N st   100   4079045       100      2130         0    134032     10650   2022595   no data   no data
4231.79/1060.23	c  N st   101   4212972       100      2130         0     94628     10650   1138505   no data   no data
4231.79/1060.23	c  S st   101   4212972       100      2130         0     94628     10650   1138505   no data   no data
4233.78/1060.79	c  S st   101   4213476       100      2130         0     95111     10650   1149887   no data   no data
4234.18/1060.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4234.18/1060.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
4234.18/1060.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4234.18/1060.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4234.18/1060.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4234.18/1060.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4234.18/1060.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4234.58/1060.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4234.58/1060.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4267.31/1069.21	c lits-rem:       467  cl-subs:     3466  v-elim:      0  v-fix:    0  time:  8.22 s
4267.74/1069.21	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4267.74/1069.23	c vivif2 --  cl tried    91645 cl shrink        0 lits rem          0 time: 0.03
4270.50/1069.92	c asymm  cl-useful: 0/1064/2130 lits-rem:0 time: 0.69
4270.50/1069.93	c calculated reachability. Time: 0.00
4270.50/1069.93	c  N st   101   4213476       100      2130         0     91645     10650   1082573   no data   no data
4646.50/1164.17	c  N st   102   4459454       100      2130         0    151293     10650   2329861   no data   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-3366392-1305403144/watcher-3366392-1305403144 -o /tmp/evaluation-result-3366392-1305403144/solver-3366392-1305403144 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366392-1305403144.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.36 7.91 7.96 5/275 26416
/proc/meminfo: memFree=20944888/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=281692 CPUtime=0.01 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 734 0 0 0 1 0 0 0 25 0 4 0 651914117 288452608 651 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 70423 651 357 95 0 65405 0
[pid=26416/tid=26417] ppid=26414 vsize=281692 CPUtime=0 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 36 0 0 0 0 0 0 0 25 0 4 0 651914118 288452608 651 33554432000 4194304 4580107 140735256561184 18446744073709551615 237278984686 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=281692 CPUtime=0 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 83 0 0 0 0 0 0 0 25 0 4 0 651914118 288452608 651 33554432000 4194304 4580107 140735256561184 18446744073709551615 237278540485 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=281692 CPUtime=0 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 103 0 0 0 0 0 0 0 25 0 4 0 651914118 288452608 651 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.113691 s]
/proc/loadavg: 7.36 7.91 7.96 5/275 26416
/proc/meminfo: memFree=20944888/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=282508 CPUtime=0.43 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 1803 0 0 0 43 0 0 0 25 0 4 0 651914117 289288192 1563 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 70627 1563 376 95 0 65609 0
[pid=26416/tid=26417] ppid=26414 vsize=282508 CPUtime=0.1 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 332 0 0 0 10 0 0 0 25 0 4 0 651914118 289288192 1563 33554432000 4194304 4580107 140735256561184 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=282508 CPUtime=0.1 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 360 0 0 0 10 0 0 0 25 0 4 0 651914118 289288192 1563 33554432000 4194304 4580107 140735256561184 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=282508 CPUtime=0.1 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 327 0 0 0 10 0 0 0 25 0 4 0 651914118 289288192 1563 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282508

[startup+0.200676 s]
/proc/loadavg: 7.36 7.91 7.96 5/275 26416
/proc/meminfo: memFree=20944888/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=283576 CPUtime=0.77 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 2388 0 0 0 77 0 0 0 25 0 4 0 651914117 290381824 1755 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 70894 1755 377 95 0 65876 0
[pid=26416/tid=26417] ppid=26414 vsize=283576 CPUtime=0.18 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 497 0 0 0 18 0 0 0 25 0 4 0 651914118 290381824 1755 33554432000 4194304 4580107 140735256561184 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=283576 CPUtime=0.19 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 522 0 0 0 19 0 0 0 25 0 4 0 651914118 290381824 1755 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=283576 CPUtime=0.19 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 429 0 0 0 19 0 0 0 25 0 4 0 651914118 290381824 1756 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283576

[startup+0.300659 s]
/proc/loadavg: 7.36 7.91 7.96 5/275 26416
/proc/meminfo: memFree=20944888/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=284168 CPUtime=1.17 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 3078 0 0 0 117 0 0 0 25 0 4 0 651914117 290988032 1848 33554432000 4194304 4580107 140735256561184 18446744073709551615 4282038 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 71042 1848 377 95 0 66024 0
[pid=26416/tid=26417] ppid=26414 vsize=284168 CPUtime=0.28 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 593 0 0 0 28 0 0 0 25 0 4 0 651914118 290988032 1848 33554432000 4194304 4580107 140735256561184 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=284168 CPUtime=0.29 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 728 0 0 0 29 0 0 0 25 0 4 0 651914118 290988032 1848 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=284168 CPUtime=0.29 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 605 0 0 0 29 0 0 0 25 0 4 0 651914118 290988032 1848 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284168

[startup+0.700588 s]
/proc/loadavg: 7.36 7.91 7.96 5/275 26416
/proc/meminfo: memFree=20944888/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=284992 CPUtime=2.78 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 4963 0 0 0 277 1 0 0 25 0 4 0 651914117 291831808 2535 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 71248 2535 377 95 0 66230 0
[pid=26416/tid=26417] ppid=26414 vsize=284992 CPUtime=0.68 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 1140 0 0 0 68 0 0 0 25 0 4 0 651914118 291831808 2535 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=284992 CPUtime=0.69 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 1177 0 0 0 69 0 0 0 25 0 4 0 651914118 291831808 2535 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=284992 CPUtime=0.69 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 1059 0 0 0 69 0 0 0 25 0 4 0 651914118 291831808 2535 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284992

[startup+1.50045 s]
/proc/loadavg: 7.36 7.91 7.96 9/279 26420
/proc/meminfo: memFree=20905672/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=286068 CPUtime=5.96 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 10172 0 0 0 595 1 0 0 25 0 4 0 651914117 292933632 5350 33554432000 4194304 4580107 140735256561184 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 71517 5350 379 95 0 66499 0
[pid=26416/tid=26417] ppid=26414 vsize=286068 CPUtime=1.47 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 2960 0 0 0 147 0 0 0 25 0 4 0 651914118 292933632 5350 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=286068 CPUtime=1.49 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 1981 0 0 0 149 0 0 0 25 0 4 0 651914118 292933632 5350 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=286068 CPUtime=1.48 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 1821 0 0 0 148 0 0 0 25 0 4 0 651914118 292933632 5350 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286068

[startup+3.10016 s]
/proc/loadavg: 7.41 7.92 7.96 9/279 26420
/proc/meminfo: memFree=20871552/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=285784 CPUtime=12.35 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 18312 0 0 0 1232 3 0 0 25 0 4 0 651914117 292642816 9952 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 71446 9952 379 95 0 66428 0
[pid=26416/tid=26417] ppid=26414 vsize=285784 CPUtime=3.06 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 3970 0 0 0 306 0 0 0 25 0 4 0 651914118 292642816 9952 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=285784 CPUtime=3.08 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 4790 0 0 0 308 0 0 0 25 0 4 0 651914118 292642816 9952 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=285784 CPUtime=3.08 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 4423 0 0 0 308 0 0 0 25 0 4 0 651914118 292642816 9952 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 285784

[startup+6.3006 s]
/proc/loadavg: 7.41 7.92 7.96 9/279 26420
/proc/meminfo: memFree=20845172/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=288860 CPUtime=25.12 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 27754 0 0 0 2507 5 0 0 25 0 4 0 651914117 295792640 12686 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 72215 12686 379 95 0 67197 0
[pid=26416/tid=26417] ppid=26414 vsize=288860 CPUtime=6.24 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 6796 0 0 0 623 1 0 0 25 0 4 0 651914118 295792640 12686 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=288860 CPUtime=6.28 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 7002 0 0 0 627 1 0 0 25 0 4 0 651914118 295792640 12686 33554432000 4194304 4580107 140735256561184 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=288860 CPUtime=6.29 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 6521 0 0 0 628 1 0 0 25 0 4 0 651914118 295792640 12686 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 288860

[startup+12.7005 s]
/proc/loadavg: 7.50 7.92 7.96 9/279 26420
/proc/meminfo: memFree=20815756/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=299104 CPUtime=50.67 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 42314 0 0 0 5059 8 0 0 25 0 4 0 651914117 306282496 17311 33554432000 4194304 4580107 140735256561184 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 74776 17311 379 95 0 69758 0
[pid=26416/tid=26417] ppid=26414 vsize=299104 CPUtime=12.58 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 10295 0 0 0 1257 1 0 0 25 0 4 0 651914118 306282496 17311 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=299104 CPUtime=12.69 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 10621 0 0 0 1267 2 0 0 25 0 4 0 651914118 306282496 17311 33554432000 4194304 4580107 140735256561184 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=299104 CPUtime=12.69 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 10667 0 0 0 1267 2 0 0 25 0 4 0 651914118 306282496 17311 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 299104

[startup+25.5012 s]
/proc/loadavg: 7.58 7.92 7.96 9/279 26420
/proc/meminfo: memFree=20754648/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=300120 CPUtime=101.76 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 62883 0 0 0 10164 12 0 0 25 0 4 0 651914117 307322880 21423 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 75030 21423 379 95 0 70012 0
[pid=26416/tid=26417] ppid=26414 vsize=300120 CPUtime=25.27 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 15156 0 0 0 2525 2 0 0 25 0 4 0 651914118 307322880 21423 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=300120 CPUtime=25.49 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 15465 0 0 0 2546 3 0 0 25 0 4 0 651914118 307322880 21423 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=300120 CPUtime=25.49 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 16058 0 0 0 2546 3 0 0 25 0 4 0 651914118 307322880 21423 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 300120

[startup+51.1006 s]
/proc/loadavg: 7.80 7.94 7.97 9/279 26421
/proc/meminfo: memFree=20718216/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=302060 CPUtime=203.96 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 95589 0 0 0 20374 22 0 0 25 0 4 0 651914117 309309440 26343 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 75515 26343 379 95 0 70497 0
[pid=26416/tid=26417] ppid=26414 vsize=302060 CPUtime=50.67 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 22751 0 0 0 5062 5 0 0 25 0 4 0 651914118 309309440 26343 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=302060 CPUtime=51.08 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 23758 0 0 0 5103 5 0 0 25 0 4 0 651914118 309309440 26343 33554432000 4194304 4580107 140735256561184 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=302060 CPUtime=51.09 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 24690 0 0 0 5103 6 0 0 25 0 4 0 651914118 309309440 26343 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 302060

[startup+102.301 s]
/proc/loadavg: 8.07 7.98 7.98 9/279 26423
/proc/meminfo: memFree=20623708/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=368704 CPUtime=408.36 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 143512 0 0 0 40801 35 0 0 25 0 4 0 651914117 377552896 37147 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 92176 37147 379 95 0 87158 0
[pid=26416/tid=26417] ppid=26414 vsize=368704 CPUtime=101.45 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 32728 0 0 0 10137 8 0 0 25 0 4 0 651914118 377552896 37147 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=368704 CPUtime=102.29 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 34871 0 0 0 10221 8 0 0 25 0 4 0 651914118 377552896 37147 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=368704 CPUtime=102.3 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 38577 0 0 0 10220 10 0 0 25 0 4 0 651914118 377552896 37147 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.36
Current children cumulated vsize (KiB) 368704

[startup+162.301 s]

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

[pid=26416] ppid=26414 vsize=611016 CPUtime=2803.22 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 453195 0 0 0 280143 179 0 0 25 0 4 0 651914117 625680384 92827 33554432000 4194304 4580107 140735256561184 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 152754 92827 380 95 0 147736 0
[pid=26416/tid=26417] ppid=26414 vsize=611016 CPUtime=696.31 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 114889 0 0 0 69587 44 0 0 25 0 4 0 651914118 625680384 92827 33554432000 4194304 4580107 140735256561184 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=611016 CPUtime=702.28 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 114810 0 0 0 70183 45 0 0 25 0 4 0 651914118 625680384 92827 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=611016 CPUtime=702.3 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 108039 0 0 0 70188 42 0 0 25 0 4 0 651914118 625680384 92827 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.22
Current children cumulated vsize (KiB) 611016

[startup+762.301 s]
/proc/loadavg: 8.09 8.10 8.03 9/279 26452
/proc/meminfo: memFree=20110708/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=558556 CPUtime=3042.74 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 470860 0 0 0 304086 188 0 0 25 0 4 0 651914117 571961344 88863 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 139639 88863 381 95 0 134621 0
[pid=26416/tid=26417] ppid=26414 vsize=558556 CPUtime=755.81 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 121162 0 0 0 75533 48 0 0 25 0 4 0 651914118 571961344 88863 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=558556 CPUtime=762.29 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 120312 0 0 0 76182 47 0 0 25 0 4 0 651914118 571961344 88863 33554432000 4194304 4580107 140735256561184 18446744073709551615 4317176 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=558556 CPUtime=762.32 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 111751 0 0 0 76187 45 0 0 25 0 4 0 651914118 571961344 88863 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.74
Current children cumulated vsize (KiB) 558556

[startup+822.301 s]
/proc/loadavg: 8.03 8.08 8.03 9/279 26454
/proc/meminfo: memFree=20100400/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=611468 CPUtime=3282.2 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 497343 0 0 0 328017 203 0 0 25 0 4 0 651914117 626143232 93334 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 152867 93334 381 95 0 147849 0
[pid=26416/tid=26417] ppid=26414 vsize=611468 CPUtime=815.29 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 127359 0 0 0 81478 51 0 0 25 0 4 0 651914118 626143232 93334 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=611468 CPUtime=822.28 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 126567 0 0 0 82178 50 0 0 25 0 4 0 651914118 626143232 93334 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=611468 CPUtime=822.31 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 119360 0 0 0 82182 49 0 0 25 0 4 0 651914118 626143232 93334 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.2
Current children cumulated vsize (KiB) 611468

[startup+882.311 s]
/proc/loadavg: 8.11 8.10 8.03 9/279 26455
/proc/meminfo: memFree=20057820/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=572508 CPUtime=3521.73 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 523993 0 0 0 351957 216 0 0 25 0 4 0 651914117 586248192 92006 33554432000 4194304 4580107 140735256561184 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 143127 92006 381 95 0 138109 0
[pid=26416/tid=26417] ppid=26414 vsize=572508 CPUtime=874.78 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 132131 0 0 0 87424 54 0 0 25 0 4 0 651914118 586248192 92006 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=572508 CPUtime=882.29 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 133560 0 0 0 88175 54 0 0 25 0 4 0 651914118 586248192 92006 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=572508 CPUtime=882.31 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 125771 0 0 0 88179 52 0 0 25 0 4 0 651914118 586248192 92006 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.73
Current children cumulated vsize (KiB) 572508

[startup+942.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/279 26457
/proc/meminfo: memFree=20057180/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=561800 CPUtime=3761.18 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 545030 0 0 0 375892 226 0 0 25 0 4 0 651914117 575283200 93827 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 140450 93827 381 95 0 135432 0
[pid=26416/tid=26417] ppid=26414 vsize=561800 CPUtime=934.27 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 137988 0 0 0 93370 57 0 0 25 0 4 0 651914118 575283200 93827 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=561800 CPUtime=942.28 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 138825 0 0 0 94171 57 0 0 25 0 4 0 651914118 575283200 93827 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=561800 CPUtime=942.31 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 131697 0 0 0 94176 55 0 0 25 0 4 0 651914118 575283200 93827 33554432000 4194304 4580107 140735256561184 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.18
Current children cumulated vsize (KiB) 561800

[startup+1002.3 s]
/proc/loadavg: 8.13 8.10 8.03 9/279 26459
/proc/meminfo: memFree=20057168/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=575480 CPUtime=4000.67 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 571137 0 0 0 399829 238 0 0 25 0 4 0 651914117 589291520 92593 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 143870 92593 381 95 0 138852 0
[pid=26416/tid=26417] ppid=26414 vsize=575480 CPUtime=993.76 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 143875 0 0 0 99317 59 0 0 25 0 4 0 651914118 589291520 92593 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=575480 CPUtime=1002.28 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 145146 0 0 0 100168 60 0 0 25 0 4 0 651914118 589291520 92593 33554432000 4194304 4580107 140735256561184 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=575480 CPUtime=1002.31 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 138080 0 0 0 100172 59 0 0 25 0 4 0 651914118 589291520 92593 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.67
Current children cumulated vsize (KiB) 575480

[startup+1062.3 s]
/proc/loadavg: 8.20 8.11 8.04 9/279 26460
/proc/meminfo: memFree=19983008/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=583952 CPUtime=4240.17 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 599994 0 0 0 423767 250 0 0 25 0 4 0 651914117 597966848 105884 33554432000 4194304 4580107 140735256561184 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 145988 105884 380 95 0 140970 0
[pid=26416/tid=26417] ppid=26414 vsize=583952 CPUtime=1053.25 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 150982 0 0 0 105263 62 0 0 25 0 4 0 651914118 597966848 105884 33554432000 4194304 4580107 140735256561184 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=583952 CPUtime=1062.28 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 152746 0 0 0 106165 63 0 0 25 0 4 0 651914118 597966848 105884 33554432000 4194304 4580107 140735256561184 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=583952 CPUtime=1062.32 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 145499 0 0 0 106171 61 0 0 25 0 4 0 651914118 597966848 105884 33554432000 4194304 4580107 140735256561184 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4240.17
Current children cumulated vsize (KiB) 583952

[startup+1122.3 s]
/proc/loadavg: 8.20 8.12 8.04 9/279 26462
/proc/meminfo: memFree=19993032/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=636024 CPUtime=4479.63 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 606484 0 0 0 447709 254 0 0 25 0 4 0 651914117 651288576 107793 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 159006 107793 380 95 0 153988 0
[pid=26416/tid=26417] ppid=26414 vsize=636024 CPUtime=1112.7 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 151260 0 0 0 111208 62 0 0 25 0 4 0 651914118 651288576 107793 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=636024 CPUtime=1122.28 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 153188 0 0 0 112164 64 0 0 25 0 4 0 651914118 651288576 107793 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=636024 CPUtime=1122.32 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 147590 0 0 0 112170 62 0 0 25 0 4 0 651914118 651288576 107793 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294855 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.63
Current children cumulated vsize (KiB) 636024

[startup+1182.3 s]
/proc/loadavg: 8.14 8.11 8.04 9/279 26463
/proc/meminfo: memFree=19913888/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=701784 CPUtime=4719.14 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 630364 0 0 0 471650 264 0 0 25 0 4 0 651914117 718626816 121395 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 175446 121395 380 95 0 170428 0
[pid=26416/tid=26417] ppid=26414 vsize=701784 CPUtime=1172.22 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 157580 0 0 0 117157 65 0 0 25 0 4 0 651914118 718626816 121395 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=701784 CPUtime=1182.28 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 159455 0 0 0 118161 67 0 0 25 0 4 0 651914118 718626816 121395 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=701784 CPUtime=1182.32 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 152649 0 0 0 118168 64 0 0 25 0 4 0 651914118 718626816 121395 33554432000 4194304 4580107 140735256561184 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4719.14
Current children cumulated vsize (KiB) 701784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 7.77 8.04 8.02 5/274 26465
/proc/meminfo: memFree=20522260/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=649896 CPUtime=4800.2 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 637391 0 0 0 479752 268 0 0 25 0 4 0 651914117 665493504 109723 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 162474 109723 380 95 0 157456 0
[pid=26416/tid=26417] ppid=26414 vsize=649896 CPUtime=1192.35 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 158151 0 0 0 119170 65 0 0 25 0 4 0 651914118 665493504 109723 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=649896 CPUtime=1202.59 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 161891 0 0 0 120191 68 0 0 25 0 4 0 651914118 665493504 109723 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=649896 CPUtime=1202.62 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 155283 0 0 0 120197 65 0 0 25 0 4 0 651914118 665493504 109723 33554432000 4194304 4580107 140735256561184 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 649896

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

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

[startup+1202.6 s]
/proc/loadavg: 7.77 8.04 8.02 5/274 26465
/proc/meminfo: memFree=20522260/32950904 swapFree=67057400/67111528
[pid=26416] ppid=26414 vsize=649896 CPUtime=4800.2 cores=1,3,5,7
/proc/26416/stat : 26416 (strangenight2-m) R 26414 26416 25944 0 -1 4202496 637391 0 0 0 479752 268 0 0 25 0 4 0 651914117 665493504 109723 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26416/statm: 162474 109723 380 95 0 157456 0
[pid=26416/tid=26417] ppid=26414 vsize=649896 CPUtime=1192.35 cores=1,3,5,7
/proc/26416/task/26417/stat : 26417 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 158151 0 0 0 119170 65 0 0 25 0 4 0 651914118 665493504 109723 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26416/tid=26418] ppid=26414 vsize=649896 CPUtime=1202.59 cores=1,3,5,7
/proc/26416/task/26418/stat : 26418 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 161891 0 0 0 120191 68 0 0 25 0 4 0 651914118 665493504 109723 33554432000 4194304 4580107 140735256561184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26416/tid=26419] ppid=26414 vsize=649896 CPUtime=1202.62 cores=1,3,5,7
/proc/26416/task/26419/stat : 26419 (strangenight2-m) R 26414 26416 25944 0 -1 4202560 155283 0 0 0 120197 65 0 0 25 0 4 0 651914118 665493504 109723 33554432000 4194304 4580107 140735256561184 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 649896

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.64
CPU time (s): 4800.26
CPU user time (s): 4797.55
CPU system time (s): 2.70659
CPU usage (%): 399.144
Max. virtual memory (cumulated for all children) (KiB): 744108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.55
system time used= 2.70659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637392
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= 173
involuntary context switches= 32900

runsolver used 2.72458 second user time and 7.56885 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-14 21:59:04
IDJOB=3366392
IDBENCH=82801
IDSOLVER=1844
FILE ID=node121/3366392-1305403144
RUNJOBID= node121-1305401937-26270
PBS_JOBID= 13324487
Free space on /tmp= 73428 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366392-1305403144/watcher-3366392-1305403144 -o /tmp/evaluation-result-3366392-1305403144/solver-3366392-1305403144 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366392-1305403144.cnf

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

MD5SUM BENCH= 9d309b87a927b4b93163b466ed90b7e5
RANDOM SEED=2069565

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      20945168 kB
Buffers:        299988 kB
Cached:        5963744 kB
SwapCached:       7656 kB
Active:        6439936 kB
Inactive:      5212992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20945168 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:           11280 kB
Writeback:           0 kB
AnonPages:     5387140 kB
Mapped:          22176 kB
Slab:           265916 kB
PageTables:      24452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30748196 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= 73428 MiB
End job on node121 at 2011-05-14 22:19:08