Trace number 3368939

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.31 1203.54

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3368939-1305406927.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.03 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     273 undec:      69 neg:     258
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       587      2533         0         0      7661         0   no data   no data  --
0.00/0.07	c Decided on static restart strategy
0.42/0.17	c  N st     8      4918       587      2533         0      4836      7661    128319   no data   no data  --
1.57/0.44	c  N st    10     11302       587      2533         0      4513      7661     87545   no data   no data  --
2.77/0.72	c  N st    11     17045       587      2533         0     10162      7661    241979   no data   no data  --
4.41/1.16	c  F st    12     25000       587      2533         0     12444      7661    298449   no data   no data  --
4.41/1.16	c  N st    12     25000       587      2533         0     12444      7661    298449   no data   no data  --
5.56/1.41	c Decided on static restart strategy
5.56/1.41	c  N st    18     30002       587      2533         0     10697      7661    222585   no data   no data  --
5.56/1.41	c  S st    18     30002       587      2533         0     10697      7661    222585   no data   no data  --
5.56/1.44	c  S st    18     30504       587      2533         0     11199      7661    235216   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.01
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:    587 time:  0.00 s
5.56/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.36/1.68	c lits-rem:       114  cl-subs:      497  v-elim:      0  v-fix:    0  time:  0.93 s
6.36/1.69	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
6.36/1.69	c calculated reachability. Time: 0.00
6.36/1.69	c  N st    18     30504       587      2533         0     10702      7661    220667   no data   no data  --
8.38/2.13	c  N st    20     37614       587      2533         0      9948      7661    180703   no data   no data  --
9.94/2.52	c  N st    21     44013       587      2533         0     16225      7661    352757   no data   no data  --
10.35/2.65	c  S st    22     45757       587      2533         0      9173      7661    144609   no data   no data  --
10.35/2.67	c  S st    22     46258       587      2533         0      9674      7661    157936   no data   no data  --
10.35/2.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.35/2.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.35/2.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
10.35/2.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.14/2.80	c lits-rem:        87  cl-subs:       65  v-elim:      0  v-fix:    0  time:  0.47 s
11.14/2.80	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
11.14/2.80	c vivif2 --  cl tried     9609 cl shrink        0 lits rem          0 time: 0.00
11.14/2.81	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
11.14/2.81	c calculated reachability. Time: 0.00
11.14/2.81	c  N st    22     46258       587      2533         0      9609      7661    155980   no data   no data  --
15.13/3.80	c  N st    23     60655       587      2533         0     13996      7661    279518   no data   no data  --
17.57/4.48	c  N st    24     69387       587      2533         0     11767      7661    193136   no data   no data  --
17.57/4.48	c  S st    24     69387       587      2533         0     11767      7661    193136   no data   no data  --
17.92/4.52	c  S st    24     69892       587      2533         0     12271      7661    206023   no data   no data  --
17.92/4.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.92/4.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.92/4.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.92/4.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.92/4.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.92/4.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
17.92/4.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.72/4.74	c lits-rem:        64  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.87 s
18.72/4.74	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
18.72/4.75	c vivif2 --  cl tried    12161 cl shrink        0 lits rem          0 time: 0.01
18.72/4.76	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.04
18.72/4.76	c calculated reachability. Time: 0.00
18.72/4.76	c  N st    24     69892       587      2533         0     12161      7661    202842   no data   no data  --
23.91/6.04	c  F st    25     87500       587      2533         0     17678      7661    352794   no data   no data  --
23.91/6.04	c  N st    25     87500       587      2533         0     17678      7661    352794   no data   no data  --
25.50/6.44	c Decided on static restart strategy
26.70/6.74	c  N st    32     95541       587      2533         0     25581      7661    565789   no data   no data  --
29.49/7.47	c  N st    34    104839       587      2533         0     21951      7661    443780   no data   no data  --
29.49/7.47	c  S st    34    104839       587      2533         0     21951      7661    443780   no data   no data  --
29.89/7.52	c  S st    34    105343       587      2533         0     22455      7661    456282   no data   no data  --
29.89/7.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.89/7.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.89/7.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.89/7.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.89/7.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.89/7.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
29.89/7.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.28/8.68	c lits-rem:       251  cl-subs:      571  v-elim:      0  v-fix:    0  time:  4.53 s
34.28/8.68	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
34.28/8.69	c vivif2 --  cl tried    21884 cl shrink        0 lits rem          0 time: 0.02
34.71/8.72	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.12
34.71/8.72	c calculated reachability. Time: 0.00
34.71/8.72	c  N st    34    105343       587      2533         0     21884      7661    439424   no data   no data  --
37.87/9.55	c  N st    35    114941       587      2533         0     17529      7661    294772   no data   no data  --
43.49/10.94	c  N st    36    129338       587      2533         0     16957      7661    260328   no data   no data  --
51.83/13.06	c  N st    37    150933       587      2533         0     22464      7661    401091   no data   no data  --
54.62/13.74	c  S st    38    158016       587      2533         0     29402      7661    591321   no data   no data  --
55.02/13.80	c  S st    38    158520       587      2533         0     29906      7661    605049   no data   no data  --
55.02/13.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
55.02/13.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.02/13.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
55.02/13.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55.02/13.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.02/13.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
55.02/13.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
61.80/15.59	c lits-rem:       282  cl-subs:     1168  v-elim:      0  v-fix:    0  time:  6.98 s
61.80/15.59	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
61.80/15.59	c vivif2 --  cl tried    28738 cl shrink        0 lits rem          0 time: 0.02
62.20/15.62	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.09
62.20/15.62	c calculated reachability. Time: 0.00
62.20/15.62	c  N st    38    158520       587      2533         0     28738      7661    569890   no data   no data  --
82.55/20.80	c  N st    39    207108       587      2533         0     23471      7661    381718   no data   no data  --
96.90/24.38	c  N st    40    237783       587      2533         0     33912      7661    663069   no data   no data  --
96.90/24.38	c  S st    40    237783       587      2533         0     33912      7661    663069   no data   no data  --
97.30/24.46	c  S st    40    238283       587      2533         0     34412      7661    676224   no data   no data  --
97.30/24.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.30/24.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.30/24.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
97.70/24.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.70/24.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.70/24.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
97.70/24.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
105.67/26.52	c lits-rem:       578  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  8.06 s
105.67/26.52	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
105.67/26.53	c vivif2 --  cl tried    33199 cl shrink        0 lits rem          0 time: 0.03
105.67/26.56	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
105.67/26.56	c calculated reachability. Time: 0.00
105.67/26.56	c  N st    40    238283       587      2533         0     33199      7661    638483   no data   no data  --
139.59/35.08	c  F st    41    306252       587      2533         0     35050      7661    614677   no data   no data  --
139.59/35.08	c  N st    41    306252       587      2533         0     35050      7661    614677   no data   no data  --
142.37/35.76	c Decided on static restart strategy
153.94/38.61	c  N st    51    334555       587      2533         0     39437      7661    721120   no data   no data  --
166.34/41.72	c  N st    53    357424       587      2533         0     37254      7661    647318   no data   no data  --
166.34/41.72	c  S st    53    357424       587      2533         0     37254      7661    647318   no data   no data  --
166.75/41.81	c  S st    53    357925       587      2533         0     37754      7661    660068   no data   no data  --
166.75/41.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.75/41.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.75/41.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
166.75/41.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.75/41.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.75/41.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
166.75/41.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
173.89/43.68	c lits-rem:       446  cl-subs:      873  v-elim:      0  v-fix:    0  time:  7.30 s
173.89/43.68	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
173.89/43.69	c vivif2 --  cl tried    36881 cl shrink        0 lits rem          0 time: 0.03
174.29/43.72	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.14
174.29/43.72	c calculated reachability. Time: 0.00
174.29/43.72	c  N st    53    357925       587      2533         0     36881      7661    633413   no data   no data  --
193.83/48.68	c  N st    54    390318       587      2533         0     43092      7661    745469   no data   no data  --
221.75/55.67	c  N st    55    438909       587      2533         0     36892      7661    568725   no data   no data  --
270.02/67.75	c  N st    56    511792       587      2533         0     50298      7661    903313   no data   no data  --
285.57/71.63	c  N st    57    536890       587      2533         0     44705      7661    748028   no data   no data  --
285.57/71.63	c  S st    57    536890       587      2533         0     44705      7661    748028   no data   no data  --
285.97/71.74	c  S st    57    537395       587      2533         0     45208      7661    760836   no data   no data  --
285.97/71.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
285.97/71.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.97/71.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
285.97/71.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
285.97/71.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
285.97/71.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
285.97/71.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
294.35/73.82	c lits-rem:       641  cl-subs:      922  v-elim:      0  v-fix:    0  time:  8.12 s
294.35/73.82	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
294.35/73.83	c vivif2 --  cl tried    44286 cl shrink        0 lits rem          0 time: 0.04
294.35/73.87	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.17
294.35/73.88	c calculated reachability. Time: 0.00
294.35/73.88	c  N st    57    537395       587      2533         0     44286      7661    735126   no data   no data  --
416.02/104.33	c  N st    58    701379       587      2533         0     38265      7661    463595   no data   no data  --
502.98/126.15	c  N st    59    806096       587      2533         0     67225      7661   1186816   no data   no data  --
502.98/126.15	c  S st    59    806096       587      2533         0     67225      7661   1186816   no data   no data  --
503.78/126.34	c  S st    59    806601       587      2533         0     67730      7661   1200043   no data   no data  --
503.78/126.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
503.78/126.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
503.78/126.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
504.20/126.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
504.20/126.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
504.20/126.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
504.20/126.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
520.51/130.51	c lits-rem:       596  cl-subs:     4222  v-elim:      0  v-fix:    0  time: 16.28 s
520.51/130.51	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
520.51/130.52	c vivif2 --  cl tried    63508 cl shrink        0 lits rem          0 time: 0.05
520.91/130.60	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.32
520.91/130.61	c calculated reachability. Time: 0.00
520.91/130.61	c  N st    59    806601       587      2533         0     63508      7661   1097414   no data   no data  --
743.49/186.44	c  F st    60   1071875       587      2533         0     79241      7661   1404899   no data   no data  --
743.49/186.44	c  N st    60   1071875       587      2533         0     79241      7661   1404899   no data   no data  --
762.24/191.16	c  N dy   104   1092141       587      2533         0     55322      7661    720711     17.88     18.85  --
782.97/196.35	c  N dy   175   1112223       587      2533         0     75151      7661   1226702     17.66     18.83  --
807.71/202.56	c  N dy   246   1132907       587      2533         0     50382      7661    542331     17.60     18.61  --
827.26/207.49	c  N dy   330   1153527       587      2533         0     70800      7661   1071628     17.59     18.60  --
854.38/214.25	c  N dy   418   1173575       587      2533         0     90600      7661   1580175     17.60     19.48  --
873.91/219.18	c  N dy   503   1194432       587      2533         0     64870      7661    882261     17.61     18.61  --
893.86/224.10	c  S st   592   1209903       587      2533         0     80185      7661   1282390     17.70   no data  --
894.68/224.39	c  S st   592   1210408       587      2533         0     80689      7661   1295653     17.70   no data  --
894.68/224.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
894.68/224.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
895.10/224.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
895.10/224.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
895.10/224.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
895.10/224.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
895.10/224.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
904.22/226.73	c lits-rem:       256  cl-subs:     1416  v-elim:      0  v-fix:    0  time:  8.97 s
904.22/226.73	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
904.22/226.75	c vivif2 --  cl tried    79273 cl shrink        0 lits rem          0 time: 0.06
904.62/226.85	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.41
904.62/226.86	c calculated reachability. Time: 0.00
904.62/226.86	c  N dy   592   1210408       587      2533         0     79273      7661   1256515     17.70   no data  --
930.20/233.23	c  N dy   648   1230503       587      2533         0     51747      7661    517646     17.60     18.62  --
949.70/238.18	c  N dy   732   1250833       587      2533         0     71855      7661   1036998     17.61     18.69  --
976.83/244.98	c  N dy   801   1270925       587      2533         0     91687      7661   1547583     17.61     18.61  --
999.17/250.50	c  N dy   901   1291230       587      2533         0     63390      7661    797958     17.65     18.61  --
1035.09/259.56	c  N dy   968   1316488       587      2533         0     88293      7661   1431574     17.60     18.57  --
1065.36/267.15	c  N dy  1032   1338086       587      2533         0     60239      7661    681074     17.56     18.51  --
1088.15/272.88	c  N dy  1110   1358674       587      2533         0     80560      7661   1206693     17.55     18.48  --
1120.00/280.88	c  N dy  1200   1380445       587      2533         0     51729      7661    439040     17.57     18.59  --
1139.96/285.89	c  N dy  1310   1401321       587      2533         0     72398      7661    984156     17.62     18.55  --
1167.47/292.72	c  N dy  1407   1421350       587      2533         0     92152      7661   1504963     17.64     20.92  --
1193.04/299.20	c  N dy  1491   1441396       587      2533         0     60523      7661    640507     17.64     20.65  --
1216.15/304.98	c  N dy  1605   1461441       587      2533         0     80348      7661   1162302     17.69     21.62  --
1247.65/312.89	c  N dy  1705   1481938       587      2533         0    100593      7661   1685980     17.71     18.86  --
1271.19/318.75	c  N dy  1789   1503443       587      2533         0     69494      7661    850672     17.70     18.91  --
1297.51/325.35	c  N dy  1860   1523539       587      2533         0     89355      7661   1358000     17.69     18.71  --
1333.01/334.21	c  N dy  1927   1547993       587      2533         0     60138      7661    587209     17.65     18.70  --
1356.94/340.20	c  N dy  2018   1569452       587      2533         0     81395      7661   1148370     17.66     18.69  --
1387.66/347.95	c  N dy  2128   1589532       587      2533         0    101233      7661   1669458     17.69     19.67  --
1413.98/354.52	c  N dy  2205   1609533       587      2533         0     66653      7661    740064     17.69     18.87  --
1437.92/360.56	c  N dy  2287   1629582       587      2533         0     86447      7661   1251919     17.69     18.73  --
1471.02/368.84	c  N dy  2395   1649765       587      2533         0    106434      7661   1779791     17.71     18.67  --
1505.32/377.42	c  N dy  2489   1679900       587      2533         0     80765      7661   1089784     17.68     18.63  --
1536.04/385.19	c  N dy  2575   1699987       587      2533         0    100642      7661   1618511     17.69     22.13  --
1555.60/390.05	c  S st  2624   1710408       587      2533         0    110915      7661   1885667     17.69   no data  --
1556.80/390.38	c  S st  2624   1710912       587      2533         0    111419      7661   1899459     17.69   no data  --
1556.80/390.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1556.80/390.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1557.22/390.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
1557.64/390.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1557.64/390.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1557.64/390.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1557.64/390.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1575.18/394.94	c lits-rem:       401  cl-subs:     3317  v-elim:      0  v-fix:    0  time: 17.60 s
1575.18/394.94	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
1575.18/394.96	c vivif2 --  cl tried   108102 cl shrink        0 lits rem          0 time: 0.09
1575.93/395.11	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.61
1575.93/395.12	c calculated reachability. Time: 0.00
1575.93/395.12	c  N dy  2624   1710912       587      2533         0    108102      7661   1816685     17.69   no data  --
1610.62/403.81	c  N dy  2702   1740443       587      2533         0     80939      7661   1059685     17.65     18.62  --
1646.12/412.73	c  N dy  2802   1760471       587      2533         0    100726      7661   1575740     17.67     19.79  --
1678.83/420.98	c  N dy  2889   1781007       587      2533         0     63788      7661    598300     17.68     18.73  --
1703.56/427.13	c  N dy  3020   1801091       587      2533         0     83657      7661   1123528     17.71     18.84  --
1735.48/435.19	c  N dy  3104   1821471       587      2533         0    103789      7661   1648467     17.72     18.68  --
1768.58/443.42	c  N dy  3223   1841527       587      2533         0     65342      7661    617345     17.74     22.35  --
1792.51/449.47	c  N dy  3300   1861827       587      2533         0     85398      7661   1137621     17.75     18.72  --
1824.42/457.46	c  N dy  3397   1881898       587      2533         0    105218      7661   1660108     17.76     20.95  --
1857.93/465.85	c  N dy  3496   1902222       587      2533         0     66019      7661    615831     17.77     18.73  --
1881.46/471.76	c  N dy  3598   1922306       587      2533         0     85837      7661   1132811     17.78     20.30  --
1913.37/479.79	c  N dy  3683   1942817       587      2533         0    106088      7661   1665080     17.79     18.74  --
1947.71/488.38	c  N dy  3752   1964705       587      2533         0     67443      7661    618001     17.77     18.80  --
1972.41/494.50	c  N dy  3863   1984787       587      2533         0     87249      7661   1135424     17.78     21.78  --
2003.92/502.47	c  N dy  3922   2006997       587      2533         0    109143      7661   1716467     17.77     18.90  --
2039.03/511.29	c  N dy  4041   2027072       587      2533         0     67816      7661    626318     17.79     19.50  --
2066.17/518.08	c  N dy  4160   2048220       587      2533         0     88752      7661   1177829     17.80     18.77  --
2101.28/526.83	c  N dy  4262   2069085       587      2533         0    109387      7661   1720729     17.82     18.78  --
2139.52/536.44	c  N dy  4352   2091258       587      2533         0     69042      7661    636862     17.82     18.97  --
2164.66/542.75	c  N dy  4427   2112115       587      2533         0     89615      7661   1172384     17.81     18.85  --
2198.55/551.22	c  N dy  4524   2132196       587      2533         0    109442      7661   1693574     17.83     18.96  --
2239.25/561.47	c  N dy  4612   2154509       587      2533         0     68235      7661    584883     17.83     18.83  --
2264.77/567.83	c  N dy  4697   2174517       587      2533         0     87981      7661   1107247     17.83     23.11  --
2307.06/578.48	c  N dy  4752   2202167       587      2533         0    115093      7661   1789708     17.80     18.82  --
2322.21/582.25	c  S st  4756   2210913       587      2533         0    123680      7661   2009776     17.79     17.50  --
2323.81/582.61	c  S st  4756   2211413       587      2533         0    124180      7661   2022485     17.79   no data  --
2323.81/582.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2323.81/582.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2323.81/582.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
2324.21/582.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2324.21/582.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2324.21/582.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2324.21/582.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2350.54/589.35	c lits-rem:       218  cl-subs:     5630  v-elim:      0  v-fix:    0  time: 26.32 s
2350.54/589.35	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2350.54/589.37	c vivif2 --  cl tried   118550 cl shrink        0 lits rem          0 time: 0.10
2351.37/589.55	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.70
2351.37/589.56	c calculated reachability. Time: 0.00
2351.37/589.56	c  N dy  4756   2211413       587      2533         0    118550      7661   1890402     17.79   no data  --
2388.42/598.87	c  N dy  4823   2238613       587      2533         0     81338      7661    907874     17.77     18.74  --
2418.34/606.36	c  N dy  4933   2258749       587      2533         0    101238      7661   1433431     17.79     18.96  --
2456.25/615.89	c  N dy  5053   2279026       587      2533         0    121289      7661   1969379     17.80     18.75  --
2487.80/623.72	c  N dy  5137   2299106       587      2533         0     76015      7661    758065     17.81     18.85  --
2516.46/630.90	c  N dy  5255   2319109       587      2533         0     95778      7661   1280931     17.83     18.92  --
2566.35/643.47	c  N dy  5330   2347893       587      2533         0    124038      7661   2001004     17.81     18.86  --
2609.40/654.24	c  N dy  5389   2377756       587      2533         0     87504      7661   1028184     17.79     18.74  --
2641.36/662.22	c  N dy  5468   2398251       587      2533         0    107698      7661   1546322     17.78     18.84  --
2685.58/673.35	c  N dy  5548   2421298       587      2533         0    130367      7661   2132506     17.78     18.73  --
2717.48/681.30	c  N dy  5647   2441339       587      2533         0     83146      7661    909656     17.79     18.88  --
2758.57/691.66	c  N dy  5715   2468964       587      2533         0    110267      7661   1608265     17.78     18.85  --
2803.27/702.82	c  N dy  5838   2490098       587      2533         0    131159      7661   2157668     17.79     18.79  --
2832.76/710.25	c  N dy  5917   2510692       587      2533         0     83491      7661    888644     17.79     18.90  --
2860.72/717.22	c  N dy  5990   2530694       587      2533         0    103223      7661   1404660     17.79     18.77  --
2896.56/726.25	c  N dy  6052   2550728       587      2533         0    122974      7661   1917591     17.78     21.19  --
2936.06/736.15	c  N dy  6093   2570851       587      2533         0     73793      7661    620553     17.77     18.77  --
2962.38/742.77	c  N dy  6179   2590959       587      2533         0     93652      7661   1142992     17.78     18.84  --
2998.29/751.73	c  N dy  6282   2613057       587      2533         0    115495      7661   1730442     17.78     18.78  --
3042.16/762.74	c  N dy  6378   2633165       587      2533         0    135343      7661   2250868     17.79     18.87  --
3072.07/770.28	c  N dy  6439   2653264       587      2533         0     85094      7661    887926     17.79     20.34  --
3102.78/777.91	c  N dy  6521   2673349       587      2533         0    104917      7661   1404700     17.79     20.37  --
3143.07/788.01	c  N dy  6603   2693403       587      2533         0    124673      7661   1918964     17.79     19.27  --
3177.77/796.73	c  S st  6643   2711413       587      2533         0     71403      7661    514587     17.78     16.08  --
3178.57/796.92	c  S st  6643   2711916       587      2533         0     71906      7661    527821     17.78   no data  --
3178.57/796.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3178.57/796.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3178.57/796.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
3178.57/796.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3178.57/796.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3178.57/796.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3178.57/796.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3186.14/798.87	c lits-rem:        57  cl-subs:       27  v-elim:      0  v-fix:    0  time:  7.55 s
3186.14/798.87	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
3186.14/798.87	c vivif2 --  cl tried    71879 cl shrink        0 lits rem          0 time: 0.03
3186.54/798.95	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.30
3186.54/798.95	c calculated reachability. Time: 0.00
3186.54/798.95	c  N dy  6643   2711916       587      2533         0     71879      7661    527196     17.78   no data  --
3212.45/805.46	c  N dy  6723   2731925       587      2533         0     91592      7661   1040558     17.78     18.93  --
3244.77/813.52	c  N dy  6788   2752121       587      2533         0    111488      7661   1555883     17.78     18.77  --
3285.46/823.77	c  N dy  6891   2772730       587      2533         0    131836      7661   2094214     17.79     18.80  --
3324.54/833.50	c  N dy  6988   2792812       587      2533         0     79703      7661    716038     17.79     19.22  --
3353.66/840.87	c  N dy  7104   2812963       587      2533         0     99619      7661   1246969     17.80     18.85  --
3390.75/850.14	c  N dy  7182   2834296       587      2533         0    120647      7661   1789236     17.80     18.81  --
3437.41/861.84	c  N dy  7312   2854394       587      2533         0    140494      7661   2317167     17.81     18.79  --
3472.92/870.73	c  N dy  7398   2874445       587      2533         0     87253      7661    889529     17.82     20.22  --
3515.98/881.51	c  N dy  7530   2894513       587      2533         0    107048      7661   1419184     17.83     18.82  --
3561.06/892.80	c  N dy  7621   2914537       587      2533         0    126829      7661   1946385     17.84     18.88  --
3611.30/905.41	c  N dy  7691   2937463       587      2533         0     75424      7661    558139     17.83     18.84  --
3638.43/912.23	c  N dy  7804   2957545       587      2533         0     95296      7661   1087635     17.84     19.65  --
3673.14/920.93	c  N dy  7887   2977600       587      2533         0    115087      7661   1605323     17.84     19.23  --
3714.22/931.20	c  N dy  7928   2998456       587      2533         0    135619      7661   2140637     17.82     18.76  --
3762.87/943.45	c  N dy  8003   3018611       587      2533         0     80529      7661    674520     17.82     18.92  --
3794.37/951.34	c  N dy  8069   3041109       587      2533         0    102645      7661   1244753     17.82     18.81  --
3830.32/960.39	c  N dy  8133   3061165       587      2533         0    122439      7661   1761980     17.81     21.52  --
3874.94/971.54	c  N dy  8222   3081216       587      2533         0    142219      7661   2278116     17.82     18.88  --
3914.03/981.33	c  N dy  8311   3101325       587      2533         0     86089      7661    792108     17.82     18.83  --
3945.13/989.13	c  N dy  8414   3121400       587      2533         0    105915      7661   1315207     17.82     21.25  --
3984.61/999.01	c  N dy  8530   3141631       587      2533         0    125889      7661   1846236     17.83     18.86  --
4029.29/1010.28	c  N dy  8600   3162081       587      2533         0    146086      7661   2381213     17.83     19.06  --
4067.23/1019.77	c  N dy  8663   3182086       587      2533         0     88889      7661    853721     17.83     19.49  --
4102.32/1028.52	c  N dy  8790   3202100       587      2533         0    108651      7661   1377774     17.84     21.94  --
4119.03/1032.72	c  S st  8814   3211918       587      2533         0    118327      7661   1627017     17.84     16.08  --
4120.22/1033.08	c  S st  8814   3212421       587      2533         0    118828      7661   1640853     17.84   no data  --
4120.22/1033.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4120.22/1033.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4120.62/1033.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
4121.02/1033.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4121.02/1033.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4121.02/1033.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4121.02/1033.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4138.17/1037.53	c lits-rem:       188  cl-subs:     2345  v-elim:      0  v-fix:    0  time: 17.26 s
4138.17/1037.53	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
4138.17/1037.55	c vivif2 --  cl tried   116483 cl shrink        0 lits rem          0 time: 0.09
4138.97/1037.71	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.65
4138.97/1037.72	c calculated reachability. Time: 0.00
4138.97/1037.72	c  N dy  8814   3212421       587      2533         0    116483      7661   1579109     17.84   no data  --
4182.05/1048.55	c  N dy  8933   3232477       587      2533         0    136272      7661   2102616     17.84     21.71  --
4231.91/1061.03	c  N dy  9006   3253047       587      2533         0     78606      7661    564262     17.84     18.83  --
4260.27/1068.13	c  N dy  9119   3273140       587      2533         0     98451      7661   1092965     17.85     19.06  --
4296.52/1077.20	c  N dy  9208   3293143       587      2533         0    118174      7661   1606448     17.85     20.38  --
4353.94/1091.69	c  N dy  9313   3314785       587      2533         0    139527      7661   2175161     17.86     18.86  --
4410.18/1105.74	c  N dy  9413   3334852       587      2533         0     80404      7661    591532     17.86     20.20  --
4439.30/1113.04	c  N dy  9513   3355307       587      2533         0    100580      7661   1123761     17.87     18.82  --
4478.38/1122.85	c  N dy  9580   3378164       587      2533         0    123092      7661   1712566     17.86     19.00  --
4525.84/1134.78	c  N dy  9638   3400143       587      2533         0    144728      7661   2271089     17.86     18.82  --
4567.71/1145.24	c  N dy  9667   3420245       587      2533         0     84674      7661    690627     17.84     21.13  --
4603.21/1154.11	c  N dy  9767   3441473       587      2533         0    105615      7661   1240689     17.85     18.82  --
4643.09/1164.14	c  N dy  9863   3461579       587      2533         0    125457      7661   1767006     17.85     18.85  --
4689.78/1175.82	c  N dy  9967   3481625       587      2533         0    145272      7661   2290917     17.86     19.09  --
4743.59/1189.38	c  N dy 10089   3503209       587      2533         0     85711      7661    691469     17.87     18.91  --
4777.10/1197.76	c  N dy 10217   3524248       587      2533         0    106493      7661   1246046     17.88     18.95  --

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-3368939-1305406927/watcher-3368939-1305406927 -o /tmp/evaluation-result-3368939-1305406927/solver-3368939-1305406927 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368939-1305406927.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: 7.43 7.95 7.97 6/360 19022
/proc/meminfo: memFree=18697888/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=282772 CPUtime=0.02 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 1219 0 0 0 2 0 0 0 25 0 4 0 633108529 289558528 1126 33554432000 4194304 4650419 140735689644688 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19022/statm: 70693 1126 374 112 0 65658 0
[pid=19022/tid=19023] ppid=19020 vsize=282772 CPUtime=0.01 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 295 0 0 0 1 0 0 0 18 0 4 0 633108530 289558528 1140 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=282772 CPUtime=0 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 274 0 0 0 0 0 0 0 18 0 4 0 633108530 289558528 1140 33554432000 4194304 4650419 140735689644688 18446744073709551615 233509963051 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=282772 CPUtime=0.01 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 145 0 0 0 1 0 0 0 18 0 4 0 633108530 289558528 1140 33554432000 4194304 4650419 140735689644688 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.077058 s]
/proc/loadavg: 7.43 7.95 7.97 6/360 19022
/proc/meminfo: memFree=18697888/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=282840 CPUtime=0.28 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 1739 0 0 0 28 0 0 0 25 0 4 0 633108529 289628160 1611 33554432000 4194304 4650419 140735689644688 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 70710 1611 391 112 0 65675 0
[pid=19022/tid=19023] ppid=19020 vsize=282840 CPUtime=0.07 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 368 0 0 0 7 0 0 0 18 0 4 0 633108530 289628160 1611 33554432000 4194304 4650419 140735689644688 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=282840 CPUtime=0.07 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 371 0 0 0 7 0 0 0 18 0 4 0 633108530 289628160 1611 33554432000 4194304 4650419 140735689644688 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=282840 CPUtime=0.07 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 239 0 0 0 7 0 0 0 18 0 4 0 633108530 289628160 1611 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 282840

