Trace number 3173934

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? (TO) 4800.37 1201.74

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-3173934-1304073654.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	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.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:      75 undec:       5 neg:      70
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.51/0.15	c Decided on static restart strategy
0.51/0.15	c  N st     8      4921       150      3195         0      4696     15975    137069   no data   no data
1.18/0.37	c  N st    10     11306       150      3195         0      4350     15975    100092   no data   no data
2.37/0.60	c  N st    11     17049       150      3195         0      9782     15975    261216   no data   no data
3.58/0.98	c  F st    12     25002       150      3195         0     11968     15975    324187   no data   no data
3.58/0.98	c  N st    12     25002       150      3195         0     11968     15975    324187   no data   no data
4.39/1.20	c Decided on static restart strategy
4.39/1.20	c  N st    18     30001       150      3195         0     10263     15975    260487   no data   no data
4.39/1.20	c  S st    18     30001       150      3195         0     10263     15975    260487   no data   no data
4.80/1.23	c  S st    18     30507       150      3195         0     10764     15975    275546   no data   no data
4.80/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.80/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.80/1.23	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.80/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.80/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.80/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.80/1.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.80/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.44	c lits-rem:       130  cl-subs:     1331  v-elim:      0  v-fix:    0  time:  0.20 s
5.57/1.48	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.48	c calculated reachability. Time: 0.00
5.57/1.48	c  N st    18     30507       150      3195         0      9433     15975    231385   no data   no data
7.17/1.83	c  N st    20     37619       150      3195         0      8714     15975    190037   no data   no data
8.37/2.15	c  N st    21     44019       150      3195         0     14764     15975    369377   no data   no data
8.79/2.25	c  S st    22     45760       150      3195         0     16413     15975    417004   no data   no data
9.19/2.30	c  S st    22     46263       150      3195         0     16909     15975    431595   no data   no data
9.19/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
9.19/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.19/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.79	c lits-rem:       289  cl-subs:     1575  v-elim:      0  v-fix:    0  time:  0.47 s
10.76/2.79	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
11.16/2.80	c vivif2 --  cl tried    15334 cl shrink        0 lits rem          0 time: 0.00
11.16/2.86	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.06
11.16/2.86	c calculated reachability. Time: 0.00
11.16/2.86	c  N st    22     46263       150      3195         0     15334     15975    382192   no data   no data
14.35/3.67	c  N st    23     60661       150      3195         0     11152     15975    223845   no data   no data
16.36/4.19	c  N st    24     69395       150      3195         0     19508     15975    484730   no data   no data
16.36/4.19	c  S st    24     69395       150      3195         0     19508     15975    484730   no data   no data
16.76/4.25	c  S st    24     69901       150      3195         0     20001     15975    499742   no data   no data
16.76/4.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
16.76/4.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.76/4.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
16.76/4.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.76/4.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
16.76/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.15/4.83	c lits-rem:       402  cl-subs:     1429  v-elim:      0  v-fix:    0  time:  0.55 s
19.15/4.83	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
19.15/4.83	c vivif2 --  cl tried    18572 cl shrink        0 lits rem          0 time: 0.00
19.55/4.91	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.07
19.55/4.91	c calculated reachability. Time: 0.00
19.55/4.91	c  N st    24     69901       150      3195         0     18572     15975    450084   no data   no data
24.34/6.13	c  F st    25     87501       150      3195         0     13482     15975    267882   no data   no data
24.34/6.13	c  N st    25     87501       150      3195         0     13482     15975    267882   no data   no data
25.54/6.45	c Decided on static restart strategy
26.36/6.64	c  N st    32     95539       150      3195         0     21136     15975    501718   no data   no data
28.74/7.25	c  N st    34    104851       150      3195         0     17658     15975    386949   no data   no data
28.74/7.25	c  S st    34    104851       150      3195         0     17658     15975    386949   no data   no data
29.14/7.30	c  S st    34    105354       150      3195         0     18143     15975    401587   no data   no data
29.14/7.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.14/7.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.14/7.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.14/7.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.14/7.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
29.14/7.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.14/7.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.14/7.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.34/7.60	c lits-rem:       147  cl-subs:      909  v-elim:      0  v-fix:    0  time:  0.28 s
30.34/7.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
30.34/7.60	c vivif2 --  cl tried    17234 cl shrink        0 lits rem          0 time: 0.00
30.34/7.68	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
30.34/7.68	c calculated reachability. Time: 0.00
30.34/7.68	c  N st    34    105354       150      3195         0     17234     15975    371742   no data   no data
33.53/8.49	c  N st    35    114954       150      3195         0     26315     15975    648684   no data   no data
38.33/9.61	c  N st    36    129351       150      3195         0     26659     15975    637574   no data   no data
45.12/11.39	c  N st    37    150947       150      3195         0     17709     15975    329442   no data   no data
47.12/11.86	c  S st    38    158033       150      3195         0     24460     15975    540208   no data   no data
47.52/11.93	c  S st    38    158538       150      3195         0     24955     15975    554669   no data   no data
47.52/11.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.52/11.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
47.52/11.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.52/11.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.52/11.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.52/11.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
47.52/11.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.52/11.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.52/11.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.59	c lits-rem:       514  cl-subs:     1549  v-elim:      0  v-fix:    0  time:  0.64 s
49.91/12.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
50.31/12.60	c vivif2 --  cl tried    23406 cl shrink        0 lits rem          0 time: 0.01
50.31/12.69	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.09
50.31/12.69	c calculated reachability. Time: 0.00
50.31/12.69	c  N st    38    158538       150      3195         0     23406     15975    503071   no data   no data
68.29/17.19	c  N st    39    207126       150      3195         0     18346     15975    300886   no data   no data
79.87/20.06	c  N st    40    237807       150      3195         0     28522     15975    609179   no data   no data
79.87/20.06	c  S st    40    237807       150      3195         0     28522     15975    609179   no data   no data
80.27/20.13	c  S st    40    238313       150      3195         0     29022     15975    623571   no data   no data
80.27/20.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.27/20.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.27/20.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.27/20.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.27/20.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.27/20.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
80.27/20.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.27/20.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.27/20.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.89/21.06	c lits-rem:       765  cl-subs:     1863  v-elim:      0  v-fix:    0  time:  0.90 s
83.89/21.06	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
83.89/21.07	c vivif2 --  cl tried    27159 cl shrink        0 lits rem          0 time: 0.01
84.26/21.18	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.11
84.26/21.19	c calculated reachability. Time: 0.00
84.26/21.19	c  N st    40    238313       150      3195         0     27159     15975    563569   no data   no data
112.23/28.16	c  F st    41    306250       150      3195         0     28875     15975    558429   no data   no data
112.23/28.16	c  N st    41    306250       150      3195         0     28875     15975    558429   no data   no data
114.24/28.64	c Decided on static restart strategy
124.22/31.16	c  N st    51    334554       150      3195         0     33029     15975    650773   no data   no data
135.40/33.91	c  N st    53    357469       150      3195         0     31045     15975    576642   no data   no data
135.40/33.91	c  S st    53    357469       150      3195         0     31045     15975    576642   no data   no data
135.40/33.99	c  S st    53    357973       150      3195         0     31540     15975    590944   no data   no data
135.40/33.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.80/34.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.80/34.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.80/34.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.80/34.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.80/34.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
135.80/34.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.80/34.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.80/34.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.20/34.60	c lits-rem:       303  cl-subs:     1288  v-elim:      0  v-fix:    0  time:  0.58 s
138.20/34.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
138.20/34.61	c vivif2 --  cl tried    30252 cl shrink        0 lits rem          0 time: 0.01
138.60/34.75	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
138.60/34.75	c calculated reachability. Time: 0.00
138.60/34.75	c  N st    53    357973       150      3195         0     30252     15975    550037   no data   no data
154.57/38.74	c  N st    54    390366       150      3195         0     36266     15975    707522   no data   no data
182.13/45.64	c  N st    55    438954       150      3195         0     30135     15975    513749   no data   no data
218.89/54.82	c  N st    56    511838       150      3195         0     43174     15975    856371   no data   no data
230.07/57.67	c  N st    57    536960       150      3195         0     37823     15975    683915   no data   no data
230.07/57.67	c  S st    57    536960       150      3195         0     37823     15975    683915   no data   no data
230.47/57.77	c  S st    57    537465       150      3195         0     38312     15975    698596   no data   no data
230.47/57.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
230.47/57.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
230.47/57.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
230.47/57.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
230.47/57.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
230.47/57.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
230.47/57.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
230.47/57.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
230.87/57.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
234.07/58.62	c lits-rem:       699  cl-subs:     1420  v-elim:      0  v-fix:    0  time:  0.81 s
234.07/58.62	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
234.07/58.62	c vivif2 --  cl tried    36892 cl shrink        0 lits rem          0 time: 0.01
234.88/58.80	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
234.88/58.80	c calculated reachability. Time: 0.00
234.88/58.80	c  N st    57    537465       150      3195         0     36892     15975    653205   no data   no data
325.17/81.43	c  N st    58    701451       150      3195         0     65095     15975   1450746   no data   no data
383.88/96.19	c  N st    59    806198       150      3195         0     59165     15975   1213465   no data   no data
383.88/96.19	c  S st    59    806198       150      3195         0     59165     15975   1213465   no data   no data
384.67/96.36	c  S st    59    806701       150      3195         0     59660     15975   1227631   no data   no data
384.67/96.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
384.67/96.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
384.67/96.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
384.67/96.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
384.67/96.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
384.67/96.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
384.67/96.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
385.07/96.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
385.07/96.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
409.84/102.67	c lits-rem:      2778  cl-subs:     5016  v-elim:      0  v-fix:    0  time:  6.22 s
409.84/102.67	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
409.84/102.68	c vivif2 --  cl tried    54644 cl shrink        0 lits rem          0 time: 0.01
411.04/102.97	c asymm  cl-useful: 0/2803/3195 lits-rem:0 time: 0.29
411.04/102.97	c calculated reachability. Time: 0.00
411.04/102.97	c  N st    59    806701       150      3195         0     54644     15975   1071775   no data   no data
578.41/144.89	c  F st    60   1071875       150      3195         0     70013     15975   1443098   no data   no data
578.41/144.89	c  N st    60   1071875       150      3195         0     70013     15975   1443098   no data   no data
582.40/145.81	c Decided on static restart strategy
599.18/150.09	c  N st    70   1100177       150      3195         0     54686     15975    956532   no data   no data
626.75/156.90	c  N st    72   1136170       150      3195         0     45280     15975    642289   no data   no data
648.72/162.40	c  N st    73   1168563       150      3195         0     75845     15975   1568224   no data   no data
681.09/170.54	c  N st    74   1210051       150      3195         0     70518     15975   1367808   no data   no data
681.09/170.54	c  S st    74   1210051       150      3195         0     70518     15975   1367808   no data   no data
682.27/170.81	c  S st    74   1210555       150      3195         0     71013     15975   1382336   no data   no data
682.27/170.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
682.27/170.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
682.27/170.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
682.27/170.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
682.27/170.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
682.27/170.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
682.27/170.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
682.27/170.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
682.67/170.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
747.00/187.00	c lits-rem:      1085  cl-subs:     5885  v-elim:      0  v-fix:    0  time: 16.07 s
747.00/187.00	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
747.00/187.02	c vivif2 --  cl tried    65128 cl shrink        0 lits rem          0 time: 0.02
748.98/187.56	c asymm  cl-useful: 0/2417/3195 lits-rem:0 time: 0.53
748.98/187.56	c calculated reachability. Time: 0.00
748.98/187.56	c  N st    74   1210555       150      3195         0     65128     15975   1207928   no data   no data
813.32/203.66	c  N st    75   1283437       150      3195         0     88702     15975   1917443   no data   no data
911.96/228.34	c  N st    76   1392761       150      3195         0     50273     15975    698071   no data   no data
1035.39/259.29	c  N st    77   1556745       150      3195         0     54839     15975    792865   no data   no data
1150.84/288.18	c  N st    78   1710556       150      3195         0     95518     15975   1999454   no data   no data
1150.84/288.18	c  S st    78   1710556       150      3195         0     95518     15975   1999454   no data   no data
1152.03/288.45	c  S st    78   1711057       150      3195         0     96011     15975   2014395   no data   no data
1152.03/288.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1152.43/288.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1152.43/288.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1152.43/288.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1152.43/288.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1152.43/288.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1152.43/288.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1152.43/288.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1152.43/288.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1234.33/309.03	c lits-rem:      2592  cl-subs:     8661  v-elim:      0  v-fix:    0  time: 20.44 s
1234.33/309.03	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1234.33/309.05	c vivif2 --  cl tried    87350 cl shrink        0 lits rem          0 time: 0.02
1235.14/309.22	c asymm  cl-useful: 0/778/3195 lits-rem:0 time: 0.16
1235.14/309.22	c calculated reachability. Time: 0.00
1235.14/309.22	c  N st    78   1711057       150      3195         0     87350     15975   1759539   no data   no data
1555.51/389.47	c  N st    79   2080022       150      3195         0     99337     15975   2051412   no data   no data
1686.92/422.33	c  N st    80   2211057       150      3195         0    102956     15975   2100554   no data   no data
1686.92/422.33	c  S st    80   2211057       150      3195         0    102956     15975   2100554   no data   no data
1688.11/422.67	c  S st    80   2211561       150      3195         0    103450     15975   2115618   no data   no data
1688.11/422.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1688.51/422.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1688.51/422.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1688.51/422.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1688.51/422.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1688.51/422.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1688.51/422.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1688.51/422.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1688.91/422.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1773.59/444.09	c lits-rem:      2556  cl-subs:     8397  v-elim:      0  v-fix:    0  time: 21.26 s
1773.59/444.09	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1773.99/444.12	c vivif2 --  cl tried    95053 cl shrink        0 lits rem          0 time: 0.03
1775.21/444.46	c asymm  cl-useful: 0/1839/3195 lits-rem:0 time: 0.34
1775.21/444.47	c calculated reachability. Time: 0.00
1775.21/444.47	c  N st    80   2211561       150      3195         0     95053     15975   1856590   no data   no data
2332.04/583.87	c  N st    81   2711562       150      3195         0    117736     15975   2428649   no data   no data
2332.04/583.87	c  S st    81   2711562       150      3195         0    117736     15975   2428649   no data   no data
2333.66/584.22	c  S st    81   2712065       150      3195         0    118223     15975   2443132   no data   no data
2333.66/584.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2333.66/584.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2333.66/584.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2333.66/584.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2333.66/584.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2333.66/584.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2333.66/584.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2334.04/584.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2334.04/584.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2469.48/618.29	c lits-rem:      2413  cl-subs:    11564  v-elim:      0  v-fix:    0  time: 33.89 s
2469.48/618.29	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2469.88/618.32	c vivif2 --  cl tried   106659 cl shrink        0 lits rem          0 time: 0.03
2471.05/618.68	c asymm  cl-useful: 0/1356/3195 lits-rem:0 time: 0.36
2471.05/618.68	c calculated reachability. Time: 0.00
2471.05/618.68	c  N st    81   2712065       150      3195         0    106659     15975   2106153   no data   no data
3124.97/782.30	c  N st    82   3212066       150      3195         0     83732     15975   1240459   no data   no data
3124.97/782.30	c  S st    82   3212066       150      3195         0     83732     15975   1240459   no data   no data
3125.77/782.56	c  S st    82   3212570       150      3195         0     84222     15975   1254860   no data   no data
3125.77/782.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3126.17/782.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3126.17/782.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3126.17/782.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3126.17/782.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3126.17/782.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3126.17/782.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3126.17/782.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3126.17/782.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3134.95/784.85	c lits-rem:       254  cl-subs:     2242  v-elim:      0  v-fix:    0  time:  2.19 s
3134.95/784.85	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3134.95/784.87	c vivif2 --  cl tried    81980 cl shrink        0 lits rem          0 time: 0.02
3136.55/785.21	c asymm  cl-useful: 0/1977/3195 lits-rem:0 time: 0.34
3136.55/785.21	c calculated reachability. Time: 0.00
3136.55/785.21	c  N st    82   3212570       150      3195         0     81980     15975   1191688   no data   no data
3743.33/937.16	c  N st    83   3712570       150      3195         0     92472     15975   1410700   no data   no data
3743.33/937.16	c  S st    83   3712570       150      3195         0     92472     15975   1410700   no data   no data
3744.53/937.44	c  S st    83   3713072       150      3195         0     92960     15975   1426339   no data   no data
3744.53/937.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3744.93/937.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3744.93/937.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3744.93/937.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3744.93/937.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3744.93/937.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3744.93/937.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3744.93/937.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3744.93/937.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3759.71/941.25	c lits-rem:       549  cl-subs:     2966  v-elim:      0  v-fix:    0  time:  3.69 s
3759.71/941.25	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3759.71/941.27	c vivif2 --  cl tried    89994 cl shrink        0 lits rem          0 time: 0.02
3760.91/941.53	c asymm  cl-useful: 0/1218/3195 lits-rem:0 time: 0.27
3760.91/941.54	c calculated reachability. Time: 0.00
3760.91/941.54	c  N st    83   3713072       150      3195         0     89994     15975   1337714   no data   no data
3814.45/954.99	c  F st    84   3751562       150      3195         0    126448     15975   2494647   no data   no data
3814.45/954.99	c  N st    84   3751562       150      3195         0    126448     15975   2494647   no data   no data
3828.01/958.35	c Decided on static restart strategy
3888.34/973.45	c  N st    94   3779869       150      3195         0    153231     15975   3326847   no data   no data
3950.67/989.03	c  N st    96   3815862       150      3195         0    107279     15975   1858151   no data   no data
4003.40/1002.27	c  N st    97   3848254       150      3195         0    137958     15975   2828587   no data   no data
4071.29/1019.28	c  N st    98   3896842       150      3195         0    102644     15975   1674743   no data   no data
4170.38/1044.09	c  N st    99   3969725       150      3195         0     89270     15975   1239246   no data   no data
4315.38/1080.31	c  N st   100   4079049       150      3195         0    109285     15975   1838079   no data   no data
4509.09/1128.89	c  N st   101   4213073       150      3195         0    151479     15975   3068737   no data   no data
4509.09/1128.89	c  S st   101   4213073       150      3195         0    151479     15975   3068737   no data   no data
4511.09/1129.33	c  S st   101   4213574       150      3195         0    151964     15975   3083301   no data   no data
4511.09/1129.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4511.49/1129.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4511.49/1129.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4511.49/1129.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4511.49/1129.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4511.49/1129.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4511.49/1129.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4511.49/1129.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4511.89/1129.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4759.56/1191.54	c lits-rem:      4247  cl-subs:    16451  v-elim:      0  v-fix:    0  time: 61.98 s
4759.56/1191.54	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4759.56/1191.58	c vivif2 --  cl tried   135513 cl shrink        0 lits rem          0 time: 0.04
4761.16/1191.98	c asymm  cl-useful: 0/1209/3195 lits-rem:0 time: 0.40
4761.16/1191.99	c calculated reachability. Time: 0.00
4761.16/1191.99	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: 935)

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

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

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


