Trace number 3366401

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.22 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf
MD5SUM6cc83c4bac88845b4bcdf4315c840cca
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.085986
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.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-3366401-1305403383.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.37/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.37/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.10	c calculated reachability. Time: 0.00
0.37/0.10	c Calc default polars -  time:   0.00 s pos:     261 undec:      61 neg:     278
0.37/0.10	c =========================================================================================
0.37/0.10	c types(t): F = full restart, N = normal restart
0.37/0.10	c types(t): S = simplification begin/end, E = solution found
0.37/0.10	c restart types(rt): st = static, dy = dynamic
0.37/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.10	c  B st     0         0       585      2543         0         0      7730         0   no data   no data
0.37/0.10	c Decided on static restart strategy
0.37/0.17	c  N st     8      4912       585      2543         0      4832      7730    130041   no data   no data
1.56/0.45	c  N st    10     11295       585      2543         0      4511      7730     84513   no data   no data
2.76/0.73	c  N st    11     17040       585      2543         0     10166      7730    241302   no data   no data
4.39/1.18	c  F st    12     25000       585      2543         0     12434      7730    289771   no data   no data
4.39/1.18	c  N st    12     25000       585      2543         0     12434      7730    289771   no data   no data
5.56/1.44	c Decided on static restart strategy
5.56/1.44	c  N st    18     30002       585      2543         0     10717      7730    235185   no data   no data
5.56/1.44	c  S st    18     30002       585      2543         0     10717      7730    235185   no data   no data
5.56/1.47	c  S st    18     30504       585      2543         0     11219      7730    247144   no data   no data
5.56/1.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.48	c blocked clauses removed:        6 vars:      1 tried:         585 T: 0.00 s
5.56/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
5.56/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.53	c lits-rem:       119  cl-subs:      290  v-elim:      0  v-fix:    0  time:  0.04 s
5.95/1.54	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.01
5.95/1.54	c calculated reachability. Time: 0.00
5.95/1.54	c  N st    18     30504       584      2537         0     10928      7712    238082   no data   no data
7.56/1.98	c  N st    20     37615       584      2537         0     10159      7712    192019   no data   no data
9.55/2.41	c  N st    21     44014       584      2537         0     16431      7712    362399   no data   no data
9.95/2.56	c  S st    22     45757       584      2537         0      9365      7712    149213   no data   no data
9.95/2.58	c  S st    22     46261       584      2537         0      9869      7712    160782   no data   no data
9.95/2.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.95/2.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.95/2.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
9.95/2.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.35/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.61	c lits-rem:        21  cl-subs:       67  v-elim:      0  v-fix:    0  time:  0.01 s
10.35/2.61	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
10.35/2.61	c vivif2 --  cl tried     9802 cl shrink        0 lits rem          0 time: 0.00
10.35/2.61	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.01
10.35/2.61	c calculated reachability. Time: 0.00
10.35/2.61	c  N st    22     46261       584      2537         0      9802      7712    158872   no data   no data
13.94/3.56	c  N st    23     60658       584      2537         0     14125      7712    267822   no data   no data
16.34/4.20	c  N st    24     69391       584      2537         0     11913      7712    193490   no data   no data
16.34/4.20	c  S st    24     69391       584      2537         0     11913      7712    193490   no data   no data
16.74/4.23	c  S st    24     69895       584      2537         0     12415      7712    205959   no data   no data
16.74/4.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.74/4.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.74/4.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.74/4.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.74/4.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
16.74/4.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.74/4.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.74/4.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.26	c lits-rem:        17  cl-subs:      143  v-elim:      0  v-fix:    0  time:  0.02 s
16.74/4.26	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
16.74/4.26	c vivif2 --  cl tried    12272 cl shrink        0 lits rem          0 time: 0.00
16.74/4.27	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.01
16.74/4.27	c calculated reachability. Time: 0.00
16.74/4.27	c  N st    24     69895       584      2537         0     12272      7712    201510   no data   no data
22.31/5.67	c  F st    25     87501       584      2537         0     17753      7712    351164   no data   no data
22.31/5.67	c  N st    25     87501       584      2537         0     17753      7712    351164   no data   no data
24.32/6.12	c Decided on static restart strategy
25.52/6.41	c  N st    32     95537       584      2537         0     12926      7712    191841   no data   no data
27.90/7.09	c  N st    34    104842       584      2537         0     22072      7712    438337   no data   no data
27.90/7.09	c  S st    34    104842       584      2537         0     22072      7712    438337   no data   no data
28.30/7.14	c  S st    34    105345       584      2537         0     22572      7712    451571   no data   no data
28.30/7.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.30/7.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.30/7.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.30/7.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.30/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
28.30/7.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.30/7.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
28.30/7.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.10/7.32	c lits-rem:       128  cl-subs:      661  v-elim:      0  v-fix:    0  time:  0.15 s
29.10/7.32	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
29.10/7.32	c vivif2 --  cl tried    21911 cl shrink        0 lits rem          0 time: 0.00
29.10/7.34	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.01
29.10/7.34	c calculated reachability. Time: 0.00
29.10/7.34	c  N st    34    105345       584      2537         0     21911      7712    431408   no data   no data
32.30/8.16	c  N st    35    114945       584      2537         0     17608      7712    292161   no data   no data
37.48/9.48	c  N st    36    129343       584      2537         0     17003      7712    259006   no data   no data
45.47/11.45	c  N st    37    150938       584      2537         0     22460      7712    409126   no data   no data
48.29/12.12	c  S st    38    158017       584      2537         0     29425      7712    607193   no data   no data
48.29/12.19	c  S st    38    158518       584      2537         0     29925      7712    619473   no data   no data
48.29/12.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.65/12.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.65/12.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.65/12.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.65/12.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.65/12.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
48.65/12.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.65/12.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.65/12.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.26/12.60	c lits-rem:       322  cl-subs:     1038  v-elim:      0  v-fix:    0  time:  0.37 s
50.26/12.60	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
50.26/12.61	c vivif2 --  cl tried    28887 cl shrink        0 lits rem          0 time: 0.01
50.26/12.62	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.02
50.26/12.62	c calculated reachability. Time: 0.00
50.26/12.62	c  N st    38    158518       584      2537         0     28887      7712    585630   no data   no data
69.84/17.55	c  N st    39    207107       584      2537         0     23729      7712    401879   no data   no data
83.42/20.95	c  N st    40    237778       584      2537         0     34152      7712    631845   no data   no data
83.42/20.95	c  S st    40    237778       584      2537         0     34152      7712    631845   no data   no data
83.78/21.04	c  S st    40    238282       584      2537         0     34655      7712    644283   no data   no data
83.78/21.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.78/21.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.78/21.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.78/21.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.78/21.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.78/21.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
83.78/21.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.78/21.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.78/21.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.78/21.56	c lits-rem:       218  cl-subs:     1264  v-elim:      0  v-fix:    0  time:  0.48 s
85.78/21.56	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
85.78/21.57	c vivif2 --  cl tried    33391 cl shrink        0 lits rem          0 time: 0.01
85.78/21.59	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.02
85.78/21.59	c calculated reachability. Time: 0.00
85.78/21.59	c  N st    40    238282       584      2537         0     33391      7712    610984   no data   no data
118.13/29.64	c  F st    41    306251       584      2537         0     35143      7712    640079   no data   no data
118.13/29.64	c  N st    41    306251       584      2537         0     35143      7712    640079   no data   no data
120.89/30.31	c Decided on static restart strategy
131.29/32.96	c  N st    51    334557       584      2537         0     39454      7712    716409   no data   no data
142.44/35.80	c  N st    53    357423       584      2537         0     37436      7712    672705   no data   no data
142.44/35.80	c  S st    53    357423       584      2537         0     37436      7712    672705   no data   no data
143.24/35.90	c  S st    53    357924       584      2537         0     37936      7712    685742   no data   no data
143.24/35.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.24/35.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
143.24/35.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.24/35.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.24/35.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.24/35.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
143.24/35.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.24/35.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.24/35.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.87/36.34	c lits-rem:       176  cl-subs:      912  v-elim:      0  v-fix:    0  time:  0.40 s
144.87/36.34	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
144.87/36.35	c vivif2 --  cl tried    37024 cl shrink        0 lits rem          0 time: 0.01
144.87/36.38	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.03
144.87/36.38	c calculated reachability. Time: 0.00
144.87/36.38	c  N st    53    357924       584      2537         0     37024      7712    655187   no data   no data
163.59/41.06	c  N st    54    390316       584      2537         0     43222      7712    796248   no data   no data
189.53/47.51	c  N st    55    438904       584      2537         0     36904      7712    579704   no data   no data
232.67/58.37	c  N st    56    511786       584      2537         0     50514      7712    946301   no data   no data
247.40/62.02	c  N st    57    536886       584      2537         0     44804      7712    751200   no data   no data
247.40/62.02	c  S st    57    536886       584      2537         0     44804      7712    751200   no data   no data
247.80/62.14	c  S st    57    537387       584      2537         0     45305      7712    764285   no data   no data
247.80/62.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
247.80/62.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
247.80/62.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
247.80/62.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
247.80/62.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.80/62.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
247.80/62.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
247.80/62.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
247.80/62.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.23/62.76	c lits-rem:       257  cl-subs:     1192  v-elim:      0  v-fix:    0  time:  0.57 s
250.23/62.76	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
250.23/62.77	c vivif2 --  cl tried    44113 cl shrink        0 lits rem          0 time: 0.01
250.59/62.80	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.03
250.59/62.80	c calculated reachability. Time: 0.00
250.59/62.80	c  N st    57    537387       584      2537         0     44113      7712    730438   no data   no data
361.54/90.64	c  N st    58    701372       584      2537         0     38013      7712    457976   no data   no data
436.57/109.46	c  N st    59    806080       584      2537         0     67244      7712   1229482   no data   no data
436.57/109.46	c  S st    59    806080       584      2537         0     67244      7712   1229482   no data   no data
437.37/109.67	c  S st    59    806581       584      2537         0     67745      7712   1242781   no data   no data
437.37/109.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
437.77/109.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
437.77/109.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
437.77/109.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
437.77/109.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.77/109.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
437.77/109.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
437.77/109.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
437.77/109.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.34/113.14	c lits-rem:       386  cl-subs:     3778  v-elim:      0  v-fix:    0  time:  3.37 s
451.34/113.14	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
451.34/113.15	c vivif2 --  cl tried    63967 cl shrink        0 lits rem          0 time: 0.02
451.76/113.21	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.05
451.76/113.21	c calculated reachability. Time: 0.00
451.76/113.21	c  N st    59    806581       584      2537         0     63967      7712   1143681   no data   no data
652.48/163.58	c  F st    60   1071877       584      2537         0     79663      7712   1465737   no data   no data
652.48/163.58	c  N st    60   1071877       584      2537         0     79663      7712   1465737   no data   no data
658.08/164.96	c Decided on static restart strategy
675.64/169.40	c  N st    70   1100184       584      2537         0     63628      7712   1021173   no data   no data
707.55/177.30	c  N st    72   1136176       584      2537         0     53898      7712    712778   no data   no data
737.87/184.96	c  N st    73   1168569       584      2537         0     85625      7712   1600889   no data   no data
775.80/194.45	c  N st    74   1209871       584      2537         0     80170      7712   1414361   no data   no data
775.80/194.45	c  S st    74   1209871       584      2537         0     80170      7712   1414361   no data   no data
776.62/194.69	c  S st    74   1210376       584      2537         0     80674      7712   1428581   no data   no data
776.62/194.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
777.03/194.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
777.03/194.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
777.03/194.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
777.03/194.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
777.03/194.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
777.03/194.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
777.03/194.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
777.38/194.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
792.55/198.68	c lits-rem:       421  cl-subs:     3619  v-elim:      0  v-fix:    0  time:  3.88 s
792.55/198.68	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
792.95/198.70	c vivif2 --  cl tried    77055 cl shrink        0 lits rem          0 time: 0.02
792.95/198.77	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.08
792.95/198.78	c calculated reachability. Time: 0.00
792.95/198.78	c  N st    74   1210376       584      2537         0     77055      7712   1331149   no data   no data
872.36/218.69	c  N st    75   1283259       584      2537         0     53476      7712    656758   no data   no data
988.10/247.65	c  N st    76   1392584       584      2537         0     61498      7712    837413   no data   no data
1154.91/289.44	c  N st    77   1556570       584      2537         0     66235      7712    911335   no data   no data
1312.96/329.07	c  N st    78   1710376       584      2537         0    108202      7712   2093891   no data   no data
1312.96/329.07	c  S st    78   1710376       584      2537         0    108202      7712   2093891   no data   no data
1314.56/329.44	c  S st    78   1710879       584      2537         0    108705      7712   2107320   no data   no data
1314.56/329.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1314.96/329.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1314.96/329.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1314.96/329.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1314.96/329.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1314.96/329.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1314.96/329.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1314.96/329.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1315.35/329.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1364.44/341.96	c lits-rem:      1274  cl-subs:     6480  v-elim:      0  v-fix:    0  time: 12.36 s
1364.44/341.96	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
1364.44/341.99	c vivif2 --  cl tried   102225 cl shrink        0 lits rem          0 time: 0.03
1364.86/342.10	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.11
1365.27/342.11	c calculated reachability. Time: 0.00
1365.27/342.11	c  N st    78   1710879       584      2537         0    102225      7712   1933609   no data   no data
1811.41/453.90	c  N st    79   2079843       584      2537         0    114032      7712   2138936   no data   no data
1987.41/498.01	c  N st    80   2210879       584      2537         0    118088      7712   2167225   no data   no data
1987.41/498.01	c  S st    80   2210879       584      2537         0    118088      7712   2167225   no data   no data
1989.00/498.41	c  S st    80   2211383       584      2537         0    118592      7712   2180282   no data   no data
1989.00/498.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1989.00/498.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1989.00/498.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1989.00/498.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1989.00/498.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1989.00/498.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1989.00/498.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1989.40/498.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1989.40/498.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2042.88/511.96	c lits-rem:      1028  cl-subs:     6205  v-elim:      0  v-fix:    0  time: 13.38 s
2042.88/511.96	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
2042.88/511.99	c vivif2 --  cl tried   112387 cl shrink        0 lits rem          0 time: 0.03
2043.68/512.11	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.12
2043.68/512.12	c calculated reachability. Time: 0.00
2043.68/512.12	c  N st    80   2211383       584      2537         0    112387      7712   2016175   no data   no data
2743.30/687.42	c  N st    81   2711383       584      2537         0    135808      7712   2689332   no data   no data
2743.30/687.42	c  S st    81   2711383       584      2537         0    135808      7712   2689332   no data   no data
2744.87/687.88	c  S st    81   2711886       584      2537         0    136309      7712   2701820   no data   no data
2744.87/687.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2745.27/687.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2745.27/687.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2745.27/687.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2745.27/687.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2745.27/687.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2745.27/687.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2745.67/688.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2745.67/688.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2821.09/706.93	c lits-rem:      1093  cl-subs:     7010  v-elim:      0  v-fix:    0  time: 18.85 s
2821.09/706.93	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
2821.09/706.97	c vivif2 --  cl tried   129299 cl shrink        0 lits rem          0 time: 0.03
2821.89/707.11	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.14
2821.89/707.11	c calculated reachability. Time: 0.00
2821.89/707.11	c  N st    81   2711886       584      2537         0    129299      7712   2506770   no data   no data
3535.45/885.96	c  N st    82   3211887       584      2537         0    104870      7712   1576308   no data   no data
3535.45/885.96	c  S st    82   3211887       584      2537         0    104870      7712   1576308   no data   no data
3536.65/886.28	c  S st    82   3212388       584      2537         0    105371      7712   1588924   no data   no data
3536.65/886.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3537.05/886.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3537.05/886.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3537.05/886.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3537.05/886.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3537.05/886.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
3537.05/886.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3537.05/886.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3537.45/886.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3555.43/890.94	c lits-rem:       327  cl-subs:     3496  v-elim:      0  v-fix:    0  time:  4.54 s
3555.43/890.95	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
3555.43/890.97	c vivif2 --  cl tried   101875 cl shrink        0 lits rem          0 time: 0.02
3555.84/891.07	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.10
3555.84/891.08	c calculated reachability. Time: 0.00
3555.84/891.08	c  N st    82   3212388       584      2537         0    101875      7712   1491021   no data   no data
4367.97/1094.59	c  N st    83   3712389       584      2537         0    112666      7712   1655177   no data   no data
4367.97/1094.59	c  S st    83   3712389       584      2537         0    112666      7712   1655177   no data   no data
4369.53/1094.95	c  S st    83   3712892       584      2537         0    113169      7712   1669057   no data   no data
4369.53/1094.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4369.93/1095.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4369.93/1095.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4369.93/1095.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4369.93/1095.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4369.93/1095.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
4369.93/1095.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4369.93/1095.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4370.33/1095.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4387.90/1099.54	c lits-rem:       560  cl-subs:     3632  v-elim:      0  v-fix:    0  time:  4.43 s
4387.90/1099.54	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
4387.90/1099.56	c vivif2 --  cl tried   109537 cl shrink        0 lits rem          0 time: 0.02
4388.30/1099.68	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.12
4388.30/1099.68	c calculated reachability. Time: 0.00
4388.30/1099.68	c  N st    83   3712892       584      2537         0    109537      7712   1576574   no data   no data
4452.13/1115.65	c  F st    84   3751562       584      2537         0    147684      7712   2694436   no data   no data
4452.13/1115.65	c  N st    84   3751562       584      2537         0    147684      7712   2694436   no data   no data
4506.42/1129.27	c  N dy   150   3771634       584      2537         0     84183      7712    780507     18.41     20.56
4534.79/1136.34	c  N dy   214   3791698       584      2537         0    103966      7712   1306833     18.26     19.71
4575.85/1146.69	c  N dy   269   3812942       584      2537         0    124907      7712   1860174     18.03     19.07
4623.34/1158.53	c  N dy   349   3833020       584      2537         0    144707      7712   2368657     18.06     21.12
4682.81/1173.41	c  N dy   452   3854230       584      2537         0    165642      7712   2917918     18.17     19.41
4719.17/1182.52	c  N dy   494   3875658       584      2537         0    102151      7712   1198051     17.88     18.83
4755.44/1191.67	c  N dy   526   3896876       584      2537         0    123032      7712   1725850     17.66     18.64

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-3366401-1305403383/watcher-3366401-1305403383 -o /tmp/evaluation-result-3366401-1305403383/solver-3366401-1305403383 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366401-1305403383.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.11 8.09 3/286 27616
/proc/meminfo: memFree=24430864/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=183216 CPUtime=0.01 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 537 0 0 0 1 0 0 0 25 0 4 0 632754259 187613184 459 33554432000 4194304 4580107 140734661065120 18446744073709551615 220816341535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 45804 464 333 95 0 40786 0
[pid=27616/tid=27618] ppid=27614 vsize=216720 CPUtime=0 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 136 0 0 0 0 0 0 0 25 0 4 0 632754259 221921280 863 33554432000 4194304 4580107 140734661065120 18446744073709551615 4288544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=216720 CPUtime=0 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 116 0 0 0 0 0 0 0 25 0 4 0 632754259 221921280 863 33554432000 4194304 4580107 140734661065120 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=216720 CPUtime=0 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 134 0 0 0 0 0 0 0 25 0 4 0 632754259 221921280 863 33554432000 4194304 4580107 140734661065120 18446744073709551615 4336106 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.078721 s]
/proc/loadavg: 8.05 8.11 8.09 3/286 27616
/proc/meminfo: memFree=24430864/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=217196 CPUtime=0.28 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 1655 0 0 0 28 0 0 0 25 0 4 0 632754259 222408704 1554 33554432000 4194304 4580107 140734661065120 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 54299 1554 377 95 0 49281 0
[pid=27616/tid=27618] ppid=27614 vsize=217196 CPUtime=0.07 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 350 0 0 0 7 0 0 0 25 0 4 0 632754259 222408704 1554 33554432000 4194304 4580107 140734661065120 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=217196 CPUtime=0.06 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 310 0 0 0 6 0 0 0 25 0 4 0 632754259 222408704 1554 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=217196 CPUtime=0.06 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 236 0 0 0 6 0 0 0 25 0 4 0 632754259 222408704 1554 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 217196

