Trace number 3173992

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.45 1201.74

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-3173992-1304075266.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.00/0.15	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.15	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.15	c calculated reachability. Time: 0.00
0.00/0.15	c Calc default polars -  time:   0.00 s pos:     261 undec:      61 neg:     278
0.00/0.15	c =========================================================================================
0.00/0.15	c types(t): F = full restart, N = normal restart
0.00/0.15	c types(t): S = simplification begin/end, E = solution found
0.00/0.15	c restart types(rt): st = static, dy = dynamic
0.00/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.15	c  B st     0         0       585      2543         0         0      7730         0   no data   no data
0.00/0.15	c Decided on static restart strategy
0.00/0.25	c  N st     8      4912       585      2543         0      4832      7730    130041   no data   no data
0.00/0.45	c  N st    10     11295       585      2543         0      4511      7730     84513   no data   no data
0.00/0.74	c  N st    11     17040       585      2543         0     10166      7730    241302   no data   no data
4.41/1.18	c  F st    12     25000       585      2543         0     12434      7730    289771   no data   no data
4.41/1.18	c  N st    12     25000       585      2543         0     12434      7730    289771   no data   no data
5.60/1.45	c Decided on static restart strategy
5.60/1.45	c  N st    18     30002       585      2543         0     10717      7730    235185   no data   no data
5.60/1.45	c  S st    18     30002       585      2543         0     10717      7730    235185   no data   no data
5.60/1.48	c  S st    18     30504       585      2543         0     11219      7730    247144   no data   no data
5.60/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.60/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.60/1.49	c blocked clauses removed:        6 vars:      1 tried:         585 T: 0.00 s
5.60/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.60/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.60/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
5.60/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.60/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.54	c lits-rem:       119  cl-subs:      290  v-elim:      0  v-fix:    0  time:  0.04 s
5.97/1.55	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.01
5.97/1.55	c calculated reachability. Time: 0.00
5.97/1.55	c  N st    18     30504       584      2537         0     10928      7712    238082   no data   no data
7.58/1.99	c  N st    20     37615       584      2537         0     10159      7712    192019   no data   no data
9.56/2.43	c  N st    21     44014       584      2537         0     16431      7712    362399   no data   no data
9.96/2.57	c  S st    22     45757       584      2537         0      9365      7712    149213   no data   no data
10.37/2.60	c  S st    22     46261       584      2537         0      9869      7712    160782   no data   no data
10.37/2.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.37/2.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.37/2.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.37/2.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.37/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
10.37/2.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.37/2.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.37/2.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.62	c lits-rem:        21  cl-subs:       67  v-elim:      0  v-fix:    0  time:  0.01 s
10.37/2.62	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
10.37/2.62	c vivif2 --  cl tried     9802 cl shrink        0 lits rem          0 time: 0.00
10.37/2.63	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.01
10.37/2.63	c calculated reachability. Time: 0.00
10.37/2.63	c  N st    22     46261       584      2537         0      9802      7712    158872   no data   no data
13.96/3.58	c  N st    23     60658       584      2537         0     14125      7712    267822   no data   no data
16.78/4.22	c  N st    24     69391       584      2537         0     11913      7712    193490   no data   no data
16.78/4.22	c  S st    24     69391       584      2537         0     11913      7712    193490   no data   no data
16.78/4.25	c  S st    24     69895       584      2537         0     12415      7712    205959   no data   no data
16.78/4.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.78/4.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.78/4.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.78/4.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.78/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.78/4.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
16.78/4.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.78/4.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.78/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.78/4.29	c lits-rem:        17  cl-subs:      143  v-elim:      0  v-fix:    0  time:  0.02 s
16.78/4.29	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
16.78/4.29	c vivif2 --  cl tried    12272 cl shrink        0 lits rem          0 time: 0.00
17.15/4.30	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.01
17.15/4.30	c calculated reachability. Time: 0.00
17.15/4.30	c  N st    24     69895       584      2537         0     12272      7712    201510   no data   no data
22.75/5.70	c  F st    25     87501       584      2537         0     17753      7712    351164   no data   no data
22.75/5.70	c  N st    25     87501       584      2537         0     17753      7712    351164   no data   no data
24.34/6.16	c Decided on static restart strategy
25.56/6.46	c  N st    32     95537       584      2537         0     12926      7712    191841   no data   no data
28.34/7.13	c  N st    34    104842       584      2537         0     22072      7712    438337   no data   no data
28.34/7.13	c  S st    34    104842       584      2537         0     22072      7712    438337   no data   no data
28.34/7.19	c  S st    34    105345       584      2537         0     22572      7712    451571   no data   no data
28.34/7.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.34/7.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.34/7.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.34/7.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.74/7.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
28.74/7.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.74/7.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.74/7.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.13/7.37	c lits-rem:       128  cl-subs:      661  v-elim:      0  v-fix:    0  time:  0.15 s
29.13/7.37	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
29.13/7.37	c vivif2 --  cl tried    21911 cl shrink        0 lits rem          0 time: 0.00
29.13/7.39	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.01
29.13/7.39	c calculated reachability. Time: 0.00
29.13/7.39	c  N st    34    105345       584      2537         0     21911      7712    431408   no data   no data
32.73/8.21	c  N st    35    114945       584      2537         0     17608      7712    292161   no data   no data
37.93/9.54	c  N st    36    129343       584      2537         0     17003      7712    259006   no data   no data
45.91/11.51	c  N st    37    150938       584      2537         0     22460      7712    409126   no data   no data
48.31/12.18	c  S st    38    158017       584      2537         0     29425      7712    607193   no data   no data
48.71/12.26	c  S st    38    158518       584      2537         0     29925      7712    619473   no data   no data
48.71/12.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.71/12.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.71/12.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.71/12.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.71/12.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.71/12.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
48.71/12.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.71/12.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.71/12.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.30/12.67	c lits-rem:       322  cl-subs:     1038  v-elim:      0  v-fix:    0  time:  0.37 s
50.30/12.67	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
50.30/12.68	c vivif2 --  cl tried    28887 cl shrink        0 lits rem          0 time: 0.01
50.30/12.69	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.02
50.30/12.69	c calculated reachability. Time: 0.00
50.30/12.69	c  N st    38    158518       584      2537         0     28887      7712    585630   no data   no data
70.28/17.64	c  N st    39    207107       584      2537         0     23729      7712    401879   no data   no data
83.86/21.06	c  N st    40    237778       584      2537         0     34152      7712    631845   no data   no data
83.86/21.06	c  S st    40    237778       584      2537         0     34152      7712    631845   no data   no data
84.26/21.15	c  S st    40    238282       584      2537         0     34655      7712    644283   no data   no data
84.26/21.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.26/21.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.26/21.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.26/21.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.26/21.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.26/21.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
84.26/21.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.26/21.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.26/21.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.25/21.67	c lits-rem:       218  cl-subs:     1264  v-elim:      0  v-fix:    0  time:  0.48 s
86.25/21.67	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
86.25/21.68	c vivif2 --  cl tried    33391 cl shrink        0 lits rem          0 time: 0.01
86.25/21.70	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.02
86.25/21.70	c calculated reachability. Time: 0.00
86.25/21.70	c  N st    40    238282       584      2537         0     33391      7712    610984   no data   no data
118.60/29.76	c  F st    41    306251       584      2537         0     35143      7712    640079   no data   no data
118.60/29.76	c  N st    41    306251       584      2537         0     35143      7712    640079   no data   no data
121.41/30.43	c Decided on static restart strategy
132.19/33.10	c  N st    51    334557       584      2537         0     39454      7712    716409   no data   no data
143.37/35.94	c  N st    53    357423       584      2537         0     37436      7712    672705   no data   no data
143.37/35.94	c  S st    53    357423       584      2537         0     37436      7712    672705   no data   no data
143.79/36.04	c  S st    53    357924       584      2537         0     37936      7712    685742   no data   no data
143.79/36.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.79/36.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
143.79/36.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.79/36.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.79/36.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.79/36.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
143.79/36.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.79/36.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.79/36.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.37/36.49	c lits-rem:       176  cl-subs:      912  v-elim:      0  v-fix:    0  time:  0.40 s
145.37/36.49	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
145.37/36.50	c vivif2 --  cl tried    37024 cl shrink        0 lits rem          0 time: 0.01
145.77/36.52	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.03
145.77/36.52	c calculated reachability. Time: 0.00
145.77/36.52	c  N st    53    357924       584      2537         0     37024      7712    655187   no data   no data
164.15/41.19	c  N st    54    390316       584      2537         0     43222      7712    796248   no data   no data
190.11/47.67	c  N st    55    438904       584      2537         0     36904      7712    579704   no data   no data
233.65/58.55	c  N st    56    511786       584      2537         0     50514      7712    946301   no data   no data
248.43/62.21	c  N st    57    536886       584      2537         0     44804      7712    751200   no data   no data
248.43/62.21	c  S st    57    536886       584      2537         0     44804      7712    751200   no data   no data
248.83/62.32	c  S st    57    537387       584      2537         0     45305      7712    764285   no data   no data
248.83/62.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
248.83/62.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
248.83/62.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
248.83/62.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
248.83/62.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
248.83/62.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
248.83/62.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
248.83/62.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
248.83/62.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.23/62.94	c lits-rem:       257  cl-subs:     1192  v-elim:      0  v-fix:    0  time:  0.57 s
251.23/62.94	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
251.23/62.95	c vivif2 --  cl tried    44113 cl shrink        0 lits rem          0 time: 0.01
251.23/62.99	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.03
251.23/62.99	c calculated reachability. Time: 0.00
251.23/62.99	c  N st    57    537387       584      2537         0     44113      7712    730438   no data   no data
363.06/90.92	c  N st    58    701372       584      2537         0     38013      7712    457976   no data   no data
438.18/109.73	c  N st    59    806080       584      2537         0     67244      7712   1229482   no data   no data
438.18/109.73	c  S st    59    806080       584      2537         0     67244      7712   1229482   no data   no data
438.96/109.94	c  S st    59    806581       584      2537         0     67745      7712   1242781   no data   no data
438.96/109.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
438.96/109.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
438.96/109.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
438.96/109.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
438.96/109.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
438.96/109.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
438.96/109.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
439.36/110.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
439.36/110.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.54/113.33	c lits-rem:       386  cl-subs:     3778  v-elim:      0  v-fix:    0  time:  3.29 s
452.54/113.33	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
452.54/113.35	c vivif2 --  cl tried    63967 cl shrink        0 lits rem          0 time: 0.02
452.94/113.41	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.05
452.94/113.41	c calculated reachability. Time: 0.00
452.94/113.41	c  N st    59    806581       584      2537         0     63967      7712   1143681   no data   no data
654.26/163.90	c  F st    60   1071877       584      2537         0     79663      7712   1465737   no data   no data
654.26/163.90	c  N st    60   1071877       584      2537         0     79663      7712   1465737   no data   no data
659.85/165.27	c Decided on static restart strategy
677.83/169.74	c  N st    70   1100184       584      2537         0     63628      7712   1021173   no data   no data
709.38/177.63	c  N st    72   1136176       584      2537         0     53898      7712    712778   no data   no data
739.74/185.29	c  N st    73   1168569       584      2537         0     85625      7712   1600889   no data   no data
778.08/194.80	c  N st    74   1209871       584      2537         0     80170      7712   1414361   no data   no data
778.08/194.80	c  S st    74   1209871       584      2537         0     80170      7712   1414361   no data   no data
778.88/195.04	c  S st    74   1210376       584      2537         0     80674      7712   1428581   no data   no data
778.88/195.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
778.88/195.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
778.88/195.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
778.88/195.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
778.88/195.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
778.88/195.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
778.88/195.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
779.28/195.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
779.28/195.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
794.49/198.98	c lits-rem:       421  cl-subs:     3619  v-elim:      0  v-fix:    0  time:  3.83 s
794.49/198.98	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
794.87/199.00	c vivif2 --  cl tried    77055 cl shrink        0 lits rem          0 time: 0.02
794.87/199.08	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.08
794.87/199.08	c calculated reachability. Time: 0.00
794.87/199.08	c  N st    74   1210376       584      2537         0     77055      7712   1331149   no data   no data
874.75/219.04	c  N st    75   1283259       584      2537         0     53476      7712    656758   no data   no data
991.39/248.26	c  N st    76   1392584       584      2537         0     61498      7712    837413   no data   no data
1157.57/289.82	c  N st    77   1556570       584      2537         0     66235      7712    911335   no data   no data
1316.15/329.55	c  N st    78   1710376       584      2537         0    108202      7712   2093891   no data   no data
1316.15/329.55	c  S st    78   1710376       584      2537         0    108202      7712   2093891   no data   no data
1317.74/329.93	c  S st    78   1710879       584      2537         0    108705      7712   2107320   no data   no data
1317.74/329.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1317.74/329.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1317.74/329.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1317.74/329.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1317.74/329.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1317.74/329.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1317.74/329.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1318.14/330.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1318.14/330.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1366.07/342.01	c lits-rem:      1274  cl-subs:     6480  v-elim:      0  v-fix:    0  time: 11.92 s
1366.07/342.01	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
1366.07/342.04	c vivif2 --  cl tried   102225 cl shrink        0 lits rem          0 time: 0.03
1366.47/342.16	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.11
1366.47/342.16	c calculated reachability. Time: 0.00
1366.47/342.16	c  N st    78   1710879       584      2537         0    102225      7712   1933609   no data   no data
1812.65/453.84	c  N st    79   2079843       584      2537         0    114032      7712   2138936   no data   no data
1988.41/497.86	c  N st    80   2210879       584      2537         0    118088      7712   2167225   no data   no data
1988.41/497.86	c  S st    80   2210879       584      2537         0    118088      7712   2167225   no data   no data
1990.01/498.27	c  S st    80   2211383       584      2537         0    118592      7712   2180282   no data   no data
1990.01/498.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1990.41/498.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1990.41/498.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1990.41/498.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1990.41/498.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1990.41/498.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1990.41/498.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1990.41/498.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1990.80/498.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2042.73/511.46	c lits-rem:      1028  cl-subs:     6205  v-elim:      0  v-fix:    0  time: 13.02 s
2042.73/511.46	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
2042.73/511.49	c vivif2 --  cl tried   112387 cl shrink        0 lits rem          0 time: 0.03
2043.53/511.62	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.13
2043.53/511.62	c calculated reachability. Time: 0.00
2043.53/511.62	c  N st    80   2211383       584      2537         0    112387      7712   2016175   no data   no data
2744.17/687.05	c  N st    81   2711383       584      2537         0    135808      7712   2689332   no data   no data
2744.17/687.05	c  S st    81   2711383       584      2537         0    135808      7712   2689332   no data   no data
2746.16/687.50	c  S st    81   2711886       584      2537         0    136309      7712   2701820   no data   no data
2746.16/687.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2746.16/687.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2746.16/687.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2746.16/687.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2746.16/687.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2746.16/687.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2746.16/687.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2746.56/687.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2746.96/687.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2820.85/706.24	c lits-rem:      1093  cl-subs:     7010  v-elim:      0  v-fix:    0  time: 18.53 s
2820.85/706.24	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
2820.85/706.28	c vivif2 --  cl tried   129299 cl shrink        0 lits rem          0 time: 0.04
2821.66/706.42	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.14
2821.66/706.43	c calculated reachability. Time: 0.00
2821.66/706.43	c  N st    81   2711886       584      2537         0    129299      7712   2506770   no data   no data
3536.32/885.34	c  N st    82   3211887       584      2537         0    104870      7712   1576308   no data   no data
3536.32/885.34	c  S st    82   3211887       584      2537         0    104870      7712   1576308   no data   no data
3537.90/885.75	c  S st    82   3212388       584      2537         0    105371      7712   1588924   no data   no data
3537.90/885.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3538.30/885.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3538.30/885.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3538.30/885.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3538.30/885.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3538.30/885.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
3538.30/885.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3538.30/885.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3538.70/885.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3558.30/890.87	c lits-rem:       327  cl-subs:     3496  v-elim:      0  v-fix:    0  time:  4.95 s
3558.30/890.87	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
3558.30/890.89	c vivif2 --  cl tried   101875 cl shrink        0 lits rem          0 time: 0.02
3559.07/891.00	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.11
3559.07/891.00	c calculated reachability. Time: 0.00
3559.07/891.00	c  N st    82   3212388       584      2537         0    101875      7712   1491021   no data   no data
4370.92/1094.24	c  N st    83   3712389       584      2537         0    112666      7712   1655177   no data   no data
4370.92/1094.24	c  S st    83   3712389       584      2537         0    112666      7712   1655177   no data   no data
4372.50/1094.65	c  S st    83   3712892       584      2537         0    113169      7712   1669057   no data   no data
4372.50/1094.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4372.90/1094.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
4372.90/1094.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4372.90/1094.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4372.90/1094.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4372.90/1094.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
4372.90/1094.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4372.90/1094.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4373.30/1094.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4397.69/1100.92	c lits-rem:       560  cl-subs:     3632  v-elim:      0  v-fix:    0  time:  6.09 s
4397.69/1100.92	c vivif2 --  cl tried     2537 cl shrink        0 lits rem          0 time: 0.00
4397.69/1100.94	c vivif2 --  cl tried   109537 cl shrink        0 lits rem          0 time: 0.02
4398.06/1101.06	c asymm  cl-useful: 0/2537/2537 lits-rem:0 time: 0.12
4398.06/1101.06	c calculated reachability. Time: 0.00
4398.06/1101.06	c  N st    83   3712892       584      2537         0    109537      7712   1576574   no data   no data
4461.59/1116.95	c  F st    84   3751562       584      2537         0    147684      7712   2694436   no data   no data
4461.59/1116.96	c  N st    84   3751562       584      2537         0    147684      7712   2694436   no data   no data
4516.34/1130.65	c  N dy   150   3771634       584      2537         0     84183      7712    780507     18.41     20.56
4544.29/1137.69	c  N dy   214   3791698       584      2537         0    103966      7712   1306833     18.26     19.71
4585.84/1148.05	c  N dy   269   3812942       584      2537         0    124907      7712   1860174     18.03     19.07
4632.98/1159.88	c  N dy   349   3833020       584      2537         0    144707      7712   2368657     18.06     21.12
4692.13/1174.68	c  N dy   452   3854230       584      2537         0    165642      7712   2917918     18.17     19.41
4728.86/1183.80	c  N dy   494   3875658       584      2537         0    102151      7712   1198051     17.88     18.83
4765.22/1192.96	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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173992-1304075266/watcher-3173992-1304075266 -o /tmp/evaluation-result-3173992-1304075266/solver-3173992-1304075266 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173992-1304075266.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.13 8.08 8.03 5/180 14266
/proc/meminfo: memFree=26247580/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519125343 52441088 347 33554432000 4194304 4627427 140735627779792 18446744073709551615 47932124686258 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 12803 347 299 106 0 7774 0
[pid=14266/tid=14267] ppid=14264 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519125343 52441088 347 33554432000 4194304 4627427 140735627779792 18446744073709551615 47932124686258 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519125343 52441088 347 33554432000 4194304 4627427 140735627779792 18446744073709551615 47932124686258 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519125343 52441088 347 33554432000 4194304 4627427 140735627779792 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.287272 s]
/proc/loadavg: 8.13 8.08 8.03 5/180 14266
/proc/meminfo: memFree=26247580/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=285636 CPUtime=3.6 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 5718 0 0 0 359 1 0 0 25 0 4 0 519125343 292491264 2749 33554432000 4194304 4627427 140735627779792 18446744073709551615 4330343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 71409 2749 385 106 0 66380 0
[pid=14266/tid=14267] ppid=14264 vsize=285636 CPUtime=0.89 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1376 0 0 0 89 0 0 0 19 0 4 0 519125343 292491264 2749 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=285636 CPUtime=0.89 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1334 0 0 0 89 0 0 0 19 0 4 0 519125343 292491264 2749 33554432000 4194304 4627427 140735627779792 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=285636 CPUtime=0.89 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1258 0 0 0 89 0 0 0 25 0 4 0 519125343 292491264 2749 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 285636

