Trace number 3368999

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.23 1203.64

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf
MD5SUM2b3c7a221faca9e629eac8ef7f1b0cd7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031995
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-3368999-1305409924.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.00 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.37/0.18	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
0.37/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.18	c calculated reachability. Time: 0.00
0.37/0.18	c Calc default polars -  time:   0.00 s pos:     298 undec:      82 neg:     270
0.37/0.18	c =========================================================================================
0.37/0.18	c types(t): F = full restart, N = normal restart
0.37/0.18	c types(t): S = simplification begin/end, E = solution found
0.37/0.18	c restart types(rt): st = static, dy = dynamic
0.37/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.18	c  B st     0         0       631      2741         0         0      8302         0   no data   no data  --
0.37/0.18	c Decided on static restart strategy
0.37/0.18	c  N st     8      4917       631      2741         0      4848      8302    136040   no data   no data  --
3.57/0.90	c  N st    10     11300       631      2741         0      4497      8302     92102   no data   no data  --
3.57/0.90	c  N st    11     17043       631      2741         0     10128      8302    251408   no data   no data  --
4.76/1.20	c  F st    12     25003       631      2741         0     12427      8302    316181   no data   no data  --
4.76/1.20	c  N st    12     25003       631      2741         0     12427      8302    316181   no data   no data  --
5.56/1.41	c Decided on static restart strategy
5.56/1.41	c  N st    18     30001       631      2741         0     10710      8302    248339   no data   no data  --
5.56/1.41	c  S st    18     30001       631      2741         0     10710      8302    248339   no data   no data  --
5.56/1.44	c  S st    18     30505       631      2741         0     11211      8302    261666   no data   no data  --
5.56/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.56/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
5.56/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.75/1.72	c lits-rem:       101  cl-subs:      444  v-elim:      0  v-fix:    0  time:  1.08 s
6.75/1.73	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.04
6.75/1.73	c calculated reachability. Time: 0.00
6.75/1.73	c  N st    18     30505       631      2741         0     10767      8302    246939   no data   no data  --
8.39/2.15	c  N st    20     37615       631      2741         0     10014      8302    197445   no data   no data  --
9.94/2.54	c  N st    21     44014       631      2741         0     16278      8302    378635   no data   no data  --
10.35/2.67	c  S st    22     45757       631      2741         0      9214      8302    155523   no data   no data  --
10.75/2.70	c  S st    22     46258       631      2741         0      9715      8302    167829   no data   no data  --
10.75/2.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.75/2.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.75/2.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
10.75/2.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.15/2.83	c lits-rem:        27  cl-subs:       47  v-elim:      0  v-fix:    0  time:  0.48 s
11.15/2.83	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
11.15/2.83	c vivif2 --  cl tried     9668 cl shrink        0 lits rem          0 time: 0.00
11.15/2.84	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.03
11.15/2.84	c calculated reachability. Time: 0.00
11.15/2.84	c  N st    22     46258       631      2741         0      9668      8302    166247   no data   no data  --
15.13/3.85	c  N st    23     60656       631      2741         0     14000      8302    287126   no data   no data  --
17.92/4.55	c  N st    24     69387       631      2741         0     11821      8302    207619   no data   no data  --
17.92/4.55	c  S st    24     69387       631      2741         0     11821      8302    207619   no data   no data  --
17.92/4.58	c  S st    24     69892       631      2741         0     12325      8302    220974   no data   no data  --
17.92/4.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.92/4.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.92/4.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.92/4.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.92/4.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.92/4.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
17.92/4.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.12/4.84	c lits-rem:        96  cl-subs:       80  v-elim:      0  v-fix:    0  time:  0.97 s
19.12/4.84	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
19.12/4.84	c vivif2 --  cl tried    12245 cl shrink        0 lits rem          0 time: 0.01
19.12/4.85	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.04
19.12/4.85	c calculated reachability. Time: 0.00
19.12/4.85	c  N st    24     69892       631      2741         0     12245      8302    218107   no data   no data  --
24.71/6.24	c  F st    25     87501       631      2741         0     17723      8302    365429   no data   no data  --
24.71/6.24	c  N st    25     87501       631      2741         0     17723      8302    365429   no data   no data  --
26.35/6.63	c Decided on static restart strategy
27.09/6.89	c  N st    32     95540       631      2741         0     25648      8302    599898   no data   no data  --
30.32/7.63	c  N st    34    104839       631      2741         0     22009      8302    465615   no data   no data  --
30.32/7.63	c  S st    34    104839       631      2741         0     22009      8302    465615   no data   no data  --
30.32/7.68	c  S st    34    105340       631      2741         0     22509      8302    477944   no data   no data  --
30.32/7.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.32/7.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.32/7.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.32/7.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.32/7.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.32/7.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
30.32/7.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.47/8.90	c lits-rem:       349  cl-subs:      498  v-elim:      0  v-fix:    0  time:  4.74 s
35.47/8.90	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
35.47/8.90	c vivif2 --  cl tried    22011 cl shrink        0 lits rem          0 time: 0.02
35.47/8.92	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.08
35.47/8.92	c calculated reachability. Time: 0.00
35.47/8.92	c  N st    34    105340       631      2741         0     22011      8302    461237   no data   no data  --
39.09/9.83	c  N st    35    114939       631      2741         0     17708      8302    319475   no data   no data  --
44.65/11.25	c  N st    36    129336       631      2741         0     17134      8302    281193   no data   no data  --
52.66/13.25	c  N st    37    150932       631      2741         0     22615      8302    426151   no data   no data  --
55.42/13.94	c  S st    38    158010       631      2741         0     29548      8302    635025   no data   no data  --
55.82/14.01	c  S st    38    158516       631      2741         0     30054      8302    648773   no data   no data  --
55.82/14.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
55.82/14.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.82/14.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
55.82/14.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.82/14.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.82/14.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
55.82/14.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.38/15.94	c lits-rem:      1645  cl-subs:     1154  v-elim:      0  v-fix:    0  time:  7.55 s
63.38/15.94	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
63.38/15.95	c vivif2 --  cl tried    28900 cl shrink        0 lits rem          0 time: 0.03
63.38/15.97	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.10
63.38/15.98	c calculated reachability. Time: 0.00
63.38/15.98	c  N st    38    158516       631      2741         0     28900      8302    608934   no data   no data  --
85.72/21.55	c  N st    39    207106       631      2741         0     23532      8302    405390   no data   no data  --
100.92/25.39	c  N st    40    237776       631      2741         0     34048      8302    697359   no data   no data  --
100.92/25.39	c  S st    40    237776       631      2741         0     34048      8302    697359   no data   no data  --
101.27/25.48	c  S st    40    238283       631      2741         0     34555      8302    712201   no data   no data  --
101.27/25.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.27/25.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
101.67/25.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
101.67/25.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
101.67/25.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.67/25.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
101.67/25.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
110.45/27.75	c lits-rem:       273  cl-subs:     1348  v-elim:      0  v-fix:    0  time:  8.89 s
110.45/27.75	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
110.45/27.76	c vivif2 --  cl tried    33207 cl shrink        0 lits rem          0 time: 0.03
110.45/27.79	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.13
110.45/27.79	c calculated reachability. Time: 0.00
110.45/27.79	c  N st    40    238283       631      2741         0     33207      8302    669496   no data   no data  --
143.16/35.91	c  F st    41    306251       631      2741         0     35430      8302    726569   no data   no data  --
143.16/35.91	c  N st    41    306251       631      2741         0     35430      8302    726569   no data   no data  --
145.55/36.56	c Decided on static restart strategy
156.32/39.21	c  N st    51    334557       631      2741         0     39618      8302    792122   no data   no data  --
166.33/41.81	c  N st    53    357424       631      2741         0     37463      8302    710046   no data   no data  --
166.33/41.81	c  S st    53    357424       631      2741         0     37463      8302    710046   no data   no data  --
167.09/41.90	c  S st    53    357927       631      2741         0     37966      8302    723776   no data   no data  --
167.09/41.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
167.09/41.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.09/41.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
167.09/41.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.09/41.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.09/41.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
167.09/41.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
175.10/43.95	c lits-rem:       533  cl-subs:      838  v-elim:      0  v-fix:    0  time:  8.01 s
175.10/43.95	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
175.10/43.96	c vivif2 --  cl tried    37128 cl shrink        0 lits rem          0 time: 0.03
175.10/43.99	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.14
175.10/43.99	c calculated reachability. Time: 0.00
175.10/43.99	c  N st    53    357927       631      2741         0     37128      8302    695132   no data   no data  --
193.06/48.48	c  N st    54    390320       631      2741         0     43349      8302    826499   no data   no data  --
219.39/55.08	c  N st    55    438910       631      2741         0     36935      8302    628220   no data   no data  --
262.85/65.97	c  N st    56    511793       631      2741         0     50515      8302   1038347   no data   no data  --
276.77/69.48	c  N st    57    536891       631      2741         0     44691      8302    801339   no data   no data  --
276.77/69.48	c  S st    57    536891       631      2741         0     44691      8302    801339   no data   no data  --
277.17/69.59	c  S st    57    537397       631      2741         0     45197      8302    815344   no data   no data  --
277.17/69.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
277.17/69.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.57/69.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
277.57/69.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
277.57/69.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.57/69.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
277.57/69.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
287.14/72.07	c lits-rem:       827  cl-subs:     1608  v-elim:      0  v-fix:    0  time:  9.69 s
287.14/72.07	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
287.14/72.08	c vivif2 --  cl tried    43589 cl shrink        0 lits rem          0 time: 0.04
287.54/72.12	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.19
287.54/72.12	c calculated reachability. Time: 0.00
287.54/72.12	c  N st    57    537397       631      2741         0     43589      8302    766155   no data   no data  --
396.43/99.42	c  N st    58    701382       631      2741         0     37848      8302    493139   no data   no data  --
478.23/119.99	c  N st    59    806096       631      2741         0     66958      8302   1378182   no data   no data  --
478.23/119.99	c  S st    59    806096       631      2741         0     66958      8302   1378182   no data   no data  --
478.98/120.17	c  S st    59    806600       631      2741         0     67460      8302   1392281   no data   no data  --
478.98/120.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
478.98/120.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
479.38/120.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
479.38/120.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
479.38/120.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
479.38/120.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
479.38/120.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
499.33/125.30	c lits-rem:       396  cl-subs:     3314  v-elim:      0  v-fix:    0  time: 20.13 s
499.33/125.30	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
499.76/125.31	c vivif2 --  cl tried    64146 cl shrink        0 lits rem          0 time: 0.05
499.76/125.40	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.36
499.76/125.41	c calculated reachability. Time: 0.00
499.76/125.41	c  N st    59    806600       631      2741         0     64146      8302   1281739   no data   no data  --
722.28/181.17	c  F st    60   1071877       631      2741         0     79699      8302   1588223   no data   no data  --
722.28/181.17	c  N st    60   1071877       631      2741         0     79699      8302   1588223   no data   no data  --
741.47/185.97	c  N dy   123   1092087       631      2741         0     55687      8302    775476     18.91     20.10  --
762.17/191.16	c  N dy   201   1112425       631      2741         0     75839      8302   1337690     18.87     20.06  --
786.88/197.34	c  N dy   300   1132953       631      2741         0     50881      8302    589298     19.06     20.08  --
808.81/202.84	c  N dy   377   1156205       631      2741         0     73870      8302   1226240     18.86     19.94  --
835.94/209.62	c  N dy   455   1176567       631      2741         0     47613      8302    459029     18.78     20.04  --
853.89/214.10	c  N dy   537   1196853       631      2741         0     67717      8302   1009884     18.82     19.95  --
869.43/218.03	c  S st   589   1209901       631      2741         0     80618      8302   1364062     18.82   no data  --
870.23/218.27	c  S st   589   1210402       631      2741         0     81119      8302   1377978     18.82   no data  --
870.23/218.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
870.23/218.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
870.63/218.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
870.63/218.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
870.63/218.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
870.63/218.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
870.63/218.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
879.41/220.51	c lits-rem:       246  cl-subs:     1396  v-elim:      0  v-fix:    0  time:  8.61 s
879.41/220.52	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
879.41/220.53	c vivif2 --  cl tried    79723 cl shrink        0 lits rem          0 time: 0.07
879.82/220.64	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.43
879.82/220.64	c calculated reachability. Time: 0.00
879.82/220.64	c  N dy   589   1210402       631      2741         0     79723      8302   1336625     18.82   no data  --
910.13/228.29	c  N dy   664   1237068       631      2741         0     58599      8302    717890     18.68     19.82  --
931.66/233.69	c  N dy   777   1257087       631      2741         0     78441      8302   1274285     18.76     22.43  --
959.97/240.73	c  N dy   869   1277648       631      2741         0     50364      8302    472822     18.79     19.89  --
977.52/245.11	c  N dy   941   1297748       631      2741         0     70246      8302   1021281     18.76     19.82  --
1003.04/251.59	c  N dy  1050   1318063       631      2741         0     90349      8302   1587076     18.81     19.88  --
1027.36/257.63	c  N dy  1163   1338239       631      2741         0     60901      8302    749438     18.87     20.24  --
1074.04/269.31	c  N dy  1216   1379869       631      2741         0     51536      8302    452789     18.60     19.91  --
1093.17/274.14	c  N dy  1352   1399909       631      2741         0     71412      8302   1016456     18.69     23.09  --
1119.50/280.76	c  N dy  1479   1419948       631      2741         0     91254      8302   1570936     18.75     20.82  --
1145.41/287.28	c  N dy  1575   1440025       631      2741         0     59663      8302    647091     18.79     21.59  --
1166.17/292.48	c  N dy  1669   1460108       631      2741         0     79565      8302   1199977     18.80     20.11  --
1196.08/299.95	c  N dy  1798   1480430       631      2741         0     99694      8302   1767331     18.85     19.96  --
1218.00/305.43	c  N dy  1864   1501654       631      2741         0     68246      8302    872171     18.84     20.01  --
1242.73/311.67	c  N dy  1972   1522043       631      2741         0     88418      8302   1445009     18.87     20.22  --
1274.24/319.55	c  N dy  2072   1542086       631      2741         0     54816      8302    466437     18.90     20.44  --
1294.57/324.68	c  N dy  2198   1562616       631      2741         0     75173      8302   1043597     18.94     19.98  --
1320.89/331.25	c  N dy  2266   1582727       631      2741         0     95080      8302   1600159     18.93     19.93  --
1351.60/338.93	c  N dy  2358   1604865       631      2741         0     62470      8302    650834     18.94     20.01  --
1373.94/344.53	c  N dy  2454   1624870       631      2741         0     82286      8302   1211735     18.96     20.33  --
1403.06/351.85	c  N dy  2538   1644882       631      2741         0    102081      8302   1771694     18.97     21.38  --
1429.81/358.58	c  N dy  2596   1665166       631      2741         0     66706      8302    745782     18.94     19.95  --
1454.10/364.62	c  N dy  2680   1685626       631      2741         0     86946      8302   1306577     18.95     19.95  --
1486.01/372.69	c  N dy  2806   1705694       631      2741         0    106825      8302   1868229     18.98     20.09  --
1494.78/374.85	c  S st  2827   1710402       631      2741         0    111469      8302   1995414     18.99     18.77  --
1496.02/375.18	c  S st  2827   1710903       631      2741         0    111968      8302   2009603     18.99   no data  --
1496.02/375.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1496.02/375.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1496.36/375.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
1496.76/375.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1496.76/375.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1496.76/375.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
1496.76/375.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1515.51/380.06	c lits-rem:       358  cl-subs:     2710  v-elim:      0  v-fix:    0  time: 18.95 s
1515.51/380.06	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
1515.51/380.09	c vivif2 --  cl tried   109258 cl shrink        0 lits rem          0 time: 0.10
1516.31/380.25	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.64
1516.31/380.25	c calculated reachability. Time: 0.00
1516.31/380.25	c  N dy  2827   1710903       631      2741         0    109258      8302   1931944     18.99   no data  --
1540.64/386.33	c  N dy  2922   1731776       631      2741         0     73527      8302    918816     19.00     20.18  --
1570.95/393.99	c  N dy  2976   1751856       631      2741         0     93368      8302   1472364     18.99     20.05  --
1608.84/403.42	c  N dy  3079   1771890       631      2741         0    113142      8302   2025564     19.00     21.30  --
1630.38/408.82	c  N dy  3177   1791935       631      2741         0     75646      8302    949713     19.01     23.46  --
1656.70/415.41	c  N dy  3257   1813064       631      2741         0     96562      8302   1537988     19.00     20.15  --
1694.18/424.80	c  N dy  3364   1834208       631      2741         0     59141      8302    464186     19.02     20.61  --
1714.95/430.03	c  N dy  3473   1854449       631      2741         0     79191      8302   1026303     19.04     20.06  --
1744.04/437.31	c  N dy  3583   1874581       631      2741         0     99130      8302   1594215     19.06     20.13  --
1781.17/446.61	c  N dy  3685   1895384       631      2741         0     60340      8302    472970     19.07     20.49  --
1802.27/451.96	c  N dy  3785   1916294       631      2741         0     81011      8302   1059920     19.08     20.14  --
1832.99/459.70	c  N dy  3910   1937068       631      2741         0    101585      8302   1642342     19.10     20.21  --
1873.65/469.84	c  N dy  4020   1960360       631      2741         0     64268      8302    558495     19.11     20.34  --
1895.98/475.41	c  N dy  4119   1980549       631      2741         0     84242      8302   1124666     19.12     20.16  --
1924.71/482.62	c  N dy  4156   2003653       631      2741         0    106957      8302   1749050     19.08     20.12  --
1958.20/491.04	c  N dy  4226   2023794       631      2741         0     65579      8302    572609     19.08     20.24  --
1980.94/496.75	c  N dy  4316   2043844       631      2741         0     85402      8302   1130099     19.09     21.87  --
2013.69/504.98	c  N dy  4428   2064537       631      2741         0    105888      8302   1706017     19.10     20.12  --
2051.92/514.52	c  N dy  4533   2084986       631      2741         0     63831      8302    505737     19.11     20.24  --
2073.86/520.07	c  N dy  4619   2105274       631      2741         0     83904      8302   1078715     19.12     20.36  --
2103.77/527.59	c  N dy  4729   2125365       631      2741         0    103807      8302   1642855     19.14     22.56  --
2148.04/538.63	c  N dy  4841   2148648       631      2741         0     63539      8302    475910     19.15     20.43  --
2170.77/544.39	c  N dy  4958   2168739       631      2741         0     83457      8302   1046272     19.16     24.69  --
2205.45/553.03	c  N dy  5039   2192189       631      2741         0    106621      8302   1692463     19.16     20.20  --
2240.55/561.90	c  S st  5127   2210903       631      2741         0    125133      8302   2216074     19.17     18.87  --
2242.14/562.29	c  S st  5127   2211409       631      2741         0    125639      8302   2230284     19.17   no data  --
2242.54/562.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2242.54/562.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2242.54/562.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2242.94/562.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2242.94/562.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2242.94/562.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2242.94/562.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2275.25/570.55	c lits-rem:       230  cl-subs:     2819  v-elim:      0  v-fix:    0  time: 32.35 s
2275.25/570.55	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
2275.25/570.58	c vivif2 --  cl tried   122820 cl shrink        0 lits rem          0 time: 0.12
2276.05/570.80	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.88
2276.05/570.80	c calculated reachability. Time: 0.00
2276.05/570.80	c  N dy  5127   2211409       631      2741         0    122820      8302   2146384     19.17   no data  --
2305.56/578.12	c  N dy  5234   2231480       631      2741         0     78388      8302    874758     19.18     21.26  --
2333.08/585.09	c  N dy  5337   2251529       631      2741         0     98235      8302   1442394     19.19     20.23  --
2369.77/594.20	c  N dy  5461   2271570       631      2741         0    118056      8302   2013751     19.21     20.31  --
2411.24/604.68	c  N dy  5535   2299618       631      2741         0     80464      8302    895381     19.20     20.23  --
2439.20/611.63	c  N dy  5613   2319715       631      2741         0    100315      8302   1450273     19.20     23.55  --
2474.30/620.43	c  N dy  5700   2339914       631      2741         0    120293      8302   2011651     19.20     20.33  --
2508.99/629.20	c  N dy  5806   2360188       631      2741         0     74102      8302    711316     19.21     20.34  --
2534.48/635.52	c  N dy  5894   2380202       631      2741         0     93905      8302   1274923     19.22     23.01  --
2568.38/644.06	c  N dy  5992   2400294       631      2741         0    113775      8302   1838409     19.23     20.40  --
2609.05/654.29	c  N dy  6074   2420367       631      2741         0    133651      8302   2401272     19.23     22.30  --
2633.78/660.46	c  N dy  6198   2440389       631      2741         0     86210      8302   1035279     19.25     21.18  --
2663.29/667.86	c  N dy  6293   2460413       631      2741         0    106018      8302   1600547     19.26     21.51  --
2703.98/678.03	c  N dy  6387   2480489       631      2741         0    125904      8302   2164974     19.26     24.49  --
2737.88/686.52	c  N dy  6461   2500632       631      2741         0     77529      8302    758194     19.26     20.47  --
2766.98/693.82	c  N dy  6574   2521348       631      2741         0     98036      8302   1336333     19.27     20.33  --
2801.69/702.50	c  N dy  6651   2541389       631      2741         0    117862      8302   1895777     19.27     20.73  --
2845.16/713.41	c  N dy  6766   2561581       631      2741         0    137855      8302   2471247     19.28     20.37  --
2873.52/720.52	c  N dy  6859   2583751       631      2741         0     90499      8302   1103474     19.29     20.57  --
2906.58/728.88	c  N dy  6930   2604780       631      2741         0    111298      8302   1690247     19.28     20.30  --
2955.22/741.09	c  N dy  6999   2629215       631      2741         0    135385      8302   2356925     19.28     20.39  --
2985.54/748.65	c  N dy  7082   2649731       631      2741         0     85502      8302    934890     19.28     20.32  --
3019.44/757.12	c  N dy  7181   2671770       631      2741         0    107338      8302   1555922     19.29     20.94  --
3061.75/767.71	c  N dy  7288   2691844       631      2741         0    127195      8302   2113916     19.29     24.09  --
3102.39/777.95	c  S st  7408   2711413       631      2741         0     75366      8302    631428     19.30     17.47  --
3103.19/778.13	c  S st  7408   2711918       631      2741         0     75870      8302    646223     19.30   no data  --
3103.19/778.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3103.19/778.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3103.19/778.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
3103.19/778.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3103.19/778.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3103.19/778.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
3103.19/778.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3113.16/780.61	c lits-rem:       222  cl-subs:      144  v-elim:      0  v-fix:    0  time:  9.62 s
3113.16/780.61	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
3113.16/780.62	c vivif2 --  cl tried    75726 cl shrink        0 lits rem          0 time: 0.04
3113.56/780.70	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.34
3113.56/780.70	c calculated reachability. Time: 0.00
3113.56/780.70	c  N dy  7408   2711918       631      2741         0     75726      8302    641516     19.30   no data  --
3139.88/787.36	c  N dy  7509   2731997       631      2741         0     95575      8302   1207713     19.31     22.76  --
3171.00/795.17	c  N dy  7549   2752245       631      2741         0    115586      8302   1762735     19.30     20.44  --
3212.86/805.64	c  N dy  7647   2772294       631      2741         0    135432      8302   2322412     19.30     20.35  --
3247.15/814.22	c  N dy  7738   2792295       631      2741         0     82995      8302    825209     19.31     20.55  --
3276.27/821.50	c  N dy  7849   2812370       631      2741         0    102875      8302   1394759     19.31     20.57  --
3322.53/833.13	c  N dy  7964   2836733       631      2741         0    126941      8302   2074456     19.32     20.38  --
3369.99/845.08	c  N dy  8051   2857081       631      2741         0     73859      8302    543888     19.32     20.51  --
3395.56/851.45	c  N dy  8166   2877137       631      2741         0     93689      8302   1111354     19.33     21.74  --
3428.22/859.69	c  N dy  8246   2897478       631      2741         0    113805      8302   1677381     19.33     20.50  --
3476.47/871.76	c  N dy  8337   2917524       631      2741         0    133635      8302   2235385     19.33     22.98  --
3545.06/888.96	c  N dy  8404   2949126       631      2741         0     90696      8302    980967     19.31     20.39  --
3579.40/897.55	c  N dy  8509   2970292       631      2741         0    111657      8302   1572639     19.32     20.39  --
3626.43/909.32	c  N dy  8592   2994661       631      2741         0    135724      8302   2247458     19.32     20.34  --
3668.29/919.87	c  N dy  8698   3014666       631      2741         0     80366      8302    684024     19.33     22.32  --
3697.41/927.19	c  N dy  8818   3034995       631      2741         0    100457      8302   1248061     19.34     20.37  --
3733.35/936.19	c  N dy  8932   3055084       631      2741         0    120382      8302   1820644     19.34     20.98  --
3777.22/947.18	c  N dy  9041   3075181       631      2741         0    140262      8302   2395345     19.35     20.41  --
3818.25/957.49	c  N dy  9151   3095229       631      2741         0     83904      8302    761861     19.36     20.45  --
3847.41/964.72	c  N dy  9252   3115281       631      2741         0    103731      8302   1329482     19.37     20.55  --
3898.81/977.68	c  N dy  9321   3141293       631      2741         0    129409      8302   2056141     19.36     20.42  --
3954.25/991.56	c  N dy  9409   3161301       631      2741         0    149217      8302   2613479     19.36     20.57  --
3986.16/999.51	c  N dy  9474   3181381       631      2741         0     91948      8302    962920     19.36     20.42  --
4025.64/1009.46	c  N dy  9555   3207060       631      2741         0    117230      8302   1659737     19.35     20.52  --
4035.21/1011.84	c  S st  9582   3211918       631      2741         0    122033      8302   1796916     19.36     19.26  --
4036.40/1012.19	c  S st  9582   3212425       631      2741         0    122539      8302   1811732     19.36   no data  --
4036.40/1012.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4036.40/1012.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4036.80/1012.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
4037.20/1012.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4037.20/1012.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4037.20/1012.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
4037.20/1012.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4057.99/1017.58	c lits-rem:       160  cl-subs:     2631  v-elim:      0  v-fix:    0  time: 20.98 s
4057.99/1017.58	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
4058.33/1017.60	c vivif2 --  cl tried   119908 cl shrink        0 lits rem          0 time: 0.09
4058.73/1017.78	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.69
4058.73/1017.78	c calculated reachability. Time: 0.00
4058.73/1017.78	c  N dy  9582   3212425       631      2741         0    119908      8302   1738440     19.36   no data  --
4102.60/1028.74	c  N dy  9670   3232477       631      2741         0    139735      8302   2299050     19.36     23.52  --
4155.65/1042.08	c  N dy  9749   3260028       631      2741         0     88867      8302    849484     19.35     20.46  --
4186.76/1049.83	c  N dy  9840   3280336       631      2741         0    108935      8302   1422225     19.35     20.42  --
4225.04/1059.49	c  N dy  9938   3300424       631      2741         0    128836      8302   1991658     19.36     20.54  --
4268.16/1070.27	c  N dy  9974   3321382       631      2741         0    149478      8302   2561620     19.35     20.39  --
4306.41/1079.81	c  N dy 10049   3341405       631      2741         0     90270      8302    878548     19.35     22.22  --
4335.12/1087.07	c  N dy 10119   3361416       631      2741         0    110003      8302   1425394     19.34     21.82  --
4379.39/1098.10	c  N dy 10214   3381437       631      2741         0    129782      8302   1981463     19.35     20.40  --
4438.82/1113.09	c  N dy 10283   3402881       631      2741         0    150991      8302   2577730     19.34     20.44  --
4479.89/1123.33	c  N dy 10369   3423339       631      2741         0     91222      8302    887762     19.35     20.48  --
4511.40/1131.25	c  N dy 10460   3443421       631      2741         0    111061      8302   1457054     19.35     23.20  --
4549.68/1140.88	c  N dy 10544   3463700       631      2741         0    131082      8302   2034275     19.35     20.58  --
4598.74/1153.18	c  N dy 10668   3483749       631      2741         0    150935      8302   2599963     19.36     23.46  --
4638.22/1163.03	c  N dy 10722   3503830       631      2741         0     89734      8302    824398     19.36     20.51  --
4677.30/1172.89	c  N dy 10823   3529319       631      2741         0    114945      8302   1544699     19.36     20.61  --
4718.37/1183.16	c  N dy 10901   3550056       631      2741         0    135451      8302   2132794     19.36     20.51  --
4779.40/1198.43	c  N dy 10992   3573090       631      2741         0    158224      8302   2780848     19.36     20.64  --

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368999-1305409924/watcher-3368999-1305409924 -o /tmp/evaluation-result-3368999-1305409924/solver-3368999-1305409924 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368999-1305409924.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.68 4.55 6.19 5/360 19351
/proc/meminfo: memFree=18699892/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 411 0 0 0 1 0 0 0 22 0 4 0 633408269 52465664 352 33554432000 4194304 4650419 140734917568928 18446744073709551615 47729182902192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 12809 352 303 112 0 7774 0
[pid=19350/tid=19352] ppid=19348 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 633408269 52465664 352 33554432000 4194304 4650419 140734917568928 18446744073709551615 47729182902194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 633408269 52465664 352 33554432000 4194304 4650419 140734917568928 18446744073709551615 47729182902188 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 633408269 52465664 352 33554432000 4194304 4650419 140734917568928 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.054505 s]
/proc/loadavg: 3.68 4.55 6.19 5/360 19351
/proc/meminfo: memFree=18699892/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=282732 CPUtime=0.18 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 1640 0 0 0 18 0 0 0 18 0 4 0 633408269 289517568 1492 33554432000 4194304 4650419 140734917568928 18446744073709551615 4329287 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 70683 1492 390 112 0 65648 0
[pid=19350/tid=19352] ppid=19348 vsize=282732 CPUtime=0.04 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 338 0 0 0 4 0 0 0 18 0 4 0 633408269 289517568 1492 33554432000 4194304 4650419 140734917568928 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=282732 CPUtime=0.04 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 332 0 0 0 4 0 0 0 18 0 4 0 633408269 289517568 1492 33554432000 4194304 4650419 140734917568928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=282732 CPUtime=0.03 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 205 0 0 0 3 0 0 0 25 0 4 0 633408269 289517568 1492 33554432000 4194304 4650419 140734917568928 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 282732