[startup+0 s]
/proc/loadavg: 8.05 8.04 8.00 5/180 14117
/proc/meminfo: memFree=26477976/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 518964123 52441088 347 33554432000 4194304 4627427 140733858031104 18446744073709551615 47826007177136 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 12803 347 299 106 0 7774 0
[pid=14117/tid=14118] ppid=14115 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518964123 52441088 347 33554432000 4194304 4627427 140733858031104 18446744073709551615 47826007177138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518964123 52441088 347 33554432000 4194304 4627427 140733858031104 18446744073709551615 47826007177138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518964123 52441088 347 33554432000 4194304 4627427 140733858031104 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.133969 s]
/proc/loadavg: 8.05 8.04 8.00 5/180 14117
/proc/meminfo: memFree=26477976/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=291108 CPUtime=0.51 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 2273 0 0 0 51 0 0 0 25 0 4 0 518964123 298094592 2090 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 72777 2090 384 106 0 67748 0
[pid=14117/tid=14118] ppid=14115 vsize=291108 CPUtime=0.12 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 463 0 0 0 12 0 0 0 25 0 4 0 518964123 298094592 2090 33554432000 4194304 4627427 140733858031104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=291108 CPUtime=0.12 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 470 0 0 0 12 0 0 0 25 0 4 0 518964123 298094592 2090 33554432000 4194304 4627427 140733858031104 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=291108 CPUtime=0.12 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 439 0 0 0 12 0 0 0 25 0 4 0 518964123 298094592 2090 33554432000 4194304 4627427 140733858031104 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 291108