[startup+1.00845 s]
/proc/loadavg: 8.13 8.08 8.03 5/180 14266
/proc/meminfo: memFree=26247580/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=285636 CPUtime=4.01 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 5977 0 0 0 399 2 0 0 25 0 4 0 519125343 292491264 3008 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 71409 3008 385 106 0 66380 0
[pid=14266/tid=14267] ppid=14264 vsize=285636 CPUtime=0.99 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1453 0 0 0 99 0 0 0 19 0 4 0 519125343 292491264 3008 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=285636 CPUtime=0.99 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1391 0 0 0 99 0 0 0 19 0 4 0 519125343 292491264 3008 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=285636 CPUtime=0.99 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1327 0 0 0 99 0 0 0 25 0 4 0 519125343 292491264 3008 33554432000 4194304 4627427 140735627779792 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 285636

[startup+1.10843 s]
/proc/loadavg: 8.13 8.08 8.03 5/180 14266
/proc/meminfo: memFree=26247580/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=285780 CPUtime=4.41 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 6191 0 0 0 439 2 0 0 25 0 4 0 519125343 292638720 3222 33554432000 4194304 4627427 140735627779792 18446744073709551615 4310399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 71445 3222 385 106 0 66416 0
[pid=14266/tid=14267] ppid=14264 vsize=285780 CPUtime=1.09 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1506 0 0 0 109 0 0 0 19 0 4 0 519125343 292638720 3222 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=285780 CPUtime=1.09 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1455 0 0 0 109 0 0 0 19 0 4 0 519125343 292638720 3222 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=285780 CPUtime=1.09 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1374 0 0 0 109 0 0 0 25 0 4 0 519125343 292638720 3222 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 285780

