Trace number 3366343

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.39 1203.54

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf
MD5SUM42169be300dc518238277ee8dbfb6b6f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.114982
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
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 53195
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-3366343-1305402158.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	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:    150 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:      75 undec:       5 neg:      70
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       150      3195         0         0     15975         0   no data   no data
0.12/0.06	c Decided on static restart strategy
0.37/0.14	c  N st     8      4921       150      3195         0      4696     15975    137069   no data   no data
1.16/0.37	c  N st    10     11306       150      3195         0      4350     15975    100092   no data   no data
2.37/0.61	c  N st    11     17049       150      3195         0      9782     15975    261216   no data   no data
3.57/0.99	c  F st    12     25002       150      3195         0     11968     15975    324187   no data   no data
3.57/0.99	c  N st    12     25002       150      3195         0     11968     15975    324187   no data   no data
4.76/1.21	c Decided on static restart strategy
4.76/1.21	c  N st    18     30001       150      3195         0     10263     15975    260487   no data   no data
4.76/1.21	c  S st    18     30001       150      3195         0     10263     15975    260487   no data   no data
4.76/1.24	c  S st    18     30507       150      3195         0     10764     15975    275546   no data   no data
4.76/1.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.76/1.24	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.76/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.76/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.76/1.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.76/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.45	c lits-rem:       130  cl-subs:     1331  v-elim:      0  v-fix:    0  time:  0.20 s
5.56/1.49	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.56/1.49	c calculated reachability. Time: 0.00
5.56/1.49	c  N st    18     30507       150      3195         0      9433     15975    231385   no data   no data
7.16/1.84	c  N st    20     37619       150      3195         0      8714     15975    190037   no data   no data
8.37/2.16	c  N st    21     44019       150      3195         0     14764     15975    369377   no data   no data
8.79/2.27	c  S st    22     45760       150      3195         0     16413     15975    417004   no data   no data
9.14/2.32	c  S st    22     46263       150      3195         0     16909     15975    431595   no data   no data
9.14/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.14/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.14/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.14/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.14/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.15/2.81	c lits-rem:       289  cl-subs:     1575  v-elim:      0  v-fix:    0  time:  0.47 s
11.15/2.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
11.15/2.82	c vivif2 --  cl tried    15334 cl shrink        0 lits rem          0 time: 0.00
11.15/2.88	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.06
11.15/2.88	c calculated reachability. Time: 0.00
11.15/2.88	c  N st    22     46263       150      3195         0     15334     15975    382192   no data   no data
14.33/3.69	c  N st    23     60661       150      3195         0     11152     15975    223845   no data   no data
16.72/4.22	c  N st    24     69395       150      3195         0     19508     15975    484730   no data   no data
16.72/4.22	c  S st    24     69395       150      3195         0     19508     15975    484730   no data   no data
16.72/4.27	c  S st    24     69901       150      3195         0     20001     15975    499742   no data   no data
16.72/4.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.72/4.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
16.72/4.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.72/4.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.72/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.72/4.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
16.72/4.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.72/4.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.72/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.12/4.84	c lits-rem:       402  cl-subs:     1429  v-elim:      0  v-fix:    0  time:  0.55 s
19.12/4.84	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
19.12/4.85	c vivif2 --  cl tried    18572 cl shrink        0 lits rem          0 time: 0.00
19.52/4.92	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.07
19.52/4.93	c calculated reachability. Time: 0.00
19.52/4.93	c  N st    24     69901       150      3195         0     18572     15975    450084   no data   no data
24.31/6.15	c  F st    25     87501       150      3195         0     13482     15975    267882   no data   no data
24.31/6.15	c  N st    25     87501       150      3195         0     13482     15975    267882   no data   no data
25.51/6.46	c Decided on static restart strategy
26.34/6.66	c  N st    32     95539       150      3195         0     21136     15975    501718   no data   no data
28.69/7.27	c  N st    34    104851       150      3195         0     17658     15975    386949   no data   no data
28.69/7.27	c  S st    34    104851       150      3195         0     17658     15975    386949   no data   no data
29.10/7.32	c  S st    34    105354       150      3195         0     18143     15975    401587   no data   no data
29.10/7.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.10/7.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
29.10/7.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.10/7.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.10/7.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.10/7.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
29.10/7.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.10/7.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
29.10/7.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.31/7.62	c lits-rem:       147  cl-subs:      909  v-elim:      0  v-fix:    0  time:  0.27 s
30.31/7.62	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
30.31/7.62	c vivif2 --  cl tried    17234 cl shrink        0 lits rem          0 time: 0.00
30.31/7.70	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
30.31/7.70	c calculated reachability. Time: 0.00
30.31/7.70	c  N st    34    105354       150      3195         0     17234     15975    371742   no data   no data
33.88/8.51	c  N st    35    114954       150      3195         0     26315     15975    648684   no data   no data
38.27/9.64	c  N st    36    129351       150      3195         0     26659     15975    637574   no data   no data
45.44/11.43	c  N st    37    150947       150      3195         0     17709     15975    329442   no data   no data
47.44/11.90	c  S st    38    158033       150      3195         0     24460     15975    540208   no data   no data
47.44/11.96	c  S st    38    158538       150      3195         0     24955     15975    554669   no data   no data
47.44/11.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.44/11.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
47.44/11.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.44/11.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.44/11.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.44/11.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
47.44/11.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.44/11.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.44/11.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.23/12.63	c lits-rem:       514  cl-subs:     1549  v-elim:      0  v-fix:    0  time:  0.63 s
50.23/12.63	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
50.23/12.63	c vivif2 --  cl tried    23406 cl shrink        0 lits rem          0 time: 0.01
50.63/12.73	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.09
50.63/12.73	c calculated reachability. Time: 0.00
50.63/12.73	c  N st    38    158538       150      3195         0     23406     15975    503071   no data   no data
68.58/17.25	c  N st    39    207126       150      3195         0     18346     15975    300886   no data   no data
80.15/20.13	c  N st    40    237807       150      3195         0     28522     15975    609179   no data   no data
80.15/20.13	c  S st    40    237807       150      3195         0     28522     15975    609179   no data   no data
80.55/20.20	c  S st    40    238313       150      3195         0     29022     15975    623571   no data   no data
80.55/20.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.55/20.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.55/20.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.55/20.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.55/20.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.55/20.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
80.55/20.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.55/20.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.55/20.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.13/21.13	c lits-rem:       765  cl-subs:     1863  v-elim:      0  v-fix:    0  time:  0.90 s
84.13/21.13	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
84.13/21.14	c vivif2 --  cl tried    27159 cl shrink        0 lits rem          0 time: 0.01
84.53/21.25	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
84.53/21.25	c calculated reachability. Time: 0.00
84.53/21.25	c  N st    40    238313       150      3195         0     27159     15975    563569   no data   no data
112.45/28.26	c  F st    41    306250       150      3195         0     28875     15975    558429   no data   no data
112.45/28.26	c  N st    41    306250       150      3195         0     28875     15975    558429   no data   no data
114.45/28.75	c Decided on static restart strategy
124.42/31.28	c  N st    51    334554       150      3195         0     33029     15975    650773   no data   no data
135.61/34.05	c  N st    53    357469       150      3195         0     31045     15975    576642   no data   no data
135.61/34.05	c  S st    53    357469       150      3195         0     31045     15975    576642   no data   no data
136.03/34.13	c  S st    53    357973       150      3195         0     31540     15975    590944   no data   no data
136.03/34.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.03/34.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.03/34.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.03/34.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.03/34.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.03/34.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
136.03/34.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.03/34.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.03/34.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.38/34.74	c lits-rem:       303  cl-subs:     1288  v-elim:      0  v-fix:    0  time:  0.58 s
138.38/34.74	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
138.38/34.75	c vivif2 --  cl tried    30252 cl shrink        0 lits rem          0 time: 0.01
138.78/34.88	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
138.78/34.89	c calculated reachability. Time: 0.00
138.78/34.89	c  N st    53    357973       150      3195         0     30252     15975    550037   no data   no data
154.73/38.84	c  N st    54    390366       150      3195         0     36266     15975    707522   no data   no data
182.66/45.87	c  N st    55    438954       150      3195         0     30135     15975    513749   no data   no data
219.74/55.12	c  N st    56    511838       150      3195         0     43174     15975    856371   no data   no data
230.92/57.99	c  N st    57    536960       150      3195         0     37823     15975    683915   no data   no data
230.92/57.99	c  S st    57    536960       150      3195         0     37823     15975    683915   no data   no data
231.32/58.09	c  S st    57    537465       150      3195         0     38312     15975    698596   no data   no data
231.32/58.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
231.72/58.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
231.72/58.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
231.72/58.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
231.72/58.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.72/58.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
231.72/58.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
231.72/58.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
231.72/58.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
234.91/58.93	c lits-rem:       699  cl-subs:     1420  v-elim:      0  v-fix:    0  time:  0.81 s
234.91/58.93	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
234.91/58.94	c vivif2 --  cl tried    36892 cl shrink        0 lits rem          0 time: 0.01
235.71/59.13	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
235.71/59.13	c calculated reachability. Time: 0.00
235.71/59.13	c  N st    57    537465       150      3195         0     36892     15975    653205   no data   no data
326.25/81.88	c  N st    58    701451       150      3195         0     65095     15975   1450746   no data   no data
385.70/96.72	c  N st    59    806198       150      3195         0     59165     15975   1213465   no data   no data
385.70/96.72	c  S st    59    806198       150      3195         0     59165     15975   1213465   no data   no data
386.12/96.89	c  S st    59    806701       150      3195         0     59660     15975   1227631   no data   no data
386.47/96.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
386.47/96.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
386.47/96.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
386.47/96.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
386.47/96.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
386.47/96.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
386.47/96.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
386.47/96.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
386.47/96.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
411.21/103.19	c lits-rem:      2778  cl-subs:     5016  v-elim:      0  v-fix:    0  time:  6.22 s
411.21/103.19	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
411.61/103.21	c vivif2 --  cl tried    54644 cl shrink        0 lits rem          0 time: 0.01
412.45/103.49	c asymm  cl-useful: 0/2803/3195 lits-rem:0 time: 0.28
412.45/103.49	c calculated reachability. Time: 0.00
412.45/103.49	c  N st    59    806701       150      3195         0     54644     15975   1071775   no data   no data
580.73/145.65	c  F st    60   1071875       150      3195         0     70013     15975   1443098   no data   no data
580.73/145.65	c  N st    60   1071875       150      3195         0     70013     15975   1443098   no data   no data
584.32/146.59	c Decided on static restart strategy
601.46/150.86	c  N st    70   1100177       150      3195         0     54686     15975    956532   no data   no data
628.99/157.71	c  N st    72   1136170       150      3195         0     45280     15975    642289   no data   no data
650.93/163.26	c  N st    73   1168563       150      3195         0     75845     15975   1568224   no data   no data
684.83/171.78	c  N st    74   1210051       150      3195         0     70518     15975   1367808   no data   no data
684.83/171.78	c  S st    74   1210051       150      3195         0     70518     15975   1367808   no data   no data
686.03/172.05	c  S st    74   1210555       150      3195         0     71013     15975   1382336   no data   no data
686.03/172.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
686.42/172.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
686.42/172.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
686.42/172.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
686.42/172.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
686.42/172.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
686.42/172.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
686.42/172.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
686.42/172.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
751.04/188.33	c lits-rem:      1085  cl-subs:     5885  v-elim:      0  v-fix:    0  time: 16.17 s
751.04/188.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
751.04/188.35	c vivif2 --  cl tried    65128 cl shrink        0 lits rem          0 time: 0.02
753.04/188.84	c asymm  cl-useful: 0/2417/3195 lits-rem:0 time: 0.49
753.04/188.84	c calculated reachability. Time: 0.00
753.04/188.84	c  N st    74   1210555       150      3195         0     65128     15975   1207928   no data   no data
815.67/204.56	c  N st    75   1283437       150      3195         0     88702     15975   1917443   no data   no data
910.99/228.48	c  N st    76   1392761       150      3195         0     50273     15975    698071   no data   no data
1038.62/260.42	c  N st    77   1556745       150      3195         0     54839     15975    792865   no data   no data
1154.30/289.47	c  N st    78   1710556       150      3195         0     95518     15975   1999454   no data   no data
1154.30/289.47	c  S st    78   1710556       150      3195         0     95518     15975   1999454   no data   no data
1155.49/289.74	c  S st    78   1711057       150      3195         0     96011     15975   2014395   no data   no data
1155.49/289.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1155.49/289.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1155.49/289.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1155.49/289.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1155.49/289.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1155.49/289.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1155.49/289.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1155.89/289.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1155.89/289.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1238.45/310.53	c lits-rem:      2592  cl-subs:     8661  v-elim:      0  v-fix:    0  time: 20.65 s
1238.45/310.53	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1238.45/310.55	c vivif2 --  cl tried    87350 cl shrink        0 lits rem          0 time: 0.02
1239.25/310.72	c asymm  cl-useful: 0/778/3195 lits-rem:0 time: 0.16
1239.25/310.72	c calculated reachability. Time: 0.00
1239.25/310.72	c  N st    78   1711057       150      3195         0     87350     15975   1759539   no data   no data
1562.34/391.71	c  N st    79   2080022       150      3195         0     99337     15975   2051412   no data   no data
1694.37/424.85	c  N st    80   2211057       150      3195         0    102956     15975   2100554   no data   no data
1694.37/424.85	c  S st    80   2211057       150      3195         0    102956     15975   2100554   no data   no data
1695.57/425.19	c  S st    80   2211561       150      3195         0    103450     15975   2115618   no data   no data
1695.57/425.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1695.97/425.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1695.97/425.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1695.97/425.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1695.97/425.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1695.97/425.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1695.97/425.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1695.97/425.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1696.37/425.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1781.71/446.70	c lits-rem:      2556  cl-subs:     8397  v-elim:      0  v-fix:    0  time: 21.37 s
1781.71/446.70	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1781.71/446.73	c vivif2 --  cl tried    95053 cl shrink        0 lits rem          0 time: 0.02
1782.91/447.08	c asymm  cl-useful: 0/1839/3195 lits-rem:0 time: 0.35
1782.91/447.08	c calculated reachability. Time: 0.00
1782.91/447.08	c  N st    80   2211561       150      3195         0     95053     15975   1856590   no data   no data
2341.34/587.09	c  N st    81   2711562       150      3195         0    117736     15975   2428649   no data   no data
2341.34/587.09	c  S st    81   2711562       150      3195         0    117736     15975   2428649   no data   no data
2342.98/587.44	c  S st    81   2712065       150      3195         0    118223     15975   2443132   no data   no data
2342.98/587.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2343.32/587.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2343.32/587.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2343.32/587.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2343.32/587.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2343.32/587.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2343.32/587.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2343.32/587.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2343.72/587.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2481.73/622.24	c lits-rem:      2413  cl-subs:    11564  v-elim:      0  v-fix:    0  time: 34.64 s
2481.73/622.24	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2481.73/622.27	c vivif2 --  cl tried   106659 cl shrink        0 lits rem          0 time: 0.03
2483.37/622.65	c asymm  cl-useful: 0/1356/3195 lits-rem:0 time: 0.37
2483.37/622.65	c calculated reachability. Time: 0.00
2483.37/622.65	c  N st    81   2712065       150      3195         0    106659     15975   2106153   no data   no data
3137.45/786.66	c  N st    82   3212066       150      3195         0     83732     15975   1240459   no data   no data
3137.45/786.66	c  S st    82   3212066       150      3195         0     83732     15975   1240459   no data   no data
3138.65/786.91	c  S st    82   3212570       150      3195         0     84222     15975   1254860   no data   no data
3138.65/786.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3138.65/786.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3138.65/786.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3138.65/786.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3138.65/786.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3138.65/786.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3138.65/786.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3138.65/786.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3139.05/787.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3147.82/789.20	c lits-rem:       254  cl-subs:     2242  v-elim:      0  v-fix:    0  time:  2.18 s
3147.82/789.20	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3147.82/789.22	c vivif2 --  cl tried    81980 cl shrink        0 lits rem          0 time: 0.02
3149.02/789.55	c asymm  cl-useful: 0/1977/3195 lits-rem:0 time: 0.33
3149.02/789.55	c calculated reachability. Time: 0.00
3149.02/789.55	c  N st    82   3212570       150      3195         0     81980     15975   1191688   no data   no data
3758.51/942.36	c  N st    83   3712570       150      3195         0     92472     15975   1410700   no data   no data
3758.51/942.36	c  S st    83   3712570       150      3195         0     92472     15975   1410700   no data   no data
3760.15/942.73	c  S st    83   3713072       150      3195         0     92960     15975   1426339   no data   no data
3760.15/942.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3760.50/942.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3760.50/942.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3760.50/942.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3760.50/942.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3760.50/942.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3760.50/942.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3760.50/942.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3760.50/942.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3787.22/949.53	c lits-rem:       549  cl-subs:     2966  v-elim:      0  v-fix:    0  time:  6.66 s
3787.22/949.53	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3787.22/949.56	c vivif2 --  cl tried    89994 cl shrink        0 lits rem          0 time: 0.02
3788.82/949.91	c asymm  cl-useful: 0/1218/3195 lits-rem:0 time: 0.36
3788.82/949.92	c calculated reachability. Time: 0.00
3788.82/949.92	c  N st    83   3713072       150      3195         0     89994     15975   1337714   no data   no data
3852.27/965.81	c  F st    84   3751562       150      3195         0    126448     15975   2494647   no data   no data
3852.27/965.81	c  N st    84   3751562       150      3195         0    126448     15975   2494647   no data   no data
3865.44/969.16	c Decided on static restart strategy
3920.43/983.00	c  N st    94   3779869       150      3195         0    153231     15975   3326847   no data   no data
3974.28/996.48	c  N st    96   3815862       150      3195         0    107279     15975   1858151   no data   no data
4023.38/1008.72	c  N st    97   3848254       150      3195         0    137958     15975   2828587   no data   no data
4092.35/1026.08	c  N st    98   3896842       150      3195         0    102644     15975   1674743   no data   no data
4191.66/1050.95	c  N st    99   3969725       150      3195         0     89270     15975   1239246   no data   no data
4336.46/1087.27	c  N st   100   4079049       150      3195         0    109285     15975   1838079   no data   no data
4530.68/1135.93	c  N st   101   4213073       150      3195         0    151479     15975   3068737   no data   no data
4530.68/1135.94	c  S st   101   4213073       150      3195         0    151479     15975   3068737   no data   no data
4532.32/1136.38	c  S st   101   4213574       150      3195         0    151964     15975   3083301   no data   no data
4532.32/1136.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4532.67/1136.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4532.67/1136.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4532.67/1136.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4532.67/1136.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4532.67/1136.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4532.67/1136.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4533.08/1136.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4533.08/1136.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4784.35/1199.51	c lits-rem:      4247  cl-subs:    16451  v-elim:      0  v-fix:    0  time: 62.91 s
4784.35/1199.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4784.35/1199.54	c vivif2 --  cl tried   135513 cl shrink        0 lits rem          0 time: 0.04
4785.95/1199.94	c asymm  cl-useful: 0/1209/3195 lits-rem:0 time: 0.40
4785.95/1199.95	c calculated reachability. Time: 0.00
4785.95/1199.95	c  N st   101   4213574       150      3195         0    135513     15975   2602758   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-3366343-1305402158/watcher-3366343-1305402158 -o /tmp/evaluation-result-3366343-1305402158/solver-3366343-1305402158 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366343-1305402158.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: 8.21 8.13 8.04 4/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=216164 CPUtime=0 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 675 0 0 0 0 0 0 0 21 0 4 0 651813785 221351936 597 33554432000 4194304 4580107 140733481940112 18446744073709551615 228244453919 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 54041 600 336 95 0 49023 0
[pid=12777/tid=12779] ppid=12773 vsize=216416 CPUtime=0 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 118 0 0 0 0 0 0 0 18 0 4 0 651813786 221609984 808 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294001 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=216416 CPUtime=0 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 98 0 0 0 0 0 0 0 22 0 4 0 651813786 221609984 808 33554432000 4194304 4580107 140733481940112 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=216416 CPUtime=0 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 131 0 0 0 0 0 0 0 22 0 4 0 651813786 221609984 809 33554432000 4194304 4580107 140733481940112 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0383249 s]
/proc/loadavg: 8.21 8.13 8.04 4/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=217480 CPUtime=0.12 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 1548 0 0 0 12 0 0 0 18 0 4 0 651813785 222699520 1395 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 54370 1395 375 95 0 49352 0
[pid=12777/tid=12779] ppid=12773 vsize=217480 CPUtime=0.03 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 351 0 0 0 3 0 0 0 18 0 4 0 651813786 222699520 1395 33554432000 4194304 4580107 140733481940112 18446744073709551615 4296628 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=217480 CPUtime=0.02 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 259 0 0 0 2 0 0 0 22 0 4 0 651813786 222699520 1395 33554432000 4194304 4580107 140733481940112 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=217480 CPUtime=0.03 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 190 0 0 0 3 0 0 0 22 0 4 0 651813786 222699520 1395 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 217480

