Trace number 3366390

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.48 1202.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf
MD5SUMe6a3a97a5be52c43f493d905174d1bee
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of 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-3366390-1305403142.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.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.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      60 undec:       6 neg:      84
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4923       150      3195         0      4688     15975    139435   no data   no data
1.17/0.35	c  N st    10     11306       150      3195         0      4356     15975    100289   no data   no data
1.97/0.57	c  N st    11     17051       150      3195         0      9830     15975    264848   no data   no data
3.18/0.90	c  F st    12     25000       150      3195         0     12069     15975    329287   no data   no data
3.58/0.90	c  N st    12     25000       150      3195         0     12069     15975    329287   no data   no data
3.97/1.10	c Decided on static restart strategy
3.97/1.10	c  N st    18     30003       150      3195         0     10337     15975    263743   no data   no data
3.97/1.10	c  S st    18     30003       150      3195         0     10337     15975    263743   no data   no data
4.40/1.13	c  S st    18     30509       150      3195         0     10832     15975    279006   no data   no data
4.40/1.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.40/1.13	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.40/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.40/1.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.40/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.33	c lits-rem:       377  cl-subs:     1139  v-elim:      0  v-fix:    0  time:  0.19 s
5.16/1.38	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.16/1.38	c calculated reachability. Time: 0.00
5.16/1.38	c  N st    18     30509       150      3195         0      9693     15975    240338   no data   no data
6.77/1.76	c  N st    20     37622       150      3195         0      8943     15975    196843   no data   no data
8.36/2.11	c  N st    21     44023       150      3195         0     15056     15975    382282   no data   no data
8.36/2.20	c  S st    22     45763       150      3195         0     16731     15975    432214   no data   no data
8.79/2.25	c  S st    22     46270       150      3195         0      8689     15975    169902   no data   no data
8.79/2.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.79/2.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.29	c lits-rem:        33  cl-subs:      158  v-elim:      0  v-fix:    0  time:  0.02 s
8.79/2.29	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
8.79/2.29	c vivif2 --  cl tried     8531 cl shrink        0 lits rem          0 time: 0.00
9.19/2.33	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.19/2.33	c calculated reachability. Time: 0.00
9.19/2.33	c  N st    22     46270       150      3195         0      8531     15975    165024   no data   no data
11.95/3.05	c  N st    23     60669       150      3195         0     12703     15975    275854   no data   no data
14.34/3.60	c  N st    24     69405       150      3195         0     10541     15975    195065   no data   no data
14.34/3.60	c  S st    24     69405       150      3195         0     10541     15975    195065   no data   no data
14.34/3.63	c  S st    24     69910       150      3195         0     11036     15975    209827   no data   no data
14.34/3.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.34/3.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.34/3.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.34/3.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.34/3.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.34/3.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.34/3.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.34/3.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.34/3.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.34/3.69	c lits-rem:        62  cl-subs:      226  v-elim:      0  v-fix:    0  time:  0.04 s
14.34/3.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.34/3.69	c vivif2 --  cl tried    10810 cl shrink        0 lits rem          0 time: 0.00
14.75/3.74	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
14.75/3.74	c calculated reachability. Time: 0.00
14.75/3.74	c  N st    24     69910       150      3195         0     10810     15975    202644   no data   no data
19.13/4.90	c  F st    25     87500       150      3195         0     16112     15975    351154   no data   no data
19.53/4.90	c  N st    25     87500       150      3195         0     16112     15975    351154   no data   no data
20.73/5.22	c Decided on static restart strategy
21.54/5.42	c  N st    32     95536       150      3195         0     23768     15975    582366   no data   no data
23.93/6.01	c  N st    34    104865       150      3195         0     20325     15975    471723   no data   no data
23.93/6.01	c  S st    34    104865       150      3195         0     20325     15975    471723   no data   no data
23.93/6.06	c  S st    34    105367       150      3195         0     20816     15975    486250   no data   no data
23.93/6.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.93/6.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
23.93/6.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.93/6.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.93/6.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.93/6.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.93/6.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.93/6.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.93/6.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.52/6.49	c lits-rem:       561  cl-subs:     1259  v-elim:      0  v-fix:    0  time:  0.40 s
25.52/6.49	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.92/6.50	c vivif2 --  cl tried    19557 cl shrink        0 lits rem          0 time: 0.00
25.92/6.58	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
25.92/6.58	c calculated reachability. Time: 0.00
25.92/6.58	c  N st    34    105367       150      3195         0     19557     15975    443517   no data   no data
28.72/7.28	c  N st    35    114965       150      3195         0     15366     15975    307333   no data   no data
33.11/8.38	c  N st    36    129362       150      3195         0     14791     15975    263997   no data   no data
39.92/10.08	c  N st    37    150959       150      3195         0     20017     15975    404276   no data   no data
42.28/10.62	c  S st    38    158050       150      3195         0     26689     15975    604518   no data   no data
42.28/10.69	c  S st    38    158553       150      3195         0     27179     15975    618865   no data   no data
42.28/10.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.69/10.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.69/10.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.69/10.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.69/10.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.69/10.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.69/10.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.69/10.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.69/10.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.28/11.69	c lits-rem:       706  cl-subs:     2248  v-elim:      0  v-fix:    0  time:  0.97 s
46.28/11.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
46.68/11.70	c vivif2 --  cl tried    24931 cl shrink        0 lits rem          0 time: 0.01
47.08/11.80	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.08/11.80	c calculated reachability. Time: 0.00
47.08/11.80	c  N st    38    158553       150      3195         0     24931     15975    545840   no data   no data
63.83/16.01	c  N st    39    207141       150      3195         0     19965     15975    346788   no data   no data
75.41/18.91	c  N st    40    237831       150      3195         0     30088     15975    651673   no data   no data
75.41/18.91	c  S st    40    237831       150      3195         0     30088     15975    651673   no data   no data
75.81/19.00	c  S st    40    238333       150      3195         0     30580     15975    666109   no data   no data
75.81/19.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.81/19.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.81/19.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.81/19.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.81/19.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.81/19.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
75.81/19.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.81/19.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.81/19.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.40/20.48	c lits-rem:       669  cl-subs:     2092  v-elim:      0  v-fix:    0  time:  1.44 s
81.40/20.48	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.40/20.49	c vivif2 --  cl tried    28488 cl shrink        0 lits rem          0 time: 0.01
82.20/20.61	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
82.20/20.61	c calculated reachability. Time: 0.00
82.20/20.61	c  N st    40    238333       150      3195         0     28488     15975    599954   no data   no data
108.15/27.16	c  F st    41    306253       150      3195         0     30377     15975    608815   no data   no data
108.15/27.16	c  N st    41    306253       150      3195         0     30377     15975    608815   no data   no data
110.18/27.64	c Decided on static restart strategy
120.12/30.18	c  N st    51    334557       150      3195         0     34630     15975    714170   no data   no data
130.50/32.78	c  N st    53    357500       150      3195         0     32706     15975    637459   no data   no data
130.50/32.78	c  S st    53    357500       150      3195         0     32706     15975    637459   no data   no data
130.90/32.86	c  S st    53    358004       150      3195         0     33206     15975    652485   no data   no data
130.90/32.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.90/32.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.90/32.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.90/32.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.90/32.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.90/32.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
130.90/32.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.90/32.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
131.30/32.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.10/33.60	c lits-rem:       437  cl-subs:     1435  v-elim:      0  v-fix:    0  time:  0.70 s
134.10/33.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
134.10/33.61	c vivif2 --  cl tried    31771 cl shrink        0 lits rem          0 time: 0.01
134.50/33.74	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
134.50/33.74	c calculated reachability. Time: 0.00
134.50/33.74	c  N st    53    358004       150      3195         0     31771     15975    603678   no data   no data
149.30/37.49	c  N st    54    390397       150      3195         0     37857     15975    775480   no data   no data
180.04/45.19	c  N st    55    438985       150      3195         0     31605     15975    548577   no data   no data
214.73/53.80	c  N st    56    511868       150      3195         0     44718     15975    934175   no data   no data
226.31/56.77	c  N st    57    537007       150      3195         0     39250     15975    714924   no data   no data
226.31/56.77	c  S st    57    537007       150      3195         0     39250     15975    714924   no data   no data
226.71/56.87	c  S st    57    537510       150      3195         0     39744     15975    730067   no data   no data
226.71/56.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
226.71/56.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
226.71/56.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
226.71/56.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.71/56.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.71/56.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
226.71/56.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
227.11/56.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
227.11/56.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.09/57.94	c lits-rem:       802  cl-subs:     1856  v-elim:      0  v-fix:    0  time:  1.02 s
231.09/57.94	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
231.09/57.95	c vivif2 --  cl tried    37888 cl shrink        0 lits rem          0 time: 0.01
231.89/58.13	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
231.89/58.14	c calculated reachability. Time: 0.00
231.89/58.14	c  N st    57    537510       150      3195         0     37888     15975    673755   no data   no data
325.33/81.54	c  N st    58    701494       150      3195         0     66028     15975   1469768   no data   no data
395.95/99.22	c  N st    59    806266       150      3195         0     60197     15975   1224826   no data   no data
395.95/99.22	c  S st    59    806266       150      3195         0     60197     15975   1224826   no data   no data
396.35/99.39	c  S st    59    806772       150      3195         0     60690     15975   1239803   no data   no data
396.35/99.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
396.75/99.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
396.75/99.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
396.75/99.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
396.75/99.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
396.75/99.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
396.75/99.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
396.75/99.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
396.75/99.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
423.49/106.19	c lits-rem:      1853  cl-subs:     5390  v-elim:      0  v-fix:    0  time:  6.72 s
423.49/106.19	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
423.89/106.20	c vivif2 --  cl tried    55300 cl shrink        0 lits rem          0 time: 0.01
424.69/106.49	c asymm  cl-useful: 0/2964/3195 lits-rem:0 time: 0.29
424.69/106.49	c calculated reachability. Time: 0.00
424.69/106.49	c  N st    59    806772       150      3195         0     55300     15975   1080448   no data   no data
611.48/153.27	c  F st    60   1071876       150      3195         0     70502     15975   1428218   no data   no data
611.48/153.27	c  N st    60   1071876       150      3195         0     70502     15975   1428218   no data   no data
615.87/154.38	c Decided on static restart strategy
633.44/158.71	c  N st    70   1100183       150      3195         0     55072     15975    961801   no data   no data
664.57/166.56	c  N st    72   1136176       150      3195         0     45646     15975    650154   no data   no data
686.92/172.11	c  N st    73   1168569       150      3195         0     76260     15975   1558869   no data   no data
726.04/181.98	c  N st    74   1210158       150      3195         0     71110     15975   1415541   no data   no data
726.04/181.98	c  S st    74   1210158       150      3195         0     71110     15975   1415541   no data   no data
727.24/182.28	c  S st    74   1210661       150      3195         0     71607     15975   1430607   no data   no data
727.24/182.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
727.64/182.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
727.64/182.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
727.64/182.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
727.64/182.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
727.64/182.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
727.64/182.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
727.64/182.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
728.03/182.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
784.71/196.65	c lits-rem:      1574  cl-subs:     4935  v-elim:      0  v-fix:    0  time: 14.25 s
784.71/196.65	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
784.71/196.67	c vivif2 --  cl tried    66672 cl shrink        0 lits rem          0 time: 0.02
786.70/197.12	c asymm  cl-useful: 0/2573/3195 lits-rem:0 time: 0.45
786.70/197.13	c calculated reachability. Time: 0.00
786.70/197.13	c  N st    74   1210661       150      3195         0     66672     15975   1272500   no data   no data
853.36/213.80	c  N st    75   1283543       150      3195         0     90288     15975   2004456   no data   no data
951.94/238.53	c  N st    76   1392868       150      3195         0     52009     15975    748701   no data   no data
1100.03/275.61	c  N st    77   1556853       150      3195         0     56694     15975    838471   no data   no data
1254.54/314.43	c  N st    78   1710661       150      3195         0     96935     15975   2013472   no data   no data
1254.54/314.43	c  S st    78   1710661       150      3195         0     96935     15975   2013472   no data   no data
1255.75/314.78	c  S st    78   1711165       150      3195         0     97426     15975   2028100   no data   no data
1255.75/314.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1256.11/314.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1256.11/314.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1256.11/314.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1256.11/314.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1256.11/314.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1256.11/314.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1256.11/314.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1256.50/314.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1394.08/349.50	c lits-rem:      4032  cl-subs:    10494  v-elim:      0  v-fix:    0  time: 34.55 s
1394.08/349.50	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1394.08/349.52	c vivif2 --  cl tried    86932 cl shrink        0 lits rem          0 time: 0.02
1394.48/349.66	c asymm  cl-useful: 0/622/3195 lits-rem:0 time: 0.14
1394.48/349.66	c calculated reachability. Time: 0.00
1394.48/349.66	c  N st    78   1711165       150      3195         0     86932     15975   1716568   no data   no data
1720.62/431.39	c  N st    79   2080132       150      3195         0     98976     15975   2039120   no data   no data
1863.09/467.02	c  N st    80   2211166       150      3195         0    102588     15975   2089449   no data   no data
1863.09/467.02	c  S st    80   2211166       150      3195         0    102588     15975   2089449   no data   no data
1864.29/467.36	c  S st    80   2211669       150      3195         0    103075     15975   2104372   no data   no data
1864.29/467.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1864.69/467.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1864.69/467.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1864.69/467.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1864.69/467.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1864.69/467.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1864.69/467.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1864.69/467.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1865.11/467.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2004.78/502.60	c lits-rem:      5575  cl-subs:     9065  v-elim:      0  v-fix:    0  time: 35.09 s
2004.78/502.60	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2005.18/502.63	c vivif2 --  cl tried    94010 cl shrink        0 lits rem          0 time: 0.04
2007.17/503.13	c asymm  cl-useful: 0/1895/3195 lits-rem:0 time: 0.49
2007.17/503.13	c calculated reachability. Time: 0.00
2007.17/503.13	c  N st    80   2211669       150      3195         0     94010     15975   1825141   no data   no data
2549.62/639.03	c  N st    81   2711670       150      3195         0    117149     15975   2398731   no data   no data
2549.62/639.03	c  S st    81   2711670       150      3195         0    117149     15975   2398731   no data   no data
2551.21/639.44	c  S st    81   2712175       150      3195         0    117645     15975   2413951   no data   no data
2551.21/639.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2551.61/639.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2551.61/639.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2551.61/639.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2551.61/639.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2551.61/639.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2551.61/639.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2551.61/639.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2552.02/639.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2720.44/681.83	c lits-rem:      3402  cl-subs:    10173  v-elim:      0  v-fix:    0  time: 42.23 s
2720.44/681.83	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2720.44/681.87	c vivif2 --  cl tried   107472 cl shrink        0 lits rem          0 time: 0.04
2722.43/682.36	c asymm  cl-useful: 0/1300/3195 lits-rem:0 time: 0.49
2722.43/682.37	c calculated reachability. Time: 0.00
2722.43/682.37	c  N st    81   2712175       150      3195         0    107472     15975   2113770   no data   no data
3344.75/838.26	c  N st    82   3212177       150      3195         0     84303     15975   1268183   no data   no data
3344.75/838.26	c  S st    82   3212177       150      3195         0     84303     15975   1268183   no data   no data
3345.91/838.57	c  S st    82   3212679       150      3195         0     84800     15975   1283024   no data   no data
3345.91/838.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3346.31/838.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3346.31/838.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3346.31/838.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3346.31/838.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3346.31/838.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3346.31/838.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3346.31/838.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3346.71/838.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3365.46/843.45	c lits-rem:       598  cl-subs:     2082  v-elim:      0  v-fix:    0  time:  4.74 s
3365.46/843.45	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3365.46/843.47	c vivif2 --  cl tried    82718 cl shrink        0 lits rem          0 time: 0.03
3367.45/843.94	c asymm  cl-useful: 0/2075/3195 lits-rem:0 time: 0.47
3367.45/843.95	c calculated reachability. Time: 0.00
3367.45/843.95	c  N st    82   3212679       150      3195         0     82718     15975   1217507   no data   no data
4109.49/1029.84	c  N st    83   3712682       150      3195         0     92874     15975   1418778   no data   no data
4109.49/1029.84	c  S st    83   3712682       150      3195         0     92874     15975   1418778   no data   no data
4110.69/1030.12	c  S st    83   3713185       150      3195         0     93365     15975   1433691   no data   no data
4110.69/1030.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4110.69/1030.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
4110.69/1030.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4110.69/1030.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4110.69/1030.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4110.69/1030.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4110.69/1030.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4110.69/1030.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4111.09/1030.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4126.69/1034.18	c lits-rem:       656  cl-subs:     3297  v-elim:      0  v-fix:    0  time:  3.95 s
4126.69/1034.18	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4127.05/1034.21	c vivif2 --  cl tried    90068 cl shrink        0 lits rem          0 time: 0.02
4127.85/1034.45	c asymm  cl-useful: 0/1120/3195 lits-rem:0 time: 0.24
4127.85/1034.45	c calculated reachability. Time: 0.00
4127.85/1034.45	c  N st    83   3713185       150      3195         0     90068     15975   1335407   no data   no data
4187.75/1049.49	c  F st    84   3751563       150      3195         0    126332     15975   2465482   no data   no data
4187.75/1049.49	c  N st    84   3751563       150      3195         0    126332     15975   2465482   no data   no data
4196.09/1051.60	c Decided on static restart strategy
4242.00/1063.05	c  N st    94   3779868       150      3195         0    153211     15975   3287992   no data   no data
4285.89/1074.09	c  N st    96   3815860       150      3195         0    107301     15975   1825691   no data   no data
4333.02/1085.84	c  N st    97   3848253       150      3195         0    137817     15975   2738479   no data   no data
4404.02/1103.61	c  N st    98   3896843       150      3195         0    102511     15975   1642006   no data   no data
4508.99/1129.91	c  N st    99   3969725       150      3195         0     89217     15975   1231458   no data   no data
4653.90/1166.20	c  N st   100   4079049       150      3195         0    109273     15975   1808488   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-3366390-1305403142/watcher-3366390-1305403142 -o /tmp/evaluation-result-3366390-1305403142/solver-3366390-1305403142 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366390-1305403142.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: 7.36 7.91 7.96 2/269 26362
/proc/meminfo: memFree=20965248/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=281684 CPUtime=0.01 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 867 0 0 0 1 0 0 0 25 0 4 0 651913963 288444416 788 33554432000 4194304 4580107 140733205059056 18446744073709551615 237278540097 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 70421 789 356 95 0 65403 0
[pid=26362/tid=26363] ppid=26360 vsize=281684 CPUtime=0 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 103 0 0 0 0 0 0 0 25 0 4 0 651913963 288444416 791 33554432000 4194304 4580107 140733205059056 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=281684 CPUtime=0 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 104 0 0 0 0 0 0 0 25 0 4 0 651913963 288444416 791 33554432000 4194304 4580107 140733205059056 18446744073709551615 237278538847 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=281684 CPUtime=0 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 121 0 0 0 0 0 0 0 25 0 4 0 651913963 288444416 791 33554432000 4194304 4580107 140733205059056 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.10905 s]
/proc/loadavg: 7.36 7.91 7.96 2/269 26362
/proc/meminfo: memFree=20965248/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=281960 CPUtime=0.41 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 2023 0 0 0 41 0 0 0 25 0 4 0 651913963 288727040 1848 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 70490 1848 376 95 0 65472 0
[pid=26362/tid=26363] ppid=26360 vsize=281960 CPUtime=0.09 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 419 0 0 0 9 0 0 0 25 0 4 0 651913963 288727040 1848 33554432000 4194304 4580107 140733205059056 18446744073709551615 4321284 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=281960 CPUtime=0.1 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 421 0 0 0 10 0 0 0 25 0 4 0 651913963 288727040 1848 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=281960 CPUtime=0.1 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 314 0 0 0 10 0 0 0 25 0 4 0 651913963 288727040 1848 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 281960