[startup+1.20841 s]
/proc/loadavg: 8.13 8.08 8.03 5/180 14266
/proc/meminfo: memFree=26247580/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=285944 CPUtime=4.81 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 6507 0 0 0 479 2 0 0 25 0 4 0 519125343 292806656 3538 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 71486 3538 386 106 0 66457 0
[pid=14266/tid=14267] ppid=14264 vsize=285944 CPUtime=1.19 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1575 0 0 0 119 0 0 0 19 0 4 0 519125343 292806656 3538 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=285944 CPUtime=1.19 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1535 0 0 0 119 0 0 0 19 0 4 0 519125343 292806656 3538 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=285944 CPUtime=1.19 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1461 0 0 0 119 0 0 0 25 0 4 0 519125343 292806656 3538 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 285944

[startup+1.50037 s]
/proc/loadavg: 8.13 8.08 8.03 5/180 14266
/proc/meminfo: memFree=26247580/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=290548 CPUtime=5.97 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 8829 0 0 0 595 2 0 0 25 0 4 0 519125343 297521152 4380 33554432000 4194304 4627427 140735627779792 18446744073709551615 251813936907 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 72637 4387 389 106 0 67608 0
[pid=14266/tid=14267] ppid=14264 vsize=290548 CPUtime=1.48 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1925 0 0 0 148 0 0 0 19 0 4 0 519125343 297521152 4389 33554432000 4194304 4627427 140735627779792 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=290548 CPUtime=1.48 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1861 0 0 0 148 0 0 0 19 0 4 0 519125343 297521152 4395 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=290688 CPUtime=1.48 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 1800 0 0 0 148 0 0 0 25 0 4 0 519125343 297664512 4397 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290548

