Trace number 3175390

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? (TO) 4800.35 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175390-1304122096.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.01
0.00/0.00	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
3.58/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
3.58/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.58/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.58/0.90	c calculated reachability. Time: 0.00
3.58/0.90	c Calc default polars -  time:   0.00 s pos:     298 undec:      82 neg:     270
3.58/0.90	c =========================================================================================
3.58/0.90	c types(t): F = full restart, N = normal restart
3.58/0.90	c types(t): S = simplification begin/end, E = solution found
3.58/0.90	c restart types(rt): st = static, dy = dynamic
3.58/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.90	c  B st     0         0       631      2741         0         0      8302         0   no data   no data  --
3.58/0.90	c Decided on static restart strategy
3.58/0.90	c  N st     8      4917       631      2741         0      4848      8302    136040   no data   no data  --
3.58/0.90	c  N st    10     11300       631      2741         0      4497      8302     92102   no data   no data  --
3.58/0.90	c  N st    11     17043       631      2741         0     10128      8302    251408   no data   no data  --
4.77/1.20	c  F st    12     25003       631      2741         0     12427      8302    316181   no data   no data  --
4.77/1.20	c  N st    12     25003       631      2741         0     12427      8302    316181   no data   no data  --
5.58/1.40	c Decided on static restart strategy
5.58/1.40	c  N st    18     30001       631      2741         0     10710      8302    248339   no data   no data  --
5.58/1.40	c  S st    18     30001       631      2741         0     10710      8302    248339   no data   no data  --
5.97/1.50	c  S st    18     30505       631      2741         0     11211      8302    261666   no data   no data  --
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.77/1.71	c lits-rem:       101  cl-subs:      444  v-elim:      0  v-fix:    0  time:  1.09 s
6.77/1.72	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.04
6.77/1.72	c calculated reachability. Time: 0.00
6.77/1.72	c  N st    18     30505       631      2741         0     10767      8302    246939   no data   no data  --
8.39/2.14	c  N st    20     37615       631      2741         0     10014      8302    197445   no data   no data  --
9.96/2.53	c  N st    21     44014       631      2741         0     16278      8302    378635   no data   no data  --
10.36/2.66	c  S st    22     45757       631      2741         0      9214      8302    155523   no data   no data  --
10.36/2.69	c  S st    22     46258       631      2741         0      9715      8302    167829   no data   no data  --
10.36/2.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.36/2.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.77/2.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.77/2.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.77/2.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
10.77/2.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.17/2.82	c lits-rem:        27  cl-subs:       47  v-elim:      0  v-fix:    0  time:  0.48 s
11.17/2.82	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
11.17/2.82	c vivif2 --  cl tried     9668 cl shrink        0 lits rem          0 time: 0.01
11.17/2.83	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.03
11.17/2.83	c calculated reachability. Time: 0.00
11.17/2.83	c  N st    22     46258       631      2741         0      9668      8302    166247   no data   no data  --
15.15/3.83	c  N st    23     60656       631      2741         0     14000      8302    287126   no data   no data  --
17.95/4.54	c  N st    24     69387       631      2741         0     11821      8302    207619   no data   no data  --
17.95/4.54	c  S st    24     69387       631      2741         0     11821      8302    207619   no data   no data  --
17.95/4.57	c  S st    24     69892       631      2741         0     12325      8302    220974   no data   no data  --
17.95/4.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.95/4.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.95/4.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.95/4.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.95/4.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.95/4.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
17.95/4.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.15/4.83	c lits-rem:        96  cl-subs:       80  v-elim:      0  v-fix:    0  time:  0.98 s
19.15/4.83	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
19.15/4.83	c vivif2 --  cl tried    12245 cl shrink        0 lits rem          0 time: 0.01
19.15/4.84	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.04
19.15/4.84	c calculated reachability. Time: 0.00
19.15/4.84	c  N st    24     69892       631      2741         0     12245      8302    218107   no data   no data  --
24.74/6.22	c  F st    25     87501       631      2741         0     17723      8302    365429   no data   no data  --
24.74/6.22	c  N st    25     87501       631      2741         0     17723      8302    365429   no data   no data  --
26.37/6.61	c Decided on static restart strategy
27.14/6.87	c  N st    32     95540       631      2741         0     25648      8302    599898   no data   no data  --
30.35/7.61	c  N st    34    104839       631      2741         0     22009      8302    465615   no data   no data  --
30.35/7.61	c  S st    34    104839       631      2741         0     22009      8302    465615   no data   no data  --
30.35/7.66	c  S st    34    105340       631      2741         0     22509      8302    477944   no data   no data  --
30.35/7.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.35/7.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.35/7.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
30.35/7.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.35/7.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.35/7.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
30.35/7.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.15/8.88	c lits-rem:       349  cl-subs:      498  v-elim:      0  v-fix:    0  time:  4.79 s
35.15/8.89	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
35.15/8.89	c vivif2 --  cl tried    22011 cl shrink        0 lits rem          0 time: 0.02
35.53/8.91	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.08
35.53/8.91	c calculated reachability. Time: 0.00
35.53/8.91	c  N st    34    105340       631      2741         0     22011      8302    461237   no data   no data  --
39.14/9.82	c  N st    35    114939       631      2741         0     17708      8302    319475   no data   no data  --
44.71/11.23	c  N st    36    129336       631      2741         0     17134      8302    281193   no data   no data  --
52.72/13.24	c  N st    37    150932       631      2741         0     22615      8302    426151   no data   no data  --
55.50/13.92	c  S st    38    158010       631      2741         0     29548      8302    635025   no data   no data  --
55.50/14.00	c  S st    38    158516       631      2741         0     30054      8302    648773   no data   no data  --
55.90/14.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
55.90/14.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.90/14.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
55.90/14.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.90/14.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.90/14.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
55.90/14.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.49/15.91	c lits-rem:      1645  cl-subs:     1154  v-elim:      0  v-fix:    0  time:  7.49 s
63.49/15.91	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
63.49/15.91	c vivif2 --  cl tried    28900 cl shrink        0 lits rem          0 time: 0.02
63.49/15.94	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.10
63.49/15.94	c calculated reachability. Time: 0.00
63.49/15.94	c  N st    38    158516       631      2741         0     28900      8302    608934   no data   no data  --
85.86/21.51	c  N st    39    207106       631      2741         0     23532      8302    405390   no data   no data  --
101.06/25.36	c  N st    40    237776       631      2741         0     34048      8302    697359   no data   no data  --
101.06/25.36	c  S st    40    237776       631      2741         0     34048      8302    697359   no data   no data  --
101.43/25.45	c  S st    40    238283       631      2741         0     34555      8302    712201   no data   no data  --
101.43/25.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.43/25.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
101.43/25.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
101.43/25.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
101.43/25.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.43/25.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
101.43/25.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
110.62/27.71	c lits-rem:       273  cl-subs:     1348  v-elim:      0  v-fix:    0  time:  8.90 s
110.62/27.71	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
110.62/27.72	c vivif2 --  cl tried    33207 cl shrink        0 lits rem          0 time: 0.03
110.62/27.75	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.13
110.62/27.76	c calculated reachability. Time: 0.00
110.62/27.76	c  N st    40    238283       631      2741         0     33207      8302    669496   no data   no data  --
142.98/35.86	c  F st    41    306251       631      2741         0     35430      8302    726569   no data   no data  --
142.98/35.87	c  N st    41    306251       631      2741         0     35430      8302    726569   no data   no data  --
145.78/36.51	c Decided on static restart strategy
156.17/39.17	c  N st    51    334557       631      2741         0     39618      8302    792122   no data   no data  --
166.56/41.76	c  N st    53    357424       631      2741         0     37463      8302    710046   no data   no data  --
166.56/41.76	c  S st    53    357424       631      2741         0     37463      8302    710046   no data   no data  --
166.97/41.86	c  S st    53    357927       631      2741         0     37966      8302    723776   no data   no data  --
166.97/41.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.97/41.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.97/41.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
167.34/41.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.34/41.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.34/41.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
167.34/41.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
175.36/43.92	c lits-rem:       533  cl-subs:      838  v-elim:      0  v-fix:    0  time:  8.05 s
175.36/43.92	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
175.36/43.92	c vivif2 --  cl tried    37128 cl shrink        0 lits rem          0 time: 0.03
175.36/43.96	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.15
175.36/43.96	c calculated reachability. Time: 0.00
175.36/43.96	c  N st    53    357927       631      2741         0     37128      8302    695132   no data   no data  --
193.34/48.44	c  N st    54    390320       631      2741         0     43349      8302    826499   no data   no data  --
219.70/55.04	c  N st    55    438910       631      2741         0     36935      8302    628220   no data   no data  --
263.24/65.92	c  N st    56    511793       631      2741         0     50515      8302   1038347   no data   no data  --
277.20/69.43	c  N st    57    536891       631      2741         0     44691      8302    801339   no data   no data  --
277.20/69.43	c  S st    57    536891       631      2741         0     44691      8302    801339   no data   no data  --
277.60/69.54	c  S st    57    537397       631      2741         0     45197      8302    815344   no data   no data  --
277.60/69.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
277.60/69.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.60/69.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
277.60/69.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
277.60/69.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.60/69.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
277.60/69.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
287.59/72.01	c lits-rem:       827  cl-subs:     1608  v-elim:      0  v-fix:    0  time:  9.67 s
287.59/72.01	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
287.59/72.02	c vivif2 --  cl tried    43589 cl shrink        0 lits rem          0 time: 0.03
287.59/72.06	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.19
287.59/72.07	c calculated reachability. Time: 0.00
287.59/72.07	c  N st    57    537397       631      2741         0     43589      8302    766155   no data   no data  --
396.63/99.36	c  N st    58    701382       631      2741         0     37848      8302    493139   no data   no data  --
478.95/119.93	c  N st    59    806096       631      2741         0     66958      8302   1378182   no data   no data  --
478.95/119.93	c  S st    59    806096       631      2741         0     66958      8302   1378182   no data   no data  --
479.73/120.12	c  S st    59    806600       631      2741         0     67460      8302   1392281   no data   no data  --
479.73/120.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
479.73/120.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
479.73/120.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
480.12/120.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
480.12/120.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.12/120.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
480.12/120.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
500.10/125.26	c lits-rem:       396  cl-subs:     3314  v-elim:      0  v-fix:    0  time: 20.21 s
500.10/125.26	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
500.10/125.28	c vivif2 --  cl tried    64146 cl shrink        0 lits rem          0 time: 0.06
500.51/125.37	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.35
500.51/125.37	c calculated reachability. Time: 0.00
500.51/125.37	c  N st    59    806600       631      2741         0     64146      8302   1281739   no data   no data  --
723.40/181.18	c  F st    60   1071877       631      2741         0     79699      8302   1588223   no data   no data  --
723.40/181.18	c  N st    60   1071877       631      2741         0     79699      8302   1588223   no data   no data  --
742.59/185.99	c  N dy   123   1092087       631      2741         0     55687      8302    775476     18.91     20.10  --
763.34/191.19	c  N dy   201   1112425       631      2741         0     75839      8302   1337690     18.87     20.06  --
788.11/197.39	c  N dy   300   1132953       631      2741         0     50881      8302    589298     19.06     20.08  --
810.08/202.87	c  N dy   377   1156205       631      2741         0     73870      8302   1226240     18.86     19.94  --
837.24/209.66	c  N dy   455   1176567       631      2741         0     47613      8302    459029     18.78     20.04  --
855.22/214.13	c  N dy   537   1196853       631      2741         0     67717      8302   1009884     18.82     19.95  --
870.79/218.06	c  S st   589   1209901       631      2741         0     80618      8302   1364062     18.82   no data  --
871.99/218.30	c  S st   589   1210402       631      2741         0     81119      8302   1377978     18.82   no data  --
871.99/218.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
871.99/218.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
871.99/218.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
872.39/218.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
872.39/218.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
872.39/218.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
872.39/218.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
880.78/220.57	c lits-rem:       246  cl-subs:     1396  v-elim:      0  v-fix:    0  time:  8.68 s
880.78/220.57	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
880.78/220.59	c vivif2 --  cl tried    79723 cl shrink        0 lits rem          0 time: 0.07
881.58/220.70	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.43
881.58/220.70	c calculated reachability. Time: 0.00
881.58/220.70	c  N dy   589   1210402       631      2741         0     79723      8302   1336625     18.82   no data  --
912.33/228.46	c  N dy   664   1237068       631      2741         0     58599      8302    717890     18.68     19.82  --
933.51/233.73	c  N dy   777   1257087       631      2741         0     78441      8302   1274285     18.76     22.43  --
961.48/240.78	c  N dy   869   1277648       631      2741         0     50364      8302    472822     18.79     19.89  --
979.05/245.17	c  N dy   941   1297748       631      2741         0     70246      8302   1021281     18.76     19.82  --
1005.01/251.64	c  N dy  1050   1318063       631      2741         0     90349      8302   1587076     18.81     19.88  --
1029.38/257.71	c  N dy  1163   1338239       631      2741         0     60901      8302    749438     18.87     20.24  --
1075.71/269.38	c  N dy  1216   1379869       631      2741         0     51536      8302    452789     18.60     19.91  --
1095.29/274.20	c  N dy  1352   1399909       631      2741         0     71412      8302   1016456     18.69     23.09  --
1121.25/280.79	c  N dy  1479   1419948       631      2741         0     91254      8302   1570936     18.75     20.82  --
1147.61/287.33	c  N dy  1575   1440025       631      2741         0     59663      8302    647091     18.79     21.59  --
1168.40/292.54	c  N dy  1669   1460108       631      2741         0     79565      8302   1199977     18.80     20.11  --
1198.35/300.06	c  N dy  1798   1480430       631      2741         0     99694      8302   1767331     18.85     19.96  --
1220.32/305.55	c  N dy  1864   1501654       631      2741         0     68246      8302    872171     18.84     20.01  --
1245.09/311.77	c  N dy  1972   1522043       631      2741         0     88418      8302   1445009     18.87     20.22  --
1276.64/319.65	c  N dy  2072   1542086       631      2741         0     54816      8302    466437     18.90     20.44  --
1297.01/324.77	c  N dy  2198   1562616       631      2741         0     75173      8302   1043597     18.94     19.98  --
1323.38/331.32	c  N dy  2266   1582727       631      2741         0     95080      8302   1600159     18.93     19.93  --
1354.14/339.01	c  N dy  2358   1604865       631      2741         0     62470      8302    650834     18.94     20.01  --
1376.50/344.60	c  N dy  2454   1624870       631      2741         0     82286      8302   1211735     18.96     20.33  --
1405.70/351.94	c  N dy  2538   1644882       631      2741         0    102081      8302   1771694     18.97     21.38  --
1432.83/358.71	c  N dy  2596   1665166       631      2741         0     66706      8302    745782     18.94     19.95  --
1456.80/364.75	c  N dy  2680   1685626       631      2741         0     86946      8302   1306577     18.95     19.95  --
1489.17/372.84	c  N dy  2806   1705694       631      2741         0    106825      8302   1868229     18.98     20.09  --
1497.96/375.01	c  S st  2827   1710402       631      2741         0    111469      8302   1995414     18.99     18.77  --
1499.14/375.35	c  S st  2827   1710903       631      2741         0    111968      8302   2009603     18.99   no data  --
1499.14/375.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1499.14/375.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1499.54/375.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
1499.54/375.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1499.54/375.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1499.54/375.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
1499.54/375.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1518.72/380.22	c lits-rem:       358  cl-subs:     2710  v-elim:      0  v-fix:    0  time: 18.93 s
1518.72/380.22	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
1518.72/380.24	c vivif2 --  cl tried   109258 cl shrink        0 lits rem          0 time: 0.10
1519.52/380.40	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.63
1519.52/380.41	c calculated reachability. Time: 0.00
1519.52/380.41	c  N dy  2827   1710903       631      2741         0    109258      8302   1931944     18.99   no data  --
1543.88/386.50	c  N dy  2922   1731776       631      2741         0     73527      8302    918816     19.00     20.18  --
1573.44/393.99	c  N dy  2976   1751856       631      2741         0     93368      8302   1472364     18.99     20.05  --
1612.21/403.61	c  N dy  3079   1771890       631      2741         0    113142      8302   2025564     19.00     21.30  --
1633.76/409.02	c  N dy  3177   1791935       631      2741         0     75646      8302    949713     19.01     23.46  --
1660.13/415.63	c  N dy  3257   1813064       631      2741         0     96562      8302   1537988     19.00     20.15  --
1697.67/425.04	c  N dy  3364   1834208       631      2741         0     59141      8302    464186     19.02     20.61  --
1718.44/430.26	c  N dy  3473   1854449       631      2741         0     79191      8302   1026303     19.04     20.06  --
1747.61/437.57	c  N dy  3583   1874581       631      2741         0     99130      8302   1594215     19.06     20.13  --
1784.75/446.88	c  N dy  3685   1895384       631      2741         0     60340      8302    472970     19.07     20.49  --
1806.32/452.25	c  N dy  3785   1916294       631      2741         0     81011      8302   1059920     19.08     20.14  --
1837.48/460.03	c  N dy  3910   1937068       631      2741         0    101585      8302   1642342     19.10     20.21  --
1878.23/470.20	c  N dy  4020   1960360       631      2741         0     64268      8302    558495     19.11     20.34  --
1900.20/475.76	c  N dy  4119   1980549       631      2741         0     84242      8302   1124666     19.12     20.16  --
1928.98/482.99	c  N dy  4156   2003653       631      2741         0    106957      8302   1749050     19.08     20.12  --
1962.91/491.42	c  N dy  4226   2023794       631      2741         0     65579      8302    572609     19.08     20.24  --
1985.70/497.11	c  N dy  4316   2043844       631      2741         0     85402      8302   1130099     19.09     21.87  --
2018.44/505.35	c  N dy  4428   2064537       631      2741         0    105888      8302   1706017     19.10     20.12  --
2056.41/514.90	c  N dy  4533   2084986       631      2741         0     63831      8302    505737     19.11     20.24  --
2078.76/520.41	c  N dy  4619   2105274       631      2741         0     83904      8302   1078715     19.12     20.36  --
2108.74/527.95	c  N dy  4729   2125365       631      2741         0    103807      8302   1642855     19.14     22.56  --
2153.08/539.01	c  N dy  4841   2148648       631      2741         0     63539      8302    475910     19.15     20.43  --
2175.83/544.74	c  N dy  4958   2168739       631      2741         0     83457      8302   1046272     19.16     24.69  --
2210.20/553.38	c  N dy  5039   2192189       631      2741         0    106621      8302   1692463     19.16     20.20  --
2245.73/562.26	c  S st  5127   2210903       631      2741         0    125133      8302   2216074     19.17     18.87  --
2247.33/562.66	c  S st  5127   2211409       631      2741         0    125639      8302   2230284     19.17   no data  --
2247.33/562.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2247.33/562.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2247.73/562.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2248.13/562.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2248.13/562.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2248.13/562.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
2248.13/562.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2278.89/570.52	c lits-rem:       230  cl-subs:     2819  v-elim:      0  v-fix:    0  time: 30.80 s
2278.89/570.52	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
2278.89/570.55	c vivif2 --  cl tried   122820 cl shrink        0 lits rem          0 time: 0.12
2279.70/570.77	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.88
2279.70/570.77	c calculated reachability. Time: 0.00
2279.70/570.77	c  N dy  5127   2211409       631      2741         0    122820      8302   2146384     19.17   no data  --
2309.64/578.21	c  N dy  5234   2231480       631      2741         0     78388      8302    874758     19.18     21.26  --
2337.22/585.20	c  N dy  5337   2251529       631      2741         0     98235      8302   1442394     19.19     20.23  --
2373.96/594.34	c  N dy  5461   2271570       631      2741         0    118056      8302   2013751     19.21     20.31  --
2415.51/604.79	c  N dy  5535   2299618       631      2741         0     80464      8302    895381     19.20     20.23  --
2443.46/611.74	c  N dy  5613   2319715       631      2741         0    100315      8302   1450273     19.20     23.55  --
2478.62/620.55	c  N dy  5700   2339914       631      2741         0    120293      8302   2011651     19.20     20.33  --
2513.77/629.30	c  N dy  5806   2360188       631      2741         0     74102      8302    711316     19.21     20.34  --
2538.94/635.61	c  N dy  5894   2380202       631      2741         0     93905      8302   1274923     19.22     23.01  --
2572.90/644.17	c  N dy  5992   2400294       631      2741         0    113775      8302   1838409     19.23     20.40  --
2613.64/654.35	c  N dy  6074   2420367       631      2741         0    133651      8302   2401272     19.23     22.30  --
2638.40/660.52	c  N dy  6198   2440389       631      2741         0     86210      8302   1035279     19.25     21.18  --
2667.96/667.93	c  N dy  6293   2460413       631      2741         0    106018      8302   1600547     19.26     21.51  --
2708.31/678.09	c  N dy  6387   2480489       631      2741         0    125904      8302   2164974     19.26     24.49  --
2742.26/686.54	c  N dy  6461   2500632       631      2741         0     77529      8302    758194     19.26     20.47  --
2771.43/693.84	c  N dy  6574   2521348       631      2741         0     98036      8302   1336333     19.27     20.33  --
2806.17/702.53	c  N dy  6651   2541389       631      2741         0    117862      8302   1895777     19.27     20.73  --
2849.31/713.38	c  N dy  6766   2561581       631      2741         0    137855      8302   2471247     19.28     20.37  --
2877.70/720.47	c  N dy  6859   2583751       631      2741         0     90499      8302   1103474     19.29     20.57  --
2911.24/728.80	c  N dy  6930   2604780       631      2741         0    111298      8302   1690247     19.28     20.30  --
2959.57/740.95	c  N dy  6999   2629215       631      2741         0    135385      8302   2356925     19.28     20.39  --
2989.93/748.51	c  N dy  7082   2649731       631      2741         0     85502      8302    934890     19.28     20.32  --
3023.88/757.04	c  N dy  7181   2671770       631      2741         0    107338      8302   1555922     19.29     20.94  --
3066.23/767.64	c  N dy  7288   2691844       631      2741         0    127195      8302   2113916     19.29     24.09  --
3106.97/777.88	c  S st  7408   2711413       631      2741         0     75366      8302    631428     19.30     17.47  --
3107.77/778.09	c  S st  7408   2711918       631      2741         0     75870      8302    646223     19.30   no data  --
3108.17/778.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3108.17/778.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3108.17/778.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
3108.17/778.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3108.17/778.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3108.17/778.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
3108.17/778.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3118.96/780.86	c lits-rem:       222  cl-subs:      144  v-elim:      0  v-fix:    0  time: 10.79 s
3118.96/780.86	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
3118.96/780.87	c vivif2 --  cl tried    75726 cl shrink        0 lits rem          0 time: 0.04
3119.37/780.95	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.32
3119.37/780.95	c calculated reachability. Time: 0.00
3119.37/780.95	c  N dy  7408   2711918       631      2741         0     75726      8302    641516     19.30   no data  --
3144.92/787.32	c  N dy  7509   2731997       631      2741         0     95575      8302   1207713     19.31     22.76  --
3176.08/795.11	c  N dy  7549   2752245       631      2741         0    115586      8302   1762735     19.30     20.44  --
3217.62/805.55	c  N dy  7647   2772294       631      2741         0    135432      8302   2322412     19.30     20.35  --
3251.60/814.08	c  N dy  7738   2792295       631      2741         0     82995      8302    825209     19.31     20.55  --
3280.73/821.36	c  N dy  7849   2812370       631      2741         0    102875      8302   1394759     19.31     20.57  --
3327.08/832.98	c  N dy  7964   2836733       631      2741         0    126941      8302   2074456     19.32     20.38  --
3374.63/844.88	c  N dy  8051   2857081       631      2741         0     73859      8302    543888     19.32     20.51  --
3400.17/851.26	c  N dy  8166   2877137       631      2741         0     93689      8302   1111354     19.33     21.74  --
3433.33/859.50	c  N dy  8246   2897478       631      2741         0    113805      8302   1677381     19.33     20.50  --
3480.09/871.26	c  N dy  8337   2917524       631      2741         0    133635      8302   2235385     19.33     22.98  --
3549.17/888.58	c  N dy  8404   2949126       631      2741         0     90696      8302    980967     19.31     20.39  --
3584.33/897.31	c  N dy  8509   2970292       631      2741         0    111657      8302   1572639     19.32     20.39  --
3631.07/909.06	c  N dy  8592   2994661       631      2741         0    135724      8302   2247458     19.32     20.34  --
3673.03/919.55	c  N dy  8698   3014666       631      2741         0     80366      8302    684024     19.33     22.32  --
3702.57/926.91	c  N dy  8818   3034995       631      2741         0    100457      8302   1248061     19.34     20.37  --
3738.53/935.93	c  N dy  8932   3055084       631      2741         0    120382      8302   1820644     19.34     20.98  --
3782.46/946.90	c  N dy  9041   3075181       631      2741         0    140262      8302   2395345     19.35     20.41  --
3823.20/957.19	c  N dy  9151   3095229       631      2741         0     83904      8302    761861     19.36     20.45  --
3852.36/964.44	c  N dy  9252   3115281       631      2741         0    103731      8302   1329482     19.37     20.55  --
3902.30/976.95	c  N dy  9321   3141293       631      2741         0    129409      8302   2056141     19.36     20.42  --
3959.42/991.24	c  N dy  9409   3161301       631      2741         0    149217      8302   2613479     19.36     20.57  --
3991.38/999.20	c  N dy  9474   3181381       631      2741         0     91948      8302    962920     19.36     20.42  --
4030.92/1009.16	c  N dy  9555   3207060       631      2741         0    117230      8302   1659737     19.35     20.52  --
4040.51/1011.54	c  S st  9582   3211918       631      2741         0    122033      8302   1796916     19.36     19.26  --
4041.72/1011.88	c  S st  9582   3212425       631      2741         0    122539      8302   1811732     19.36   no data  --
4041.72/1011.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4041.72/1011.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4042.13/1011.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
4042.53/1012.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4042.53/1012.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4042.53/1012.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    631 time:  0.00 s
4042.53/1012.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4063.28/1017.27	c lits-rem:       160  cl-subs:     2631  v-elim:      0  v-fix:    0  time: 21.00 s
4063.28/1017.27	c vivif2 --  cl tried     2741 cl shrink        0 lits rem          0 time: 0.00
4063.28/1017.29	c vivif2 --  cl tried   119908 cl shrink        0 lits rem          0 time: 0.09
4064.10/1017.46	c asymm  cl-useful: 0/2741/2741 lits-rem:0 time: 0.68
4064.10/1017.47	c calculated reachability. Time: 0.00
4064.10/1017.47	c  N dy  9582   3212425       631      2741         0    119908      8302   1738440     19.36   no data  --
4108.81/1028.61	c  N dy  9670   3232477       631      2741         0    139735      8302   2299050     19.36     23.52  --
4161.17/1041.72	c  N dy  9749   3260028       631      2741         0     88867      8302    849484     19.35     20.46  --
4191.93/1049.48	c  N dy  9840   3280336       631      2741         0    108935      8302   1422225     19.35     20.42  --
4230.66/1059.14	c  N dy  9938   3300424       631      2741         0    128836      8302   1991658     19.36     20.54  --
4273.80/1069.94	c  N dy  9974   3321382       631      2741         0    149478      8302   2561620     19.35     20.39  --
4311.74/1079.43	c  N dy 10049   3341405       631      2741         0     90270      8302    878548     19.35     22.22  --
4340.50/1086.70	c  N dy 10119   3361416       631      2741         0    110003      8302   1425394     19.34     21.82  --
4382.85/1097.29	c  N dy 10214   3381437       631      2741         0    129782      8302   1981463     19.35     20.40  --
4442.76/1112.24	c  N dy 10283   3402881       631      2741         0    150991      8302   2577730     19.34     20.44  --
4485.10/1122.89	c  N dy 10369   3423339       631      2741         0     91222      8302    887762     19.35     20.48  --
4516.68/1130.78	c  N dy 10460   3443421       631      2741         0    111061      8302   1457054     19.35     23.20  --
4555.41/1140.41	c  N dy 10544   3463700       631      2741         0    131082      8302   2034275     19.35     20.58  --
4604.56/1152.74	c  N dy 10668   3483749       631      2741         0    150935      8302   2599963     19.36     23.46  --
4643.69/1162.58	c  N dy 10722   3503830       631      2741         0     89734      8302    824398     19.36     20.51  --
4682.84/1172.38	c  N dy 10823   3529319       631      2741         0    114945      8302   1544699     19.36     20.61  --
4723.98/1182.66	c  N dy 10901   3550056       631      2741         0    135451      8302   2132794     19.36     20.51  --
4784.72/1197.89	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: 935)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 8.06 8.03 7.66 3/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=208188 CPUtime=0.01 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 865 0 0 0 1 0 0 0 18 0 4 0 602440279 213184512 777 33554432000 4194304 4650419 140733839794176 18446744073709551615 4369226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 52047 777 359 112 0 47012 0
[pid=6060/tid=6063] ppid=6057 vsize=224900 CPUtime=0 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 154 0 0 0 0 0 0 0 18 0 4 0 602440280 230297600 810 33554432000 4194304 4650419 140733839794176 18446744073709551615 231895188106 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=233188 CPUtime=0 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) D 6057 6060 5921 0 -1 4202560 174 0 0 0 0 0 0 0 18 0 4 0 602440280 238784512 819 33554432000 4194304 4650419 140733839794176 18446744073709551615 4516467 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=233188 CPUtime=0 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 4 0 602440280 238784512 828 33554432000 4194304 4650419 140733839794176 18446744073709551615 4353850 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0340661 s]
/proc/loadavg: 8.06 8.03 7.66 3/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=283012 CPUtime=0.11 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 1595 0 0 0 11 0 0 0 18 0 4 0 602440279 289804288 1432 33554432000 4194304 4650419 140733839794176 18446744073709551615 4333957 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 70753 1432 390 112 0 65718 0
[pid=6060/tid=6063] ppid=6057 vsize=283012 CPUtime=0.02 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 333 0 0 0 2 0 0 0 18 0 4 0 602440280 289804288 1432 33554432000 4194304 4650419 140733839794176 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=283012 CPUtime=0.03 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 339 0 0 0 3 0 0 0 18 0 4 0 602440280 289804288 1432 33554432000 4194304 4650419 140733839794176 18446744073709551615 4281455 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=283012 CPUtime=0.02 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 153 0 0 0 2 0 0 0 21 0 4 0 602440280 289804288 1432 33554432000 4194304 4650419 140733839794176 18446744073709551615 4315153 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) 283012