[startup+0.20095 s]
/proc/loadavg: 8.05 8.04 8.00 5/180 14117
/proc/meminfo: memFree=26477976/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=284156 CPUtime=0.78 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 2887 0 0 0 78 0 0 0 25 0 4 0 518964123 290975744 1992 33554432000 4194304 4627427 140733858031104 18446744073709551615 4335634 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 71039 1992 384 106 0 66010 0
[pid=14117/tid=14118] ppid=14115 vsize=284156 CPUtime=0.19 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 637 0 0 0 19 0 0 0 25 0 4 0 518964123 290975744 1992 33554432000 4194304 4627427 140733858031104 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=284156 CPUtime=0.19 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 648 0 0 0 19 0 0 0 25 0 4 0 518964123 290975744 1992 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=284156 CPUtime=0.19 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 527 0 0 0 19 0 0 0 25 0 4 0 518964123 290975744 1992 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284156

[startup+0.300933 s]
/proc/loadavg: 8.05 8.04 8.00 5/180 14117
/proc/meminfo: memFree=26477976/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=284288 CPUtime=1.18 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 3377 0 0 0 118 0 0 0 25 0 4 0 518964123 291110912 2482 33554432000 4194304 4627427 140733858031104 18446744073709551615 4310580 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 71072 2482 384 106 0 66043 0
[pid=14117/tid=14118] ppid=14115 vsize=284288 CPUtime=0.29 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 759 0 0 0 29 0 0 0 25 0 4 0 518964123 291110912 2482 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=284288 CPUtime=0.29 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 771 0 0 0 29 0 0 0 25 0 4 0 518964123 291110912 2482 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=284288 CPUtime=0.29 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 651 0 0 0 29 0 0 0 25 0 4 0 518964123 291110912 2482 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284288