[startup+3.1061 s]
/proc/loadavg: 8.12 8.08 8.03 9/184 14270
/proc/meminfo: memFree=26204148/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=293160 CPUtime=12.38 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 18730 0 0 0 1234 4 0 0 25 0 4 0 519125343 300195840 10320 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 73290 10320 390 106 0 68261 0
[pid=14266/tid=14267] ppid=14264 vsize=293160 CPUtime=3.09 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 4157 0 0 0 309 0 0 0 25 0 4 0 519125343 300195840 10320 33554432000 4194304 4627427 140735627779792 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=293160 CPUtime=3.07 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 5005 0 0 0 307 0 0 0 25 0 4 0 519125343 300195840 10320 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=293160 CPUtime=3.09 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 4669 0 0 0 308 1 0 0 25 0 4 0 519125343 300195840 10320 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 293160

[startup+6.30057 s]
/proc/loadavg: 8.12 8.08 8.03 9/184 14270
/proc/meminfo: memFree=26183836/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=295808 CPUtime=25.16 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 30101 0 0 0 2511 5 0 0 25 0 4 0 519125343 302907392 14113 33554432000 4194304 4627427 140735627779792 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 73952 14113 389 106 0 68923 0
[pid=14266/tid=14267] ppid=14264 vsize=295808 CPUtime=6.29 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 7749 0 0 0 628 1 0 0 25 0 4 0 519125343 302907392 14113 33554432000 4194304 4627427 140735627779792 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=295808 CPUtime=6.26 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 8338 0 0 0 625 1 0 0 25 0 4 0 519125343 302907392 14113 33554432000 4194304 4627427 140735627779792 18446744073709551615 4333028 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=295808 CPUtime=6.29 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 6889 0 0 0 628 1 0 0 25 0 4 0 519125343 302907392 14113 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 295808