[startup+0.201034 s]
/proc/loadavg: 7.36 7.91 7.96 2/269 26362
/proc/meminfo: memFree=20965248/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=283756 CPUtime=0.77 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 2854 0 0 0 77 0 0 0 25 0 4 0 651913963 290566144 1964 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 70939 1964 376 95 0 65921 0
[pid=26362/tid=26363] ppid=26360 vsize=283756 CPUtime=0.19 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 632 0 0 0 19 0 0 0 25 0 4 0 651913963 290566144 1964 33554432000 4194304 4580107 140733205059056 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=283756 CPUtime=0.19 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 627 0 0 0 19 0 0 0 25 0 4 0 651913963 290566144 1964 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=283756 CPUtime=0.19 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 512 0 0 0 19 0 0 0 25 0 4 0 651913963 290566144 1964 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283756

[startup+0.301016 s]
/proc/loadavg: 7.36 7.91 7.96 2/269 26362
/proc/meminfo: memFree=20965248/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=283892 CPUtime=1.17 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 3363 0 0 0 117 0 0 0 25 0 4 0 651913963 290705408 2473 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 70973 2473 377 95 0 65955 0
[pid=26362/tid=26363] ppid=26360 vsize=283892 CPUtime=0.29 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 762 0 0 0 29 0 0 0 25 0 4 0 651913963 290705408 2473 33554432000 4194304 4580107 140733205059056 18446744073709551615 4316473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=283892 CPUtime=0.29 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 759 0 0 0 29 0 0 0 25 0 4 0 651913963 290705408 2473 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=283892 CPUtime=0.29 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 632 0 0 0 29 0 0 0 25 0 4 0 651913963 290705408 2473 33554432000 4194304 4580107 140733205059056 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283892