[startup+0.100315 s]
/proc/loadavg: 8.21 8.13 8.04 4/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=217784 CPUtime=0.37 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 1948 0 0 0 37 0 0 0 18 0 4 0 651813785 223010816 1795 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 54446 1795 376 95 0 49428 0
[pid=12777/tid=12779] ppid=12773 vsize=217784 CPUtime=0.09 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 457 0 0 0 9 0 0 0 18 0 4 0 651813786 223010816 1795 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=217784 CPUtime=0.08 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 357 0 0 0 8 0 0 0 22 0 4 0 651813786 223010816 1795 33554432000 4194304 4580107 140733481940112 18446744073709551615 4318389 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=217784 CPUtime=0.09 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 283 0 0 0 9 0 0 0 22 0 4 0 651813786 223010816 1795 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217784

[startup+0.30028 s]
/proc/loadavg: 8.21 8.13 8.04 4/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=219944 CPUtime=1.16 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 3330 0 0 0 116 0 0 0 18 0 4 0 651813785 225222656 2465 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 54986 2465 377 95 0 49968 0
[pid=12777/tid=12779] ppid=12773 vsize=219944 CPUtime=0.29 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 802 0 0 0 29 0 0 0 18 0 4 0 651813786 225222656 2465 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=219944 CPUtime=0.28 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 703 0 0 0 28 0 0 0 22 0 4 0 651813786 225222656 2465 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=219944 CPUtime=0.29 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 629 0 0 0 29 0 0 0 22 0 4 0 651813786 225222656 2465 33554432000 4194304 4580107 140733481940112 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 219944