[startup+0.101054 s]
/proc/loadavg: 8.06 8.03 7.66 3/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=283160 CPUtime=0.38 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 1964 0 0 0 38 0 0 0 18 0 4 0 602440279 289955840 1801 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 70790 1801 391 112 0 65755 0
[pid=6060/tid=6063] ppid=6057 vsize=283160 CPUtime=0.09 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 422 0 0 0 9 0 0 0 18 0 4 0 602440280 289955840 1801 33554432000 4194304 4650419 140733839794176 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=283160 CPUtime=0.09 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 441 0 0 0 9 0 0 0 18 0 4 0 602440280 289955840 1801 33554432000 4194304 4650419 140733839794176 18446744073709551615 231895149287 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=283160 CPUtime=0.09 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 252 0 0 0 9 0 0 0 21 0 4 0 602440280 289955840 1801 33554432000 4194304 4650419 140733839794176 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 283160

[startup+0.301016 s]
/proc/loadavg: 8.06 8.03 7.66 3/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=284868 CPUtime=1.17 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 3205 0 0 0 117 0 0 0 18 0 4 0 602440279 291704832 2360 33554432000 4194304 4650419 140733839794176 18446744073709551615 4333687 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 71217 2361 393 112 0 66182 0
[pid=6060/tid=6063] ppid=6057 vsize=284868 CPUtime=0.29 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 727 0 0 0 29 0 0 0 18 0 4 0 602440280 291704832 2361 33554432000 4194304 4650419 140733839794176 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=284868 CPUtime=0.29 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 760 0 0 0 29 0 0 0 18 0 4 0 602440280 291704832 2361 33554432000 4194304 4650419 140733839794176 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=284868 CPUtime=0.29 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 563 0 0 0 29 0 0 0 21 0 4 0 602440280 291704832 2361 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364762 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) 284868