[startup+0.700946 s]
/proc/loadavg: 7.36 7.91 7.96 2/269 26362
/proc/meminfo: memFree=20965248/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=285716 CPUtime=2.78 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 6110 0 0 0 277 1 0 0 25 0 4 0 651913963 292573184 2747 33554432000 4194304 4580107 140733205059056 18446744073709551615 4487400 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 71429 2747 377 95 0 66411 0
[pid=26362/tid=26363] ppid=26360 vsize=285716 CPUtime=0.68 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 1452 0 0 0 68 0 0 0 25 0 4 0 651913963 292573184 2747 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=285716 CPUtime=0.69 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 1449 0 0 0 69 0 0 0 25 0 4 0 651913963 292573184 2747 33554432000 4194304 4580107 140733205059056 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=285716 CPUtime=0.69 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 1311 0 0 0 69 0 0 0 25 0 4 0 651913963 292573184 2747 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285716

[startup+1.5008 s]
/proc/loadavg: 7.36 7.91 7.96 9/279 26390
/proc/meminfo: memFree=20941204/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=286840 CPUtime=5.96 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 11479 0 0 0 595 1 0 0 25 0 4 0 651913963 293724160 4901 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 71710 4901 379 95 0 66692 0
[pid=26362/tid=26363] ppid=26360 vsize=286840 CPUtime=1.47 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 2454 0 0 0 147 0 0 0 25 0 4 0 651913963 293724160 4901 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=286840 CPUtime=1.49 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 2477 0 0 0 149 0 0 0 25 0 4 0 651913963 293724160 4901 33554432000 4194304 4580107 140733205059056 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=286840 CPUtime=1.49 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 2308 0 0 0 149 0 0 0 25 0 4 0 651913963 293724160 4901 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286840

