Trace number 3175330

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.11 1201.64

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-3175330-1304117202.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.10	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.10	c -- vars added        600
0.00/0.10	c Parsing time:  0.00 s
0.00/0.10	c  N st     0         0       600      2556         0         0      7668         0   no data   no data  --
0.00/0.10	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.01
0.00/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.01 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     273 undec:      69 neg:     258
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       587      2533         0         0      7661         0   no data   no data  --
0.00/0.10	c Decided on static restart strategy
0.41/0.20	c  N st     8      4918       587      2533         0      4836      7661    128319   no data   no data  --
1.61/0.50	c  N st    10     11302       587      2533         0      4513      7661     87545   no data   no data  --
2.78/0.71	c  N st    11     17045       587      2533         0     10162      7661    241979   no data   no data  --
4.40/1.13	c  F st    12     25000       587      2533         0     12444      7661    298449   no data   no data  --
4.40/1.13	c  N st    12     25000       587      2533         0     12444      7661    298449   no data   no data  --
5.17/1.37	c Decided on static restart strategy
5.17/1.37	c  N st    18     30002       587      2533         0     10697      7661    222585   no data   no data  --
5.17/1.37	c  S st    18     30002       587      2533         0     10697      7661    222585   no data   no data  --
5.57/1.40	c  S st    18     30504       587      2533         0     11199      7661    235216   no data   no data  --
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.57/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
5.57/1.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.65	c lits-rem:       114  cl-subs:      497  v-elim:      0  v-fix:    0  time:  0.92 s
6.37/1.66	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.04
6.37/1.66	c calculated reachability. Time: 0.00
6.37/1.66	c  N st    18     30504       587      2533         0     10702      7661    220667   no data   no data  --
7.97/2.08	c  N st    20     37614       587      2533         0      9948      7661    180703   no data   no data  --
9.56/2.46	c  N st    21     44013       587      2533         0     16225      7661    352757   no data   no data  --
9.97/2.59	c  S st    22     45757       587      2533         0      9173      7661    144609   no data   no data  --
10.37/2.62	c  S st    22     46258       587      2533         0      9674      7661    157936   no data   no data  --
10.37/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.37/2.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.37/2.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.37/2.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.37/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
10.37/2.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.77/2.74	c lits-rem:        87  cl-subs:       65  v-elim:      0  v-fix:    0  time:  0.47 s
10.77/2.74	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
10.77/2.74	c vivif2 --  cl tried     9609 cl shrink        0 lits rem          0 time: 0.01
10.77/2.75	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
10.77/2.75	c calculated reachability. Time: 0.00
10.77/2.75	c  N st    22     46258       587      2533         0      9609      7661    155980   no data   no data  --
14.75/3.73	c  N st    23     60655       587      2533         0     13996      7661    279518   no data   no data  --
17.16/4.39	c  N st    24     69387       587      2533         0     11767      7661    193136   no data   no data  --
17.16/4.39	c  S st    24     69387       587      2533         0     11767      7661    193136   no data   no data  --
17.57/4.42	c  S st    24     69892       587      2533         0     12271      7661    206023   no data   no data  --
17.57/4.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.57/4.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.57/4.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.57/4.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.57/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
17.57/4.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.35/4.64	c lits-rem:        64  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.85 s
18.35/4.64	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
18.35/4.64	c vivif2 --  cl tried    12161 cl shrink        0 lits rem          0 time: 0.01
18.35/4.65	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.04
18.35/4.65	c calculated reachability. Time: 0.00
18.35/4.65	c  N st    24     69892       587      2533         0     12161      7661    202842   no data   no data  --
23.54/5.92	c  F st    25     87500       587      2533         0     17678      7661    352794   no data   no data  --
23.54/5.92	c  N st    25     87500       587      2533         0     17678      7661    352794   no data   no data  --
25.14/6.32	c Decided on static restart strategy
25.94/6.59	c  N st    32     95541       587      2533         0     25581      7661    565789   no data   no data  --
29.14/7.32	c  N st    34    104839       587      2533         0     21951      7661    443780   no data   no data  --
29.14/7.32	c  S st    34    104839       587      2533         0     21951      7661    443780   no data   no data  --
29.14/7.37	c  S st    34    105343       587      2533         0     22455      7661    456282   no data   no data  --
29.14/7.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.14/7.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.14/7.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
29.54/7.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.54/7.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.54/7.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
29.54/7.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.93/8.51	c lits-rem:       251  cl-subs:      571  v-elim:      0  v-fix:    0  time:  4.43 s
33.93/8.51	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
33.93/8.51	c vivif2 --  cl tried    21884 cl shrink        0 lits rem          0 time: 0.02
33.93/8.53	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.07
33.93/8.53	c calculated reachability. Time: 0.00
33.93/8.53	c  N st    34    105343       587      2533         0     21884      7661    439424   no data   no data  --
37.12/9.36	c  N st    35    114941       587      2533         0     17529      7661    294772   no data   no data  --
42.72/10.70	c  N st    36    129338       587      2533         0     16957      7661    260328   no data   no data  --
51.11/12.80	c  N st    37    150933       587      2533         0     22464      7661    401091   no data   no data  --
53.50/13.46	c  S st    38    158016       587      2533         0     29402      7661    591321   no data   no data  --
53.90/13.53	c  S st    38    158520       587      2533         0     29906      7661    605049   no data   no data  --
53.90/13.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.90/13.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.90/13.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
53.90/13.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.90/13.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.90/13.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
53.90/13.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
60.70/15.27	c lits-rem:       282  cl-subs:     1168  v-elim:      0  v-fix:    0  time:  6.85 s
60.70/15.27	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
60.70/15.28	c vivif2 --  cl tried    28738 cl shrink        0 lits rem          0 time: 0.02
61.10/15.30	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.09
61.10/15.30	c calculated reachability. Time: 0.00
61.10/15.30	c  N st    38    158520       587      2533         0     28738      7661    569890   no data   no data  --
81.07/20.39	c  N st    39    207108       587      2533         0     23471      7661    381718   no data   no data  --
95.05/23.84	c  N st    40    237783       587      2533         0     33912      7661    663069   no data   no data  --
95.05/23.84	c  S st    40    237783       587      2533         0     33912      7661    663069   no data   no data  --
95.45/23.93	c  S st    40    238283       587      2533         0     34412      7661    676224   no data   no data  --
95.45/23.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
95.45/23.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.45/23.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
95.45/23.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.45/23.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.45/23.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
95.45/23.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
103.84/26.01	c lits-rem:       578  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  8.15 s
103.84/26.01	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
103.84/26.02	c vivif2 --  cl tried    33199 cl shrink        0 lits rem          0 time: 0.03
103.84/26.05	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
103.84/26.05	c calculated reachability. Time: 0.00
103.84/26.05	c  N st    40    238283       587      2533         0     33199      7661    638483   no data   no data  --
137.39/34.41	c  F st    41    306252       587      2533         0     35050      7661    614677   no data   no data  --
137.39/34.41	c  N st    41    306252       587      2533         0     35050      7661    614677   no data   no data  --
139.79/35.07	c Decided on static restart strategy
150.97/37.87	c  N st    51    334555       587      2533         0     39437      7661    721120   no data   no data  --
163.35/40.94	c  N st    53    357424       587      2533         0     37254      7661    647318   no data   no data  --
163.35/40.94	c  S st    53    357424       587      2533         0     37254      7661    647318   no data   no data  --
163.75/41.03	c  S st    53    357925       587      2533         0     37754      7661    660068   no data   no data  --
163.75/41.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
163.75/41.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.75/41.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
163.75/41.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.75/41.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.75/41.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
163.75/41.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
170.95/42.86	c lits-rem:       446  cl-subs:      873  v-elim:      0  v-fix:    0  time:  7.16 s
170.95/42.86	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
170.95/42.87	c vivif2 --  cl tried    36881 cl shrink        0 lits rem          0 time: 0.03
170.95/42.90	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.13
170.95/42.90	c calculated reachability. Time: 0.00
170.95/42.90	c  N st    53    357925       587      2533         0     36881      7661    633413   no data   no data  --
190.51/47.72	c  N st    54    390318       587      2533         0     43092      7661    745469   no data   no data  --
218.08/54.63	c  N st    55    438909       587      2533         0     36892      7661    568725   no data   no data  --
265.62/66.50	c  N st    56    511792       587      2533         0     50298      7661    903313   no data   no data  --
280.80/70.31	c  N st    57    536890       587      2533         0     44705      7661    748028   no data   no data  --
280.80/70.31	c  S st    57    536890       587      2533         0     44705      7661    748028   no data   no data  --
281.21/70.42	c  S st    57    537395       587      2533         0     45208      7661    760836   no data   no data  --
281.21/70.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
281.21/70.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
281.21/70.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
281.21/70.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
281.21/70.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
281.21/70.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
281.21/70.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
289.19/72.48	c lits-rem:       641  cl-subs:      922  v-elim:      0  v-fix:    0  time:  8.06 s
289.19/72.48	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
289.19/72.49	c vivif2 --  cl tried    44286 cl shrink        0 lits rem          0 time: 0.04
289.59/72.54	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.18
289.59/72.54	c calculated reachability. Time: 0.00
289.59/72.54	c  N st    57    537395       587      2533         0     44286      7661    735126   no data   no data  --
408.22/102.27	c  N st    58    701379       587      2533         0     38265      7661    463595   no data   no data  --
495.30/124.07	c  N st    59    806096       587      2533         0     67225      7661   1186816   no data   no data  --
495.30/124.07	c  S st    59    806096       587      2533         0     67225      7661   1186816   no data   no data  --
496.10/124.26	c  S st    59    806601       587      2533         0     67730      7661   1200043   no data   no data  --
496.10/124.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
496.10/124.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
496.10/124.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
496.52/124.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
496.52/124.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
496.52/124.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
496.52/124.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
512.48/128.36	c lits-rem:       596  cl-subs:     4222  v-elim:      0  v-fix:    0  time: 16.07 s
512.48/128.36	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
512.48/128.37	c vivif2 --  cl tried    63508 cl shrink        0 lits rem          0 time: 0.05
512.88/128.45	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.31
512.88/128.45	c calculated reachability. Time: 0.00
512.88/128.45	c  N st    59    806601       587      2533         0     63508      7661   1097414   no data   no data  --
732.18/183.33	c  F st    60   1071875       587      2533         0     79241      7661   1404899   no data   no data  --
732.18/183.33	c  N st    60   1071875       587      2533         0     79241      7661   1404899   no data   no data  --
750.96/188.00	c  N dy   104   1092141       587      2533         0     55322      7661    720711     17.88     18.85  --
771.33/193.10	c  N dy   175   1112223       587      2533         0     75151      7661   1226702     17.66     18.83  --
795.72/199.24	c  N dy   246   1132907       587      2533         0     50382      7661    542331     17.60     18.61  --
814.87/204.08	c  N dy   330   1153527       587      2533         0     70800      7661   1071628     17.59     18.60  --
841.24/210.60	c  N dy   418   1173575       587      2533         0     90600      7661   1580175     17.60     19.48  --
860.81/215.59	c  N dy   503   1194432       587      2533         0     64870      7661    882261     17.61     18.61  --
879.21/220.15	c  S st   592   1209903       587      2533         0     80185      7661   1282390     17.70   no data  --
879.98/220.39	c  S st   592   1210408       587      2533         0     80689      7661   1295653     17.70   no data  --
879.98/220.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
879.98/220.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
880.38/220.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
880.38/220.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
880.38/220.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
880.38/220.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
880.38/220.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
889.16/222.66	c lits-rem:       256  cl-subs:     1416  v-elim:      0  v-fix:    0  time:  8.70 s
889.16/222.66	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
889.16/222.67	c vivif2 --  cl tried    79273 cl shrink        0 lits rem          0 time: 0.07
889.56/222.79	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.47
889.56/222.79	c calculated reachability. Time: 0.00
889.56/222.79	c  N dy   592   1210408       587      2533         0     79273      7661   1256515     17.70   no data  --
916.33/229.42	c  N dy   648   1230503       587      2533         0     51747      7661    517646     17.60     18.62  --
935.51/234.21	c  N dy   732   1250833       587      2533         0     71855      7661   1036998     17.61     18.69  --
962.30/240.96	c  N dy   801   1270925       587      2533         0     91687      7661   1547583     17.61     18.61  --
983.84/246.33	c  N dy   901   1291230       587      2533         0     63390      7661    797958     17.65     18.61  --
1015.79/254.36	c  N dy   968   1316488       587      2533         0     88293      7661   1431574     17.60     18.57  --
1047.75/262.38	c  N dy  1032   1338086       587      2533         0     60239      7661    681074     17.56     18.51  --
1072.14/268.41	c  N dy  1110   1358674       587      2533         0     80560      7661   1206693     17.55     18.48  --
1103.67/276.30	c  N dy  1200   1380445       587      2533         0     51729      7661    439040     17.57     18.59  --
1123.25/281.24	c  N dy  1310   1401321       587      2533         0     72398      7661    984156     17.62     18.55  --
1150.02/287.90	c  N dy  1407   1421350       587      2533         0     92152      7661   1504963     17.64     20.92  --
1175.18/294.29	c  N dy  1491   1441396       587      2533         0     60523      7661    640507     17.64     20.65  --
1197.95/299.96	c  N dy  1605   1461441       587      2533         0     80348      7661   1162302     17.69     21.62  --
1229.11/307.77	c  N dy  1705   1481938       587      2533         0    100593      7661   1685980     17.71     18.86  --
1252.29/313.51	c  N dy  1789   1503443       587      2533         0     69494      7661    850672     17.70     18.91  --
1277.44/319.89	c  N dy  1860   1523539       587      2533         0     89355      7661   1358000     17.69     18.71  --
1312.60/328.65	c  N dy  1927   1547993       587      2533         0     60138      7661    587209     17.65     18.70  --
1335.78/334.48	c  N dy  2018   1569452       587      2533         0     81395      7661   1148370     17.66     18.69  --
1366.54/342.16	c  N dy  2128   1589532       587      2533         0    101233      7661   1669458     17.69     19.67  --
1391.28/348.32	c  N dy  2205   1609533       587      2533         0     66653      7661    740064     17.69     18.87  --
1416.05/354.57	c  N dy  2287   1629582       587      2533         0     86447      7661   1251919     17.69     18.73  --
1448.81/362.77	c  N dy  2395   1649765       587      2533         0    106434      7661   1779791     17.71     18.67  --
1482.36/371.14	c  N dy  2489   1679900       587      2533         0     80765      7661   1089784     17.68     18.63  --
1512.32/378.66	c  N dy  2575   1699987       587      2533         0    100642      7661   1618511     17.69     22.13  --
1531.90/383.51	c  S st  2624   1710408       587      2533         0    110915      7661   1885667     17.69   no data  --
1533.10/383.87	c  S st  2624   1710912       587      2533         0    111419      7661   1899459     17.69   no data  --
1533.10/383.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1533.10/383.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1533.52/383.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
1533.52/384.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1533.52/384.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1533.52/384.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1533.52/384.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1551.49/388.42	c lits-rem:       401  cl-subs:     3317  v-elim:      0  v-fix:    0  time: 17.66 s
1551.49/388.42	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
1551.49/388.45	c vivif2 --  cl tried   108102 cl shrink        0 lits rem          0 time: 0.09
1552.26/388.60	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.61
1552.26/388.60	c calculated reachability. Time: 0.00
1552.26/388.60	c  N dy  2624   1710912       587      2533         0    108102      7661   1816685     17.69   no data  --
1586.24/397.14	c  N dy  2702   1740443       587      2533         0     80939      7661   1059685     17.65     18.62  --
1616.58/404.70	c  N dy  2802   1760471       587      2533         0    100726      7661   1575740     17.67     19.79  --
1654.13/414.11	c  N dy  2889   1781007       587      2533         0     63788      7661    598300     17.68     18.73  --
1678.52/420.23	c  N dy  3020   1801091       587      2533         0     83657      7661   1123528     17.71     18.84  --
1710.45/428.26	c  N dy  3104   1821471       587      2533         0    103789      7661   1648467     17.72     18.68  --
1742.81/436.31	c  N dy  3223   1841527       587      2533         0     65342      7661    617345     17.74     22.35  --
1766.80/442.31	c  N dy  3300   1861827       587      2533         0     85398      7661   1137621     17.75     18.72  --
1797.93/450.15	c  N dy  3397   1881898       587      2533         0    105218      7661   1660108     17.76     20.95  --
1831.09/458.43	c  N dy  3496   1902222       587      2533         0     66019      7661    615831     17.77     18.73  --
1854.28/464.25	c  N dy  3598   1922306       587      2533         0     85837      7661   1132811     17.78     20.30  --
1885.82/472.11	c  N dy  3683   1942817       587      2533         0    106088      7661   1665080     17.79     18.74  --
1919.76/480.61	c  N dy  3752   1964705       587      2533         0     67443      7661    618001     17.77     18.80  --
1943.34/486.58	c  N dy  3863   1984787       587      2533         0     87249      7661   1135424     17.78     21.78  --
1974.89/494.47	c  N dy  3922   2006997       587      2533         0    109143      7661   1716467     17.77     18.90  --
2008.85/502.93	c  N dy  4041   2027072       587      2533         0     67816      7661    626318     17.79     19.50  --
2035.61/509.60	c  N dy  4160   2048220       587      2533         0     88752      7661   1177829     17.80     18.77  --
2070.76/518.47	c  N dy  4262   2069085       587      2533         0    109387      7661   1720729     17.82     18.78  --
2108.72/527.94	c  N dy  4352   2091258       587      2533         0     69042      7661    636862     17.82     18.97  --
2133.48/534.11	c  N dy  4427   2112115       587      2533         0     89615      7661   1172384     17.81     18.85  --
2166.65/542.44	c  N dy  4524   2132196       587      2533         0    109442      7661   1693574     17.83     18.96  --
2206.97/552.50	c  N dy  4612   2154509       587      2533         0     68235      7661    584883     17.83     18.83  --
2230.55/558.40	c  N dy  4697   2174517       587      2533         0     87981      7661   1107247     17.83     23.11  --
2272.88/569.01	c  N dy  4752   2202167       587      2533         0    115093      7661   1789708     17.80     18.82  --
2287.66/572.74	c  S st  4756   2210913       587      2533         0    123680      7661   2009776     17.79     17.50  --
2289.28/573.13	c  S st  4756   2211413       587      2533         0    124180      7661   2022485     17.79   no data  --
2289.28/573.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2289.28/573.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2289.68/573.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.28
2289.68/573.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2289.68/573.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2289.68/573.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2289.68/573.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2316.82/580.05	c lits-rem:       218  cl-subs:     5630  v-elim:      0  v-fix:    0  time: 27.05 s
2316.82/580.05	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2316.82/580.08	c vivif2 --  cl tried   118550 cl shrink        0 lits rem          0 time: 0.10
2317.62/580.24	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.67
2317.62/580.25	c calculated reachability. Time: 0.00
2317.62/580.25	c  N dy  4756   2211413       587      2533         0    118550      7661   1890402     17.79   no data  --
2354.38/589.43	c  N dy  4823   2238613       587      2533         0     81338      7661    907874     17.77     18.74  --
2383.93/596.87	c  N dy  4933   2258749       587      2533         0    101238      7661   1433431     17.79     18.96  --
2421.51/606.25	c  N dy  5053   2279026       587      2533         0    121289      7661   1969379     17.80     18.75  --
2452.26/613.92	c  N dy  5137   2299106       587      2533         0     76015      7661    758065     17.81     18.85  --
2480.20/620.99	c  N dy  5255   2319109       587      2533         0     95778      7661   1280931     17.83     18.92  --
2529.74/633.30	c  N dy  5330   2347893       587      2533         0    124038      7661   2001004     17.81     18.86  --
2571.68/643.87	c  N dy  5389   2377756       587      2533         0     87504      7661   1028184     17.79     18.74  --
2603.24/651.78	c  N dy  5468   2398251       587      2533         0    107698      7661   1546322     17.78     18.84  --
2646.78/662.69	c  N dy  5548   2421298       587      2533         0    130367      7661   2132506     17.78     18.73  --
2674.74/669.68	c  N dy  5647   2441339       587      2533         0     83146      7661    909656     17.79     18.88  --
2715.91/679.97	c  N dy  5715   2468964       587      2533         0    110267      7661   1608265     17.78     18.85  --
2762.62/691.61	c  N dy  5838   2490098       587      2533         0    131159      7661   2157668     17.79     18.79  --
2792.18/699.01	c  N dy  5917   2510692       587      2533         0     83491      7661    888644     17.79     18.90  --
2819.75/705.91	c  N dy  5990   2530694       587      2533         0    103223      7661   1404660     17.79     18.77  --
2854.90/714.75	c  N dy  6052   2550728       587      2533         0    122974      7661   1917591     17.78     21.19  --
2892.84/724.22	c  N dy  6093   2570851       587      2533         0     73793      7661    620553     17.77     18.77  --
2918.04/730.59	c  N dy  6179   2590959       587      2533         0     93652      7661   1142992     17.78     18.84  --
2955.16/739.81	c  N dy  6282   2613057       587      2533         0    115495      7661   1730442     17.78     18.78  --
2998.30/750.63	c  N dy  6378   2633165       587      2533         0    135343      7661   2250868     17.79     18.87  --
3027.88/758.09	c  N dy  6439   2653264       587      2533         0     85094      7661    887926     17.79     20.34  --
3057.83/765.58	c  N dy  6521   2673349       587      2533         0    104917      7661   1404700     17.79     20.37  --
3096.96/775.33	c  N dy  6603   2693403       587      2533         0    124673      7661   1918964     17.79     19.27  --
3132.12/784.10	c  S st  6643   2711413       587      2533         0     71403      7661    514587     17.78     16.08  --
3132.52/784.29	c  S st  6643   2711916       587      2533         0     71906      7661    527821     17.78   no data  --
3132.52/784.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3132.52/784.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3132.94/784.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
3132.94/784.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3132.94/784.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3132.94/784.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3132.94/784.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3140.51/786.21	c lits-rem:        57  cl-subs:       27  v-elim:      0  v-fix:    0  time:  7.45 s
3140.51/786.21	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
3140.51/786.22	c vivif2 --  cl tried    71879 cl shrink        0 lits rem          0 time: 0.03
3140.51/786.29	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.29
3140.51/786.29	c calculated reachability. Time: 0.00
3140.51/786.29	c  N dy  6643   2711916       587      2533         0     71879      7661    527196     17.78   no data  --
3166.08/792.63	c  N dy  6723   2731925       587      2533         0     91592      7661   1040558     17.78     18.93  --
3197.63/800.53	c  N dy  6788   2752121       587      2533         0    111488      7661   1555883     17.78     18.77  --
3238.39/810.74	c  N dy  6891   2772730       587      2533         0    131836      7661   2094214     17.79     18.80  --
3276.73/820.30	c  N dy  6988   2792812       587      2533         0     79703      7661    716038     17.79     19.22  --
3305.09/827.46	c  N dy  7104   2812963       587      2533         0     99619      7661   1246969     17.80     18.85  --
3341.84/836.68	c  N dy  7182   2834296       587      2533         0    120647      7661   1789236     17.80     18.81  --
3387.79/848.19	c  N dy  7312   2854394       587      2533         0    140494      7661   2317167     17.81     18.79  --
3418.55/855.83	c  N dy  7398   2874445       587      2533         0     87253      7661    889529     17.82     20.22  --
3451.28/864.01	c  N dy  7530   2894513       587      2533         0    107048      7661   1419184     17.83     18.82  --
3489.63/873.60	c  N dy  7621   2914537       587      2533         0    126829      7661   1946385     17.84     18.88  --
3551.54/889.10	c  N dy  7691   2937463       587      2533         0     75424      7661    558139     17.83     18.84  --
3584.70/897.42	c  N dy  7804   2957545       587      2533         0     95296      7661   1087635     17.84     19.65  --
3619.85/906.24	c  N dy  7887   2977600       587      2533         0    115087      7661   1605323     17.84     19.23  --
3657.01/915.57	c  N dy  7928   2998456       587      2533         0    135619      7661   2140637     17.82     18.76  --
3698.56/926.00	c  N dy  8003   3018611       587      2533         0     80529      7661    674520     17.82     18.92  --
3737.71/935.75	c  N dy  8069   3041109       587      2533         0    102645      7661   1244753     17.82     18.81  --
3775.26/945.18	c  N dy  8133   3061165       587      2533         0    122439      7661   1761980     17.81     21.52  --
3819.20/956.17	c  N dy  8222   3081216       587      2533         0    142219      7661   2278116     17.82     18.88  --
3857.15/965.69	c  N dy  8311   3101325       587      2533         0     86089      7661    792108     17.82     18.83  --
3887.52/973.25	c  N dy  8414   3121400       587      2533         0    105915      7661   1315207     17.82     21.25  --
3926.67/983.03	c  N dy  8530   3141631       587      2533         0    125889      7661   1846236     17.83     18.86  --
3971.03/994.12	c  N dy  8600   3162081       587      2533         0    146086      7661   2381213     17.83     19.06  --
4005.78/1002.83	c  N dy  8663   3182086       587      2533         0     88889      7661    853721     17.83     19.49  --
4038.17/1010.91	c  N dy  8790   3202100       587      2533         0    108651      7661   1377774     17.84     21.94  --
4054.52/1015.05	c  S st  8814   3211918       587      2533         0    118327      7661   1627017     17.84     16.08  --
4055.74/1015.40	c  S st  8814   3212421       587      2533         0    118828      7661   1640853     17.84   no data  --
4056.14/1015.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4056.14/1015.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4056.14/1015.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
4056.52/1015.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4056.52/1015.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4056.52/1015.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4056.52/1015.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4075.70/1020.31	c lits-rem:       188  cl-subs:     2345  v-elim:      0  v-fix:    0  time: 19.11 s
4075.70/1020.31	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
4075.70/1020.33	c vivif2 --  cl tried   116483 cl shrink        0 lits rem          0 time: 0.09
4076.49/1020.52	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.75
4076.49/1020.52	c calculated reachability. Time: 0.00
4076.49/1020.52	c  N dy  8814   3212421       587      2533         0    116483      7661   1579109     17.84   no data  --
4120.85/1031.64	c  N dy  8933   3232477       587      2533         0    136272      7661   2102616     17.84     21.71  --
4169.19/1043.76	c  N dy  9006   3253047       587      2533         0     78606      7661    564262     17.84     18.83  --
4197.15/1050.74	c  N dy  9119   3273140       587      2533         0     98451      7661   1092965     17.85     19.06  --
4232.31/1059.56	c  N dy  9208   3293143       587      2533         0    118174      7661   1606448     17.85     20.38  --
4277.86/1070.99	c  N dy  9313   3314785       587      2533         0    139527      7661   2175161     17.86     18.86  --
4327.80/1083.49	c  N dy  9413   3334852       587      2533         0     80404      7661    591532     17.86     20.20  --
4363.78/1092.46	c  N dy  9513   3355307       587      2533         0    100580      7661   1123761     17.87     18.82  --
4411.31/1104.40	c  N dy  9580   3378164       587      2533         0    123092      7661   1712566     17.86     19.00  --
4459.25/1116.37	c  N dy  9638   3400143       587      2533         0    144728      7661   2271089     17.86     18.82  --
4500.40/1126.61	c  N dy  9667   3420245       587      2533         0     84674      7661    690627     17.84     21.13  --
4531.56/1134.46	c  N dy  9767   3441473       587      2533         0    105615      7661   1240689     17.85     18.82  --
4569.93/1144.02	c  N dy  9863   3461579       587      2533         0    125457      7661   1767006     17.85     18.85  --
4615.46/1155.47	c  N dy  9967   3481625       587      2533         0    145272      7661   2290917     17.86     19.09  --
4672.19/1169.62	c  N dy 10089   3503209       587      2533         0     85711      7661    691469     17.87     18.91  --
4704.95/1177.84	c  N dy 10217   3524248       587      2533         0    106493      7661   1246046     17.88     18.95  --
4744.10/1187.62	c  N dy 10334   3544259       587      2533         0    126271      7661   1775098     17.88     19.41  --
4790.44/1199.29	c  N dy 10431   3564280       587      2533         0    146040      7661   2291214     17.89     19.24  --

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-3175330-1304117202/watcher-3175330-1304117202 -o /tmp/evaluation-result-3175330-1304117202/solver-3175330-1304117202 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175330-1304117202.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.85 8.07 7.84 5/180 23688
/proc/meminfo: memFree=30597184/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 414 0 0 0 0 0 0 0 18 0 4 0 601950805 52465664 353 33554432000 4194304 4650419 140733383261872 18446744073709551615 47175200331698 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 12809 353 303 112 0 7774 0
[pid=23688/tid=23689] ppid=23686 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 601950805 52465664 353 33554432000 4194304 4650419 140733383261872 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 601950805 52465664 353 33554432000 4194304 4650419 140733383261872 18446744073709551615 47175200331698 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 601950805 52465664 353 33554432000 4194304 4650419 140733383261872 18446744073709551615 47175200331698 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.109186 s]
/proc/loadavg: 7.85 8.07 7.84 5/180 23688
/proc/meminfo: memFree=30597184/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=282716 CPUtime=0.41 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 1883 0 0 0 41 0 0 0 19 0 4 0 601950805 289501184 1743 33554432000 4194304 4650419 140733383261872 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 70679 1743 391 112 0 65644 0
[pid=23688/tid=23689] ppid=23686 vsize=282716 CPUtime=0.1 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 413 0 0 0 10 0 0 0 20 0 4 0 601950805 289501184 1743 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=282716 CPUtime=0.1 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 377 0 0 0 10 0 0 0 20 0 4 0 601950805 289501184 1743 33554432000 4194304 4650419 140733383261872 18446744073709551615 4334219 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=282716 CPUtime=0.1 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 288 0 0 0 10 0 0 0 20 0 4 0 601950805 289501184 1743 33554432000 4194304 4650419 140733383261872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282716

