Trace number 3368844

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-1-mt (fixed)? (TO) 4800.43 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf
MD5SUM5df52ad002b8e310753df40806d6b835
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009998
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368844-1305404319.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.01
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 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:    650 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.02	c lits-rem:         0  cl-subs:        0  v-elim:     29  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     299 undec:      76 neg:     275
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       621      2749         0         0      8413         0   no data   no data  --
0.11/0.08	c Decided on static restart strategy
0.37/0.18	c  N st     8      4918       621      2749         0      4827      8413    132096   no data   no data  --
1.56/0.45	c  N st    10     11302       621      2749         0      4493      8413     89303   no data   no data  --
2.76/0.73	c  N st    11     17046       621      2749         0     10097      8413    267107   no data   no data  --
4.39/1.17	c  F st    12     25001       621      2749         0     12428      8413    332043   no data   no data  --
4.39/1.18	c  N st    12     25001       621      2749         0     12428      8413    332043   no data   no data  --
5.56/1.43	c Decided on static restart strategy
5.56/1.43	c  N st    18     30002       621      2749         0     10689      8413    241965   no data   no data  --
5.56/1.43	c  S st    18     30002       621      2749         0     10689      8413    241965   no data   no data  --
5.56/1.46	c  S st    18     30507       621      2749         0     11194      8413    255690   no data   no data  --
5.56/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
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:    621 time:  0.00 s
5.56/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.76/1.73	c lits-rem:       199  cl-subs:      401  v-elim:      0  v-fix:    0  time:  1.02 s
6.76/1.74	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.04
6.76/1.74	c calculated reachability. Time: 0.00
6.76/1.74	c  N st    18     30507       621      2749         0     10793      8413    242325   no data   no data  --
8.78/2.21	c  N st    20     37617       621      2749         0     10044      8413    204247   no data   no data  --
10.35/2.65	c  N st    21     44016       621      2749         0     16383      8413    395672   no data   no data  --
10.75/2.79	c  S st    22     45760       621      2749         0      9284      8413    157705   no data   no data  --
11.15/2.82	c  S st    22     46261       621      2749         0      9785      8413    170243   no data   no data  --
11.15/2.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.15/2.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.15/2.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.15/2.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.15/2.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.15/2.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
11.15/2.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.55/2.95	c lits-rem:        51  cl-subs:       25  v-elim:      0  v-fix:    0  time:  0.50 s
11.55/2.95	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
11.55/2.95	c vivif2 --  cl tried     9760 cl shrink        0 lits rem          0 time: 0.01
11.55/2.96	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.03
11.55/2.96	c calculated reachability. Time: 0.00
11.55/2.96	c  N st    22     46261       621      2749         0      9760      8413    169583   no data   no data  --
15.54/3.94	c  N st    23     60659       621      2749         0     14103      8413    279785   no data   no data  --
18.32/4.60	c  N st    24     69391       621      2749         0     11880      8413    206707   no data   no data  --
18.32/4.60	c  S st    24     69391       621      2749         0     11880      8413    206707   no data   no data  --
18.32/4.63	c  S st    24     69895       621      2749         0     12383      8413    219306   no data   no data  --
18.32/4.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.32/4.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.32/4.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.32/4.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.32/4.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.32/4.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
18.32/4.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.12/4.88	c lits-rem:        46  cl-subs:      193  v-elim:      0  v-fix:    0  time:  0.97 s
19.12/4.88	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
19.12/4.89	c vivif2 --  cl tried    12190 cl shrink        0 lits rem          0 time: 0.01
19.52/4.90	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.04
19.52/4.90	c calculated reachability. Time: 0.00
19.52/4.90	c  N st    24     69895       621      2749         0     12190      8413    213575   no data   no data  --
25.11/6.35	c  F st    25     87501       621      2749         0     17723      8413    370496   no data   no data  --
25.11/6.35	c  N st    25     87501       621      2749         0     17723      8413    370496   no data   no data  --
26.70/6.76	c Decided on static restart strategy
27.91/7.00	c  N st    32     95540       621      2749         0     25642      8413    595659   no data   no data  --
30.73/7.71	c  N st    34    104842       621      2749         0     21978      8413    460019   no data   no data  --
30.73/7.71	c  S st    34    104842       621      2749         0     21978      8413    460019   no data   no data  --
30.73/7.77	c  S st    34    105346       621      2749         0     22482      8413    472793   no data   no data  --
30.73/7.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.73/7.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.73/7.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.73/7.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.73/7.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.73/7.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
30.73/7.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.48/8.97	c lits-rem:       250  cl-subs:      897  v-elim:      0  v-fix:    0  time:  4.71 s
35.48/8.97	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
35.48/8.98	c vivif2 --  cl tried    21585 cl shrink        0 lits rem          0 time: 0.02
35.48/9.00	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.08
35.88/9.00	c calculated reachability. Time: 0.00
35.88/9.00	c  N st    34    105346       621      2749         0     21585      8413    444002   no data   no data  --
39.10/9.87	c  N st    35    114945       621      2749         0     17317      8413    307766   no data   no data  --
44.26/11.19	c  N st    36    129342       621      2749         0     16703      8413    263905   no data   no data  --
52.68/13.21	c  N st    37    150937       621      2749         0     22155      8413    409608   no data   no data  --
55.04/13.85	c  S st    38    158021       621      2749         0     29131      8413    619310   no data   no data  --
55.44/13.92	c  S st    38    158526       621      2749         0     29634      8413    632814   no data   no data  --
55.44/13.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
55.44/13.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.44/13.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
55.44/13.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.44/13.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.44/13.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
55.44/13.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.02/15.84	c lits-rem:       517  cl-subs:     1014  v-elim:      0  v-fix:    0  time:  7.56 s
63.02/15.84	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
63.02/15.85	c vivif2 --  cl tried    28620 cl shrink        0 lits rem          0 time: 0.02
63.02/15.88	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.10
63.02/15.88	c calculated reachability. Time: 0.00
63.02/15.88	c  N st    38    158526       621      2749         0     28620      8413    598296   no data   no data  --
84.97/21.33	c  N st    39    207115       621      2749         0     23308      8413    387120   no data   no data  --
99.34/24.97	c  N st    40    237789       621      2749         0     33848      8413    693079   no data   no data  --
99.34/24.97	c  S st    40    237789       621      2749         0     33848      8413    693079   no data   no data  --
99.74/25.05	c  S st    40    238296       621      2749         0     34355      8413    706418   no data   no data  --
99.74/25.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
99.74/25.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.74/25.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
99.74/25.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
99.74/25.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.74/25.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
99.74/25.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
108.52/27.27	c lits-rem:       529  cl-subs:     1249  v-elim:      0  v-fix:    0  time:  8.69 s
108.52/27.27	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
108.52/27.27	c vivif2 --  cl tried    33106 cl shrink        0 lits rem          0 time: 0.03
108.92/27.31	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.12
108.92/27.31	c calculated reachability. Time: 0.00
108.92/27.31	c  N st    40    238296       621      2749         0     33106      8413    664116   no data   no data  --
142.84/35.83	c  F st    41    306251       621      2749         0     34937      8413    662552   no data   no data  --
142.84/35.83	c  N st    41    306251       621      2749         0     34937      8413    662552   no data   no data  --
145.63/36.54	c Decided on static restart strategy
156.81/39.35	c  N st    51    334556       621      2749         0     39245      8413    785890   no data   no data  --
168.78/42.36	c  N st    53    357446       621      2749         0     37256      8413    683852   no data   no data  --
168.78/42.36	c  S st    53    357446       621      2749         0     37256      8413    683852   no data   no data  --
169.18/42.45	c  S st    53    357956       621      2749         0     37766      8413    697581   no data   no data  --
169.18/42.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
169.18/42.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.18/42.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
169.18/42.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.18/42.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.18/42.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
169.18/42.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
177.16/44.42	c lits-rem:      1338  cl-subs:      737  v-elim:      0  v-fix:    0  time:  7.72 s
177.16/44.42	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
177.16/44.43	c vivif2 --  cl tried    37029 cl shrink        0 lits rem          0 time: 0.03
177.16/44.47	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.16
177.16/44.47	c calculated reachability. Time: 0.00
177.16/44.47	c  N st    53    357956       621      2749         0     37029      8413    674138   no data   no data  --
195.92/49.19	c  N st    54    390348       621      2749         0     43280      8413    843299   no data   no data  --
227.06/56.91	c  N st    55    438936       621      2749         0     36782      8413    594607   no data   no data  --
272.54/68.36	c  N st    56    511818       621      2749         0     50265      8413    943077   no data   no data  --
286.91/71.90	c  N st    57    536934       621      2749         0     44642      8413    795296   no data   no data  --
286.91/71.90	c  S st    57    536934       621      2749         0     44642      8413    795296   no data   no data  --
287.31/72.02	c  S st    57    537438       621      2749         0     45146      8413    809140   no data   no data  --
287.31/72.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.31/72.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.31/72.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
287.31/72.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.31/72.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.31/72.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
287.31/72.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
296.49/74.35	c lits-rem:       537  cl-subs:     1133  v-elim:      0  v-fix:    0  time:  9.16 s
296.49/74.35	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
296.49/74.36	c vivif2 --  cl tried    44013 cl shrink        0 lits rem          0 time: 0.04
296.89/74.41	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.18
296.89/74.41	c calculated reachability. Time: 0.00
296.89/74.41	c  N st    57    537438       621      2749         0     44013      8413    772163   no data   no data  --
410.64/103.00	c  N st    58    701423       621      2749         0     38179      8413    496541   no data   no data  --
490.86/123.09	c  N st    59    806160       621      2749         0     67358      8413   1314424   no data   no data  --
490.86/123.09	c  S st    59    806160       621      2749         0     67358      8413   1314424   no data   no data  --
491.69/123.29	c  S st    59    806663       621      2749         0     67861      8413   1328146   no data   no data  --
491.69/123.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
491.69/123.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
492.05/123.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
492.05/123.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
492.05/123.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
492.05/123.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
492.05/123.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
508.42/127.44	c lits-rem:        72  cl-subs:     3048  v-elim:      0  v-fix:    0  time: 16.26 s
508.42/127.44	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
508.42/127.46	c vivif2 --  cl tried    64813 cl shrink        0 lits rem          0 time: 0.06
508.83/127.54	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.33
508.83/127.54	c calculated reachability. Time: 0.00
508.83/127.54	c  N st    59    806663       621      2749         0     64813      8413   1239800   no data   no data  --
734.30/184.03	c  F st    60   1071876       621      2749         0     80422      8413   1590382   no data   no data  --
734.30/184.03	c  N st    60   1071876       621      2749         0     80422      8413   1590382   no data   no data  --
753.86/188.95	c  N dy   115   1091936       621      2749         0     56192      8413    773564     18.52     19.61  --
777.80/194.90	c  N dy   189   1114589       621      2749         0     78598      8413   1377427     18.14     19.32  --
802.56/201.12	c  N dy   301   1134742       621      2749         0     53290      8413    650870     18.54     19.61  --
822.51/206.18	c  N dy   400   1154829       621      2749         0     73217      8413   1197912     18.68     20.83  --
850.44/213.13	c  N dy   490   1174844       621      2749         0     46599      8413    425764     18.76     22.12  --
869.24/217.88	c  N dy   572   1196052       621      2749         0     67558      8413    995512     18.74     19.76  --
884.77/221.78	c  S st   620   1209994       621      2749         0     81352      8413   1371133     18.71     16.22  --
885.96/222.01	c  S st   620   1210501       621      2749         0     81857      8413   1385367     18.71   no data  --
885.96/222.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
885.96/222.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
885.96/222.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
885.96/222.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
885.96/222.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
885.96/222.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
885.96/222.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
895.16/224.34	c lits-rem:       238  cl-subs:     1717  v-elim:      0  v-fix:    0  time:  8.92 s
895.16/224.34	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
895.16/224.36	c vivif2 --  cl tried    80140 cl shrink        0 lits rem          0 time: 0.07
895.58/224.48	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.47
895.58/224.48	c calculated reachability. Time: 0.00
895.58/224.48	c  N dy   620   1210501       621      2749         0     80140      8413   1337133     18.71   no data  --
922.68/231.20	c  N dy   705   1230853       621      2749         0     52830      8413    561721     18.75     19.76  --
943.45/236.45	c  N dy   773   1254045       621      2749         0     75760      8413   1195202     18.66     19.70  --
976.15/244.60	c  N dy   878   1277512       621      2749         0     50548      8413    473874     18.69     19.71  --
993.72/249.09	c  N dy   936   1297898       621      2749         0     70688      8413   1026088     18.66     19.76  --
1020.86/255.89	c  N dy  1047   1318549       621      2749         0     91150      8413   1592180     18.71     19.74  --
1043.21/261.44	c  N dy  1106   1338634       621      2749         0     61515      8413    748868     18.67     22.95  --
1065.16/266.91	c  N dy  1163   1358780       621      2749         0     81441      8413   1287635     18.64     19.77  --
1095.89/274.68	c  N dy  1279   1379156       621      2749         0     51199      8413    434790     18.70     19.71  --
1115.08/279.43	c  N dy  1382   1399870       621      2749         0     71710      8413   1002168     18.74     20.00  --
1144.58/286.87	c  N dy  1477   1422565       621      2749         0     94152      8413   1627115     18.75     19.79  --
1169.73/293.16	c  N dy  1584   1443566       621      2749         0     63480      8413    756265     18.78     19.77  --
1198.08/300.28	c  N dy  1644   1468102       621      2749         0     87708      8413   1405992     18.73     19.75  --
1228.39/307.91	c  N dy  1737   1488444       621      2749         0     55425      8413    504058     18.75     19.74  --
1250.76/313.42	c  N dy  1821   1509901       621      2749         0     76656      8413   1087387     18.75     19.87  --
1282.27/321.30	c  N dy  1930   1531454       621      2749         0     97952      8413   1676591     18.78     19.89  --
1308.24/327.81	c  N dy  1997   1551462       621      2749         0     64308      8413    712554     18.76     21.20  --
1331.75/333.71	c  N dy  2088   1571527       621      2749         0     84190      8413   1264002     18.78     19.90  --
1362.88/341.50	c  N dy  2194   1591994       621      2749         0    104475      8413   1823578     18.80     19.79  --
1385.63/347.25	c  N dy  2275   1612702       621      2749         0     70542      8413    877981     18.80     19.84  --
1410.38/353.42	c  N dy  2362   1632716       621      2749         0     90309      8413   1418412     18.80     19.85  --
1447.10/362.63	c  N dy  2475   1654273       621      2749         0     56267      8413    453999     18.83     19.94  --
1467.05/367.60	c  N dy  2540   1674276       621      2749         0     76021      8413    991381     18.82     20.16  --
1490.20/373.48	c  N dy  2592   1694310       621      2749         0     95774      8413   1531061     18.80     19.81  --
1514.94/379.68	c  S st  2635   1710501       621      2749         0    111766      8413   1970640     18.78     17.26  --
1516.54/380.04	c  S st  2635   1711003       621      2749         0    112267      8413   1984958     18.78   no data  --
1516.54/380.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1516.54/380.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1516.94/380.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
1516.94/380.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1516.94/380.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1516.94/380.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
1516.94/380.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1536.12/384.95	c lits-rem:       103  cl-subs:     3225  v-elim:      0  v-fix:    0  time: 19.07 s
1536.12/384.95	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
1536.12/384.97	c vivif2 --  cl tried   109042 cl shrink        0 lits rem          0 time: 0.10
1536.89/385.15	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.71
1536.89/385.16	c calculated reachability. Time: 0.00
1536.89/385.16	c  N dy  2635   1711003       621      2749         0    109042      8413   1897589     18.78   no data  --
1560.84/391.16	c  N dy  2722   1731068       621      2749         0     72592      8413    884236     18.78     20.59  --
1586.38/397.60	c  N dy  2807   1751087       621      2749         0     92372      8413   1426971     18.79     19.92  --
1630.28/408.57	c  N dy  2916   1771100       621      2749         0    112164      8413   1969708     18.81     20.86  --
1659.45/415.87	c  N dy  3003   1796229       621      2749         0     79687      8413   1046358     18.79     19.97  --
1687.75/422.92	c  N dy  3080   1816300       621      2749         0     99529      8413   1592936     18.79     20.36  --
1720.50/431.12	c  N dy  3136   1836304       621      2749         0     60977      8413    512768     18.78     22.05  --
1741.64/436.47	c  N dy  3221   1856355       621      2749         0     80828      8413   1066219     18.79     23.02  --
1771.96/444.06	c  N dy  3322   1877032       621      2749         0    101264      8413   1630230     18.80     19.87  --
1806.69/452.77	c  N dy  3435   1897056       621      2749         0     61765      8413    512771     18.82     19.86  --
1828.64/458.21	c  N dy  3511   1917982       621      2749         0     82401      8413   1088326     18.81     19.86  --
1858.57/465.73	c  N dy  3625   1938017       621      2749         0    102255      8413   1652614     18.83     21.12  --
1894.89/474.85	c  N dy  3699   1959214       621      2749         0     62858      8413    521311     18.82     19.86  --
1919.23/480.98	c  N dy  3792   1981523       621      2749         0     84941      8413   1138775     18.83     19.93  --
1951.56/489.08	c  N dy  3876   2002024       621      2749         0    105183      8413   1695518     18.84     19.86  --
1986.69/497.82	c  N dy  3955   2022162       621      2749         0     63803      8413    524533     18.84     19.86  --
2014.22/504.77	c  N dy  3994   2046395       621      2749         0     87594      8413   1163061     18.80     19.86  --
2045.37/512.54	c  N dy  4053   2067505       621      2749         0    108434      8413   1732632     18.79     19.79  --
2081.67/521.68	c  N dy  4151   2087575       621      2749         0     66107      8413    568798     18.80     19.79  --
2111.64/529.17	c  N dy  4221   2113315       621      2749         0     91490      8413   1270898     18.78     19.89  --
2144.72/537.43	c  N dy  4272   2135271       621      2749         0    113165      8413   1861105     18.77     19.87  --
2179.45/546.17	c  N dy  4392   2155620       621      2749         0     70117      8413    657388     18.78     19.85  --
2207.38/553.13	c  N dy  4487   2177713       621      2749         0     91981      8413   1263087     18.78     19.85  --
2240.11/561.35	c  N dy  4583   2197724       621      2749         0    111815      8413   1817204     18.79     19.99  --
2267.25/568.19	c  S st  4666   2211005       621      2749         0    124969      8413   2187699     18.80     19.02  --
2268.84/568.58	c  S st  4666   2211510       621      2749         0    125474      8413   2202833     18.80   no data  --
2268.84/568.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2268.84/568.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2269.26/568.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
2269.68/568.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2269.68/568.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2269.68/568.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
2269.68/568.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2308.36/578.44	c lits-rem:       180  cl-subs:     2608  v-elim:      0  v-fix:    0  time: 38.78 s
2308.36/578.44	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
2308.36/578.47	c vivif2 --  cl tried   122866 cl shrink        0 lits rem          0 time: 0.10
2309.19/578.66	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.78
2309.19/578.67	c calculated reachability. Time: 0.00
2309.19/578.67	c  N dy  4666   2211510       621      2749         0    122866      8413   2126647     18.80   no data  --
2335.89/585.33	c  N dy  4749   2231598       621      2749         0     78443      8413    876538     18.80     20.06  --
2363.83/592.35	c  N dy  4839   2251611       621      2749         0     98218      8413   1417407     18.81     20.13  --
2399.35/601.24	c  N dy  4884   2272914       621      2749         0    119248      8413   1984680     18.80     19.80  --
2431.69/609.33	c  N dy  4978   2293015       621      2749         0     73914      8413    723955     18.81     23.26  --
2458.04/615.99	c  N dy  5109   2313043       621      2749         0     93773      8413   1287161     18.82     19.99  --
2491.94/624.44	c  N dy  5184   2333449       621      2749         0    113886      8413   1833800     18.82     19.87  --
2533.84/634.93	c  N dy  5235   2355595       621      2749         0     69507      8413    570120     18.81     20.01  --
2556.59/640.63	c  N dy  5293   2375616       621      2749         0     89270      8413   1112603     18.80     19.95  --
2596.11/650.52	c  N dy  5385   2400464       621      2749         0    113847      8413   1793986     18.79     19.82  --
2638.81/661.24	c  N dy  5456   2421740       621      2749         0     67673      8413    500335     18.79     19.93  --
2662.76/667.28	c  N dy  5534   2442658       621      2749         0     88333      8413   1065638     18.79     20.21  --
2693.09/674.82	c  N dy  5611   2462752       621      2749         0    108164      8413   1611959     18.79     22.86  --
2732.20/684.62	c  N dy  5705   2482814       621      2749         0    127999      8413   2167038     18.80     20.85  --
2764.53/692.75	c  N dy  5821   2502977       621      2749         0     79815      8413    819834     18.81     19.81  --
2794.86/700.38	c  N dy  5947   2523245       621      2749         0     99896      8413   1382097     18.82     19.85  --
2835.17/710.45	c  N dy  6068   2544602       621      2749         0    121007      8413   1975439     18.84     19.83  --
2877.47/721.04	c  N dy  6189   2564649       621      2749         0     71622      8413    566135     18.85     20.78  --
2901.02/726.91	c  N dy  6257   2584700       621      2749         0     91441      8413   1123319     18.85     19.89  --
2934.14/735.24	c  N dy  6353   2604758       621      2749         0    111318      8413   1676529     18.86     20.49  --
2974.85/745.43	c  N dy  6445   2624869       621      2749         0    131218      8413   2231997     18.86     20.25  --
3011.19/754.55	c  N dy  6531   2644892       621      2749         0     80764      8413    797792     18.87     21.69  --
3038.31/761.30	c  N dy  6577   2664983       621      2749         0    100569      8413   1328989     18.86     20.84  --
3073.43/770.10	c  N dy  6659   2685022       621      2749         0    120336      8413   1877836     18.86     20.91  --
3117.32/781.12	c  N dy  6746   2705071       621      2749         0    140155      8413   2424510     18.86     20.13  --
3128.11/783.80	c  S st  6772   2711512       621      2749         0     75377      8413    624746     18.86     15.94  --
3128.51/783.99	c  S st  6772   2712015       621      2749         0     75880      8413    639172     18.86   no data  --
3128.91/784.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3128.91/784.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3128.91/784.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
3128.91/784.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3128.91/784.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3128.91/784.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
3128.91/784.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3138.92/786.52	c lits-rem:       206  cl-subs:      239  v-elim:      0  v-fix:    0  time:  9.80 s
3138.92/786.52	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
3138.92/786.53	c vivif2 --  cl tried    75641 cl shrink        0 lits rem          0 time: 0.04
3139.28/786.62	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.35
3139.28/786.62	c calculated reachability. Time: 0.00
3139.28/786.62	c  N dy  6772   2712015       621      2749         0     75641      8413    632857     18.86   no data  --
3165.62/793.21	c  N dy  6880   2732053       621      2749         0     95472      8413   1185413     18.87     19.87  --
3200.38/801.91	c  N dy  7000   2752140       621      2749         0    115328      8413   1741793     18.88     20.85  --
3238.66/811.50	c  N dy  7030   2772942       621      2749         0    135828      8413   2290413     18.87     19.95  --
3272.98/820.17	c  N dy  7121   2793277       621      2749         0     83770      8413    832134     18.87     19.95  --
3309.72/829.39	c  N dy  7235   2818497       621      2749         0    108654      8413   1533399     18.87     19.94  --
3348.81/839.16	c  N dy  7333   2838765       621      2749         0    128708      8413   2094782     18.88     20.01  --
3399.10/851.79	c  N dy  7381   2865290       621      2749         0     81762      8413    742851     18.86     19.86  --
3428.25/859.04	c  N dy  7500   2885354       621      2749         0    101631      8413   1307540     18.87     20.01  --
3464.94/868.29	c  N dy  7606   2905418       621      2749         0    121465      8413   1866456     18.88     20.65  --
3508.45/879.17	c  N dy  7685   2926083       621      2749         0    141848      8413   2429344     18.88     19.90  --
3555.98/891.03	c  N dy  7778   2951800       621      2749         0     93183      8413   1065291     18.88     19.94  --
3597.85/901.57	c  N dy  7854   2972178       621      2749         0    113309      8413   1620720     18.88     20.06  --
3646.54/913.76	c  N dy  7965   2992282       621      2749         0    133209      8413   2178693     18.89     20.01  --
3688.44/924.28	c  N dy  8022   3012553       621      2749         0     78152      8413    619553     18.89     19.94  --
3724.76/933.39	c  N dy  8114   3039239       621      2749         0    104531      8413   1346657     18.88     20.00  --
3764.28/943.28	c  N dy  8229   3059725       621      2749         0    124763      8413   1911822     18.89     20.05  --
3818.97/956.93	c  N dy  8310   3081639       621      2749         0    146374      8413   2510090     18.89     19.91  --
3860.45/967.33	c  N dy  8411   3101872       621      2749         0     90291      8413    939587     18.90     20.01  --
3916.73/981.44	c  N dy  8487   3136612       621      2749         0    124539      8413   1881609     18.87     20.04  --
3963.43/993.14	c  N dy  8592   3157106       621      2749         0    144801      8413   2456396     18.88     19.93  --
4004.93/1003.51	c  N dy  8685   3180057       621      2749         0     90446      8413    912498     18.88     19.96  --
4036.86/1011.51	c  N dy  8779   3200136       621      2749         0    110316      8413   1470333     18.88     19.99  --
4059.61/1017.26	c  S st  8859   3212015       621      2749         0    122074      8413   1803077     18.89     15.57  --
4061.20/1017.60	c  S st  8859   3212521       621      2749         0    122580      8413   1817441     18.89   no data  --
4061.20/1017.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4061.20/1017.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4061.20/1017.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
4061.60/1017.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4061.60/1017.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4061.60/1017.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.00 s
4061.60/1017.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4084.35/1023.46	c lits-rem:       218  cl-subs:     2073  v-elim:      0  v-fix:    0  time: 22.86 s
4084.35/1023.46	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
4084.35/1023.49	c vivif2 --  cl tried   120507 cl shrink        0 lits rem          0 time: 0.10
4085.15/1023.69	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.83
4085.55/1023.70	c calculated reachability. Time: 0.00
4085.55/1023.70	c  N dy  8859   3212521       621      2749         0    120507      8413   1757997     18.89   no data  --
4130.67/1035.08	c  N dy  8948   3233029       621      2749         0    140786      8413   2322474     18.90     19.92  --
4187.32/1049.21	c  N dy  9014   3264383       621      2749         0     93655      8413    977525     18.88     19.90  --
4219.64/1057.31	c  N dy  9083   3285376       621      2749         0    114360      8413   1549676     18.88     19.89  --
4259.16/1067.21	c  N dy  9153   3305397       621      2749         0    134090      8413   2088238     18.88     20.38  --
4307.84/1079.48	c  N dy  9226   3326010       621      2749         0    154454      8413   2651286     18.88     19.88  --
4341.81/1087.92	c  N dy  9345   3346150       621      2749         0     95404      8413   1020462     18.89     20.00  --
4374.50/1096.19	c  N dy  9447   3366322       621      2749         0    115363      8413   1578624     18.89     19.94  --
4415.21/1106.34	c  N dy  9536   3386425       621      2749         0    135256      8413   2134967     18.90     19.92  --
4471.48/1120.44	c  N dy  9630   3406941       621      2749         0    155511      8413   2698807     18.90     19.90  --
4514.58/1131.27	c  N dy  9743   3427285       621      2749         0     95595      8413    997403     18.91     19.92  --
4557.69/1142.02	c  N dy  9884   3448266       621      2749         0    116334      8413   1578227     18.92     19.99  --
4596.02/1151.64	c  N dy  9913   3468326       621      2749         0    136124      8413   2123690     18.90     20.92  --
4646.69/1164.32	c  N dy 10033   3488526       621      2749         0    156092      8413   2686027     18.91     19.91  --
4683.82/1173.68	c  N dy 10165   3508616       621      2749         0     94957      8413    961759     18.92     21.10  --
4723.33/1183.55	c  N dy 10262   3529334       621      2749         0    115489      8413   1532447     18.93     19.96  --
4765.22/1194.09	c  N dy 10363   3549380       621      2749         0    135291      8413   2080669     18.93     20.06  --

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-3368844-1305404319/watcher-3368844-1305404319 -o /tmp/evaluation-result-3368844-1305404319/solver-3368844-1305404319 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368844-1305404319.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: 3.51 5.19 6.81 2/280 3382
/proc/meminfo: memFree=21558816/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 652030051 52465664 352 33554432000 4194304 4650419 140736654550768 18446744073709551615 47563159885746 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 12809 352 303 112 0 7774 0
[pid=3382/tid=3386] ppid=3380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652030052 52465664 352 33554432000 4194304 4650419 140736654550768 18446744073709551615 47563159885746 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652030052 52465664 352 33554432000 4194304 4650419 140736654550768 18446744073709551615 47563159885740 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652030052 52465664 352 33554432000 4194304 4650419 140736654550768 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.036113 s]
/proc/loadavg: 3.51 5.19 6.81 2/280 3382
/proc/meminfo: memFree=21558816/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=282916 CPUtime=0.11 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 1565 0 0 0 11 0 0 0 18 0 4 0 652030051 289705984 1394 33554432000 4194304 4650419 140736654550768 18446744073709551615 4349680 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 70729 1394 390 112 0 65694 0
[pid=3382/tid=3386] ppid=3380 vsize=282916 CPUtime=0.02 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 331 0 0 0 2 0 0 0 18 0 4 0 652030052 289705984 1394 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=282916 CPUtime=0.02 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 365 0 0 0 2 0 0 0 18 0 4 0 652030052 289705984 1394 33554432000 4194304 4650419 140736654550768 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=282916 CPUtime=0.02 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 142 0 0 0 2 0 0 0 25 0 4 0 652030052 289705984 1394 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 282916