[startup+0.113612 s]
/proc/loadavg: 7.43 7.95 7.97 6/360 19022
/proc/meminfo: memFree=18697888/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=282840 CPUtime=0.42 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 1932 0 0 0 42 0 0 0 25 0 4 0 633108529 289628160 1804 33554432000 4194304 4650419 140735689644688 18446744073709551615 4331235 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 70710 1804 391 112 0 65675 0
[pid=19022/tid=19023] ppid=19020 vsize=282840 CPUtime=0.11 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 410 0 0 0 11 0 0 0 18 0 4 0 633108530 289628160 1804 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=282840 CPUtime=0.1 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 414 0 0 0 10 0 0 0 18 0 4 0 633108530 289628160 1804 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=282840 CPUtime=0.1 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 293 0 0 0 10 0 0 0 18 0 4 0 633108530 289628160 1804 33554432000 4194304 4650419 140735689644688 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282840

[startup+0.300579 s]
/proc/loadavg: 7.43 7.95 7.97 6/360 19022
/proc/meminfo: memFree=18697888/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=284188 CPUtime=1.17 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 3035 0 0 0 117 0 0 0 25 0 4 0 633108529 291008512 2280 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 71047 2280 393 112 0 66012 0
[pid=19022/tid=19023] ppid=19020 vsize=284188 CPUtime=0.29 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 671 0 0 0 29 0 0 0 18 0 4 0 633108530 291008512 2280 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=284188 CPUtime=0.29 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 711 0 0 0 29 0 0 0 18 0 4 0 633108530 291008512 2280 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=284188 CPUtime=0.29 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 573 0 0 0 29 0 0 0 18 0 4 0 633108530 291008512 2281 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284188