[startup+12.7005 s]
/proc/loadavg: 8.11 8.08 8.03 9/184 14270
/proc/meminfo: memFree=26162508/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=310304 CPUtime=50.7 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 49935 0 0 0 5061 9 0 0 25 0 4 0 519125343 317751296 20871 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 77576 20871 389 106 0 72547 0
[pid=14266/tid=14267] ppid=14264 vsize=310304 CPUtime=12.69 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 12538 0 0 0 1267 2 0 0 25 0 4 0 519125343 317751296 20871 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=310304 CPUtime=12.63 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 11877 0 0 0 1261 2 0 0 25 0 4 0 519125343 317751296 20871 33554432000 4194304 4627427 140735627779792 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=310304 CPUtime=12.68 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 12156 0 0 0 1266 2 0 0 25 0 4 0 519125343 317751296 20871 33554432000 4194304 4627427 140735627779792 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 310304

[startup+25.5003 s]
/proc/loadavg: 8.15 8.09 8.04 9/184 14270
/proc/meminfo: memFree=26123836/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=327100 CPUtime=101.83 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 77504 0 0 0 10169 14 0 0 25 0 4 0 519125343 334950400 28444 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 81775 28444 389 106 0 76746 0
[pid=14266/tid=14267] ppid=14264 vsize=327100 CPUtime=25.49 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 20356 0 0 0 2546 3 0 0 25 0 4 0 519125343 334950400 28444 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=327100 CPUtime=25.35 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 19284 0 0 0 2532 3 0 0 25 0 4 0 519125343 334950400 28444 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=327100 CPUtime=25.48 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 17549 0 0 0 2545 3 0 0 25 0 4 0 519125343 334950400 28444 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 327100