[startup+0.700942 s]
/proc/loadavg: 8.06 8.03 7.66 3/176 6062
/proc/meminfo: memFree=29504244/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=286156 CPUtime=2.78 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 4948 0 0 0 277 1 0 0 18 0 4 0 602440279 293023744 3075 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 71539 3075 393 112 0 66504 0
[pid=6060/tid=6063] ppid=6057 vsize=286156 CPUtime=0.69 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 1145 0 0 0 69 0 0 0 18 0 4 0 602440280 293023744 3075 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=286156 CPUtime=0.69 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 1188 0 0 0 69 0 0 0 18 0 4 0 602440280 293023744 3075 33554432000 4194304 4650419 140733839794176 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=286156 CPUtime=0.68 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 1010 0 0 0 68 0 0 0 22 0 4 0 602440280 293023744 3075 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286156

[startup+1.5008 s]
/proc/loadavg: 8.06 8.03 7.66 10/184 6070
/proc/meminfo: memFree=29481488/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=288396 CPUtime=5.97 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 9776 0 0 0 595 2 0 0 20 0 4 0 602440279 295317504 5082 33554432000 4194304 4650419 140733839794176 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 72099 5082 395 112 0 67064 0
[pid=6060/tid=6063] ppid=6057 vsize=288396 CPUtime=1.49 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 2067 0 0 0 149 0 0 0 20 0 4 0 602440280 295317504 5082 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=288396 CPUtime=1.49 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 2023 0 0 0 149 0 0 0 19 0 4 0 602440280 295317504 5082 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=288396 CPUtime=1.48 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 1825 0 0 0 148 0 0 0 25 0 4 0 602440280 295317504 5082 33554432000 4194304 4650419 140733839794176 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288396