[startup+0.700211 s]
/proc/loadavg: 8.21 8.13 8.04 4/338 12777
/proc/meminfo: memFree=18168032/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=222008 CPUtime=2.77 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 6007 0 0 0 276 1 0 0 18 0 4 0 651813785 227336192 2675 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 55502 2675 377 95 0 50484 0
[pid=12777/tid=12779] ppid=12773 vsize=222008 CPUtime=0.68 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 1464 0 0 0 68 0 0 0 18 0 4 0 651813786 227336192 2675 33554432000 4194304 4580107 140733481940112 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=222008 CPUtime=0.68 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 1362 0 0 0 68 0 0 0 24 0 4 0 651813786 227336192 2675 33554432000 4194304 4580107 140733481940112 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=222008 CPUtime=0.69 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 1327 0 0 0 69 0 0 0 24 0 4 0 651813786 227336192 2676 33554432000 4194304 4580107 140733481940112 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 222008

[startup+1.50107 s]
/proc/loadavg: 8.35 8.16 8.05 10/346 12785
/proc/meminfo: memFree=18143548/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=223368 CPUtime=5.96 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 11406 0 0 0 595 1 0 0 20 0 4 0 651813785 228728832 4856 33554432000 4194304 4580107 140733481940112 18446744073709551615 4323120 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 55842 4856 379 95 0 50824 0
[pid=12777/tid=12779] ppid=12773 vsize=223368 CPUtime=1.48 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 2489 0 0 0 148 0 0 0 20 0 4 0 651813786 228728832 4856 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=223368 CPUtime=1.47 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 2378 0 0 0 147 0 0 0 25 0 4 0 651813786 228728832 4856 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=223368 CPUtime=1.49 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 2371 0 0 0 149 0 0 0 25 0 4 0 651813786 228728832 4856 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 223368