[startup+0.700867 s]
/proc/loadavg: 8.05 8.04 8.00 5/180 14117
/proc/meminfo: memFree=26477976/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=286168 CPUtime=2.77 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 6070 0 0 0 277 0 0 0 25 0 4 0 518964123 293036032 2708 33554432000 4194304 4627427 140733858031104 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 71542 2708 384 106 0 66513 0
[pid=14117/tid=14118] ppid=14115 vsize=286168 CPUtime=0.69 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 1428 0 0 0 69 0 0 0 25 0 4 0 518964123 293036032 2708 33554432000 4194304 4627427 140733858031104 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=286168 CPUtime=0.69 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 1440 0 0 0 69 0 0 0 25 0 4 0 518964123 293036032 2708 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=286168 CPUtime=0.69 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 1345 0 0 0 69 0 0 0 25 0 4 0 518964123 293036032 2708 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286168

[startup+1.50073 s]
/proc/loadavg: 8.21 8.07 8.01 9/184 14121
/proc/meminfo: memFree=26457732/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=294036 CPUtime=5.97 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 11460 0 0 0 596 1 0 0 25 0 4 0 518964123 301092864 5058 33554432000 4194304 4627427 140733858031104 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 73509 5058 388 106 0 68480 0
[pid=14117/tid=14118] ppid=14115 vsize=294036 CPUtime=1.49 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 2466 0 0 0 149 0 0 0 25 0 4 0 518964123 301092864 5058 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=294036 CPUtime=1.48 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 2483 0 0 0 148 0 0 0 25 0 4 0 518964123 301092864 5058 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=294036 CPUtime=1.48 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 2396 0 0 0 148 0 0 0 25 0 4 0 518964123 301092864 5058 33554432000 4194304 4627427 140733858031104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 294036