[startup+3.10049 s]
/proc/loadavg: 8.05 8.03 7.66 10/184 6070
/proc/meminfo: memFree=29456900/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=289920 CPUtime=12.36 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 18168 0 0 0 1232 4 0 0 25 0 4 0 602440279 296878080 10583 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 72480 10583 395 112 0 67445 0
[pid=6060/tid=6063] ppid=6057 vsize=289920 CPUtime=3.08 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 4119 0 0 0 308 0 0 0 25 0 4 0 602440280 296878080 10583 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=289920 CPUtime=3.09 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 4632 0 0 0 308 1 0 0 25 0 4 0 602440280 296878080 10583 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=289920 CPUtime=3.07 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 4228 0 0 0 307 0 0 0 25 0 4 0 602440280 296878080 10583 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 289920

[startup+6.3009 s]
/proc/loadavg: 8.05 8.03 7.66 10/184 6070
/proc/meminfo: memFree=29389320/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=317124 CPUtime=25.14 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 27137 0 0 0 2509 5 0 0 25 0 4 0 602440279 324734976 15312 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 79281 15312 395 112 0 74246 0
[pid=6060/tid=6063] ppid=6057 vsize=317124 CPUtime=6.28 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 6853 0 0 0 627 1 0 0 25 0 4 0 602440280 324734976 15312 33554432000 4194304 4650419 140733839794176 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=317124 CPUtime=6.29 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 6581 0 0 0 628 1 0 0 25 0 4 0 602440280 324734976 15312 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=317124 CPUtime=6.26 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 6244 0 0 0 625 1 0 0 25 0 4 0 602440280 324734976 15312 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 317124