[startup+3.10079 s]
/proc/loadavg: 8.35 8.16 8.05 10/346 12785
/proc/meminfo: memFree=18107216/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=229596 CPUtime=12.34 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 22810 0 0 0 1230 4 0 0 25 0 4 0 651813785 235106304 12299 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 57399 12299 379 95 0 52381 0
[pid=12777/tid=12779] ppid=12773 vsize=229596 CPUtime=3.09 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 5200 0 0 0 308 1 0 0 25 0 4 0 651813786 235106304 12299 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=229596 CPUtime=3.05 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 5434 0 0 0 305 0 0 0 25 0 4 0 651813786 235106304 12299 33554432000 4194304 4580107 140733481940112 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=229596 CPUtime=3.08 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 5739 0 0 0 308 0 0 0 25 0 4 0 651813786 235106304 12299 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 229596

[startup+6.30023 s]
/proc/loadavg: 8.35 8.16 8.05 10/346 12785
/proc/meminfo: memFree=18050328/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=262000 CPUtime=25.1 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 35476 0 0 0 2504 6 0 0 25 0 4 0 651813785 268288000 17606 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 65500 17606 379 95 0 60482 0
[pid=12777/tid=12779] ppid=12773 vsize=262000 CPUtime=6.28 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 9020 0 0 0 627 1 0 0 25 0 4 0 651813786 268288000 17606 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=262000 CPUtime=6.22 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 8659 0 0 0 621 1 0 0 25 0 4 0 651813786 268288000 17606 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=262000 CPUtime=6.29 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 8484 0 0 0 628 1 0 0 25 0 4 0 651813786 268288000 17606 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 262000