[startup+3.10052 s]
/proc/loadavg: 7.36 7.91 7.96 9/279 26420
/proc/meminfo: memFree=20919684/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=296128 CPUtime=12.35 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 22453 0 0 0 1232 3 0 0 25 0 4 0 651913963 303235072 11095 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 74032 11095 379 95 0 69014 0
[pid=26362/tid=26363] ppid=26360 vsize=296128 CPUtime=3.06 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 5115 0 0 0 305 1 0 0 25 0 4 0 651913963 303235072 11095 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=296128 CPUtime=3.08 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 5816 0 0 0 308 0 0 0 25 0 4 0 651913963 303235072 11095 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=296128 CPUtime=3.08 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 5572 0 0 0 308 0 0 0 25 0 4 0 651913963 303235072 11095 33554432000 4194304 4580107 140733205059056 18446744073709551615 4324526 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 296128

[startup+6.30095 s]
/proc/loadavg: 7.41 7.92 7.96 9/279 26420
/proc/meminfo: memFree=20854216/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=297128 CPUtime=25.12 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 35795 0 0 0 2507 5 0 0 25 0 4 0 651913963 304259072 16852 33554432000 4194304 4580107 140733205059056 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 74282 16852 379 95 0 69264 0
[pid=26362/tid=26363] ppid=26360 vsize=297128 CPUtime=6.24 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 8775 0 0 0 622 2 0 0 25 0 4 0 651913963 304259072 16852 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294924 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=297128 CPUtime=6.29 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 9245 0 0 0 628 1 0 0 25 0 4 0 651913963 304259072 16852 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=297128 CPUtime=6.28 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 7856 0 0 0 628 0 0 0 25 0 4 0 651913963 304259072 16852 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 297128