[startup+12.7007 s]
/proc/loadavg: 8.04 8.03 7.66 10/184 6070
/proc/meminfo: memFree=29349176/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=309156 CPUtime=50.71 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 39664 0 0 0 5063 8 0 0 25 0 4 0 602440279 316575744 21533 33554432000 4194304 4650419 140733839794176 18446744073709551615 4332775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 77289 21533 395 112 0 72254 0
[pid=6060/tid=6063] ppid=6057 vsize=309156 CPUtime=12.68 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 9832 0 0 0 1267 1 0 0 25 0 4 0 602440280 316575744 21533 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=309156 CPUtime=12.69 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 9961 0 0 0 1267 2 0 0 25 0 4 0 602440280 316575744 21533 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=309156 CPUtime=12.62 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 8518 0 0 0 1261 1 0 0 25 0 4 0 602440280 316575744 21533 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 309156

[startup+25.5003 s]
/proc/loadavg: 8.04 8.03 7.67 9/184 6070
/proc/meminfo: memFree=29274516/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=318388 CPUtime=101.83 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 59274 0 0 0 10171 12 0 0 25 0 4 0 602440279 326029312 30754 33554432000 4194304 4650419 140733839794176 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 79597 30754 395 112 0 74562 0
[pid=6060/tid=6063] ppid=6057 vsize=318388 CPUtime=25.48 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 14557 0 0 0 2546 2 0 0 25 0 4 0 602440280 326029312 30754 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=318388 CPUtime=25.49 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 14674 0 0 0 2546 3 0 0 25 0 4 0 602440280 326029312 30754 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=318388 CPUtime=25.34 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 11246 0 0 0 2532 2 0 0 25 0 4 0 602440280 326029312 30754 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364648 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 318388