[startup+12.7011 s]
/proc/loadavg: 8.45 8.18 8.06 10/346 12786
/proc/meminfo: memFree=17990392/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=272328 CPUtime=50.63 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 50079 0 0 0 5054 9 0 0 25 0 4 0 651813785 278863872 24508 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 68082 24508 379 95 0 63064 0
[pid=12777/tid=12779] ppid=12773 vsize=272328 CPUtime=12.68 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 11716 0 0 0 1266 2 0 0 25 0 4 0 651813786 278863872 24508 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=272328 CPUtime=12.54 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 12271 0 0 0 1252 2 0 0 25 0 4 0 651813786 278863872 24508 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=272328 CPUtime=12.68 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 13460 0 0 0 1267 1 0 0 25 0 4 0 651813786 278863872 24508 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 272328

[startup+25.5009 s]
/proc/loadavg: 8.38 8.18 8.06 10/346 12786
/proc/meminfo: memFree=17921808/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=275332 CPUtime=101.68 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 74166 0 0 0 10153 15 0 0 25 0 4 0 651813785 281939968 29663 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 68833 29663 379 95 0 63815 0
[pid=12777/tid=12779] ppid=12773 vsize=275332 CPUtime=25.49 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 17436 0 0 0 2545 4 0 0 25 0 4 0 651813786 281939968 29663 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=275332 CPUtime=25.19 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 18369 0 0 0 2516 3 0 0 25 0 4 0 651813786 281939968 29663 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=275332 CPUtime=25.49 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 18685 0 0 0 2545 4 0 0 25 0 4 0 651813786 281939968 29663 33554432000 4194304 4580107 140733481940112 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 275332