[startup+51.101 s]
/proc/loadavg: 8.10 8.08 8.03 9/184 14271
/proc/meminfo: memFree=26104312/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=336160 CPUtime=204.09 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 111126 0 0 0 20386 23 0 0 25 0 4 0 519125343 344227840 34550 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 84040 34550 389 106 0 79011 0
[pid=14266/tid=14267] ppid=14264 vsize=336160 CPUtime=51.09 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 28464 0 0 0 5103 6 0 0 25 0 4 0 519125343 344227840 34550 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=336160 CPUtime=50.82 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 28230 0 0 0 5076 6 0 0 25 0 4 0 519125343 344227840 34550 33554432000 4194304 4627427 140735627779792 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=336160 CPUtime=51.08 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 25613 0 0 0 5103 5 0 0 25 0 4 0 519125343 344227840 34550 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 336160

[startup+102.3 s]
/proc/loadavg: 8.04 8.07 8.03 9/184 14272
/proc/meminfo: memFree=26042052/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=403480 CPUtime=408.6 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 169339 0 0 0 40817 43 0 0 25 0 4 0 519125343 413163520 43864 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 100870 43864 389 106 0 95841 0
[pid=14266/tid=14267] ppid=14264 vsize=403480 CPUtime=102.29 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 44027 0 0 0 10217 12 0 0 25 0 4 0 519125343 413163520 43864 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=403480 CPUtime=101.73 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 41561 0 0 0 10164 9 0 0 25 0 4 0 519125343 413163520 43864 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=403480 CPUtime=102.28 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 41575 0 0 0 10218 10 0 0 25 0 4 0 519125343 413163520 43864 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 403480

[startup+162.3 s]

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

[pid=14266] ppid=14264 vsize=546528 CPUtime=2565.61 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 516944 0 0 0 256374 187 0 0 25 0 4 0 519125343 559644672 92083 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 136632 92083 389 106 0 131603 0
[pid=14266/tid=14267] ppid=14264 vsize=546528 CPUtime=642.3 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 128583 0 0 0 64180 50 0 0 25 0 4 0 519125343 559644672 92083 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=546528 CPUtime=638.79 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 128837 0 0 0 63834 45 0 0 25 0 4 0 519125343 559644672 92083 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=546528 CPUtime=642.28 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 130185 0 0 0 64180 48 0 0 25 0 4 0 519125343 559644672 92083 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.61
Current children cumulated vsize (KiB) 546528