[startup+0.209167 s]
/proc/loadavg: 7.85 8.07 7.84 5/180 23688
/proc/meminfo: memFree=30597184/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=283896 CPUtime=0.81 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 2660 0 0 0 81 0 0 0 19 0 4 0 601950805 290709504 1893 33554432000 4194304 4650419 140733383261872 18446744073709551615 4331351 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 70974 1893 393 112 0 65939 0
[pid=23688/tid=23689] ppid=23686 vsize=283896 CPUtime=0.2 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 601 0 0 0 20 0 0 0 20 0 4 0 601950805 290709504 1893 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=283896 CPUtime=0.2 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 575 0 0 0 20 0 0 0 20 0 4 0 601950805 290709504 1893 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=283896 CPUtime=0.2 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 481 0 0 0 20 0 0 0 20 0 4 0 601950805 290709504 1893 33554432000 4194304 4650419 140733383261872 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 283896

[startup+0.309149 s]
/proc/loadavg: 7.85 8.07 7.84 5/180 23688
/proc/meminfo: memFree=30597184/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=284080 CPUtime=1.21 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 3063 0 0 0 121 0 0 0 19 0 4 0 601950805 290897920 2296 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 71020 2296 393 112 0 65985 0
[pid=23688/tid=23689] ppid=23686 vsize=284080 CPUtime=0.3 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 694 0 0 0 30 0 0 0 20 0 4 0 601950805 290897920 2297 33554432000 4194304 4650419 140733383261872 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=284080 CPUtime=0.3 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 680 0 0 0 30 0 0 0 20 0 4 0 601950805 290897920 2297 33554432000 4194304 4650419 140733383261872 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=284080 CPUtime=0.3 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 586 0 0 0 30 0 0 0 20 0 4 0 601950805 290897920 2297 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 284080