[startup+12.7008 s]
/proc/loadavg: 7.46 7.92 7.96 9/279 26420
/proc/meminfo: memFree=20815260/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=305692 CPUtime=50.67 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 55682 0 0 0 5058 9 0 0 25 0 4 0 651913963 313028608 21123 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 76423 21123 379 95 0 71405 0
[pid=26362/tid=26363] ppid=26360 vsize=305692 CPUtime=12.58 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 14138 0 0 0 1256 2 0 0 25 0 4 0 651913963 313028608 21123 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=305692 CPUtime=12.68 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 13511 0 0 0 1267 1 0 0 25 0 4 0 651913963 313028608 21123 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=305692 CPUtime=12.68 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 13198 0 0 0 1267 1 0 0 25 0 4 0 651913963 313028608 21123 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 305692

[startup+25.5005 s]
/proc/loadavg: 7.58 7.92 7.96 9/279 26420
/proc/meminfo: memFree=20764072/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=290036 CPUtime=101.76 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 85201 0 0 0 10161 15 0 0 25 0 4 0 651913963 296996864 29743 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 72509 29743 379 95 0 67491 0
[pid=26362/tid=26363] ppid=26360 vsize=290036 CPUtime=25.28 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 21217 0 0 0 2524 4 0 0 25 0 4 0 651913963 296996864 29743 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=290036 CPUtime=25.48 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 21874 0 0 0 2545 3 0 0 25 0 4 0 651913963 296996864 29743 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=290036 CPUtime=25.48 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 20209 0 0 0 2545 3 0 0 25 0 4 0 651913963 296996864 29743 33554432000 4194304 4580107 140733205059056 18446744073709551615 4306378 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 290036