[startup+0.700508 s]
/proc/loadavg: 7.43 7.95 7.97 6/360 19022
/proc/meminfo: memFree=18697888/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=285264 CPUtime=2.77 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 4715 0 0 0 276 1 0 0 25 0 4 0 633108529 292110336 3007 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 71316 3007 393 112 0 66281 0
[pid=19022/tid=19023] ppid=19020 vsize=285264 CPUtime=0.69 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 1082 0 0 0 69 0 0 0 18 0 4 0 633108530 292110336 3007 33554432000 4194304 4650419 140735689644688 18446744073709551615 4330629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=285264 CPUtime=0.69 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 1134 0 0 0 69 0 0 0 18 0 4 0 633108530 292110336 3007 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=285264 CPUtime=0.69 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 996 0 0 0 69 0 0 0 18 0 4 0 633108530 292110336 3007 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285264

[startup+1.50037 s]
/proc/loadavg: 7.43 7.95 7.97 9/364 19026
/proc/meminfo: memFree=18679132/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=286700 CPUtime=5.96 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 9332 0 0 0 594 2 0 0 25 0 4 0 633108529 293580800 4986 33554432000 4194304 4650419 140735689644688 18446744073709551615 4439335 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 71675 4986 395 112 0 66640 0
[pid=19022/tid=19023] ppid=19020 vsize=286700 CPUtime=1.49 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 1906 0 0 0 149 0 0 0 20 0 4 0 633108530 293580800 4986 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=286700 CPUtime=1.49 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 1989 0 0 0 149 0 0 0 20 0 4 0 633108530 293580800 4986 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=286700 CPUtime=1.49 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 1754 0 0 0 149 0 0 0 20 0 4 0 633108530 293580800 4986 33554432000 4194304 4650419 140735689644688 18446744073709551615 4314709 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286700