[startup+0.701078 s]
/proc/loadavg: 7.85 8.07 7.84 5/180 23688
/proc/meminfo: memFree=30597184/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=285008 CPUtime=2.78 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 4726 0 0 0 278 0 0 0 19 0 4 0 601950805 291848192 3006 33554432000 4194304 4650419 140733383261872 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 71252 3006 393 112 0 66217 0
[pid=23688/tid=23689] ppid=23686 vsize=285008 CPUtime=0.69 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 1120 0 0 0 69 0 0 0 20 0 4 0 601950805 291848192 3006 33554432000 4194304 4650419 140733383261872 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=285008 CPUtime=0.69 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 1096 0 0 0 69 0 0 0 20 0 4 0 601950805 291848192 3006 33554432000 4194304 4650419 140733383261872 18446744073709551615 4229508 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=285008 CPUtime=0.69 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 980 0 0 0 69 0 0 0 20 0 4 0 601950805 291848192 3006 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285008

[startup+1.50093 s]
/proc/loadavg: 7.85 8.07 7.84 9/184 23692
/proc/meminfo: memFree=30584132/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=286448 CPUtime=5.97 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 9369 0 0 0 596 1 0 0 21 0 4 0 601950805 293322752 5020 33554432000 4194304 4650419 140733383261872 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 71612 5020 395 112 0 66577 0
[pid=23688/tid=23689] ppid=23686 vsize=286448 CPUtime=1.48 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 1961 0 0 0 148 0 0 0 23 0 4 0 601950805 293322752 5020 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=286448 CPUtime=1.49 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 1935 0 0 0 149 0 0 0 23 0 4 0 601950805 293322752 5020 33554432000 4194304 4650419 140733383261872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=286448 CPUtime=1.49 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 1736 0 0 0 149 0 0 0 23 0 4 0 601950805 293322752 5020 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286448