[startup+0.100496 s]
/proc/loadavg: 3.68 4.55 6.19 5/360 19351
/proc/meminfo: memFree=18699892/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=282732 CPUtime=0.37 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 1873 0 0 0 37 0 0 0 18 0 4 0 633408269 289517568 1725 33554432000 4194304 4650419 140734917568928 18446744073709551615 4330626 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 70683 1725 391 112 0 65648 0
[pid=19350/tid=19352] ppid=19348 vsize=282732 CPUtime=0.09 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 395 0 0 0 9 0 0 0 18 0 4 0 633408269 289517568 1725 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=282732 CPUtime=0.09 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 385 0 0 0 9 0 0 0 18 0 4 0 633408269 289517568 1725 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=282732 CPUtime=0.08 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 276 0 0 0 8 0 0 0 25 0 4 0 633408269 289517568 1725 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365094 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) 282732

[startup+0.30046 s]
/proc/loadavg: 3.68 4.55 6.19 5/360 19351
/proc/meminfo: memFree=18699892/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=284156 CPUtime=1.17 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 3125 0 0 0 116 1 0 0 18 0 4 0 633408269 290975744 2295 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 71039 2295 393 112 0 66004 0
[pid=19350/tid=19352] ppid=19348 vsize=284156 CPUtime=0.29 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 709 0 0 0 29 0 0 0 18 0 4 0 633408269 290975744 2295 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=284156 CPUtime=0.29 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 701 0 0 0 29 0 0 0 18 0 4 0 633408269 290975744 2295 33554432000 4194304 4650419 140734917568928 18446744073709551615 4328325 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=284156 CPUtime=0.28 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 589 0 0 0 28 0 0 0 25 0 4 0 633408269 290975744 2295 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366068 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284156