[startup+51.1004 s]
/proc/loadavg: 8.23 8.16 8.06 10/346 12787
/proc/meminfo: memFree=17871424/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=327692 CPUtime=203.79 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 108044 0 0 0 20356 23 0 0 25 0 4 0 651813785 335556608 41198 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 81923 41198 379 95 0 76905 0
[pid=12777/tid=12779] ppid=12773 vsize=327692 CPUtime=51.08 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 25784 0 0 0 5103 5 0 0 25 0 4 0 651813786 335556608 41198 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=327692 CPUtime=50.5 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 26902 0 0 0 5045 5 0 0 25 0 4 0 651813786 335556608 41198 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=327692 CPUtime=51.09 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 28373 0 0 0 5103 6 0 0 25 0 4 0 651813786 335556608 41198 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 327692

[startup+102.313 s]
/proc/loadavg: 8.18 8.16 8.06 10/346 12788
/proc/meminfo: memFree=17797268/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=406660 CPUtime=408.06 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 159822 0 0 0 40767 39 0 0 25 0 4 0 651813785 416419840 52365 33554432000 4194304 4580107 140733481940112 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 101665 52365 379 95 0 96647 0
[pid=12777/tid=12779] ppid=12773 vsize=406660 CPUtime=102.3 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 33948 0 0 0 10222 8 0 0 25 0 4 0 651813786 416419840 52365 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=406660 CPUtime=101.13 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 38613 0 0 0 10104 9 0 0 25 0 4 0 651813786 416419840 52365 33554432000 4194304 4580107 140733481940112 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=406660 CPUtime=102.3 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 46811 0 0 0 10218 12 0 0 25 0 4 0 651813786 416419840 52365 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 406660

[startup+162.301 s]

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

[pid=12777] ppid=12773 vsize=552580 CPUtime=2801.22 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 533284 0 0 0 279917 205 0 0 25 0 4 0 651813785 565841920 106997 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 138145 106997 379 95 0 133127 0
[pid=12777/tid=12779] ppid=12773 vsize=552580 CPUtime=702.3 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 113966 0 0 0 70187 43 0 0 25 0 4 0 651813786 565841920 106997 33554432000 4194304 4580107 140733481940112 18446744073709551615 4320448 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=552580 CPUtime=694.29 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 123933 0 0 0 69379 50 0 0 25 0 4 0 651813786 565841920 106997 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=552580 CPUtime=702.3 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 155313 0 0 0 70167 63 0 0 25 0 4 0 651813786 565841920 106997 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.22
Current children cumulated vsize (KiB) 552580