[startup+0.101102 s]
/proc/loadavg: 3.51 5.19 6.81 2/280 3382
/proc/meminfo: memFree=21558816/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=282916 CPUtime=0.37 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 1915 0 0 0 37 0 0 0 18 0 4 0 652030051 289705984 1744 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 70729 1744 391 112 0 65694 0
[pid=3382/tid=3386] ppid=3380 vsize=282916 CPUtime=0.09 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 414 0 0 0 9 0 0 0 18 0 4 0 652030052 289705984 1744 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=282916 CPUtime=0.09 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 448 0 0 0 9 0 0 0 18 0 4 0 652030052 289705984 1744 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=282916 CPUtime=0.08 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 229 0 0 0 8 0 0 0 25 0 4 0 652030052 289705984 1744 33554432000 4194304 4650419 140736654550768 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282916

[startup+0.301066 s]
/proc/loadavg: 3.51 5.19 6.81 2/280 3382
/proc/meminfo: memFree=21558816/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=284492 CPUtime=1.16 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 3104 0 0 0 116 0 0 0 18 0 4 0 652030051 291319808 2268 33554432000 4194304 4650419 140736654550768 18446744073709551615 4363506 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 71123 2268 393 112 0 66088 0
[pid=3382/tid=3386] ppid=3380 vsize=284492 CPUtime=0.29 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 704 0 0 0 29 0 0 0 18 0 4 0 652030052 291319808 2268 33554432000 4194304 4650419 140736654550768 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=284492 CPUtime=0.29 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 756 0 0 0 29 0 0 0 18 0 4 0 652030052 291319808 2268 33554432000 4194304 4650419 140736654550768 18446744073709551615 4363548 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=284492 CPUtime=0.28 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 515 0 0 0 28 0 0 0 25 0 4 0 652030052 291319808 2268 33554432000 4194304 4650419 140736654550768 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284492