[startup+51.1005 s]
/proc/loadavg: 8.02 8.02 7.67 10/184 6071
/proc/meminfo: memFree=29190840/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=409060 CPUtime=204.1 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 86871 0 0 0 20390 20 0 0 25 0 4 0 602440279 418877440 43561 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 102265 43561 395 112 0 97230 0
[pid=6060/tid=6063] ppid=6057 vsize=409060 CPUtime=51.08 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 20996 0 0 0 5104 4 0 0 25 0 4 0 602440280 418877440 43561 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=409060 CPUtime=51.09 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 22562 0 0 0 5104 5 0 0 25 0 4 0 602440280 418877440 43561 33554432000 4194304 4650419 140733839794176 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=409060 CPUtime=50.81 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 13779 0 0 0 5078 3 0 0 25 0 4 0 602440280 418877440 43561 33554432000 4194304 4650419 140733839794176 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 409060

[startup+102.307 s]
/proc/loadavg: 8.01 8.02 7.69 10/184 6072
/proc/meminfo: memFree=29120104/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=474176 CPUtime=408.65 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 115770 0 0 0 40834 31 0 0 25 0 4 0 602440279 485556224 52656 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 118544 52656 395 112 0 113509 0
[pid=6060/tid=6063] ppid=6057 vsize=474176 CPUtime=102.28 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 34154 0 0 0 10219 9 0 0 25 0 4 0 602440280 485556224 52656 33554432000 4194304 4650419 140733839794176 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=474176 CPUtime=102.3 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 25684 0 0 0 10223 7 0 0 25 0 4 0 602440280 485556224 52656 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=474176 CPUtime=101.74 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 16531 0 0 0 10170 4 0 0 25 0 4 0 602440280 485556224 52656 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 474176