[startup+702.301 s]
/proc/loadavg: 8.06 8.06 8.01 9/184 14288
/proc/meminfo: memFree=25738052/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=560368 CPUtime=2805.28 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 551470 0 0 0 280325 203 0 0 25 0 4 0 519125343 573816832 97941 33554432000 4194304 4627427 140735627779792 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 140092 97941 389 106 0 135063 0
[pid=14266/tid=14267] ppid=14264 vsize=560368 CPUtime=702.29 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 136506 0 0 0 70176 53 0 0 25 0 4 0 519125343 573816832 97941 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=560368 CPUtime=698.47 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 135837 0 0 0 69797 50 0 0 25 0 4 0 519125343 573816832 97941 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=560368 CPUtime=702.28 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 138987 0 0 0 70175 53 0 0 25 0 4 0 519125343 573816832 97941 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.28
Current children cumulated vsize (KiB) 560368

[startup+762.301 s]
/proc/loadavg: 8.02 8.05 8.01 9/184 14290
/proc/meminfo: memFree=25715336/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=619308 CPUtime=3044.95 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 579809 0 0 0 304279 216 0 0 25 0 4 0 519125343 634171392 103360 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 154827 103360 389 106 0 149798 0
[pid=14266/tid=14267] ppid=14264 vsize=619308 CPUtime=762.29 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 144164 0 0 0 76172 57 0 0 25 0 4 0 519125343 634171392 103360 33554432000 4194304 4627427 140735627779792 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=619308 CPUtime=758.14 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 143638 0 0 0 75761 53 0 0 25 0 4 0 519125343 634171392 103360 33554432000 4194304 4627427 140735627779792 18446744073709551615 4310574 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=619308 CPUtime=762.27 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 145783 0 0 0 76172 55 0 0 25 0 4 0 519125343 634171392 103360 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.95
Current children cumulated vsize (KiB) 619308

[startup+822.301 s]
/proc/loadavg: 6.87 7.78 7.92 5/175 14310
/proc/meminfo: memFree=26070188/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=569660 CPUtime=3284.63 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 610996 0 0 0 328230 233 0 0 25 0 4 0 519125343 583331840 104996 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 142415 104996 389 106 0 137386 0
[pid=14266/tid=14267] ppid=14264 vsize=569660 CPUtime=822.3 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 151189 0 0 0 82169 61 0 0 25 0 4 0 519125343 583331840 104996 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=569660 CPUtime=817.83 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 151887 0 0 0 81725 58 0 0 25 0 4 0 519125343 583331840 104996 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=569660 CPUtime=822.27 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 152809 0 0 0 82168 59 0 0 25 0 4 0 519125343 583331840 104996 33554432000 4194304 4627427 140735627779792 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.63
Current children cumulated vsize (KiB) 569660

[startup+882.301 s]
/proc/loadavg: 5.09 7.10 7.67 5/175 14311
/proc/meminfo: memFree=26035824/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=622628 CPUtime=3524.32 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 640477 0 0 0 352186 246 0 0 25 0 4 0 519125343 637571072 113067 33554432000 4194304 4627427 140735627779792 18446744073709551615 4332032 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 155657 113067 389 106 0 150628 0
[pid=14266/tid=14267] ppid=14264 vsize=622628 CPUtime=882.3 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 160422 0 0 0 88165 65 0 0 25 0 4 0 519125343 637571072 113067 33554432000 4194304 4627427 140735627779792 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=622628 CPUtime=877.52 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 158823 0 0 0 87690 62 0 0 25 0 4 0 519125343 637571072 113067 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=622628 CPUtime=882.28 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 162675 0 0 0 88165 63 0 0 25 0 4 0 519125343 637571072 113067 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 622628

[startup+942.301 s]
/proc/loadavg: 4.43 6.55 7.45 5/175 14313
/proc/meminfo: memFree=26019440/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=635680 CPUtime=3764.04 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 664604 0 0 0 376144 260 0 0 25 0 4 0 519125343 650936320 117636 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 158920 117636 389 106 0 153891 0
[pid=14266/tid=14267] ppid=14264 vsize=635680 CPUtime=942.3 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 166402 0 0 0 94160 70 0 0 25 0 4 0 519125343 650936320 117636 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=635680 CPUtime=937.23 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 168295 0 0 0 93659 64 0 0 25 0 4 0 519125343 650936320 117636 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=635680 CPUtime=942.27 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 166128 0 0 0 94163 64 0 0 25 0 4 0 519125343 650936320 117636 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 635680

[startup+1002.3 s]
/proc/loadavg: 4.24 6.10 7.23 5/175 14314
/proc/meminfo: memFree=26019792/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=636492 CPUtime=4003.76 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 685983 0 0 0 400104 272 0 0 25 0 4 0 519125343 651767808 117220 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 159123 117220 389 106 0 154094 0
[pid=14266/tid=14267] ppid=14264 vsize=636492 CPUtime=1002.3 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 173658 0 0 0 100156 74 0 0 25 0 4 0 519125343 651767808 117220 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=636492 CPUtime=996.95 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 174871 0 0 0 99627 68 0 0 25 0 4 0 519125343 651767808 117220 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=636492 CPUtime=1002.27 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 172825 0 0 0 100159 68 0 0 25 0 4 0 519125343 651767808 117220 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 636492