[startup+3.10064 s]
/proc/loadavg: 7.85 8.07 7.84 9/184 23692
/proc/meminfo: memFree=30562308/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=282696 CPUtime=12.36 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 17834 0 0 0 1233 3 0 0 25 0 4 0 601950805 289480704 10385 33554432000 4194304 4650419 140733383261872 18446744073709551615 4328315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 70674 10385 395 112 0 65639 0
[pid=23688/tid=23689] ppid=23686 vsize=282696 CPUtime=3.07 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 4160 0 0 0 307 0 0 0 25 0 4 0 601950805 289480704 10386 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=282696 CPUtime=3.08 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 4784 0 0 0 308 0 0 0 25 0 4 0 601950805 289480704 10386 33554432000 4194304 4650419 140733383261872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=282696 CPUtime=3.09 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 4023 0 0 0 308 1 0 0 25 0 4 0 601950805 289480704 10386 33554432000 4194304 4650419 140733383261872 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 282696

[startup+6.30105 s]
/proc/loadavg: 7.87 8.07 7.84 9/184 23693
/proc/meminfo: memFree=30542424/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=291244 CPUtime=25.14 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 27010 0 0 0 2509 5 0 0 25 0 4 0 601950805 298233856 14075 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 72811 14075 395 112 0 67776 0
[pid=23688/tid=23689] ppid=23686 vsize=291244 CPUtime=6.25 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 7431 0 0 0 625 0 0 0 25 0 4 0 601950805 298233856 14075 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=291244 CPUtime=6.28 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 6658 0 0 0 627 1 0 0 25 0 4 0 601950805 298233856 14075 33554432000 4194304 4650419 140733383261872 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=291244 CPUtime=6.28 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 5677 0 0 0 627 1 0 0 25 0 4 0 601950805 298233856 14075 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291244