[startup+0.700996 s]
/proc/loadavg: 3.51 5.19 6.81 2/280 3382
/proc/meminfo: memFree=21558816/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=285268 CPUtime=2.76 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 4879 0 0 0 276 0 0 0 18 0 4 0 652030051 292114432 3034 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 71317 3034 393 112 0 66282 0
[pid=3382/tid=3386] ppid=3380 vsize=285268 CPUtime=0.69 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 1150 0 0 0 69 0 0 0 18 0 4 0 652030052 292114432 3034 33554432000 4194304 4650419 140736654550768 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=285268 CPUtime=0.69 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 1200 0 0 0 69 0 0 0 18 0 4 0 652030052 292114432 3034 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=285268 CPUtime=0.68 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 944 0 0 0 68 0 0 0 25 0 4 0 652030052 292114432 3034 33554432000 4194304 4650419 140736654550768 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285268

[startup+1.50086 s]
/proc/loadavg: 3.51 5.19 6.81 11/291 3393
/proc/meminfo: memFree=21533812/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=286844 CPUtime=5.96 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 9823 0 0 0 595 1 0 0 20 0 4 0 652030051 293728256 5142 33554432000 4194304 4650419 140736654550768 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 71711 5142 395 112 0 66676 0
[pid=3382/tid=3386] ppid=3380 vsize=286844 CPUtime=1.49 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 2012 0 0 0 149 0 0 0 20 0 4 0 652030052 293728256 5142 33554432000 4194304 4650419 140736654550768 18446744073709551615 4328318 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=286844 CPUtime=1.49 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 2061 0 0 0 149 0 0 0 19 0 4 0 652030052 293728256 5142 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=286844 CPUtime=1.47 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 1760 0 0 0 147 0 0 0 25 0 4 0 652030052 293728256 5142 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286844