[startup+3.10046 s]
/proc/loadavg: 8.21 8.07 8.01 9/184 14121
/proc/meminfo: memFree=26404152/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=298664 CPUtime=12.36 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 22915 0 0 0 1233 3 0 0 25 0 4 0 518964123 305831936 12097 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 74666 12099 388 106 0 69637 0
[pid=14117/tid=14118] ppid=14115 vsize=298664 CPUtime=3.08 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 5183 0 0 0 308 0 0 0 25 0 4 0 518964123 305831936 12099 33554432000 4194304 4627427 140733858031104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=298664 CPUtime=3.08 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 5822 0 0 0 308 0 0 0 25 0 4 0 518964123 305831936 12099 33554432000 4194304 4627427 140733858031104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=298664 CPUtime=3.07 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 5783 0 0 0 307 0 0 0 25 0 4 0 518964123 305831936 12099 33554432000 4194304 4627427 140733858031104 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 298664

[startup+6.30093 s]
/proc/loadavg: 8.19 8.07 8.01 9/184 14121
/proc/meminfo: memFree=26361292/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=327828 CPUtime=25.14 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 35755 0 0 0 2508 6 0 0 25 0 4 0 518964123 335695872 17834 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 81957 17834 389 106 0 76928 0
[pid=14117/tid=14118] ppid=14115 vsize=327828 CPUtime=6.28 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 9152 0 0 0 627 1 0 0 25 0 4 0 518964123 335695872 17834 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=327828 CPUtime=6.28 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 9138 0 0 0 627 1 0 0 25 0 4 0 518964123 335695872 17834 33554432000 4194304 4627427 140733858031104 18446744073709551615 4332291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=327828 CPUtime=6.26 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 8466 0 0 0 625 1 0 0 25 0 4 0 518964123 335695872 17834 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 327828