[startup+12.7009 s]
/proc/loadavg: 7.88 8.07 7.84 10/184 23693
/proc/meminfo: memFree=30515164/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=297744 CPUtime=50.71 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 41837 0 0 0 5062 9 0 0 25 0 4 0 601950805 304889856 19655 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 74436 19655 395 112 0 69401 0
[pid=23688/tid=23689] ppid=23686 vsize=297744 CPUtime=12.62 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 11169 0 0 0 1261 1 0 0 25 0 4 0 601950805 304889856 19655 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=297744 CPUtime=12.69 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 11077 0 0 0 1267 2 0 0 25 0 4 0 601950805 304889856 19655 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=297744 CPUtime=12.68 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 8079 0 0 0 1266 2 0 0 25 0 4 0 601950805 304889856 19655 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 297744

[startup+25.5005 s]
/proc/loadavg: 7.98 8.08 7.85 9/184 23693
/proc/meminfo: memFree=30479060/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=309132 CPUtime=101.84 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 65145 0 0 0 10169 15 0 0 25 0 4 0 601950805 316551168 27708 33554432000 4194304 4650419 140733383261872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 77283 27708 395 112 0 72248 0
[pid=23688/tid=23689] ppid=23686 vsize=309132 CPUtime=25.35 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 17746 0 0 0 2532 3 0 0 25 0 4 0 601950805 316551168 27708 33554432000 4194304 4650419 140733383261872 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=309132 CPUtime=25.48 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 17482 0 0 0 2545 3 0 0 25 0 4 0 601950805 316551168 27708 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=309132 CPUtime=25.48 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 10770 0 0 0 2545 3 0 0 25 0 4 0 601950805 316551168 27708 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 309132