[startup+3.10057 s]
/proc/loadavg: 3.51 5.19 6.81 9/291 3393
/proc/meminfo: memFree=21494380/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=283360 CPUtime=12.34 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 18218 0 0 0 1232 2 0 0 25 0 4 0 652030051 290160640 10593 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 70840 10593 395 112 0 65805 0
[pid=3382/tid=3386] ppid=3380 vsize=283360 CPUtime=3.08 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 4419 0 0 0 308 0 0 0 25 0 4 0 652030052 290160640 10593 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=283360 CPUtime=3.09 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 4888 0 0 0 309 0 0 0 25 0 4 0 652030052 290160640 10593 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=283360 CPUtime=3.06 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 3846 0 0 0 306 0 0 0 25 0 4 0 652030052 290160640 10593 33554432000 4194304 4650419 140736654550768 18446744073709551615 4363371 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283360

[startup+6.301 s]
/proc/loadavg: 3.87 5.23 6.82 10/291 3393
/proc/meminfo: memFree=21438576/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=300912 CPUtime=25.11 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 28006 0 0 0 2507 4 0 0 25 0 4 0 652030051 308133888 14095 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 75228 14095 395 112 0 70193 0
[pid=3382/tid=3386] ppid=3380 vsize=300912 CPUtime=6.29 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 7439 0 0 0 628 1 0 0 25 0 4 0 652030052 308133888 14095 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=300912 CPUtime=6.28 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 7282 0 0 0 628 0 0 0 25 0 4 0 652030052 308133888 14095 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=300912 CPUtime=6.23 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 5883 0 0 0 622 1 0 0 25 0 4 0 652030052 308133888 14095 33554432000 4194304 4650419 140736654550768 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 300912