[startup+162.301 s]

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

[pid=6060] ppid=6057 vsize=581232 CPUtime=2805.37 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 335040 0 0 0 280419 118 0 0 25 0 4 0 602440279 595181568 105990 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 145308 105990 395 112 0 140273 0
[pid=6060/tid=6063] ppid=6057 vsize=581232 CPUtime=702.24 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 142639 0 0 0 70171 53 0 0 25 0 4 0 602440280 595181568 105990 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=581232 CPUtime=702.31 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 68146 0 0 0 70208 23 0 0 25 0 4 0 602440280 595181568 105990 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=581232 CPUtime=698.49 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 25438 0 0 0 69841 8 0 0 25 0 4 0 602440280 595181568 105990 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 581232

[startup+762.307 s]
/proc/loadavg: 8.07 8.10 7.89 9/184 6090
/proc/meminfo: memFree=28683848/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=570200 CPUtime=3045.08 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 353536 0 0 0 304380 128 0 0 25 0 4 0 602440279 583884800 102613 33554432000 4194304 4650419 140733839794176 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 142550 102613 395 112 0 137515 0
[pid=6060/tid=6063] ppid=6057 vsize=570200 CPUtime=762.24 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 150077 0 0 0 76168 56 0 0 25 0 4 0 602440280 583884800 102613 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=570200 CPUtime=762.32 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 70685 0 0 0 76207 25 0 0 25 0 4 0 602440280 583884800 102613 33554432000 4194304 4650419 140733839794176 18446744073709551615 4438521 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=570200 CPUtime=758.17 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 31151 0 0 0 75806 11 0 0 25 0 4 0 602440280 583884800 102613 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 570200

[startup+822.301 s]
/proc/loadavg: 8.02 8.08 7.89 10/184 6092
/proc/meminfo: memFree=28653416/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=634328 CPUtime=3284.73 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 371577 0 0 0 328336 137 0 0 25 0 4 0 602440279 649551872 108058 33554432000 4194304 4650419 140733839794176 18446744073709551615 4354992 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 158582 108058 395 112 0 153547 0
[pid=6060/tid=6063] ppid=6057 vsize=634328 CPUtime=822.23 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 158315 0 0 0 82163 60 0 0 25 0 4 0 602440280 649551872 108058 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=634328 CPUtime=822.31 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 77001 0 0 0 82203 28 0 0 25 0 4 0 602440280 649551872 108058 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=634328 CPUtime=817.84 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 31795 0 0 0 81773 11 0 0 25 0 4 0 602440280 649551872 108058 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 634328

[startup+882.301 s]
/proc/loadavg: 8.01 8.06 7.90 10/184 6093
/proc/meminfo: memFree=28617412/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=630272 CPUtime=3524.41 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 382211 0 0 0 352300 141 0 0 25 0 4 0 602440279 645398528 111351 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 157568 111351 395 112 0 152533 0
[pid=6060/tid=6063] ppid=6057 vsize=630272 CPUtime=882.22 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 167122 0 0 0 88160 62 0 0 25 0 4 0 602440280 645398528 111351 33554432000 4194304 4650419 140733839794176 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=630272 CPUtime=882.31 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 77160 0 0 0 88203 28 0 0 25 0 4 0 602440280 645398528 111351 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=630272 CPUtime=877.52 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 31971 0 0 0 87740 12 0 0 25 0 4 0 602440280 645398528 111351 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 630272

[startup+942.301 s]
/proc/loadavg: 8.00 8.05 7.90 10/184 6095
/proc/meminfo: memFree=28614512/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=584120 CPUtime=3764.08 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 393261 0 0 0 376262 146 0 0 25 0 4 0 602440279 598138880 109734 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 146030 109734 395 112 0 140995 0
[pid=6060/tid=6063] ppid=6057 vsize=584120 CPUtime=942.22 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 174460 0 0 0 94157 65 0 0 25 0 4 0 602440280 598138880 109734 33554432000 4194304 4650419 140733839794176 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=584120 CPUtime=942.31 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 77505 0 0 0 94203 28 0 0 25 0 4 0 602440280 598138880 109734 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=584120 CPUtime=937.2 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 32096 0 0 0 93708 12 0 0 25 0 4 0 602440280 598138880 109734 33554432000 4194304 4650419 140733839794176 18446744073709551615 4229477 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 584120