[startup+51.1008 s]
/proc/loadavg: 7.98 8.07 7.85 10/184 23694
/proc/meminfo: memFree=30433972/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=300696 CPUtime=204.1 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 99157 0 0 0 20385 25 0 0 25 0 4 0 601950805 307912704 34021 33554432000 4194304 4650419 140733383261872 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 75174 34021 395 112 0 70139 0
[pid=23688/tid=23689] ppid=23686 vsize=300696 CPUtime=50.8 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 26162 0 0 0 5075 5 0 0 25 0 4 0 601950805 307912704 34021 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=300696 CPUtime=51.09 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 28452 0 0 0 5103 6 0 0 25 0 4 0 601950805 307912704 34021 33554432000 4194304 4650419 140733383261872 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=300696 CPUtime=51.08 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 15646 0 0 0 5103 5 0 0 25 0 4 0 601950805 307912704 34021 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 300696

[startup+102.3 s]
/proc/loadavg: 8.10 8.09 7.86 9/184 23695
/proc/meminfo: memFree=30392012/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=315844 CPUtime=408.64 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 150739 0 0 0 40823 41 0 0 25 0 4 0 601950805 323424256 39394 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 78961 39394 395 112 0 73926 0
[pid=23688/tid=23689] ppid=23686 vsize=315844 CPUtime=101.73 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 39904 0 0 0 10163 10 0 0 25 0 4 0 601950805 323424256 39394 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=315844 CPUtime=102.3 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 43001 0 0 0 10218 12 0 0 25 0 4 0 601950805 323424256 39394 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=315844 CPUtime=102.29 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 24967 0 0 0 10222 7 0 0 25 0 4 0 601950805 323424256 39394 33554432000 4194304 4650419 140733383261872 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 315844