[startup+12.7009 s]
/proc/loadavg: 8.18 8.07 8.01 9/184 14121
/proc/meminfo: memFree=26294032/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=329412 CPUtime=50.71 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 52511 0 0 0 5061 10 0 0 25 0 4 0 518964123 337317888 23188 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 82353 23188 389 106 0 77324 0
[pid=14117/tid=14118] ppid=14115 vsize=329412 CPUtime=12.69 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 14264 0 0 0 1266 3 0 0 25 0 4 0 518964123 337317888 23188 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=329412 CPUtime=12.69 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 13477 0 0 0 1266 3 0 0 25 0 4 0 518964123 337317888 23188 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=329412 CPUtime=12.62 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 14063 0 0 0 1261 1 0 0 25 0 4 0 518964123 337317888 23188 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 329412

[startup+25.5007 s]
/proc/loadavg: 8.14 8.06 8.01 9/184 14122
/proc/meminfo: memFree=26237988/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=333068 CPUtime=101.84 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 78966 0 0 0 10169 15 0 0 25 0 4 0 518964123 341061632 33745 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 83267 33745 389 106 0 78238 0
[pid=14117/tid=14118] ppid=14115 vsize=333068 CPUtime=25.48 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 22322 0 0 0 2544 4 0 0 25 0 4 0 518964123 341061632 33745 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=333068 CPUtime=25.48 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 21749 0 0 0 2544 4 0 0 25 0 4 0 518964123 341061632 33745 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=333068 CPUtime=25.35 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 20975 0 0 0 2533 2 0 0 25 0 4 0 518964123 341061632 33745 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 333068

[startup+51.1004 s]
/proc/loadavg: 8.09 8.06 8.01 9/184 14122
/proc/meminfo: memFree=26192156/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=400476 CPUtime=204.1 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 111131 0 0 0 20386 24 0 0 25 0 4 0 518964123 410087424 41403 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 100119 41403 389 106 0 95090 0
[pid=14117/tid=14118] ppid=14115 vsize=400476 CPUtime=51.08 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 31321 0 0 0 5102 6 0 0 25 0 4 0 518964123 410087424 41403 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=400476 CPUtime=51.08 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 33145 0 0 0 5101 7 0 0 25 0 4 0 518964123 410087424 41403 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=400476 CPUtime=50.82 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 31110 0 0 0 5076 6 0 0 25 0 4 0 518964123 410087424 41403 33554432000 4194304 4627427 140733858031104 18446744073709551615 4332432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 400476