[startup+3.10113 s]
/proc/loadavg: 7.43 7.95 7.97 9/364 19026
/proc/meminfo: memFree=18647388/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=283180 CPUtime=12.35 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 17854 0 0 0 1231 4 0 0 25 0 4 0 633108529 289976320 10228 33554432000 4194304 4650419 140735689644688 18446744073709551615 4360372 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 70795 10228 395 112 0 65760 0
[pid=19022/tid=19023] ppid=19020 vsize=283180 CPUtime=3.09 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 4121 0 0 0 309 0 0 0 25 0 4 0 633108530 289976320 10228 33554432000 4194304 4650419 140735689644688 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=283180 CPUtime=3.09 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 4795 0 0 0 308 1 0 0 25 0 4 0 633108530 289976320 10228 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=283180 CPUtime=3.09 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 4071 0 0 0 308 1 0 0 25 0 4 0 633108530 289976320 10228 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 283180

[startup+6.30051 s]
/proc/loadavg: 7.48 7.95 7.97 9/364 19027
/proc/meminfo: memFree=18603616/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=291868 CPUtime=25.1 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 27055 0 0 0 2505 5 0 0 25 0 4 0 633108529 298872832 14034 33554432000 4194304 4650419 140735689644688 18446744073709551615 4355028 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 72967 14034 395 112 0 67932 0
[pid=19022/tid=19023] ppid=19020 vsize=291868 CPUtime=6.28 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 7435 0 0 0 628 0 0 0 25 0 4 0 633108530 298872832 14034 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363660 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=291868 CPUtime=6.28 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 6796 0 0 0 627 1 0 0 25 0 4 0 633108530 298872832 14034 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=291868 CPUtime=6.28 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 5699 0 0 0 627 1 0 0 25 0 4 0 633108530 298872832 14034 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 291868