[startup+12.7009 s]
/proc/loadavg: 4.28 5.30 6.83 9/291 3393
/proc/meminfo: memFree=21387416/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=299872 CPUtime=50.66 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 42071 0 0 0 5058 8 0 0 25 0 4 0 652030051 307068928 20854 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 74968 20854 395 112 0 69933 0
[pid=3382/tid=3386] ppid=3380 vsize=299872 CPUtime=12.68 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 10659 0 0 0 1267 1 0 0 25 0 4 0 652030052 307068928 20854 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=299872 CPUtime=12.68 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 11241 0 0 0 1267 1 0 0 25 0 4 0 652030052 307068928 20854 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=299872 CPUtime=12.56 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 9138 0 0 0 1255 1 0 0 25 0 4 0 652030052 307068928 20854 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 299872

[startup+25.5006 s]
/proc/loadavg: 5.33 5.48 6.87 10/291 3394
/proc/meminfo: memFree=21327400/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=314240 CPUtime=101.73 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 63059 0 0 0 10160 13 0 0 25 0 4 0 652030051 321781760 29221 33554432000 4194304 4650419 140736654550768 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 78560 29221 395 112 0 73525 0
[pid=3382/tid=3386] ppid=3380 vsize=314240 CPUtime=25.48 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 15599 0 0 0 2546 2 0 0 25 0 4 0 652030052 321781760 29221 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=314240 CPUtime=25.49 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 18722 0 0 0 2545 4 0 0 25 0 4 0 652030052 321781760 29221 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=314240 CPUtime=25.24 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 12784 0 0 0 2522 2 0 0 25 0 4 0 652030052 321781760 29221 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 314240