[startup+0.70039 s]
/proc/loadavg: 3.68 4.55 6.19 5/360 19351
/proc/meminfo: memFree=18699892/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=285160 CPUtime=2.77 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 4885 0 0 0 276 1 0 0 18 0 4 0 633408269 292003840 3027 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 71290 3027 393 112 0 66255 0
[pid=19350/tid=19352] ppid=19348 vsize=285160 CPUtime=0.69 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 1149 0 0 0 69 0 0 0 18 0 4 0 633408269 292003840 3027 33554432000 4194304 4650419 140734917568928 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=285160 CPUtime=0.69 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 1141 0 0 0 69 0 0 0 18 0 4 0 633408269 292003840 3027 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=285160 CPUtime=0.68 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 1018 0 0 0 68 0 0 0 25 0 4 0 633408269 292003840 3027 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285160

[startup+1.50025 s]
/proc/loadavg: 4.19 4.64 6.21 11/364 19355
/proc/meminfo: memFree=18676176/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=292744 CPUtime=5.96 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 9804 0 0 0 595 1 0 0 20 0 4 0 633408269 299769856 5103 33554432000 4194304 4650419 140734917568928 18446744073709551615 4439111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 73186 5103 395 112 0 68151 0
[pid=19350/tid=19352] ppid=19348 vsize=292744 CPUtime=1.49 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 2080 0 0 0 149 0 0 0 20 0 4 0 633408269 299769856 5103 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=292744 CPUtime=1.49 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 2033 0 0 0 149 0 0 0 19 0 4 0 633408269 299769856 5103 33554432000 4194304 4650419 140734917568928 18446744073709551615 4331963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=292744 CPUtime=1.47 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 1794 0 0 0 147 0 0 0 25 0 4 0 633408269 299769856 5103 33554432000 4194304 4650419 140734917568928 18446744073709551615 4334034 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) 292744