[startup+51.101 s]
/proc/loadavg: 7.80 7.94 7.97 9/279 26421
/proc/meminfo: memFree=20714372/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=280652 CPUtime=203.96 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 126401 0 0 0 20370 26 0 0 25 0 4 0 651913963 287387648 36026 33554432000 4194304 4580107 140733205059056 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 70163 36026 379 95 0 65145 0
[pid=26362/tid=26363] ppid=26360 vsize=280652 CPUtime=50.67 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 32461 0 0 0 5061 6 0 0 25 0 4 0 651913963 287387648 36026 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=280652 CPUtime=51.08 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 33489 0 0 0 5102 6 0 0 25 0 4 0 651913963 287387648 36026 33554432000 4194304 4580107 140733205059056 18446744073709551615 4323308 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=280652 CPUtime=51.08 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 30231 0 0 0 5102 6 0 0 25 0 4 0 651913963 287387648 36026 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 280652

[startup+102.301 s]
/proc/loadavg: 7.99 7.96 7.97 9/279 26422
/proc/meminfo: memFree=20625940/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=328572 CPUtime=408.36 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 195324 0 0 0 40791 45 0 0 25 0 4 0 651913963 336457728 47537 33554432000 4194304 4580107 140733205059056 18446744073709551615 4406380 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 82143 47537 379 95 0 77125 0
[pid=26362/tid=26363] ppid=26360 vsize=328572 CPUtime=101.45 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 47319 0 0 0 10135 10 0 0 25 0 4 0 651913963 336457728 47537 33554432000 4194304 4580107 140733205059056 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=328572 CPUtime=102.28 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 49337 0 0 0 10218 10 0 0 25 0 4 0 651913963 336457728 47537 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=328572 CPUtime=102.29 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 48470 0 0 0 10219 10 0 0 25 0 4 0 651913963 336457728 47537 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.36
Current children cumulated vsize (KiB) 328572

[startup+162.3 s]

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

[pid=26362] ppid=26360 vsize=631904 CPUtime=2562.79 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 546121 0 0 0 256102 177 0 0 25 0 4 0 651913963 647069696 111598 33554432000 4194304 4580107 140733205059056 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 157976 111598 379 95 0 152958 0
[pid=26362/tid=26363] ppid=26360 vsize=631904 CPUtime=636.68 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 133680 0 0 0 63623 45 0 0 25 0 4 0 651913963 647069696 111598 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=631904 CPUtime=642.21 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 154569 0 0 0 64173 48 0 0 25 0 4 0 651913963 647069696 111598 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=631904 CPUtime=641.61 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 126913 0 0 0 64122 39 0 0 25 0 4 0 651913963 647069696 111598 33554432000 4194304 4580107 140733205059056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.79
Current children cumulated vsize (KiB) 631904

[startup+702.301 s]
/proc/loadavg: 8.17 8.12 8.03 9/279 26450
/proc/meminfo: memFree=20131692/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=645460 CPUtime=2802.25 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 563381 0 0 0 280036 189 0 0 25 0 4 0 651913963 660951040 113391 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294440 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 161365 113391 379 95 0 156347 0
[pid=26362/tid=26363] ppid=26360 vsize=645460 CPUtime=696.12 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 140772 0 0 0 69563 49 0 0 25 0 4 0 651913963 660951040 113391 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=645460 CPUtime=702.2 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 161853 0 0 0 70167 53 0 0 25 0 4 0 651913963 660951040 113391 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=645460 CPUtime=701.6 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 127492 0 0 0 70121 39 0 0 25 0 4 0 651913963 660951040 113391 33554432000 4194304 4580107 140733205059056 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.25
Current children cumulated vsize (KiB) 645460