[startup+102.301 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 14124
/proc/meminfo: memFree=26138080/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=413296 CPUtime=408.66 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 164648 0 0 0 40825 41 0 0 25 0 4 0 518964123 423215104 52237 33554432000 4194304 4627427 140733858031104 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 103324 52237 389 106 0 98295 0
[pid=14117/tid=14118] ppid=14115 vsize=413296 CPUtime=102.29 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 43329 0 0 0 10219 10 0 0 25 0 4 0 518964123 423215104 52237 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=413296 CPUtime=102.29 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 49881 0 0 0 10217 12 0 0 25 0 4 0 518964123 423215104 52237 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=413296 CPUtime=101.75 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 50482 0 0 0 10164 11 0 0 25 0 4 0 518964123 423215104 52237 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 413296

[startup+162.301 s]

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

[pid=14117] ppid=14115 vsize=630532 CPUtime=2565.72 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 546439 0 0 0 256400 172 0 0 25 0 4 0 518964123 645664768 99139 33554432000 4194304 4627427 140733858031104 18446744073709551615 4333279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 157633 99139 388 106 0 152604 0
[pid=14117/tid=14118] ppid=14115 vsize=630532 CPUtime=642.29 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 141539 0 0 0 64182 47 0 0 25 0 4 0 518964123 645664768 99139 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=630532 CPUtime=642.29 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 149137 0 0 0 64184 45 0 0 25 0 4 0 518964123 645664768 99139 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=630532 CPUtime=638.82 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 159491 0 0 0 63833 49 0 0 25 0 4 0 518964123 645664768 99139 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 630532

[startup+702.301 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 14140
/proc/meminfo: memFree=25653968/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=657696 CPUtime=2805.4 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 579220 0 0 0 280355 185 0 0 25 0 4 0 518964123 673480704 110736 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 164424 110736 388 106 0 159395 0
[pid=14117/tid=14118] ppid=14115 vsize=657696 CPUtime=702.3 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 149871 0 0 0 70179 51 0 0 25 0 4 0 518964123 673480704 110736 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=657696 CPUtime=702.29 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 157640 0 0 0 70180 49 0 0 25 0 4 0 518964123 673480704 110736 33554432000 4194304 4627427 140733858031104 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=657696 CPUtime=698.48 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 167785 0 0 0 69797 51 0 0 25 0 4 0 518964123 673480704 110736 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 657696

[startup+762.301 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 14141
/proc/meminfo: memFree=25646024/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=631616 CPUtime=3045.09 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 610385 0 0 0 304313 196 0 0 25 0 4 0 518964123 646774784 113687 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 157904 113687 388 106 0 152875 0
[pid=14117/tid=14118] ppid=14115 vsize=631616 CPUtime=762.31 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 159011 0 0 0 76178 53 0 0 25 0 4 0 518964123 646774784 113687 33554432000 4194304 4627427 140733858031104 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=631616 CPUtime=762.3 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 166464 0 0 0 76176 54 0 0 25 0 4 0 518964123 646774784 113687 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=631616 CPUtime=758.16 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 178424 0 0 0 75762 54 0 0 25 0 4 0 518964123 646774784 113687 33554432000 4194304 4627427 140733858031104 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 631616

[startup+822.301 s]
/proc/loadavg: 8.12 8.12 8.04 9/184 14142
/proc/meminfo: memFree=25626176/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=673188 CPUtime=3284.75 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 635779 0 0 0 328269 206 0 0 25 0 4 0 518964123 689344512 115340 33554432000 4194304 4627427 140733858031104 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 168297 115340 388 106 0 163268 0
[pid=14117/tid=14118] ppid=14115 vsize=673188 CPUtime=822.3 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 165193 0 0 0 82175 55 0 0 25 0 4 0 518964123 689344512 115340 33554432000 4194304 4627427 140733858031104 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=673188 CPUtime=822.29 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 173701 0 0 0 82173 56 0 0 25 0 4 0 518964123 689344512 115340 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=673188 CPUtime=817.84 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 182970 0 0 0 81728 56 0 0 25 0 4 0 518964123 689344512 115340 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 673188

[startup+882.307 s]
/proc/loadavg: 8.25 8.15 8.05 9/184 14144
/proc/meminfo: memFree=25647376/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=688092 CPUtime=3524.45 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 670586 0 0 0 352226 219 0 0 25 0 4 0 518964123 704606208 116259 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 172023 116259 388 106 0 166994 0
[pid=14117/tid=14118] ppid=14115 vsize=688092 CPUtime=882.3 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 173426 0 0 0 88172 58 0 0 25 0 4 0 518964123 704606208 116259 33554432000 4194304 4627427 140733858031104 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=688092 CPUtime=882.3 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 182192 0 0 0 88171 59 0 0 25 0 4 0 518964123 704606208 116259 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=688092 CPUtime=877.51 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 192372 0 0 0 87693 58 0 0 25 0 4 0 518964123 704606208 116259 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 688092

[startup+942.301 s]
/proc/loadavg: 8.20 8.15 8.06 9/184 14146
/proc/meminfo: memFree=25652840/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=633156 CPUtime=3764.1 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 704484 0 0 0 376179 231 0 0 25 0 4 0 518964123 648351744 115614 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 158289 115614 388 106 0 153260 0
[pid=14117/tid=14118] ppid=14115 vsize=633156 CPUtime=942.3 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 181646 0 0 0 94169 61 0 0 25 0 4 0 518964123 648351744 115614 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=633156 CPUtime=942.3 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 190651 0 0 0 94166 64 0 0 25 0 4 0 518964123 648351744 115614 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=633156 CPUtime=937.18 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 199931 0 0 0 93657 61 0 0 25 0 4 0 518964123 648351744 115614 33554432000 4194304 4627427 140733858031104 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 633156

[startup+1002.3 s]
/proc/loadavg: 8.17 8.15 8.06 9/184 14148
/proc/meminfo: memFree=25597272/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=619320 CPUtime=4003.78 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 729824 0 0 0 400133 245 0 0 25 0 4 0 518964123 634183680 123297 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 154830 123297 388 106 0 149801 0
[pid=14117/tid=14118] ppid=14115 vsize=619320 CPUtime=1002.3 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 187385 0 0 0 100166 64 0 0 25 0 4 0 518964123 634183680 123297 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=619320 CPUtime=1002.3 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 199266 0 0 0 100161 69 0 0 25 0 4 0 518964123 634183680 123297 33554432000 4194304 4627427 140733858031104 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=619320 CPUtime=996.85 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 205448 0 0 0 99622 63 0 0 25 0 4 0 518964123 634183680 123297 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 619320

[startup+1062.3 s]
/proc/loadavg: 8.12 8.14 8.06 9/184 14149
/proc/meminfo: memFree=25509980/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=736520 CPUtime=4243.46 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 760029 0 0 0 424089 257 0 0 25 0 4 0 518964123 754196480 135025 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 184130 135026 388 106 0 179101 0
[pid=14117/tid=14118] ppid=14115 vsize=736520 CPUtime=1062.3 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 195675 0 0 0 106162 68 0 0 25 0 4 0 518964123 754196480 135026 33554432000 4194304 4627427 140733858031104 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=736520 CPUtime=1062.3 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 205080 0 0 0 106160 70 0 0 25 0 4 0 518964123 754196480 135026 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=736520 CPUtime=1056.53 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 213422 0 0 0 105587 66 0 0 25 0 4 0 518964123 754196480 135026 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 736520

[startup+1122.3 s]
/proc/loadavg: 8.10 8.13 8.06 9/184 14150
/proc/meminfo: memFree=25544688/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=671228 CPUtime=4483.13 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 784593 0 0 0 448048 265 0 0 25 0 4 0 518964123 687337472 126617 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 167807 126617 388 106 0 162778 0
[pid=14117/tid=14118] ppid=14115 vsize=671228 CPUtime=1122.3 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 199990 0 0 0 112160 70 0 0 25 0 4 0 518964123 687337472 126617 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=671228 CPUtime=1122.3 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 212700 0 0 0 112157 73 0 0 25 0 4 0 518964123 687337472 126617 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=671228 CPUtime=1116.2 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 218358 0 0 0 111553 67 0 0 25 0 4 0 518964123 687337472 126617 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 671228

[startup+1182.3 s]
/proc/loadavg: 8.04 8.10 8.06 9/184 14152
/proc/meminfo: memFree=25525336/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=703324 CPUtime=4722.8 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 806089 0 0 0 472004 276 0 0 25 0 4 0 518964123 720203776 127134 33554432000 4194304 4627427 140733858031104 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 175831 127134 388 106 0 170802 0
[pid=14117/tid=14118] ppid=14115 vsize=703324 CPUtime=1182.3 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 206191 0 0 0 118156 74 0 0 25 0 4 0 518964123 720203776 127134 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=703324 CPUtime=1182.3 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 218080 0 0 0 118154 76 0 0 25 0 4 0 518964123 720203776 127134 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=703324 CPUtime=1175.88 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 225319 0 0 0 117518 70 0 0 25 0 4 0 518964123 720203776 127134 33554432000 4194304 4627427 140733858031104 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 703324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.02 8.09 8.05 5/179 14154
/proc/meminfo: memFree=25963592/32950928 swapFree=67111524/67111528
[pid=14117] ppid=14115 vsize=760884 CPUtime=4800.32 cores=0,2,4,6
/proc/14117/stat : 14117 (strangenight2-m) R 14115 14117 13699 0 -1 4202496 813050 0 0 0 479752 280 0 0 25 0 4 0 518964123 779145216 129321 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14117/statm: 190221 129321 388 106 0 185192 0
[pid=14117/tid=14118] ppid=14115 vsize=760884 CPUtime=1201.71 cores=0,2,4,6
/proc/14117/task/14118/stat : 14118 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 207646 0 0 0 120096 75 0 0 25 0 4 0 518964123 779145216 129321 33554432000 4194304 4627427 140733858031104 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14117/tid=14119] ppid=14115 vsize=760884 CPUtime=1201.71 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 221063 0 0 0 120094 77 0 0 25 0 4 0 518964123 779145216 129321 33554432000 4194304 4627427 140733858031104 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14117/tid=14120] ppid=14115 vsize=760884 CPUtime=1195.17 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (strangenight2-m) R 14115 14117 13699 0 -1 4202560 226952 0 0 0 119446 71 0 0 25 0 4 0 518964123 779145216 129321 33554432000 4194304 4627427 140733858031104 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 760884

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.37
CPU user time (s): 4797.55
CPU system time (s): 2.82557
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 907444

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

runsolver used 1.91371 second user time and 4.6283 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 12:40:54
IDJOB=3173934
IDBENCH=82752
IDSOLVER=1586
FILE ID=node126/3173934-1304073654
RUNJOBID= node126-1304072450-13999
PBS_JOBID= 13170481
Free space on /tmp= 71592 MiB

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

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

MD5SUM BENCH= 42169be300dc518238277ee8dbfb6b6f
RANDOM SEED=259797219

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26478132 kB
Buffers:       1418268 kB
Cached:        4438816 kB
SwapCached:          4 kB
Active:         377364 kB
Inactive:      5550664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26478132 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11316 kB
Writeback:           0 kB
AnonPages:       70596 kB
Mapped:          14696 kB
Slab:           481084 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   275276 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= 71592 MiB
End job on node126 at 2011-04-29 13:00:58