[startup+3.10096 s]
/proc/loadavg: 4.19 4.64 6.21 10/364 19355
/proc/meminfo: memFree=18650892/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=276140 CPUtime=12.35 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 18204 0 0 0 1232 3 0 0 25 0 4 0 633408269 282767360 10676 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 69035 10676 395 112 0 64000 0
[pid=19350/tid=19352] ppid=19348 vsize=276140 CPUtime=3.09 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 4161 0 0 0 308 1 0 0 25 0 4 0 633408269 282767360 10676 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=276140 CPUtime=3.08 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 4835 0 0 0 308 0 0 0 25 0 4 0 633408269 282767360 10676 33554432000 4194304 4650419 140734917568928 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=276140 CPUtime=3.05 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 4034 0 0 0 305 0 0 0 25 0 4 0 633408269 282767360 10676 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 276140

[startup+6.30039 s]
/proc/loadavg: 4.19 4.64 6.21 9/364 19355
/proc/meminfo: memFree=18583068/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=278384 CPUtime=25.11 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 27046 0 0 0 2506 5 0 0 25 0 4 0 633408269 285065216 13908 33554432000 4194304 4650419 140734917568928 18446744073709551615 4363386 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 69596 13908 395 112 0 64561 0
[pid=19350/tid=19352] ppid=19348 vsize=278384 CPUtime=6.29 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 6716 0 0 0 628 1 0 0 25 0 4 0 633408269 285065216 13908 33554432000 4194304 4650419 140734917568928 18446744073709551615 4315077 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=278384 CPUtime=6.28 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 7226 0 0 0 627 1 0 0 25 0 4 0 633408269 285065216 13908 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=278384 CPUtime=6.22 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 5683 0 0 0 621 1 0 0 25 0 4 0 633408269 285065216 13908 33554432000 4194304 4650419 140734917568928 18446744073709551615 4368121 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) 278384