[startup+0.100717 s]
/proc/loadavg: 8.05 8.11 8.09 3/286 27616
/proc/meminfo: memFree=24430864/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=217348 CPUtime=0.37 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 1760 0 0 0 37 0 0 0 25 0 4 0 632754259 222564352 1659 33554432000 4194304 4580107 140734661065120 18446744073709551615 4296088 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 54337 1659 377 95 0 49319 0
[pid=27616/tid=27618] ppid=27614 vsize=217348 CPUtime=0.09 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 367 0 0 0 9 0 0 0 25 0 4 0 632754259 222564352 1659 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=217348 CPUtime=0.08 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 343 0 0 0 8 0 0 0 25 0 4 0 632754259 222564352 1659 33554432000 4194304 4580107 140734661065120 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=217348 CPUtime=0.09 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 263 0 0 0 9 0 0 0 25 0 4 0 632754259 222564352 1659 33554432000 4194304 4580107 140734661065120 18446744073709551615 4320727 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217348

[startup+0.30068 s]
/proc/loadavg: 8.05 8.11 8.09 3/286 27616
/proc/meminfo: memFree=24430864/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=219264 CPUtime=1.16 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 2891 0 0 0 116 0 0 0 25 0 4 0 632754259 224526336 2160 33554432000 4194304 4580107 140734661065120 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 54816 2160 377 95 0 49798 0
[pid=27616/tid=27618] ppid=27614 vsize=219264 CPUtime=0.29 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 645 0 0 0 29 0 0 0 25 0 4 0 632754259 224526336 2160 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=219264 CPUtime=0.28 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 630 0 0 0 28 0 0 0 25 0 4 0 632754259 224526336 2160 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=219264 CPUtime=0.29 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 545 0 0 0 29 0 0 0 25 0 4 0 632754259 224526336 2160 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 219264