[startup+12.7004 s]
/proc/loadavg: 7.52 7.95 7.97 9/364 19027
/proc/meminfo: memFree=18563772/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=298452 CPUtime=50.63 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 41468 0 0 0 5053 10 0 0 25 0 4 0 633108529 305614848 19239 33554432000 4194304 4650419 140735689644688 18446744073709551615 4354952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 74613 19239 395 112 0 69578 0
[pid=19022/tid=19023] ppid=19020 vsize=298452 CPUtime=12.69 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 11173 0 0 0 1267 2 0 0 25 0 4 0 633108530 305614848 19239 33554432000 4194304 4650419 140735689644688 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=298452 CPUtime=12.69 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 11048 0 0 0 1267 2 0 0 25 0 4 0 633108530 305614848 19239 33554432000 4194304 4650419 140735689644688 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=298452 CPUtime=12.68 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 8018 0 0 0 1266 2 0 0 25 0 4 0 633108530 305614848 19239 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 298452

[startup+25.5011 s]
/proc/loadavg: 7.62 7.95 7.97 9/364 19027
/proc/meminfo: memFree=18516548/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=310188 CPUtime=101.69 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 64563 0 0 0 10153 16 0 0 25 0 4 0 633108529 317632512 27417 33554432000 4194304 4650419 140735689644688 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 77547 27417 395 112 0 72512 0
[pid=19022/tid=19023] ppid=19020 vsize=310188 CPUtime=25.48 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 17899 0 0 0 2545 3 0 0 25 0 4 0 633108530 317632512 27417 33554432000 4194304 4650419 140735689644688 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=310188 CPUtime=25.49 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 17148 0 0 0 2546 3 0 0 25 0 4 0 633108530 317632512 27417 33554432000 4194304 4650419 140735689644688 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=310188 CPUtime=25.49 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 10727 0 0 0 2546 3 0 0 25 0 4 0 633108530 317632512 27417 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 310188