[startup+162.3 s]

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

[pid=23688] ppid=23686 vsize=603988 CPUtime=2805.37 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 461383 0 0 0 280367 170 0 0 25 0 4 0 601950805 618483712 93124 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 150997 93124 395 112 0 145962 0
[pid=23688/tid=23689] ppid=23686 vsize=603988 CPUtime=698.48 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 128526 0 0 0 69801 47 0 0 25 0 4 0 601950805 618483712 93124 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=603988 CPUtime=702.31 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 150422 0 0 0 70178 53 0 0 25 0 4 0 601950805 618483712 93124 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=603988 CPUtime=702.3 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 77020 0 0 0 70200 30 0 0 25 0 4 0 601950805 618483712 93124 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 603988

[startup+762.301 s]
/proc/loadavg: 8.02 8.08 7.96 9/184 23713
/proc/meminfo: memFree=30140616/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=554368 CPUtime=3045.06 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 485962 0 0 0 304325 181 0 0 25 0 4 0 601950805 567672832 91509 33554432000 4194304 4650419 140733383261872 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 138592 91509 395 112 0 133557 0
[pid=23688/tid=23689] ppid=23686 vsize=554368 CPUtime=758.15 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 135894 0 0 0 75764 51 0 0 25 0 4 0 601950805 567672832 91509 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=554368 CPUtime=762.32 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 160650 0 0 0 76175 57 0 0 25 0 4 0 601950805 567672832 91509 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=554368 CPUtime=762.31 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 79730 0 0 0 76199 32 0 0 25 0 4 0 601950805 567672832 91509 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 554368

[startup+822.301 s]
/proc/loadavg: 8.06 8.08 7.97 9/184 23714
/proc/meminfo: memFree=30128396/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=549020 CPUtime=3284.71 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 505242 0 0 0 328281 190 0 0 25 0 4 0 601950805 562196480 88325 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 137255 88325 395 112 0 132220 0
[pid=23688/tid=23689] ppid=23686 vsize=549020 CPUtime=817.82 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 139973 0 0 0 81729 53 0 0 25 0 4 0 601950805 562196480 88325 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=549020 CPUtime=822.31 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 168450 0 0 0 82171 60 0 0 25 0 4 0 601950805 562196480 88325 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=549020 CPUtime=822.31 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 83679 0 0 0 82197 34 0 0 25 0 4 0 601950805 562196480 88325 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 549020

[startup+882.307 s]
/proc/loadavg: 8.19 8.11 7.99 10/184 23725
/proc/meminfo: memFree=30077416/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=574496 CPUtime=3524.41 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 530529 0 0 0 352240 201 0 0 25 0 4 0 601950805 588283904 102729 33554432000 4194304 4650419 140733383261872 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 143624 102729 395 112 0 138589 0
[pid=23688/tid=23689] ppid=23686 vsize=574496 CPUtime=877.5 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 149122 0 0 0 87695 55 0 0 25 0 4 0 601950805 588283904 102729 33554432000 4194304 4650419 140733383261872 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=574496 CPUtime=882.31 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 176193 0 0 0 88166 65 0 0 25 0 4 0 601950805 588283904 102729 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=574496 CPUtime=882.31 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 87707 0 0 0 88196 35 0 0 25 0 4 0 601950805 588283904 102729 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 574496

[startup+942.301 s]
/proc/loadavg: 6.12 7.58 7.82 5/175 23745
/proc/meminfo: memFree=30404272/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=581476 CPUtime=3764.07 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 549401 0 0 0 376197 210 0 0 25 0 4 0 601950805 595431424 101069 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 145369 101069 395 112 0 140334 0
[pid=23688/tid=23689] ppid=23686 vsize=581476 CPUtime=937.19 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 154560 0 0 0 93661 58 0 0 25 0 4 0 601950805 595431424 101069 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=581476 CPUtime=942.32 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 185765 0 0 0 94163 69 0 0 25 0 4 0 601950805 595431424 101069 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=581476 CPUtime=942.31 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 89435 0 0 0 94194 37 0 0 25 0 4 0 601950805 595431424 101069 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 581476

[startup+1002.3 s]
/proc/loadavg: 4.78 6.93 7.57 5/175 23746
/proc/meminfo: memFree=30396168/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=581604 CPUtime=4003.78 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 568577 0 0 0 400157 221 0 0 25 0 4 0 601950805 595562496 103133 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 145401 103133 395 112 0 140366 0
[pid=23688/tid=23689] ppid=23686 vsize=581604 CPUtime=996.9 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 157983 0 0 0 99630 60 0 0 25 0 4 0 601950805 595562496 103133 33554432000 4194304 4650419 140733383261872 18446744073709551615 4314494 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=581604 CPUtime=1002.31 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 192777 0 0 0 100159 72 0 0 25 0 4 0 601950805 595562496 103133 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=581604 CPUtime=1002.31 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 94162 0 0 0 100192 39 0 0 25 0 4 0 601950805 595562496 103133 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 581604