[startup+0.700607 s]
/proc/loadavg: 8.05 8.11 8.09 3/286 27616
/proc/meminfo: memFree=24430864/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=220392 CPUtime=2.76 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 4506 0 0 0 276 0 0 0 25 0 4 0 632754259 225681408 2814 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 55098 2814 377 95 0 50080 0
[pid=27616/tid=27618] ppid=27614 vsize=220392 CPUtime=0.69 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 1068 0 0 0 69 0 0 0 25 0 4 0 632754259 225681408 2814 33554432000 4194304 4580107 140734661065120 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=220392 CPUtime=0.68 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 1026 0 0 0 68 0 0 0 25 0 4 0 632754259 225681408 2814 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=220392 CPUtime=0.69 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 944 0 0 0 69 0 0 0 25 0 4 0 632754259 225681408 2814 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 220392

[startup+1.50046 s]
/proc/loadavg: 8.05 8.10 8.08 9/298 27629
/proc/meminfo: memFree=24401396/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=222052 CPUtime=5.95 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 9275 0 0 0 594 1 0 0 25 0 4 0 632754259 227381248 4885 33554432000 4194304 4580107 140734661065120 18446744073709551615 4451711 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 55513 4885 379 95 0 50495 0
[pid=27616/tid=27618] ppid=27614 vsize=222052 CPUtime=1.49 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 1907 0 0 0 149 0 0 0 25 0 4 0 632754259 227381248 4885 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=222052 CPUtime=1.47 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 1822 0 0 0 147 0 0 0 25 0 4 0 632754259 227381248 4885 33554432000 4194304 4580107 140734661065120 18446744073709551615 4317495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=222052 CPUtime=1.48 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 1736 0 0 0 148 0 0 0 25 0 4 0 632754259 227381248 4885 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 222052