[startup+51.1005 s]
/proc/loadavg: 7.75 7.96 7.97 9/364 19028
/proc/meminfo: memFree=18465380/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=368908 CPUtime=203.79 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 97244 0 0 0 20354 25 0 0 25 0 4 0 633108529 377761792 34045 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 92227 34045 395 112 0 87192 0
[pid=19022/tid=19023] ppid=19020 vsize=368908 CPUtime=51.08 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 26177 0 0 0 5103 5 0 0 25 0 4 0 633108530 377761792 34045 33554432000 4194304 4650419 140735689644688 18446744073709551615 4333051 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=368908 CPUtime=51.08 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 27162 0 0 0 5102 6 0 0 25 0 4 0 633108530 377761792 34045 33554432000 4194304 4650419 140735689644688 18446744073709551615 4507308 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=368908 CPUtime=51.08 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 15817 0 0 0 5103 5 0 0 25 0 4 0 633108530 377761792 34045 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 368908

[startup+102.313 s]
/proc/loadavg: 7.89 7.96 7.97 9/364 19029
/proc/meminfo: memFree=18410676/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=393216 CPUtime=408.08 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 147601 0 0 0 40766 42 0 0 25 0 4 0 633108529 402653184 42735 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363350 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 98304 42735 395 112 0 93269 0
[pid=19022/tid=19023] ppid=19020 vsize=393216 CPUtime=102.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 42188 0 0 0 10219 11 0 0 25 0 4 0 633108530 402653184 42735 33554432000 4194304 4650419 140735689644688 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=393216 CPUtime=102.29 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 39445 0 0 0 10219 10 0 0 25 0 4 0 633108530 402653184 42735 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=393216 CPUtime=102.29 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 24587 0 0 0 10221 8 0 0 25 0 4 0 633108530 402653184 42735 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 393216