[startup+762.301 s]
/proc/loadavg: 8.10 8.11 8.03 9/279 26452
/proc/meminfo: memFree=20118520/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=778228 CPUtime=3041.77 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 591873 0 0 0 303978 199 0 0 25 0 4 0 651913963 796905472 122712 33554432000 4194304 4580107 140733205059056 18446744073709551615 4305203 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 194557 122712 379 95 0 189539 0
[pid=26362/tid=26363] ppid=26360 vsize=778228 CPUtime=755.63 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 150997 0 0 0 75510 53 0 0 25 0 4 0 651913963 796905472 122712 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=778228 CPUtime=762.2 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 170527 0 0 0 76164 56 0 0 25 0 4 0 651913963 796905472 122712 33554432000 4194304 4580107 140733205059056 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=778228 CPUtime=761.61 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 131776 0 0 0 76120 41 0 0 25 0 4 0 651913963 796905472 122712 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.77
Current children cumulated vsize (KiB) 778228

[startup+822.301 s]
/proc/loadavg: 8.03 8.08 8.03 9/279 26454
/proc/meminfo: memFree=20103872/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=703496 CPUtime=3281.24 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 619303 0 0 0 327913 211 0 0 25 0 4 0 651913963 720379904 122051 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 175874 122051 379 95 0 170856 0
[pid=26362/tid=26363] ppid=26360 vsize=703496 CPUtime=815.13 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 160402 0 0 0 81459 54 0 0 25 0 4 0 651913963 720379904 122051 33554432000 4194304 4580107 140733205059056 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=703496 CPUtime=822.19 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 178825 0 0 0 82159 60 0 0 25 0 4 0 651913963 720379904 122051 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=703496 CPUtime=821.61 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 134441 0 0 0 82118 43 0 0 25 0 4 0 651913963 720379904 122051 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.24
Current children cumulated vsize (KiB) 703496

[startup+882.31 s]
/proc/loadavg: 8.12 8.10 8.03 9/279 26455
/proc/meminfo: memFree=20053480/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=717396 CPUtime=3520.75 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 647919 0 0 0 351851 224 0 0 25 0 4 0 651913963 734613504 133864 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 179349 133864 379 95 0 174331 0
[pid=26362/tid=26363] ppid=26360 vsize=717396 CPUtime=874.62 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 167916 0 0 0 87404 58 0 0 25 0 4 0 651913963 734613504 133864 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=717396 CPUtime=882.19 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 188966 0 0 0 88155 64 0 0 25 0 4 0 651913963 734613504 133864 33554432000 4194304 4580107 140733205059056 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=717396 CPUtime=881.62 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 139505 0 0 0 88116 46 0 0 25 0 4 0 651913963 734613504 133864 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.75
Current children cumulated vsize (KiB) 717396

[startup+942.301 s]
/proc/loadavg: 8.12 8.09 8.03 9/279 26457
/proc/meminfo: memFree=20060528/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=718292 CPUtime=3760.23 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 670313 0 0 0 375790 233 0 0 25 0 4 0 651913963 735531008 132728 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 179573 132728 379 95 0 174555 0
[pid=26362/tid=26363] ppid=26360 vsize=718292 CPUtime=934.12 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 176010 0 0 0 93351 61 0 0 25 0 4 0 651913963 735531008 132728 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=718292 CPUtime=942.18 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 198148 0 0 0 94150 68 0 0 25 0 4 0 651913963 735531008 132728 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=718292 CPUtime=941.61 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 140412 0 0 0 94115 46 0 0 25 0 4 0 651913963 735531008 132728 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.23
Current children cumulated vsize (KiB) 718292

[startup+1002.3 s]
/proc/loadavg: 8.14 8.10 8.04 9/279 26458
/proc/meminfo: memFree=20060268/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=774436 CPUtime=3999.72 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 691589 0 0 0 399730 242 0 0 25 0 4 0 651913963 793022464 133940 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 193609 133941 379 95 0 188591 0
[pid=26362/tid=26363] ppid=26360 vsize=774436 CPUtime=993.63 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 183295 0 0 0 99300 63 0 0 25 0 4 0 651913963 793022464 133941 33554432000 4194304 4580107 140733205059056 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=774436 CPUtime=1002.16 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 206141 0 0 0 100145 71 0 0 25 0 4 0 651913963 793022464 133941 33554432000 4194304 4580107 140733205059056 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=774436 CPUtime=1001.6 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 141605 0 0 0 100113 47 0 0 25 0 4 0 651913963 793022464 133941 33554432000 4194304 4580107 140733205059056 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.72
Current children cumulated vsize (KiB) 774436