[startup+12.7002 s]
/proc/loadavg: 4.77 4.76 6.23 11/364 19356
/proc/meminfo: memFree=18535096/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=284476 CPUtime=50.62 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 39904 0 0 0 5055 7 0 0 25 0 4 0 633408269 291303424 20097 33554432000 4194304 4650419 140734917568928 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 71119 20097 395 112 0 66084 0
[pid=19350/tid=19352] ppid=19348 vsize=284476 CPUtime=12.68 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 9007 0 0 0 1267 1 0 0 25 0 4 0 633408269 291303424 20097 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=284476 CPUtime=12.69 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 11476 0 0 0 1267 2 0 0 25 0 4 0 633408269 291303424 20097 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=284476 CPUtime=12.54 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 8060 0 0 0 1253 1 0 0 25 0 4 0 633408269 291303424 20097 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 284476

[startup+25.501 s]
/proc/loadavg: 5.27 4.86 6.25 11/364 19356
/proc/meminfo: memFree=18457836/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=302796 CPUtime=101.67 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 60143 0 0 0 10155 12 0 0 25 0 4 0 633408269 310063104 29496 33554432000 4194304 4650419 140734917568928 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 75699 29496 395 112 0 70664 0
[pid=19350/tid=19352] ppid=19348 vsize=302796 CPUtime=25.49 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 11805 0 0 0 2547 2 0 0 25 0 4 0 633408269 310063104 29496 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=302796 CPUtime=25.49 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 18943 0 0 0 2545 4 0 0 25 0 4 0 633408269 310063104 29496 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=302796 CPUtime=25.19 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 11608 0 0 0 2517 2 0 0 25 0 4 0 633408269 310063104 29496 33554432000 4194304 4650419 140734917568928 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 302796