[startup+762.314 s]
/proc/loadavg: 8.06 8.11 8.08 10/346 12806
/proc/meminfo: memFree=17328232/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=640604 CPUtime=3040.58 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 557764 0 0 0 303844 214 0 0 25 0 4 0 651813785 655978496 113575 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 160151 113575 379 95 0 155133 0
[pid=12777/tid=12779] ppid=12773 vsize=640604 CPUtime=762.32 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 121937 0 0 0 76187 45 0 0 25 0 4 0 651813786 655978496 113575 33554432000 4194304 4580107 140733481940112 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=640604 CPUtime=753.6 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 130265 0 0 0 75307 53 0 0 25 0 4 0 651813786 655978496 113575 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=640604 CPUtime=762.31 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 161513 0 0 0 76166 65 0 0 25 0 4 0 651813786 655978496 113575 33554432000 4194304 4580107 140733481940112 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.58
Current children cumulated vsize (KiB) 640604

[startup+822.3 s]
/proc/loadavg: 8.07 8.11 8.08 10/346 12807
/proc/meminfo: memFree=17322388/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=641052 CPUtime=3279.85 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 585932 0 0 0 327756 229 0 0 25 0 4 0 651813785 656437248 111957 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 160263 111957 381 95 0 155245 0
[pid=12777/tid=12779] ppid=12773 vsize=641052 CPUtime=822.3 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 128605 0 0 0 82182 48 0 0 25 0 4 0 651813786 656437248 111957 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=641052 CPUtime=812.92 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 137683 0 0 0 81235 57 0 0 25 0 4 0 651813786 656437248 111957 33554432000 4194304 4580107 140733481940112 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=641052 CPUtime=822.3 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 167799 0 0 0 82161 69 0 0 25 0 4 0 651813786 656437248 111957 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.85
Current children cumulated vsize (KiB) 641052

[startup+882.301 s]
/proc/loadavg: 8.07 8.10 8.08 10/346 12809
/proc/meminfo: memFree=17289376/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=641568 CPUtime=3519.17 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 616904 0 0 0 351673 244 0 0 25 0 4 0 651813785 656965632 112870 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 160392 112870 381 95 0 155374 0
[pid=12777/tid=12779] ppid=12773 vsize=641568 CPUtime=882.3 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 136524 0 0 0 88178 52 0 0 25 0 4 0 651813786 656965632 112870 33554432000 4194304 4580107 140733481940112 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=641568 CPUtime=872.22 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 144244 0 0 0 87163 59 0 0 25 0 4 0 651813786 656965632 112870 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=641568 CPUtime=882.3 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 175805 0 0 0 88158 72 0 0 25 0 4 0 651813786 656965632 112870 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.17
Current children cumulated vsize (KiB) 641568

[startup+942.3 s]
/proc/loadavg: 8.07 8.09 8.08 10/346 12810
/proc/meminfo: memFree=17267168/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=652628 CPUtime=3758.51 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 653499 0 0 0 375591 260 0 0 25 0 4 0 651813785 668291072 114665 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 163157 114665 381 95 0 158139 0
[pid=12777/tid=12779] ppid=12773 vsize=652628 CPUtime=942.3 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 146925 0 0 0 94174 56 0 0 25 0 4 0 651813786 668291072 114665 33554432000 4194304 4580107 140733481940112 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=652628 CPUtime=931.56 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 152619 0 0 0 93093 63 0 0 25 0 4 0 651813786 668291072 114665 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=652628 CPUtime=942.31 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 183376 0 0 0 94155 76 0 0 25 0 4 0 651813786 668291072 114665 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.51
Current children cumulated vsize (KiB) 652628

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.09 10/346 12812
/proc/meminfo: memFree=17233548/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=706556 CPUtime=3997.8 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 671744 0 0 0 399510 270 0 0 25 0 4 0 651813785 723513344 119768 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 176639 119768 381 95 0 171621 0
[pid=12777/tid=12779] ppid=12773 vsize=706556 CPUtime=1002.3 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 149101 0 0 0 100173 57 0 0 25 0 4 0 651813786 723513344 119768 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=706556 CPUtime=990.85 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 158069 0 0 0 99018 67 0 0 25 0 4 0 651813786 723513344 119768 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=706556 CPUtime=1002.3 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 188226 0 0 0 100153 77 0 0 25 0 4 0 651813786 723513344 119768 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997.8
Current children cumulated vsize (KiB) 706556

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 8.09 10/346 12814
/proc/meminfo: memFree=17191500/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=643640 CPUtime=4237.14 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 700418 0 0 0 423427 287 0 0 25 0 4 0 651813785 659087360 126745 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 160910 126745 381 95 0 155892 0
[pid=12777/tid=12779] ppid=12773 vsize=643640 CPUtime=1062.3 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 155987 0 0 0 106168 62 0 0 25 0 4 0 651813786 659087360 126745 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=643640 CPUtime=1050.18 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 166235 0 0 0 104947 71 0 0 25 0 4 0 651813786 659087360 126745 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=643640 CPUtime=1062.31 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 196312 0 0 0 106149 82 0 0 25 0 4 0 651813786 659087360 126745 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.14
Current children cumulated vsize (KiB) 643640

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 8.09 10/346 12824
/proc/meminfo: memFree=17180100/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=786868 CPUtime=4476.44 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 716763 0 0 0 447348 296 0 0 25 0 4 0 651813785 805752832 129084 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 196717 129084 381 95 0 191699 0
[pid=12777/tid=12779] ppid=12773 vsize=786868 CPUtime=1122.29 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 160508 0 0 0 112164 65 0 0 25 0 4 0 651813786 805752832 129084 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=786868 CPUtime=1109.5 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 172124 0 0 0 110875 75 0 0 25 0 4 0 651813786 805752832 129084 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=786868 CPUtime=1122.31 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 201143 0 0 0 112147 84 0 0 25 0 4 0 651813786 805752832 129084 33554432000 4194304 4580107 140733481940112 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4476.44
Current children cumulated vsize (KiB) 786868