[startup+3.10017 s]
/proc/loadavg: 8.05 8.10 8.08 9/298 27629
/proc/meminfo: memFree=24362180/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=235572 CPUtime=12.34 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 18511 0 0 0 1231 3 0 0 25 0 4 0 632754259 241225728 9959 33554432000 4194304 4580107 140734661065120 18446744073709551615 4318686 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 58893 9959 379 95 0 53875 0
[pid=27616/tid=27618] ppid=27614 vsize=235572 CPUtime=3.08 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 4332 0 0 0 308 0 0 0 25 0 4 0 632754259 241225728 9959 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=235572 CPUtime=3.06 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 4874 0 0 0 305 1 0 0 25 0 4 0 632754259 241225728 9959 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=235572 CPUtime=3.07 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 4207 0 0 0 307 0 0 0 25 0 4 0 632754259 241225728 9959 33554432000 4194304 4580107 140734661065120 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 235572

[startup+6.30058 s]
/proc/loadavg: 8.05 8.10 8.08 9/298 27629
/proc/meminfo: memFree=24316556/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=241628 CPUtime=25.12 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 29879 0 0 0 2507 5 0 0 25 0 4 0 632754259 247427072 14259 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 60407 14259 379 95 0 55389 0
[pid=27616/tid=27618] ppid=27614 vsize=241628 CPUtime=6.29 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 7828 0 0 0 628 1 0 0 25 0 4 0 632754259 247427072 14259 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=241628 CPUtime=6.23 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 8307 0 0 0 622 1 0 0 25 0 4 0 632754259 247427072 14259 33554432000 4194304 4580107 140734661065120 18446744073709551615 4322911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=241628 CPUtime=6.28 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 6353 0 0 0 627 1 0 0 25 0 4 0 632754259 247427072 14259 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294974 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) 241628