[startup+51.1004 s]
/proc/loadavg: 6.20 5.11 6.29 11/364 19357
/proc/meminfo: memFree=18412136/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=317400 CPUtime=203.79 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 89531 0 0 0 20358 21 0 0 25 0 4 0 633408269 325017600 35275 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 79350 35275 395 112 0 74315 0
[pid=19350/tid=19352] ppid=19348 vsize=317400 CPUtime=51.09 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 16526 0 0 0 5106 3 0 0 25 0 4 0 633408269 325017600 35275 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=317400 CPUtime=51.09 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 28260 0 0 0 5102 7 0 0 25 0 4 0 633408269 325017600 35275 33554432000 4194304 4650419 140734917568928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=317400 CPUtime=50.5 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 16467 0 0 0 5047 3 0 0 25 0 4 0 633408269 325017600 35275 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 317400

[startup+102.314 s]
/proc/loadavg: 7.28 5.60 6.39 11/364 19358
/proc/meminfo: memFree=18309676/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=389728 CPUtime=408.04 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 132493 0 0 0 40769 35 0 0 25 0 4 0 633408269 399081472 52341 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 97432 52341 395 112 0 92397 0
[pid=19350/tid=19352] ppid=19348 vsize=389728 CPUtime=102.3 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 34966 0 0 0 10221 9 0 0 25 0 4 0 633408269 399081472 52341 33554432000 4194304 4650419 140734917568928 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=389728 CPUtime=102.29 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 37402 0 0 0 10219 10 0 0 25 0 4 0 633408269 399081472 52341 33554432000 4194304 4650419 140734917568928 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=389728 CPUtime=101.12 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 25371 0 0 0 10106 6 0 0 25 0 4 0 633408269 399081472 52341 33554432000 4194304 4650419 140734917568928 18446744073709551615 4541387 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 389728