[startup+51.1011 s]
/proc/loadavg: 6.48 5.73 6.91 10/291 3394
/proc/meminfo: memFree=21270764/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=371532 CPUtime=203.9 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 95191 0 0 0 20368 22 0 0 25 0 4 0 652030051 380448768 34805 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364301 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 92883 34805 395 112 0 87848 0
[pid=3382/tid=3386] ppid=3380 vsize=371532 CPUtime=51.09 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 22867 0 0 0 5104 5 0 0 25 0 4 0 652030052 380448768 34805 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=371532 CPUtime=51.08 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 29019 0 0 0 5102 6 0 0 25 0 4 0 652030052 380448768 34805 33554432000 4194304 4650419 140736654550768 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=371532 CPUtime=50.62 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 19777 0 0 0 5057 5 0 0 25 0 4 0 652030052 380448768 34805 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 371532

[startup+102.311 s]
/proc/loadavg: 7.40 6.09 6.97 9/291 3396
/proc/meminfo: memFree=21170188/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=458500 CPUtime=408.28 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 144127 0 0 0 40791 37 0 0 25 0 4 0 652030051 469504000 50236 33554432000 4194304 4650419 140736654550768 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 114625 50236 395 112 0 109590 0
[pid=3382/tid=3386] ppid=3380 vsize=458500 CPUtime=102.3 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 37892 0 0 0 10221 9 0 0 25 0 4 0 652030052 469504000 50236 33554432000 4194304 4650419 140736654550768 18446744073709551615 4441512 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=458500 CPUtime=102.29 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 40897 0 0 0 10219 10 0 0 25 0 4 0 652030052 469504000 50240 33554432000 4194304 4650419 140736654550768 18446744073709551615 4334371 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=458500 CPUtime=101.36 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 30613 0 0 0 10127 9 0 0 25 0 4 0 652030052 469504000 50255 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 458500