[startup+1182.3 s]
/proc/loadavg: 8.42 8.18 8.11 10/346 12826
/proc/meminfo: memFree=17155984/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=672604 CPUtime=4715.75 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 743580 0 0 0 471265 310 0 0 25 0 4 0 651813785 688746496 130264 33554432000 4194304 4580107 140733481940112 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 168151 130264 381 95 0 163133 0
[pid=12777/tid=12779] ppid=12773 vsize=672604 CPUtime=1182.29 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 167702 0 0 0 118159 70 0 0 25 0 4 0 651813786 688746496 130264 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=672604 CPUtime=1168.81 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 178801 0 0 0 116801 80 0 0 25 0 4 0 651813786 688746496 130264 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=672604 CPUtime=1182.31 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 208685 0 0 0 118144 87 0 0 25 0 4 0 651813786 688746496 130264 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4715.75
Current children cumulated vsize (KiB) 672604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.30 8.16 8.11 10/346 12826
/proc/meminfo: memFree=17146924/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=715860 CPUtime=4800.31 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 748150 0 0 0 479717 314 0 0 25 0 4 0 651813785 733040640 130552 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 178965 130552 381 95 0 173947 0
[pid=12777/tid=12779] ppid=12773 vsize=715860 CPUtime=1203.51 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 168951 0 0 0 120279 72 0 0 25 0 4 0 651813786 733040640 130552 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=715860 CPUtime=1189.76 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 180220 0 0 0 118895 81 0 0 25 0 4 0 651813786 733040640 130552 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=715860 CPUtime=1203.53 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 210377 0 0 0 120264 89 0 0 25 0 4 0 651813786 733040640 130552 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 715860

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

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

[startup+1203.5 s]
/proc/loadavg: 8.30 8.16 8.11 10/346 12826
/proc/meminfo: memFree=17146924/32951124 swapFree=67082152/67111528
[pid=12777] ppid=12773 vsize=715860 CPUtime=4800.31 cores=1,3,5,7
/proc/12777/stat : 12777 (strangenight2-m) R 12773 12777 12350 0 -1 4202496 748150 0 0 0 479717 314 0 0 25 0 4 0 651813785 733040640 130552 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12777/statm: 178965 130552 381 95 0 173947 0
[pid=12777/tid=12779] ppid=12773 vsize=715860 CPUtime=1203.51 cores=1,3,5,7
/proc/12777/task/12779/stat : 12779 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 168951 0 0 0 120279 72 0 0 25 0 4 0 651813786 733040640 130552 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12777/tid=12781] ppid=12773 vsize=715860 CPUtime=1189.76 cores=1,3,5,7
/proc/12777/task/12781/stat : 12781 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 180220 0 0 0 118895 81 0 0 25 0 4 0 651813786 733040640 130552 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12777/tid=12783] ppid=12773 vsize=715860 CPUtime=1203.53 cores=1,3,5,7
/proc/12777/task/12783/stat : 12783 (strangenight2-m) R 12773 12777 12350 0 -1 4202560 210377 0 0 0 120264 89 0 0 25 0 4 0 651813786 733040640 130552 33554432000 4194304 4580107 140733481940112 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 715860

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.39
CPU user time (s): 4797.22
CPU system time (s): 3.17252
CPU usage (%): 398.855
Max. virtual memory (cumulated for all children) (KiB): 844096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.22
system time used= 3.17252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748153
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= 455
involuntary context switches= 50789

runsolver used 3.85741 second user time and 9.91449 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 21:42:38
IDJOB=3366343
IDBENCH=82752
IDSOLVER=1844
FILE ID=node136/3366343-1305402158
RUNJOBID= node136-1305400952-12665
PBS_JOBID= 13324455
Free space on /tmp= 72996 MiB

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

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

MD5SUM BENCH= 42169be300dc518238277ee8dbfb6b6f
RANDOM SEED=85218793

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18168476 kB
Buffers:        294460 kB
Cached:        5033604 kB
SwapCached:       2740 kB
Active:       10554472 kB
Inactive:      3887396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18168476 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           10948 kB
Writeback:          36 kB
AnonPages:     9112400 kB
Mapped:          27644 kB
Slab:           236700 kB
PageTables:      39340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69858576 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= 72984 MiB
End job on node136 at 2011-05-14 22:02:44