[startup+162.3 s]

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

[pid=19350] ppid=19348 vsize=572644 CPUtime=2561.63 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 352622 0 0 0 256037 126 0 0 25 0 4 0 633408269 586387456 95391 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 143161 95391 395 112 0 138126 0
[pid=19350/tid=19352] ppid=19348 vsize=572644 CPUtime=642.31 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 132225 0 0 0 64183 48 0 0 25 0 4 0 633408269 586387456 95391 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=572644 CPUtime=642.29 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 103164 0 0 0 64191 38 0 0 25 0 4 0 633408269 586387456 95391 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=572644 CPUtime=634.7 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 71711 0 0 0 63444 26 0 0 25 0 4 0 633408269 586387456 95391 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.63
Current children cumulated vsize (KiB) 572644

[startup+702.301 s]
/proc/loadavg: 8.08 7.76 7.19 11/364 19383
/proc/meminfo: memFree=17863004/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=638268 CPUtime=2800.89 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 371339 0 0 0 279956 133 0 0 25 0 4 0 633408269 653586432 99905 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 159567 99905 395 112 0 154532 0
[pid=19350/tid=19352] ppid=19348 vsize=638268 CPUtime=702.3 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 143334 0 0 0 70178 52 0 0 25 0 4 0 633408269 653586432 99905 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=638268 CPUtime=702.28 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 107917 0 0 0 70188 40 0 0 25 0 4 0 633408269 653586432 99905 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=638268 CPUtime=693.98 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 74566 0 0 0 69371 27 0 0 25 0 4 0 633408269 653586432 99905 33554432000 4194304 4650419 140734917568928 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.89
Current children cumulated vsize (KiB) 638268

[startup+762.314 s]
/proc/loadavg: 8.11 7.83 7.25 10/364 19385
/proc/meminfo: memFree=17884672/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=581644 CPUtime=3040.23 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 388036 0 0 0 303882 141 0 0 25 0 4 0 633408269 595603456 97236 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 145411 97236 395 112 0 140376 0
[pid=19350/tid=19352] ppid=19348 vsize=581644 CPUtime=762.3 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 151065 0 0 0 76175 55 0 0 25 0 4 0 633408269 595603456 97236 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=581644 CPUtime=762.29 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 111087 0 0 0 76188 41 0 0 25 0 4 0 633408269 595603456 97236 33554432000 4194304 4650419 140734917568928 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=581644 CPUtime=753.29 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 78043 0 0 0 75300 29 0 0 25 0 4 0 633408269 595603456 97236 33554432000 4194304 4650419 140734917568928 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.23
Current children cumulated vsize (KiB) 581644

[startup+822.3 s]
/proc/loadavg: 8.11 7.89 7.30 11/364 19386
/proc/meminfo: memFree=17832800/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=581752 CPUtime=3279.45 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 407084 0 0 0 327797 148 0 0 25 0 4 0 633408269 595714048 101678 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 145438 101678 395 112 0 140403 0
[pid=19350/tid=19352] ppid=19348 vsize=581752 CPUtime=822.29 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 159548 0 0 0 82171 58 0 0 25 0 4 0 633408269 595714048 101678 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=581752 CPUtime=822.28 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 116189 0 0 0 82184 44 0 0 25 0 4 0 633408269 595714048 101678 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=581752 CPUtime=812.56 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 83446 0 0 0 81225 31 0 0 25 0 4 0 633408269 595714048 101678 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.45
Current children cumulated vsize (KiB) 581752

[startup+882.3 s]
/proc/loadavg: 8.11 7.93 7.35 10/364 19388
/proc/meminfo: memFree=17808108/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=628912 CPUtime=3518.74 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 424642 0 0 0 351721 153 0 0 25 0 4 0 633408269 644005888 109004 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 157228 109004 395 112 0 152193 0
[pid=19350/tid=19352] ppid=19348 vsize=628912 CPUtime=882.3 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 171404 0 0 0 88169 61 0 0 25 0 4 0 633408269 644005888 109004 33554432000 4194304 4650419 140734917568928 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=628912 CPUtime=882.28 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 119616 0 0 0 88183 45 0 0 25 0 4 0 633408269 644005888 109004 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=628912 CPUtime=871.83 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 85524 0 0 0 87152 31 0 0 25 0 4 0 633408269 644005888 109004 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.74
Current children cumulated vsize (KiB) 628912

[startup+942.301 s]
/proc/loadavg: 8.07 7.96 7.40 11/364 19389
/proc/meminfo: memFree=17784768/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=593972 CPUtime=3758.03 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 444086 0 0 0 375641 162 0 0 25 0 4 0 633408269 608227328 111594 33554432000 4194304 4650419 140734917568928 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 148493 111594 395 112 0 143458 0
[pid=19350/tid=19352] ppid=19348 vsize=593972 CPUtime=942.3 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 179678 0 0 0 94165 65 0 0 25 0 4 0 633408269 608227328 111594 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=593972 CPUtime=942.28 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 123356 0 0 0 94181 47 0 0 25 0 4 0 633408269 608227328 111594 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=593972 CPUtime=931.12 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 90290 0 0 0 93078 34 0 0 25 0 4 0 633408269 608227328 111594 33554432000 4194304 4650419 140734917568928 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.03
Current children cumulated vsize (KiB) 593972