[startup+1002.3 s]
/proc/loadavg: 8.00 8.04 7.91 9/184 6096
/proc/meminfo: memFree=28592684/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=702096 CPUtime=4003.76 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 411497 0 0 0 400222 154 0 0 25 0 4 0 602440279 718946304 116891 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 175524 116891 395 112 0 170489 0
[pid=6060/tid=6063] ppid=6057 vsize=702096 CPUtime=1002.21 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 181861 0 0 0 100152 69 0 0 25 0 4 0 602440280 718946304 116891 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=702096 CPUtime=1002.32 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 83182 0 0 0 100202 30 0 0 25 0 4 0 602440280 718946304 116891 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=702096 CPUtime=996.87 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 32454 0 0 0 99675 12 0 0 25 0 4 0 602440280 718946304 116891 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 702096

[startup+1062.3 s]
/proc/loadavg: 8.00 8.03 7.91 9/184 6098
/proc/meminfo: memFree=28533096/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=767616 CPUtime=4243.44 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 427025 0 0 0 424182 162 0 0 25 0 4 0 602440279 786038784 126419 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 191904 126419 395 112 0 186869 0
[pid=6060/tid=6063] ppid=6057 vsize=767616 CPUtime=1062.21 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 188405 0 0 0 106148 73 0 0 25 0 4 0 602440280 786038784 126419 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=767616 CPUtime=1062.33 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 87163 0 0 0 106201 32 0 0 25 0 4 0 602440280 786038784 126419 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=767616 CPUtime=1056.55 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 33054 0 0 0 105643 12 0 0 25 0 4 0 602440280 786038784 126419 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 767616

[startup+1122.3 s]
/proc/loadavg: 8.00 8.02 7.91 10/184 6100
/proc/meminfo: memFree=28500808/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=793876 CPUtime=4483.11 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 440120 0 0 0 448141 170 0 0 25 0 4 0 602440279 812929024 128773 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 198469 128773 395 112 0 193434 0
[pid=6060/tid=6063] ppid=6057 vsize=793876 CPUtime=1122.21 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 193205 0 0 0 112146 75 0 0 25 0 4 0 602440280 812929024 128773 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=793876 CPUtime=1122.32 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 90972 0 0 0 112197 35 0 0 25 0 4 0 602440280 812929024 128773 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=793876 CPUtime=1116.22 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 33603 0 0 0 111609 13 0 0 25 0 4 0 602440280 812929024 128773 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 793876

[startup+1182.3 s]
/proc/loadavg: 8.05 8.03 7.91 10/184 6101
/proc/meminfo: memFree=28500768/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=740584 CPUtime=4722.78 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 453531 0 0 0 472101 177 0 0 25 0 4 0 602440279 758358016 128699 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 185146 128699 395 112 0 180111 0
[pid=6060/tid=6063] ppid=6057 vsize=740584 CPUtime=1182.2 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 200118 0 0 0 118142 78 0 0 25 0 4 0 602440280 758358016 128699 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=740584 CPUtime=1182.32 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 94348 0 0 0 118195 37 0 0 25 0 4 0 602440280 758358016 128699 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=740584 CPUtime=1175.9 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 33948 0 0 0 117577 13 0 0 25 0 4 0 602440280 758358016 128699 33554432000 4194304 4650419 140733839794176 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 740584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.03 8.03 7.91 10/184 6102
/proc/meminfo: memFree=28474460/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=837220 CPUtime=4800.3 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 458199 0 0 0 479850 180 0 0 25 0 4 0 602440279 857313280 133367 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 209305 133367 395 112 0 204270 0
[pid=6060/tid=6063] ppid=6057 vsize=837220 CPUtime=1201.61 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 201341 0 0 0 120082 79 0 0 25 0 4 0 602440280 857313280 133367 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=837220 CPUtime=1201.73 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 96740 0 0 0 120135 38 0 0 25 0 4 0 602440280 857313280 133367 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=837220 CPUtime=1195.19 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 34118 0 0 0 119506 13 0 0 25 0 4 0 602440280 857313280 133367 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 837220

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

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

[startup+1201.7 s]
/proc/loadavg: 8.03 8.03 7.91 10/184 6102
/proc/meminfo: memFree=28474460/32950928 swapFree=67111356/67111528
[pid=6060] ppid=6057 vsize=837220 CPUtime=4800.3 cores=0,2,4,6
/proc/6060/stat : 6060 (strangenight1-m) R 6057 6060 5921 0 -1 4202496 458199 0 0 0 479850 180 0 0 25 0 4 0 602440279 857313280 133367 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6060/statm: 209305 133367 395 112 0 204270 0
[pid=6060/tid=6063] ppid=6057 vsize=837220 CPUtime=1201.61 cores=0,2,4,6
/proc/6060/task/6063/stat : 6063 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 201341 0 0 0 120082 79 0 0 25 0 4 0 602440280 857313280 133367 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6060/tid=6064] ppid=6057 vsize=837220 CPUtime=1201.73 cores=0,2,4,6
/proc/6060/task/6064/stat : 6064 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 96740 0 0 0 120135 38 0 0 25 0 4 0 602440280 857313280 133367 33554432000 4194304 4650419 140733839794176 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6060/tid=6065] ppid=6057 vsize=837220 CPUtime=1195.19 cores=0,2,4,6
/proc/6060/task/6065/stat : 6065 (strangenight1-m) R 6057 6060 5921 0 -1 4202560 34118 0 0 0 119506 13 0 0 25 0 4 0 602440280 857313280 133367 33554432000 4194304 4650419 140733839794176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 837220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.35
CPU user time (s): 4798.53
CPU system time (s): 1.82672
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 862272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.53
system time used= 1.82672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458199
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= 511
involuntary context switches= 38537

runsolver used 1.82472 second user time and 4.73728 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 02:08:16
IDJOB=3175390
IDBENCH=83008
IDSOLVER=1588
FILE ID=node114/3175390-1304122096
RUNJOBID= node114-1304120892-5939
PBS_JOBID= 13170736
Free space on /tmp= 71804 MiB

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

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

MD5SUM BENCH= 2b3c7a221faca9e629eac8ef7f1b0cd7
RANDOM SEED=727034422

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.74
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.848
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:     32950928 kB
MemFree:      29504556 kB
Buffers:       1073916 kB
Cached:        1802808 kB
SwapCached:        168 kB
Active:         160392 kB
Inactive:      2780668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29504556 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:       64756 kB
Mapped:          14688 kB
Slab:           440624 kB
PageTables:       4272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188144 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= 71792 MiB
End job on node114 at 2011-04-30 02:28:20