[startup+162.301 s]

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

[pid=19022] ppid=19020 vsize=621532 CPUtime=2801.24 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 424146 0 0 0 279962 162 0 0 25 0 4 0 633108529 636448768 93734 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 155383 93734 395 112 0 150348 0
[pid=19022/tid=19023] ppid=19020 vsize=621532 CPUtime=702.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 132474 0 0 0 70181 49 0 0 25 0 4 0 633108530 636448768 93734 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=621532 CPUtime=702.28 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 120588 0 0 0 70183 45 0 0 25 0 4 0 633108530 636448768 93734 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=621532 CPUtime=702.18 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 72535 0 0 0 70188 30 0 0 25 0 4 0 633108530 636448768 93734 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.24
Current children cumulated vsize (KiB) 621532

[startup+762.313 s]
/proc/loadavg: 8.15 8.12 8.04 9/364 19077
/proc/meminfo: memFree=18125740/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=609192 CPUtime=3040.61 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 445654 0 0 0 303891 170 0 0 25 0 4 0 633108529 623812608 99433 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 152298 99433 395 112 0 147263 0
[pid=19022/tid=19023] ppid=19020 vsize=609192 CPUtime=762.31 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 140062 0 0 0 76180 51 0 0 25 0 4 0 633108530 623812608 99433 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=609192 CPUtime=762.29 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 124227 0 0 0 76183 46 0 0 25 0 4 0 633108530 623812608 99433 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=609192 CPUtime=762.17 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 77387 0 0 0 76186 31 0 0 25 0 4 0 633108530 623812608 99433 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.61
Current children cumulated vsize (KiB) 609192

[startup+822.3 s]
/proc/loadavg: 8.13 8.13 8.04 9/364 19078
/proc/meminfo: memFree=18069416/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=622076 CPUtime=3279.87 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 463565 0 0 0 327808 179 0 0 25 0 4 0 633108529 637005824 92938 33554432000 4194304 4650419 140735689644688 18446744073709551615 4334669 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 155519 92938 395 112 0 150484 0
[pid=19022/tid=19023] ppid=19020 vsize=622076 CPUtime=822.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 146248 0 0 0 82176 54 0 0 25 0 4 0 633108530 637005824 92938 33554432000 4194304 4650419 140735689644688 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=622076 CPUtime=822.28 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 129339 0 0 0 82179 49 0 0 25 0 4 0 633108530 637005824 92938 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=622076 CPUtime=822.15 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 81010 0 0 0 82183 32 0 0 25 0 4 0 633108530 637005824 92938 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.87
Current children cumulated vsize (KiB) 622076

[startup+882.301 s]
/proc/loadavg: 8.16 8.13 8.05 9/364 19080
/proc/meminfo: memFree=18031576/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=631232 CPUtime=3519.17 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 484579 0 0 0 351729 188 0 0 25 0 4 0 633108529 646381568 101408 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 157808 101408 395 112 0 152773 0
[pid=19022/tid=19023] ppid=19020 vsize=631232 CPUtime=882.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 155952 0 0 0 88173 57 0 0 25 0 4 0 633108530 646381568 101408 33554432000 4194304 4650419 140735689644688 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=631232 CPUtime=882.28 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 131703 0 0 0 88178 50 0 0 25 0 4 0 633108530 646381568 101408 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=631232 CPUtime=882.15 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 84908 0 0 0 88180 35 0 0 25 0 4 0 633108530 646381568 101408 33554432000 4194304 4650419 140735689644688 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.17
Current children cumulated vsize (KiB) 631232

[startup+942.301 s]
/proc/loadavg: 8.12 8.12 8.05 9/364 19081
/proc/meminfo: memFree=18013328/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=651408 CPUtime=3758.48 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 501097 0 0 0 375653 195 0 0 25 0 4 0 633108529 667041792 101432 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365303 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 162852 101432 395 112 0 157817 0
[pid=19022/tid=19023] ppid=19020 vsize=651408 CPUtime=942.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 163537 0 0 0 94170 60 0 0 25 0 4 0 633108530 667041792 101432 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=651408 CPUtime=942.29 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 136282 0 0 0 94177 52 0 0 25 0 4 0 633108530 667041792 101432 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=651408 CPUtime=942.14 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 87360 0 0 0 94177 37 0 0 25 0 4 0 633108530 667041792 101432 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.48
Current children cumulated vsize (KiB) 651408

[startup+1002.3 s]
/proc/loadavg: 8.18 8.13 8.05 9/364 19083
/proc/meminfo: memFree=18005116/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=638548 CPUtime=3997.78 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 520549 0 0 0 399572 206 0 0 25 0 4 0 633108529 653873152 101243 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 159637 101243 395 112 0 154602 0
[pid=19022/tid=19023] ppid=19020 vsize=638548 CPUtime=1002.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 170283 0 0 0 100167 63 0 0 25 0 4 0 633108530 653873152 101243 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=638548 CPUtime=1002.29 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 140996 0 0 0 100174 55 0 0 25 0 4 0 633108530 653873152 101243 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=638548 CPUtime=1002.13 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 90829 0 0 0 100174 39 0 0 25 0 4 0 633108530 653873152 101243 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.78
Current children cumulated vsize (KiB) 638548