[startup+1002.3 s]
/proc/loadavg: 8.02 7.96 7.43 11/364 19391
/proc/meminfo: memFree=17777436/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=711948 CPUtime=3997.31 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 461313 0 0 0 399562 169 0 0 25 0 4 0 633408269 729034752 112136 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 177987 112136 395 112 0 172952 0
[pid=19350/tid=19352] ppid=19348 vsize=711948 CPUtime=1002.3 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 186858 0 0 0 100163 67 0 0 25 0 4 0 633408269 729034752 112136 33554432000 4194304 4650419 140734917568928 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=711948 CPUtime=1002.27 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 130347 0 0 0 100177 50 0 0 25 0 4 0 633408269 729034752 112136 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=711948 CPUtime=990.4 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 92520 0 0 0 99005 35 0 0 25 0 4 0 633408269 729034752 112136 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.31
Current children cumulated vsize (KiB) 711948

[startup+1062.3 s]
/proc/loadavg: 8.09 7.98 7.47 11/364 19393
/proc/meminfo: memFree=17733764/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=765848 CPUtime=4236.61 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 479486 0 0 0 423483 178 0 0 25 0 4 0 633408269 784228352 120898 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 191462 120898 395 112 0 186427 0
[pid=19350/tid=19352] ppid=19348 vsize=765848 CPUtime=1062.29 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 193099 0 0 0 106158 71 0 0 25 0 4 0 633408269 784228352 120898 33554432000 4194304 4650419 140734917568928 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=765848 CPUtime=1062.28 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 134967 0 0 0 106175 53 0 0 25 0 4 0 633408269 784228352 120898 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=765848 CPUtime=1049.72 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 99557 0 0 0 104934 38 0 0 25 0 4 0 633408269 784228352 120898 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.61
Current children cumulated vsize (KiB) 765848

[startup+1122.3 s]
/proc/loadavg: 8.10 8.00 7.50 11/364 19394
/proc/meminfo: memFree=17683400/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=826584 CPUtime=4475.9 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 499652 0 0 0 447403 187 0 0 25 0 4 0 633408269 846422016 129071 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 206646 129071 395 112 0 201611 0
[pid=19350/tid=19352] ppid=19348 vsize=826584 CPUtime=1122.28 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 204094 0 0 0 112154 74 0 0 25 0 4 0 633408269 846422016 129071 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=826584 CPUtime=1122.27 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 139647 0 0 0 112172 55 0 0 25 0 4 0 633408269 846422016 129071 33554432000 4194304 4650419 140734917568928 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=826584 CPUtime=1109.01 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 103589 0 0 0 110860 41 0 0 25 0 4 0 633408269 846422016 129071 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.9
Current children cumulated vsize (KiB) 826584

[startup+1182.3 s]
/proc/loadavg: 8.10 8.02 7.54 11/364 19396
/proc/meminfo: memFree=17683260/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=738816 CPUtime=4715.19 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 516791 0 0 0 471325 194 0 0 25 0 4 0 633408269 756547584 126225 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 184704 126225 395 112 0 179669 0
[pid=19350/tid=19352] ppid=19348 vsize=738816 CPUtime=1182.27 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 210963 0 0 0 118150 77 0 0 25 0 4 0 633408269 756547584 126225 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=738816 CPUtime=1182.27 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 146076 0 0 0 118170 57 0 0 25 0 4 0 633408269 756547584 126225 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=738816 CPUtime=1168.31 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 107101 0 0 0 116789 42 0 0 25 0 4 0 633408269 756547584 126225 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.19
Current children cumulated vsize (KiB) 738816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.07 8.01 7.55 11/364 19396
/proc/meminfo: memFree=17666384/32951124 swapFree=67111348/67111528
[pid=19350] ppid=19348 vsize=738816 CPUtime=4800.16 cores=0,2,4,6
/proc/19350/stat : 19350 (strangenight1-m) R 19348 19350 18878 0 -1 4202496 520485 0 0 0 479820 196 0 0 25 0 4 0 633408269 756547584 128684 33554432000 4194304 4650419 140734917568928 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19350/statm: 184704 128684 395 112 0 179669 0
[pid=19350/tid=19352] ppid=19348 vsize=738816 CPUtime=1203.58 cores=0,2,4,6
/proc/19350/task/19352/stat : 19352 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 212293 0 0 0 120280 78 0 0 25 0 4 0 633408269 756547584 128685 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19350/tid=19353] ppid=19348 vsize=738816 CPUtime=1203.59 cores=0,2,4,6
/proc/19350/task/19353/stat : 19353 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 148089 0 0 0 120301 58 0 0 25 0 4 0 633408269 756547584 128685 33554432000 4194304 4650419 140734917568928 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19350/tid=19354] ppid=19348 vsize=738816 CPUtime=1189.35 cores=0,2,4,6
/proc/19350/task/19354/stat : 19354 (strangenight1-m) R 19348 19350 18878 0 -1 4202560 107101 0 0 0 118893 42 0 0 25 0 4 0 633408269 756547584 128685 33554432000 4194304 4650419 140734917568928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 738816

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): 1203.64
CPU time (s): 4800.23
CPU user time (s): 4798.24
CPU system time (s): 1.9907
CPU usage (%): 398.808
Max. virtual memory (cumulated for all children) (KiB): 911048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.24
system time used= 1.9907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 520486
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= 258
involuntary context switches= 25455

runsolver used 4.10837 second user time and 9.99748 second system time

The end

Launcher Data

Begin job on node145 at 2011-05-14 23:52:04
IDJOB=3368999
IDBENCH=83008
IDSOLVER=1846
FILE ID=node145/3368999-1305409924
RUNJOBID= node145-1305409924-19328
PBS_JOBID= 13324499
Free space on /tmp= 73656 MiB

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

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

MD5SUM BENCH= 2b3c7a221faca9e629eac8ef7f1b0cd7
RANDOM SEED=25159718

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18700188 kB
Buffers:        297256 kB
Cached:        8125512 kB
SwapCached:          0 kB
Active:        7275524 kB
Inactive:      6621360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18700188 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12540 kB
Writeback:           0 kB
AnonPages:     5473308 kB
Mapped:          27440 kB
Slab:           255420 kB
PageTables:      34352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79382744 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= 73648 MiB
End job on node145 at 2011-05-15 00:12:10