[startup+162.3 s]

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

[pid=3382] ppid=3380 vsize=563720 CPUtime=2563.4 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 420660 0 0 0 256187 153 0 0 25 0 4 0 652030051 577249280 86562 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 140930 86562 395 112 0 135895 0
[pid=3382/tid=3386] ppid=3380 vsize=563720 CPUtime=642.31 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 123071 0 0 0 64187 44 0 0 25 0 4 0 652030052 577249280 86564 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=563720 CPUtime=642.3 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 122552 0 0 0 64187 43 0 0 25 0 4 0 652030052 577249280 86564 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=563720 CPUtime=636.46 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 79859 0 0 0 63615 31 0 0 25 0 4 0 652030052 577249280 86564 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.4
Current children cumulated vsize (KiB) 563720

[startup+702.3 s]
/proc/loadavg: 8.27 7.96 7.56 9/291 3412
/proc/meminfo: memFree=20753372/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=576400 CPUtime=2802.84 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 446443 0 0 0 280120 164 0 0 25 0 4 0 652030051 590233600 96365 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 144100 96365 395 112 0 139065 0
[pid=3382/tid=3386] ppid=3380 vsize=576400 CPUtime=702.3 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 130328 0 0 0 70182 48 0 0 25 0 4 0 652030052 590233600 96365 33554432000 4194304 4650419 140736654550768 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=576400 CPUtime=702.3 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 131037 0 0 0 70183 47 0 0 25 0 4 0 652030052 590233600 96365 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=576400 CPUtime=695.91 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 85659 0 0 0 69558 33 0 0 25 0 4 0 652030052 590233600 96365 33554432000 4194304 4650419 140736654550768 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.84
Current children cumulated vsize (KiB) 576400

[startup+762.311 s]
/proc/loadavg: 8.14 7.98 7.59 9/291 3414
/proc/meminfo: memFree=20729060/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=576636 CPUtime=3042.34 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 468869 0 0 0 304059 175 0 0 25 0 4 0 652030051 590475264 95048 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 144159 95048 395 112 0 139124 0
[pid=3382/tid=3386] ppid=3380 vsize=576636 CPUtime=762.31 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 137543 0 0 0 76178 53 0 0 25 0 4 0 652030052 590475264 95048 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=576636 CPUtime=762.31 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 140847 0 0 0 76181 50 0 0 25 0 4 0 652030052 590475264 95048 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=576636 CPUtime=755.37 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 86463 0 0 0 75504 33 0 0 25 0 4 0 652030052 590475264 95048 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.34
Current children cumulated vsize (KiB) 576636

[startup+822.301 s]
/proc/loadavg: 8.15 8.02 7.63 9/291 3416
/proc/meminfo: memFree=20664064/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=576792 CPUtime=3281.76 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 495813 0 0 0 327989 187 0 0 25 0 4 0 652030051 590635008 101514 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 144198 101514 395 112 0 139163 0
[pid=3382/tid=3386] ppid=3380 vsize=576792 CPUtime=822.31 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 144743 0 0 0 82174 57 0 0 25 0 4 0 652030052 590635008 101514 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=576792 CPUtime=822.3 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 148300 0 0 0 82177 53 0 0 25 0 4 0 652030052 590635008 101514 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=576792 CPUtime=814.82 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 93163 0 0 0 81446 36 0 0 25 0 4 0 652030052 590635008 101514 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.76
Current children cumulated vsize (KiB) 576792

[startup+882.301 s]
/proc/loadavg: 8.15 8.04 7.66 9/291 3417
/proc/meminfo: memFree=20622276/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=624084 CPUtime=3521.22 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 518156 0 0 0 351921 201 0 0 25 0 4 0 652030051 639062016 106975 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 156021 106975 395 112 0 150986 0
[pid=3382/tid=3386] ppid=3380 vsize=624084 CPUtime=882.3 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 152067 0 0 0 88169 61 0 0 25 0 4 0 652030052 639062016 106975 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=624084 CPUtime=882.3 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 154845 0 0 0 88174 56 0 0 25 0 4 0 652030052 639062016 106975 33554432000 4194304 4650419 140736654550768 18446744073709551615 4314944 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=624084 CPUtime=874.28 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 98620 0 0 0 87388 40 0 0 25 0 4 0 652030052 639062016 106976 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.22
Current children cumulated vsize (KiB) 624084

[startup+942.301 s]
/proc/loadavg: 8.19 8.08 7.69 9/291 3419
/proc/meminfo: memFree=20594976/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=606080 CPUtime=3760.69 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 539375 0 0 0 375858 211 0 0 25 0 4 0 652030051 620625920 114165 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 151520 114165 395 112 0 146485 0
[pid=3382/tid=3386] ppid=3380 vsize=606080 CPUtime=942.31 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 158186 0 0 0 94167 64 0 0 25 0 4 0 652030052 620625920 114165 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=606080 CPUtime=942.3 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 161522 0 0 0 94171 59 0 0 25 0 4 0 652030052 620625920 114165 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=606080 CPUtime=933.74 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 102937 0 0 0 93332 42 0 0 25 0 4 0 652030052 620625920 114165 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.69
Current children cumulated vsize (KiB) 606080