[startup+1062.3 s]
/proc/loadavg: 8.20 8.11 8.04 9/279 26460
/proc/meminfo: memFree=19986728/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=826804 CPUtime=4239.2 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 712425 0 0 0 423667 253 0 0 25 0 4 0 651913963 846647296 139062 33554432000 4194304 4580107 140733205059056 18446744073709551615 4317012 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 206701 139062 379 95 0 201683 0
[pid=26362/tid=26363] ppid=26360 vsize=826804 CPUtime=1053.11 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 190603 0 0 0 105244 67 0 0 25 0 4 0 651913963 846647296 139062 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=826804 CPUtime=1062.16 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 214978 0 0 0 106141 75 0 0 25 0 4 0 651913963 846647296 139062 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=826804 CPUtime=1061.61 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 142309 0 0 0 106113 48 0 0 25 0 4 0 651913963 846647296 139062 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.2
Current children cumulated vsize (KiB) 826804

[startup+1122.3 s]
/proc/loadavg: 8.21 8.12 8.04 9/279 26462
/proc/meminfo: memFree=19985964/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=777412 CPUtime=4478.66 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 732393 0 0 0 447602 264 0 0 25 0 4 0 651913963 796069888 134537 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 194353 134537 379 95 0 189335 0
[pid=26362/tid=26363] ppid=26360 vsize=777412 CPUtime=1112.57 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 198907 0 0 0 111185 72 0 0 25 0 4 0 651913963 796069888 134537 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=777412 CPUtime=1122.16 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 221464 0 0 0 112138 78 0 0 25 0 4 0 651913963 796069888 134537 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=777412 CPUtime=1121.61 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 143334 0 0 0 112112 49 0 0 25 0 4 0 651913963 796069888 134537 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.66
Current children cumulated vsize (KiB) 777412

[startup+1182.3 s]
/proc/loadavg: 8.14 8.11 8.04 9/279 26463
/proc/meminfo: memFree=19905828/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=777768 CPUtime=4718.16 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 755811 0 0 0 471541 275 0 0 25 0 4 0 651913963 796434432 143767 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 194442 143767 379 95 0 189424 0
[pid=26362/tid=26363] ppid=26360 vsize=777768 CPUtime=1172.09 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 205529 0 0 0 117134 75 0 0 25 0 4 0 651913963 796434432 143767 33554432000 4194304 4580107 140733205059056 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=777768 CPUtime=1182.15 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 229428 0 0 0 118133 82 0 0 25 0 4 0 651913963 796434432 143767 33554432000 4194304 4580107 140733205059056 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=777768 CPUtime=1181.61 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 144304 0 0 0 118111 50 0 0 25 0 4 0 651913963 796434432 143767 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.16
Current children cumulated vsize (KiB) 777768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.10 8.11 8.04 9/279 26464
/proc/meminfo: memFree=19984928/32950904 swapFree=67057400/67111528
[pid=26362] ppid=26360 vsize=720800 CPUtime=4800.41 cores=0,2,4,6
/proc/26362/stat : 26362 (strangenight2-m) R 26360 26362 25944 0 -1 4202496 763354 0 0 0 479763 278 0 0 25 0 4 0 651913963 738099200 134802 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26362/statm: 180200 134802 379 95 0 175182 0
[pid=26362/tid=26363] ppid=26360 vsize=720800 CPUtime=1192.52 cores=0,2,4,6
/proc/26362/task/26363/stat : 26363 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 208903 0 0 0 119176 76 0 0 25 0 4 0 651913963 738099200 134802 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26362/tid=26364] ppid=26360 vsize=720800 CPUtime=1202.75 cores=0,2,4,6
/proc/26362/task/26364/stat : 26364 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 232641 0 0 0 120192 83 0 0 25 0 4 0 651913963 738099200 134802 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26362/tid=26365] ppid=26360 vsize=720800 CPUtime=1202.22 cores=0,2,4,6
/proc/26362/task/26365/stat : 26365 (strangenight2-m) R 26360 26362 25944 0 -1 4202560 144742 0 0 0 120172 50 0 0 25 0 4 0 651913963 738099200 134802 33554432000 4194304 4580107 140733205059056 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 720800

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.94
CPU time (s): 4800.48
CPU user time (s): 4797.66
CPU system time (s): 2.81557
CPU usage (%): 399.061
Max. virtual memory (cumulated for all children) (KiB): 940500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.81557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 763356
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= 246
involuntary context switches= 21758

runsolver used 2.95255 second user time and 7.28889 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-14 21:59:02
IDJOB=3366390
IDBENCH=82799
IDSOLVER=1844
FILE ID=node121/3366390-1305403142
RUNJOBID= node121-1305401937-26269
PBS_JOBID= 13324487
Free space on /tmp= 73428 MiB

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

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

MD5SUM BENCH= e6a3a97a5be52c43f493d905174d1bee
RANDOM SEED=912988246

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      20965404 kB
Buffers:        299936 kB
Cached:        5963828 kB
SwapCached:       7656 kB
Active:        6420824 kB
Inactive:      5212900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20965404 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:            5500 kB
Writeback:           0 kB
AnonPages:     5367872 kB
Mapped:          21512 kB
Slab:           265132 kB
PageTables:      24176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30650108 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= 73424 MiB
End job on node121 at 2011-05-14 22:19:07