[startup+1062.3 s]
/proc/loadavg: 8.06 8.10 8.05 9/364 19085
/proc/meminfo: memFree=17967012/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=691176 CPUtime=4237.1 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 539033 0 0 0 423498 212 0 0 25 0 4 0 633108529 707764224 106994 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 172794 106994 395 112 0 167759 0
[pid=19022/tid=19023] ppid=19020 vsize=691176 CPUtime=1062.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 176898 0 0 0 106164 66 0 0 25 0 4 0 633108530 707764224 106994 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=691176 CPUtime=1062.28 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 141543 0 0 0 106173 55 0 0 25 0 4 0 633108530 707764224 106994 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=691176 CPUtime=1062.11 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 98419 0 0 0 106171 40 0 0 25 0 4 0 633108530 707764224 106994 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.1
Current children cumulated vsize (KiB) 691176

[startup+1122.3 s]
/proc/loadavg: 8.06 8.10 8.05 9/364 19086
/proc/meminfo: memFree=17926056/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=731068 CPUtime=4476.38 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 558526 0 0 0 447418 220 0 0 25 0 4 0 633108529 748613632 115001 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 182767 115001 395 112 0 177732 0
[pid=19022/tid=19023] ppid=19020 vsize=731068 CPUtime=1122.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 183261 0 0 0 112162 68 0 0 25 0 4 0 633108530 748613632 115001 33554432000 4194304 4650419 140735689644688 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=731068 CPUtime=1122.29 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 147858 0 0 0 112171 58 0 0 25 0 4 0 633108530 748613632 115001 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=731068 CPUtime=1122.11 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 103164 0 0 0 112168 43 0 0 25 0 4 0 633108530 748613632 115001 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.38
Current children cumulated vsize (KiB) 731068

[startup+1182.3 s]
/proc/loadavg: 8.16 8.11 8.05 9/364 19088
/proc/meminfo: memFree=17921572/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=718716 CPUtime=4715.68 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 574157 0 0 0 471339 229 0 0 25 0 4 0 633108529 735965184 117388 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 179679 117388 395 112 0 174644 0
[pid=19022/tid=19023] ppid=19020 vsize=718716 CPUtime=1182.3 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 188300 0 0 0 118160 70 0 0 25 0 4 0 633108530 735965184 117388 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=718716 CPUtime=1182.28 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 152334 0 0 0 118167 61 0 0 25 0 4 0 633108530 735965184 117388 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=718716 CPUtime=1182.1 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 105259 0 0 0 118166 44 0 0 25 0 4 0 633108530 735965184 117388 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.68
Current children cumulated vsize (KiB) 718716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.10 8.10 8.05 9/364 19088
/proc/meminfo: memFree=17946484/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=665732 CPUtime=4800.25 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 580852 0 0 0 479794 231 0 0 25 0 4 0 633108529 681709568 111791 33554432000 4194304 4650419 140735689644688 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 166433 111791 395 112 0 161398 0
[pid=19022/tid=19023] ppid=19020 vsize=665732 CPUtime=1203.52 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 190869 0 0 0 120281 71 0 0 25 0 4 0 633108530 681709568 111791 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=665732 CPUtime=1203.49 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 155244 0 0 0 120287 62 0 0 25 0 4 0 633108530 681709568 111791 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=665732 CPUtime=1203.31 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 106266 0 0 0 120287 44 0 0 25 0 4 0 633108530 681709568 111791 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 665732

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

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

[startup+1203.5 s]
/proc/loadavg: 8.10 8.10 8.05 9/364 19088
/proc/meminfo: memFree=17946484/32951124 swapFree=67111348/67111528
[pid=19022] ppid=19020 vsize=665732 CPUtime=4800.25 cores=0,2,4,6
/proc/19022/stat : 19022 (strangenight1-m) R 19020 19022 18878 0 -1 4202496 580852 0 0 0 479794 231 0 0 25 0 4 0 633108529 681709568 111791 33554432000 4194304 4650419 140735689644688 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19022/statm: 166433 111791 395 112 0 161398 0
[pid=19022/tid=19023] ppid=19020 vsize=665732 CPUtime=1203.52 cores=0,2,4,6
/proc/19022/task/19023/stat : 19023 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 190869 0 0 0 120281 71 0 0 25 0 4 0 633108530 681709568 111791 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19022/tid=19024] ppid=19020 vsize=665732 CPUtime=1203.49 cores=0,2,4,6
/proc/19022/task/19024/stat : 19024 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 155244 0 0 0 120287 62 0 0 25 0 4 0 633108530 681709568 111791 33554432000 4194304 4650419 140735689644688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19022/tid=19025] ppid=19020 vsize=665732 CPUtime=1203.31 cores=0,2,4,6
/proc/19022/task/19025/stat : 19025 (strangenight1-m) R 19020 19022 18878 0 -1 4202560 106266 0 0 0 120287 44 0 0 25 0 4 0 633108530 681709568 111791 33554432000 4194304 4650419 140735689644688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 665732

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.31
CPU user time (s): 4797.98
CPU system time (s): 2.33564
CPU usage (%): 398.849
Max. virtual memory (cumulated for all children) (KiB): 783928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.98
system time used= 2.33564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580853
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= 227
involuntary context switches= 24786

runsolver used 3.90141 second user time and 9.73852 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 23:02:07
IDJOB=3368939
IDBENCH=82948
IDSOLVER=1846
FILE ID=node145/3368939-1305406927
RUNJOBID= node145-1305405721-18896
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-v600-c2556-S1339958817-007.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368939-1305406927/watcher-3368939-1305406927 -o /tmp/evaluation-result-3368939-1305406927/solver-3368939-1305406927 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368939-1305406927.cnf

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

MD5SUM BENCH= 82834b232944ca118e4175405e325327
RANDOM SEED=1086465643

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:      18698044 kB
Buffers:        295872 kB
Cached:        8125420 kB
SwapCached:          0 kB
Active:        7277616 kB
Inactive:      6621688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18698044 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12440 kB
Writeback:           0 kB
AnonPages:     5478044 kB
Mapped:          27652 kB
Slab:           255444 kB
PageTables:      33516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79427664 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-14 23:22:12