[startup+1002.3 s]
/proc/loadavg: 8.12 8.08 7.71 9/291 3421
/proc/meminfo: memFree=20621740/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=580280 CPUtime=4000.14 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 562104 0 0 0 399792 222 0 0 25 0 4 0 652030051 594206720 104362 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 145070 104362 395 112 0 140035 0
[pid=3382/tid=3386] ppid=3380 vsize=580280 CPUtime=1002.3 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 165126 0 0 0 100162 68 0 0 25 0 4 0 652030052 594206720 104362 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=580280 CPUtime=1002.31 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 169528 0 0 0 100169 62 0 0 25 0 4 0 652030052 594206720 104362 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=580280 CPUtime=993.19 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 105656 0 0 0 99275 44 0 0 25 0 4 0 652030052 594206720 104362 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.14
Current children cumulated vsize (KiB) 580280

[startup+1062.3 s]
/proc/loadavg: 8.17 8.10 7.74 9/291 3422
/proc/meminfo: memFree=20589220/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=594064 CPUtime=4239.61 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 589867 0 0 0 423728 233 0 0 25 0 4 0 652030051 608321536 111166 33554432000 4194304 4650419 140736654550768 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 148516 111166 395 112 0 143481 0
[pid=3382/tid=3386] ppid=3380 vsize=594064 CPUtime=1062.31 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 171660 0 0 0 106160 71 0 0 25 0 4 0 652030052 608321536 111166 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=594064 CPUtime=1062.31 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 176828 0 0 0 106166 65 0 0 25 0 4 0 652030052 608321536 111166 33554432000 4194304 4650419 140736654550768 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=594064 CPUtime=1052.65 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 114165 0 0 0 105218 47 0 0 25 0 4 0 652030052 608321536 111166 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.61
Current children cumulated vsize (KiB) 594064

[startup+1122.3 s]
/proc/loadavg: 8.18 8.11 7.77 9/291 3424
/proc/meminfo: memFree=20543560/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=711948 CPUtime=4479.07 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 612984 0 0 0 447664 243 0 0 25 0 4 0 652030051 729034752 121576 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 177987 121576 395 112 0 172952 0
[pid=3382/tid=3386] ppid=3380 vsize=711948 CPUtime=1122.31 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 178047 0 0 0 112158 73 0 0 25 0 4 0 652030052 729034752 121576 33554432000 4194304 4650419 140736654550768 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=711948 CPUtime=1122.3 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 184434 0 0 0 112162 68 0 0 25 0 4 0 652030052 729034752 121576 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=711948 CPUtime=1112.1 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 119136 0 0 0 111161 49 0 0 25 0 4 0 652030052 729034752 121576 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.07
Current children cumulated vsize (KiB) 711948

[startup+1182.3 s]
/proc/loadavg: 8.26 8.15 7.80 9/291 3425
/proc/meminfo: memFree=20515660/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=728760 CPUtime=4718.53 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 632290 0 0 0 471601 252 0 0 25 0 4 0 652030051 746250240 128664 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 182190 128664 395 112 0 177155 0
[pid=3382/tid=3386] ppid=3380 vsize=728760 CPUtime=1182.31 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 181356 0 0 0 118157 74 0 0 25 0 4 0 652030052 746250240 128664 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=728760 CPUtime=1182.31 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 193849 0 0 0 118159 72 0 0 25 0 4 0 652030052 746250240 128664 33554432000 4194304 4650419 140736654550768 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=728760 CPUtime=1171.56 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 123611 0 0 0 117104 52 0 0 25 0 4 0 652030052 746250240 128664 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.53
Current children cumulated vsize (KiB) 728760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.26 8.16 7.81 9/291 3426
/proc/meminfo: memFree=20489992/32951124 swapFree=66457188/67111528
[pid=3382] ppid=3380 vsize=883076 CPUtime=4800.35 cores=0,2,4,6
/proc/3382/stat : 3382 (strangenight1-m) R 3380 3382 2765 0 -1 4202496 636619 0 0 0 479781 254 0 0 25 0 4 0 652030051 904269824 131029 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3382/statm: 220769 131029 395 112 0 215734 0
[pid=3382/tid=3386] ppid=3380 vsize=883076 CPUtime=1202.83 cores=0,2,4,6
/proc/3382/task/3386/stat : 3386 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 182317 0 0 0 120208 75 0 0 25 0 4 0 652030052 904269824 131030 33554432000 4194304 4650419 140736654550768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3382/tid=3388] ppid=3380 vsize=883076 CPUtime=1202.82 cores=0,2,4,6
/proc/3382/task/3388/stat : 3388 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 195075 0 0 0 120209 73 0 0 25 0 4 0 652030052 904269824 131030 33554432000 4194304 4650419 140736654550768 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3382/tid=3391] ppid=3380 vsize=883076 CPUtime=1191.88 cores=0,2,4,6
/proc/3382/task/3391/stat : 3391 (strangenight1-m) R 3380 3382 2765 0 -1 4202560 124650 0 0 0 119135 53 0 0 25 0 4 0 652030052 904269824 131030 33554432000 4194304 4650419 140736654550768 18446744073709551615 4363311 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 883076

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.43
CPU user time (s): 4797.85
CPU system time (s): 2.57661
CPU usage (%): 399.09
Max. virtual memory (cumulated for all children) (KiB): 883076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.85
system time used= 2.57661
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 636621
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= 423
involuntary context switches= 68877

runsolver used 3.22151 second user time and 7.73682 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 22:18:39
IDJOB=3368844
IDBENCH=82853
IDSOLVER=1846
FILE ID=node132/3368844-1305404319
RUNJOBID= node132-1305404319-3365
PBS_JOBID= 13324471
Free space on /tmp= 73332 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368844-1305404319/watcher-3368844-1305404319 -o /tmp/evaluation-result-3368844-1305404319/solver-3368844-1305404319 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368844-1305404319.cnf

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

MD5SUM BENCH= 5df52ad002b8e310753df40806d6b835
RANDOM SEED=1714793850

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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:      21559236 kB
Buffers:        278320 kB
Cached:        5565624 kB
SwapCached:       6904 kB
Active:        4774280 kB
Inactive:      6313128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21559236 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           12532 kB
Writeback:           0 kB
AnonPages:     5242156 kB
Mapped:          18472 kB
Slab:           218012 kB
PageTables:      24392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34738472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73320 MiB
End job on node132 at 2011-05-14 22:38:44