[startup+12.7004 s]
/proc/loadavg: 8.04 8.10 8.08 9/298 27629
/proc/meminfo: memFree=24248308/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=250468 CPUtime=50.66 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 49639 0 0 0 5056 10 0 0 25 0 4 0 632754259 256479232 20774 33554432000 4194304 4580107 140734661065120 18446744073709551615 4318376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 62617 20774 379 95 0 57599 0
[pid=27616/tid=27618] ppid=27614 vsize=250468 CPUtime=12.68 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 12704 0 0 0 1266 2 0 0 25 0 4 0 632754259 256479232 20774 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=250468 CPUtime=12.57 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 11768 0 0 0 1255 2 0 0 25 0 4 0 632754259 256479232 20774 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=250468 CPUtime=12.68 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 11276 0 0 0 1266 2 0 0 25 0 4 0 632754259 256479232 20774 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 250468

[startup+25.501 s]
/proc/loadavg: 8.03 8.10 8.08 9/298 27630
/proc/meminfo: memFree=24189772/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=267904 CPUtime=101.74 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 75813 0 0 0 10159 15 0 0 25 0 4 0 632754259 274333696 28079 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 66976 28079 379 95 0 61958 0
[pid=27616/tid=27618] ppid=27614 vsize=267904 CPUtime=25.49 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 20600 0 0 0 2545 4 0 0 25 0 4 0 632754259 274333696 28079 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=267904 CPUtime=25.26 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 18769 0 0 0 2522 4 0 0 25 0 4 0 632754259 274333696 28079 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=267904 CPUtime=25.48 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 15522 0 0 0 2545 3 0 0 25 0 4 0 632754259 274333696 28079 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294936 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 267904