[startup+1062.3 s]
/proc/loadavg: 4.08 5.71 7.03 5/175 14316
/proc/meminfo: memFree=26005764/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=623620 CPUtime=4243.49 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 711771 0 0 0 424061 288 0 0 25 0 4 0 519125343 638586880 120628 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 155905 120628 389 106 0 150876 0
[pid=14266/tid=14267] ppid=14264 vsize=623620 CPUtime=1062.31 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 181045 0 0 0 106152 79 0 0 25 0 4 0 519125343 638586880 120628 33554432000 4194304 4627427 140735627779792 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=623620 CPUtime=1056.67 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 180238 0 0 0 105595 72 0 0 25 0 4 0 519125343 638586880 120628 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=623620 CPUtime=1062.27 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 179543 0 0 0 106155 72 0 0 25 0 4 0 519125343 638586880 120628 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 623620

[startup+1122.3 s]
/proc/loadavg: 4.10 5.42 6.84 5/175 14318
/proc/meminfo: memFree=25954152/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=754964 CPUtime=4483.16 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 733595 0 0 0 448017 299 0 0 25 0 4 0 519125343 773083136 133732 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 188741 133732 389 106 0 183712 0
[pid=14266/tid=14267] ppid=14264 vsize=754964 CPUtime=1122.3 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 187441 0 0 0 112149 81 0 0 25 0 4 0 519125343 773083136 133732 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=754964 CPUtime=1116.35 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 184099 0 0 0 111561 74 0 0 25 0 4 0 519125343 773083136 133732 33554432000 4194304 4627427 140735627779792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=754964 CPUtime=1122.27 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 186292 0 0 0 112152 75 0 0 25 0 4 0 519125343 773083136 133732 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 754964

[startup+1182.31 s]
/proc/loadavg: 4.10 5.17 6.66 5/175 14319
/proc/meminfo: memFree=25965404/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=637208 CPUtime=4722.89 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 756606 0 0 0 471976 313 0 0 25 0 4 0 519125343 652500992 130762 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 159302 130762 389 106 0 154273 0
[pid=14266/tid=14267] ppid=14264 vsize=637208 CPUtime=1182.31 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 193017 0 0 0 118146 85 0 0 25 0 4 0 519125343 652500992 130762 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=637208 CPUtime=1176.07 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 190368 0 0 0 117529 78 0 0 25 0 4 0 519125343 652500992 130762 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=637208 CPUtime=1182.27 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 193686 0 0 0 118147 80 0 0 25 0 4 0 519125343 652500992 130762 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.89
Current children cumulated vsize (KiB) 637208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.07 5.09 6.61 5/175 14320
/proc/meminfo: memFree=25966268/32950928 swapFree=67111524/67111528
[pid=14266] ppid=14264 vsize=677100 CPUtime=4800.4 cores=1,3,5,7
/proc/14266/stat : 14266 (strangenight2-m) R 14264 14266 13699 0 -1 4202496 759908 0 0 0 479724 316 0 0 25 0 4 0 519125343 693350400 130377 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14266/statm: 169275 130377 389 106 0 164246 0
[pid=14266/tid=14267] ppid=14264 vsize=677100 CPUtime=1201.71 cores=1,3,5,7
/proc/14266/task/14267/stat : 14267 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 193600 0 0 0 120086 85 0 0 25 0 4 0 519125343 693350400 130377 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14266/tid=14268] ppid=14264 vsize=677100 CPUtime=1195.37 cores=1,3,5,7
/proc/14266/task/14268/stat : 14268 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 191612 0 0 0 119459 78 0 0 25 0 4 0 519125343 693350400 130377 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14266/tid=14269] ppid=14264 vsize=677100 CPUtime=1201.68 cores=1,3,5,7
/proc/14266/task/14269/stat : 14269 (strangenight2-m) R 14264 14266 13699 0 -1 4202560 195161 0 0 0 120086 82 0 0 25 0 4 0 519125343 693350400 130377 33554432000 4194304 4627427 140735627779792 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 677100

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.45
CPU user time (s): 4797.27
CPU system time (s): 3.18551
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 821112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.27
system time used= 3.18552
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 759908
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= 560
involuntary context switches= 20623

runsolver used 1.90471 second user time and 4.44832 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 13:07:46
IDJOB=3173992
IDBENCH=82810
IDSOLVER=1586
FILE ID=node126/3173992-1304075266
RUNJOBID= node126-1304074864-14200
PBS_JOBID= 13170481
Free space on /tmp= 71592 MiB

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

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

MD5SUM BENCH= 6cc83c4bac88845b4bcdf4315c840cca
RANDOM SEED=1697874835

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26247736 kB
Buffers:       1418736 kB
Cached:        4438988 kB
SwapCached:          4 kB
Active:         608052 kB
Inactive:      5549944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26247736 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5452 kB
Writeback:           0 kB
AnonPages:      299524 kB
Mapped:          15464 kB
Slab:           481032 kB
PageTables:       5304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   533804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71592 MiB
End job on node126 at 2011-04-29 13:27:50