[startup+1062.3 s]
/proc/loadavg: 4.33 6.41 7.35 5/175 23748
/proc/meminfo: memFree=30358068/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=641516 CPUtime=4243.5 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 584724 0 0 0 424121 229 0 0 25 0 4 0 601950805 656912384 113113 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 160379 113113 395 112 0 155344 0
[pid=23688/tid=23689] ppid=23686 vsize=641516 CPUtime=1056.61 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 160299 0 0 0 105599 62 0 0 25 0 4 0 601950805 656912384 113113 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=641516 CPUtime=1062.31 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 198364 0 0 0 106156 75 0 0 25 0 4 0 601950805 656912384 113113 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=641516 CPUtime=1062.3 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 98285 0 0 0 106190 40 0 0 25 0 4 0 601950805 656912384 113113 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 641516

[startup+1122.3 s]
/proc/loadavg: 4.16 5.98 7.15 5/175 23749
/proc/meminfo: memFree=30347992/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=654976 CPUtime=4483.22 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 600944 0 0 0 448084 238 0 0 25 0 4 0 601950805 670695424 115464 33554432000 4194304 4650419 140733383261872 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 163744 115464 395 112 0 158709 0
[pid=23688/tid=23689] ppid=23686 vsize=654976 CPUtime=1116.33 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 163944 0 0 0 111569 64 0 0 25 0 4 0 601950805 670695424 115464 33554432000 4194304 4650419 140733383261872 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=654976 CPUtime=1122.32 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 205334 0 0 0 112153 79 0 0 25 0 4 0 601950805 670695424 115464 33554432000 4194304 4650419 140733383261872 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=654976 CPUtime=1122.31 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 100023 0 0 0 112190 41 0 0 25 0 4 0 601950805 670695424 115464 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.22
Current children cumulated vsize (KiB) 654976

[startup+1182.3 s]
/proc/loadavg: 4.10 5.63 6.95 5/175 23751
/proc/meminfo: memFree=30343484/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=602640 CPUtime=4722.93 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 618735 0 0 0 472046 247 0 0 25 0 4 0 601950805 617103360 116794 33554432000 4194304 4650419 140733383261872 18446744073709551615 260020420503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 150660 116794 395 112 0 145625 0
[pid=23688/tid=23689] ppid=23686 vsize=602640 CPUtime=1176.03 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 166866 0 0 0 117538 65 0 0 25 0 4 0 601950805 617103360 116794 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=602640 CPUtime=1182.32 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 213607 0 0 0 118150 82 0 0 25 0 4 0 601950805 617103360 116794 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=602640 CPUtime=1182.32 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 104373 0 0 0 118188 44 0 0 25 0 4 0 601950805 617103360 116794 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.93
Current children cumulated vsize (KiB) 602640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.14 5.54 6.89 5/175 23751
/proc/meminfo: memFree=30336032/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=703680 CPUtime=4800.05 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 624411 0 0 0 479755 250 0 0 25 0 4 0 601950805 720568320 118402 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 175920 118402 395 112 0 170885 0
[pid=23688/tid=23689] ppid=23686 vsize=703680 CPUtime=1195.23 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 167972 0 0 0 119457 66 0 0 25 0 4 0 601950805 720568320 118402 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=703680 CPUtime=1201.63 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 216314 0 0 0 120079 84 0 0 25 0 4 0 601950805 720568320 118402 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=703680 CPUtime=1201.61 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 105266 0 0 0 120117 44 0 0 25 0 4 0 601950805 720568320 118402 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 703680

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

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

[startup+1201.6 s]
/proc/loadavg: 4.14 5.54 6.89 5/175 23751
/proc/meminfo: memFree=30336032/32951124 swapFree=67111464/67111528
[pid=23688] ppid=23686 vsize=703680 CPUtime=4800.05 cores=0,2,4,6
/proc/23688/stat : 23688 (strangenight1-m) R 23686 23688 23457 0 -1 4202496 624411 0 0 0 479755 250 0 0 25 0 4 0 601950805 720568320 118402 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23688/statm: 175920 118402 395 112 0 170885 0
[pid=23688/tid=23689] ppid=23686 vsize=703680 CPUtime=1195.23 cores=0,2,4,6
/proc/23688/task/23689/stat : 23689 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 167972 0 0 0 119457 66 0 0 25 0 4 0 601950805 720568320 118402 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23688/tid=23690] ppid=23686 vsize=703680 CPUtime=1201.63 cores=0,2,4,6
/proc/23688/task/23690/stat : 23690 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 216314 0 0 0 120079 84 0 0 25 0 4 0 601950805 720568320 118402 33554432000 4194304 4650419 140733383261872 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23688/tid=23691] ppid=23686 vsize=703680 CPUtime=1201.61 cores=0,2,4,6
/proc/23688/task/23691/stat : 23691 (strangenight1-m) R 23686 23688 23457 0 -1 4202560 105266 0 0 0 120117 44 0 0 25 0 4 0 601950805 720568320 118402 33554432000 4194304 4650419 140733383261872 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 703680

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.11
CPU user time (s): 4797.58
CPU system time (s): 2.52562
CPU usage (%): 399.464
Max. virtual memory (cumulated for all children) (KiB): 703680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.52562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624413
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= 269
involuntary context switches= 19695

runsolver used 2.06569 second user time and 4.34434 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-30 00:46:42
IDJOB=3175330
IDBENCH=82948
IDSOLVER=1588
FILE ID=node110/3175330-1304117202
RUNJOBID= node110-1304114794-23475
PBS_JOBID= 13170707
Free space on /tmp= 72832 MiB

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

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

MD5SUM BENCH= 82834b232944ca118e4175405e325327
RANDOM SEED=1814207572

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30597464 kB
Buffers:        926296 kB
Cached:         750952 kB
SwapCached:         64 kB
Active:         352084 kB
Inactive:      1595844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30597464 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:      270920 kB
Mapped:          15512 kB
Slab:           341808 kB
PageTables:       5300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   518960 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= 72832 MiB
End job on node110 at 2011-04-30 01:06:46