[startup+51.1003 s]
/proc/loadavg: 8.02 8.09 8.08 9/298 27630
/proc/meminfo: memFree=24128840/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=279188 CPUtime=203.9 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 110936 0 0 0 20367 23 0 0 25 0 4 0 632754259 285888512 33444 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 69797 33444 379 95 0 64779 0
[pid=27616/tid=27618] ppid=27614 vsize=279188 CPUtime=51.08 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 28913 0 0 0 5103 5 0 0 25 0 4 0 632754259 285888512 33444 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=279188 CPUtime=50.62 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 28259 0 0 0 5057 5 0 0 25 0 4 0 632754259 285888512 33445 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=279188 CPUtime=51.09 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 22594 0 0 0 5104 5 0 0 25 0 4 0 632754259 285888512 33445 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 279188

[startup+102.311 s]
/proc/loadavg: 8.05 8.08 8.08 9/298 27632
/proc/meminfo: memFree=24042636/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=286808 CPUtime=408.27 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 169541 0 0 0 40786 41 0 0 25 0 4 0 632754259 293691392 43350 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 71702 43350 379 95 0 66684 0
[pid=27616/tid=27618] ppid=27614 vsize=286808 CPUtime=102.28 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 44159 0 0 0 10218 10 0 0 25 0 4 0 632754259 293691392 43350 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=286808 CPUtime=101.36 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 41510 0 0 0 10126 10 0 0 25 0 4 0 632754259 293691392 43350 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=286808 CPUtime=102.3 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 37780 0 0 0 10221 9 0 0 25 0 4 0 632754259 293691392 43350 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 286808

[startup+162.301 s]

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

[pid=27616] ppid=27614 vsize=548872 CPUtime=2563.31 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 484287 0 0 0 256178 153 0 0 25 0 4 0 632754259 562044928 89998 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 137218 89998 379 95 0 132200 0
[pid=27616/tid=27618] ppid=27614 vsize=548872 CPUtime=642.21 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 133110 0 0 0 64178 43 0 0 25 0 4 0 632754259 562044928 89999 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=548872 CPUtime=636.47 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 113037 0 0 0 63614 33 0 0 25 0 4 0 632754259 562044928 89999 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=548872 CPUtime=642.31 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 95354 0 0 0 64200 31 0 0 25 0 4 0 632754259 562044928 89999 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2563.31
Current children cumulated vsize (KiB) 548872

[startup+702.3 s]
/proc/loadavg: 8.09 8.10 8.09 9/298 27648
/proc/meminfo: memFree=23550688/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=554880 CPUtime=2802.73 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 512505 0 0 0 280110 163 0 0 25 0 4 0 632754259 568197120 99000 33554432000 4194304 4580107 140734661065120 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 138720 99000 379 95 0 133702 0
[pid=27616/tid=27618] ppid=27614 vsize=554880 CPUtime=702.2 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 141066 0 0 0 70173 47 0 0 25 0 4 0 632754259 568197120 99000 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=554880 CPUtime=695.93 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 120016 0 0 0 69557 36 0 0 25 0 4 0 632754259 568197120 99000 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=554880 CPUtime=702.3 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 102853 0 0 0 70196 34 0 0 25 0 4 0 632754259 568197120 99000 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.73
Current children cumulated vsize (KiB) 554880

[startup+762.311 s]
/proc/loadavg: 8.08 8.09 8.09 9/298 27649
/proc/meminfo: memFree=23445024/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=607864 CPUtime=3042.21 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 537064 0 0 0 304046 175 0 0 25 0 4 0 632754259 622452736 100878 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 151966 100878 379 95 0 146948 0
[pid=27616/tid=27618] ppid=27614 vsize=607864 CPUtime=762.19 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 148069 0 0 0 76169 50 0 0 25 0 4 0 632754259 622452736 100878 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=607864 CPUtime=755.38 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 127397 0 0 0 75499 39 0 0 25 0 4 0 632754259 622452736 100878 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=607864 CPUtime=762.31 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 109432 0 0 0 76194 37 0 0 25 0 4 0 632754259 622452736 100878 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.21
Current children cumulated vsize (KiB) 607864

[startup+822.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/298 27651
/proc/meminfo: memFree=23461004/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=610008 CPUtime=3281.64 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 564614 0 0 0 327977 187 0 0 25 0 4 0 632754259 624648192 99344 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 152502 99344 379 95 0 147484 0
[pid=27616/tid=27618] ppid=27614 vsize=610008 CPUtime=822.17 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 155196 0 0 0 82165 52 0 0 25 0 4 0 632754259 624648192 99344 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=610008 CPUtime=814.83 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 135572 0 0 0 81441 42 0 0 25 0 4 0 632754259 624648192 99344 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=610008 CPUtime=822.3 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 116257 0 0 0 82190 40 0 0 25 0 4 0 632754259 624648192 99344 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.64
Current children cumulated vsize (KiB) 610008

[startup+882.301 s]
/proc/loadavg: 8.10 8.10 8.09 9/298 27652
/proc/meminfo: memFree=23449684/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=637244 CPUtime=3521.08 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 595558 0 0 0 351910 198 0 0 25 0 4 0 632754259 652537856 109927 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 159311 109927 379 95 0 154293 0
[pid=27616/tid=27618] ppid=27614 vsize=637244 CPUtime=882.17 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 164812 0 0 0 88162 55 0 0 25 0 4 0 632754259 652537856 109927 33554432000 4194304 4580107 140734661065120 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=637244 CPUtime=874.29 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 141368 0 0 0 87384 45 0 0 25 0 4 0 632754259 652537856 109927 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=637244 CPUtime=882.31 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 126878 0 0 0 88187 44 0 0 25 0 4 0 632754259 652537856 109927 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.08
Current children cumulated vsize (KiB) 637244

[startup+942.301 s]
/proc/loadavg: 8.18 8.12 8.10 9/298 27654
/proc/meminfo: memFree=23420152/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=644908 CPUtime=3760.53 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 620334 0 0 0 375847 206 0 0 25 0 4 0 632754259 660385792 115600 33554432000 4194304 4580107 140734661065120 18446744073709551615 4319829 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 161227 115600 379 95 0 156209 0
[pid=27616/tid=27618] ppid=27614 vsize=644908 CPUtime=942.15 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 171478 0 0 0 94158 57 0 0 25 0 4 0 632754259 660385792 115600 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=644908 CPUtime=933.76 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 149582 0 0 0 93328 48 0 0 25 0 4 0 632754259 660385792 115600 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=644908 CPUtime=942.31 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 132331 0 0 0 94186 45 0 0 25 0 4 0 632754259 660385792 115600 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.53
Current children cumulated vsize (KiB) 644908

[startup+1002.3 s]
/proc/loadavg: 8.14 8.11 8.09 9/298 27656
/proc/meminfo: memFree=23383800/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=659264 CPUtime=3999.99 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 647184 0 0 0 399779 220 0 0 25 0 4 0 632754259 675086336 120929 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 164816 120929 379 95 0 159798 0
[pid=27616/tid=27618] ppid=27614 vsize=659264 CPUtime=1002.15 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 178620 0 0 0 100153 62 0 0 25 0 4 0 632754259 675086336 120929 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=659264 CPUtime=993.2 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 156118 0 0 0 99270 50 0 0 25 0 4 0 632754259 675086336 120929 33554432000 4194304 4580107 140734661065120 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=659264 CPUtime=1002.31 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 138747 0 0 0 100184 47 0 0 25 0 4 0 632754259 675086336 120929 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.99
Current children cumulated vsize (KiB) 659264

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 8.09 9/298 27657
/proc/meminfo: memFree=23390720/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=594020 CPUtime=4239.44 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 671312 0 0 0 423713 231 0 0 25 0 4 0 632754259 608276480 116604 33554432000 4194304 4580107 140734661065120 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 148505 116604 379 95 0 143487 0
[pid=27616/tid=27618] ppid=27614 vsize=594020 CPUtime=1062.14 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 186216 0 0 0 106149 65 0 0 25 0 4 0 632754259 608276480 116604 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=594020 CPUtime=1052.67 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 163082 0 0 0 105213 54 0 0 25 0 4 0 632754259 608276480 116604 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=594020 CPUtime=1062.31 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 145279 0 0 0 106181 50 0 0 25 0 4 0 632754259 608276480 116604 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.44
Current children cumulated vsize (KiB) 594020

[startup+1122.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/298 27659
/proc/meminfo: memFree=23340980/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=725728 CPUtime=4478.88 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 695422 0 0 0 447647 241 0 0 25 0 4 0 632754259 743145472 127938 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 181432 127938 379 95 0 176414 0
[pid=27616/tid=27618] ppid=27614 vsize=725728 CPUtime=1122.13 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 193930 0 0 0 112145 68 0 0 25 0 4 0 632754259 743145472 127938 33554432000 4194304 4580107 140734661065120 18446744073709551615 4341614 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=725728 CPUtime=1112.11 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 168291 0 0 0 111154 57 0 0 25 0 4 0 632754259 743145472 127938 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=725728 CPUtime=1122.32 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 151795 0 0 0 112179 53 0 0 25 0 4 0 632754259 743145472 127938 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.88
Current children cumulated vsize (KiB) 725728

[startup+1182.3 s]
/proc/loadavg: 8.01 8.07 8.08 9/298 27660
/proc/meminfo: memFree=23364408/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=667008 CPUtime=4718.34 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 717653 0 0 0 471584 250 0 0 25 0 4 0 632754259 683016192 124373 33554432000 4194304 4580107 140734661065120 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 166752 124374 379 95 0 161734 0
[pid=27616/tid=27618] ppid=27614 vsize=667008 CPUtime=1182.12 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 199490 0 0 0 118142 70 0 0 25 0 4 0 632754259 683016192 124374 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=667008 CPUtime=1171.57 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 175627 0 0 0 117098 59 0 0 25 0 4 0 632754259 683016192 124374 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=667008 CPUtime=1182.32 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 159246 0 0 0 118176 56 0 0 25 0 4 0 632754259 683016192 124374 33554432000 4194304 4580107 140734661065120 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.34
Current children cumulated vsize (KiB) 667008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.01 8.06 8.08 9/298 27661
/proc/meminfo: memFree=23313312/32951124 swapFree=63485424/67111528
[pid=27616] ppid=27614 vsize=613936 CPUtime=4800.16 cores=0,2,4,6
/proc/27616/stat : 27616 (strangenight2-m) R 27614 27616 27184 0 -1 4202496 725513 0 0 0 479764 252 0 0 25 0 4 0 632754259 628670464 124552 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27616/statm: 153484 124552 379 95 0 148466 0
[pid=27616/tid=27618] ppid=27614 vsize=613936 CPUtime=1202.63 cores=0,2,4,6
/proc/27616/task/27618/stat : 27618 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 202264 0 0 0 120192 71 0 0 25 0 4 0 632754259 628670464 124553 33554432000 4194304 4580107 140734661065120 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27616/tid=27619] ppid=27614 vsize=613936 CPUtime=1191.88 cores=0,2,4,6
/proc/27616/task/27619/stat : 27619 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 177006 0 0 0 119129 59 0 0 25 0 4 0 632754259 628670464 124553 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27616/tid=27620] ppid=27614 vsize=613936 CPUtime=1202.83 cores=0,2,4,6
/proc/27616/task/27620/stat : 27620 (strangenight2-m) R 27614 27616 27184 0 -1 4202560 161831 0 0 0 120226 57 0 0 25 0 4 0 632754259 628670464 124553 33554432000 4194304 4580107 140734661065120 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 613936

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.84
CPU time (s): 4800.22
CPU user time (s): 4797.68
CPU system time (s): 2.54261
CPU usage (%): 399.075
Max. virtual memory (cumulated for all children) (KiB): 778600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.68
system time used= 2.54261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725515
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= 299
involuntary context switches= 22348

runsolver used 3.10353 second user time and 7.8638 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-14 22:03:04
IDJOB=3366401
IDBENCH=82810
IDSOLVER=1844
FILE ID=node147/3366401-1305403383
RUNJOBID= node147-1305402178-27499
PBS_JOBID= 13324491
Free space on /tmp= 73108 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366401-1305403383/watcher-3366401-1305403383 -o /tmp/evaluation-result-3366401-1305403383/solver-3366401-1305403383 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366401-1305403383.cnf

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

MD5SUM BENCH= 6cc83c4bac88845b4bcdf4315c840cca
RANDOM SEED=1032042278

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.836
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.76
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.836
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.836
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:     32951124 kB
MemFree:      24431020 kB
Buffers:        288652 kB
Cached:        4969400 kB
SwapCached:      13132 kB
Active:        1627240 kB
Inactive:      6660136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24431020 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:     3025136 kB
Mapped:          14652 kB
Slab:           140432 kB
PageTables:      28032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44829076 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= 73096 MiB
End job on node147 at 2011-05-14 22:23:08