Trace number 3262685

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.34 1201.75

General information on the benchmark

NameSAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
MD5SUM05a191325d89de504821b55dea51ca7f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.758
Satisfiable
(Un)Satisfiability was proved
Number of variables4979
Number of clauses43754
Sum of the clauses size97507
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 241316
Number of clauses of size 3117
Number of clauses of size 4287
Number of clauses of size 5525
Number of clauses of size over 51509

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-3262685-1304133740.cnf'
0.00/0.00	c -- header says num vars:           4979
0.00/0.00	c -- header says num clauses:       43754
0.00/0.02	c -- clauses added:            0 learnts,        43754 normals,            0 xors
0.00/0.02	c -- vars added       4979
0.00/0.02	c Parsing time:  0.03 s
0.00/0.02	c  N st     0         0      4979      2438     41316         0     97507         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 2/2438/2438 lits-rem:2 time: 0.02
0.00/0.05	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:   33 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.09
0.00/0.05	c Replacing       33 vars Replaced      876 lits Time:     0.01 s 
0.00/0.06	c bin-w-bin subsume rem            6 bins  time:  0.01 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.00/0.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4943 time:  0.02 s
0.00/0.57	c Removed useless bin:      89  fixed:     0  props:   0.24M  time:  0.02 s
0.00/0.57	c lits-rem:         0  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.07 s
0.00/0.57	c Finding binary XORs  T:     0.01 s  found:       0
0.00/0.57	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.57	c calculated reachability. Time: 0.00
0.00/0.57	c Calc default polars -  time:   0.00 s pos:    2472 undec:      41 neg:    2466
0.00/0.57	c =========================================================================================
0.00/0.57	c types(t): F = full restart, N = normal restart
0.00/0.57	c types(t): S = simplification begin/end, E = solution found
0.00/0.57	c restart types(rt): st = static, dy = dynamic
0.00/0.57	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.57	c  B st     0         0      4941      2446     41111         0     97122         0   no data   no data  --
0.00/0.57	c  N dy    19      4009      4941      2446     41113      3999     97122    379991     34.21     36.13  --
3.55/0.90	c  N dy    51      8175      4941      2446     41115      5670     97122    331016     35.15     37.18  --
4.76/1.26	c  N dy    81     12249      4941      2446     41120      5494     97122    166278     36.05     38.22  --
6.36/1.69	c  N dy   108     16401      4941      2446     41121      9639     97122    550743     36.04     38.43  --
8.35/2.13	c  N dy   140     20437      4941      2446     41123      8059     97122    283400     36.15     38.82  --
10.36/2.61	c  N dy   170     24495      4941      2446     41124     12114     97122    678467     36.56     38.96  --
10.36/2.68	c  F st   175     25001      4941      2446     41126     12620     97122    734939     36.62     29.01  --
13.14/3.32	c  N dy   181     30002      4941      2446     41126     10814     97122    773373     36.62   no data  --
13.14/3.32	c  S st   181     30002      4941      2446     41126     10814     97122    773373     36.62   no data  --
13.14/3.38	c  S st   181     30504      4941      2446     41126     11315     97122    816610     36.62   no data  --
13.14/3.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
13.14/3.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.54/3.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     26 BRemL:      0 BRemN:      0 P:  1.7M T:  0.23
13.54/3.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.13/4.81	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  5.25 s
19.13/4.82	c Subs w/ non-existent bins:      0 l-rem:    430 v-fix:     0 done:   4941 time:  0.05 s
19.13/4.83	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
30.33/7.61	c lits-rem:       339  cl-subs:       55  v-elim:      0  v-fix:    0  time: 11.09 s
30.33/7.62	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.04
30.33/7.62	c calculated reachability. Time: 0.00
30.33/7.62	c  N dy   181     30504      4941      2446     41152     11260     97122    814336     36.62   no data  --
32.33/8.15	c  N dy   212     34591      4941      2446     41155     15336     97122   1211036     36.80     39.17  --
34.32/8.63	c  N dy   245     38679      4941      2446     41155     11528     97122    438288     37.04     39.11  --
36.32/9.16	c  N dy   274     42820      4941      2446     41155     15663     97122    844436     37.15     39.41  --
37.94/9.57	c  S st   294     45756      4941      2446     41155      9650     97122    131936     37.19   no data  --
38.34/9.62	c  S st   294     46260      4941      2446     41155     10154     97122    169575     37.19   no data  --
38.34/9.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.34/9.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.34/9.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.21
38.34/9.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.51/9.99	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  1.19 s
39.51/10.00	c Subs w/ non-existent bins:      0 l-rem:     26 v-fix:     0 done:   4941 time:  0.03 s
39.91/10.00	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
40.71/10.20	c lits-rem:        37  cl-subs:       18  v-elim:      0  v-fix:    0  time:  0.81 s
40.71/10.20	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
40.71/10.21	c vivif2 --  cl tried    10136 cl shrink        6 lits rem         13 time: 0.01
40.71/10.21	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.03
40.71/10.22	c calculated reachability. Time: 0.00
40.71/10.22	c  N dy   294     46260      4941      2446     41155     10136     97122    169195     37.19   no data  --
42.73/10.72	c  N dy   327     50350      4941      2446     41155     14219     97122    589575     37.49     40.79  --
45.10/11.30	c  N dy   359     54507      4941      2446     41155     18372     97122   1010948     37.69     39.83  --
47.13/11.86	c  N dy   391     58671      4941      2446     41155     12567     97122    364141     37.83     40.11  --
49.50/12.41	c  N dy   423     62777      4941      2446     41155     16668     97122    783385     37.93     40.36  --
51.90/13.05	c  N dy   454     66841      4941      2446     41155     20729     97122   1224802     38.11     40.13  --
53.50/13.43	c  S st   476     69390      4941      2446     41155     12315     97122    223158     38.19     36.59  --
53.50/13.49	c  S st   476     69893      4941      2446     41155     12817     97122    266671     38.19   no data  --
53.50/13.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.50/13.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.89/13.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.23
53.89/13.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
56.69/14.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.65 s
56.69/14.24	c Subs w/ non-existent bins:      0 l-rem:    104 v-fix:     0 done:   4941 time:  0.03 s
56.69/14.24	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
59.49/14.95	c lits-rem:       133  cl-subs:       24  v-elim:      0  v-fix:    0  time:  2.82 s
59.49/14.95	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
59.49/14.95	c vivif2 --  cl tried    12793 cl shrink       39 lits rem         71 time: 0.02
59.49/14.96	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.03
59.49/14.96	c calculated reachability. Time: 0.00
59.49/14.96	c  N dy   476     69893      4941      2446     41155     12793     97122    265899     38.19   no data  --
61.88/15.55	c  N dy   512     74406      4941      2446     41156     17300     97122    746195     38.39     40.88  --
64.70/16.29	c  N dy   550     79227      4941      2446     41156     22116     97122   1276513     38.57     44.59  --
67.88/17.04	c  N dy   593     84308      4941      2446     41156     15208     97122    453493     38.81     54.41  --
69.47/17.47	c  F st   618     87500      4941      2446     41156     18392     97122    802044     38.88   no data  --
71.47/17.98	c  N st   623     90795      4941      2446     41156     21682     97122   1278942     38.88   no data  --
75.47/18.95	c  N dy   651     96666      4941      2446     41156     14565     97122    281486     38.95     41.77  --
79.06/19.86	c  N dy   701    102927      4941      2446     41156     20814     97122    951381     39.10     43.11  --
80.27/20.19	c  S st   718    104839      4941      2446     41156     22725     97122   1176589     39.17   no data  --
80.66/20.28	c  S st   718    105342      4941      2446     41156     23228     97122   1229552     39.17   no data  --
80.66/20.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
80.66/20.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.06/20.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.5M T:  0.36
81.46/20.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
87.05/21.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.49 s
87.05/21.82	c Subs w/ non-existent bins:      0 l-rem:    802 v-fix:     0 done:   4941 time:  0.06 s
87.05/21.83	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
96.24/24.13	c lits-rem:       400  cl-subs:       59  v-elim:      0  v-fix:    0  time:  9.18 s
96.24/24.13	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
96.24/24.16	c vivif2 --  cl tried    23169 cl shrink      381 lits rem        905 time: 0.11
96.24/24.17	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.05
96.24/24.17	c calculated reachability. Time: 0.00
96.24/24.17	c  N dy   718    105342      4941      2446     41156     23169     97122   1224413     39.17   no data  --
101.03/25.30	c  N dy   772    112172      4941      2446     41156     16006     97122    334351     39.35     42.06  --
105.43/26.40	c  N dy   827    119488      4941      2446     41156     23320     97122   1134802     39.48     41.87  --
110.62/27.79	c  N dy   887    127250      4941      2446     41156     16088     97122    232351     39.63     42.22  --
115.82/29.06	c  N dy   953    135382      4941      2446     41156     24214     97122   1163426     39.84     45.25  --
122.21/30.64	c  N dy  1019    144075      4941      2446     41156     16925     97122    230133     39.95     46.52  --
128.20/32.12	c  N dy  1094    153326      4941      2446     41156     26162     97122   1298637     40.17     42.89  --
131.79/33.00	c  S st  1130    158013      4941      2446     41156     30845     97122   1850407     40.23   no data  --
132.19/33.11	c  S st  1130    158520      4941      2446     41156     31351     97122   1900687     40.23   no data  --
132.19/33.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
132.19/33.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
132.59/33.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.2M T:  0.46
132.99/33.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
138.58/34.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.65 s
138.58/34.74	c Subs w/ non-existent bins:      0 l-rem:   1140 v-fix:     0 done:   2095 time:  0.06 s
138.58/34.74	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
148.97/37.38	c lits-rem:       175  cl-subs:       65  v-elim:      0  v-fix:    0  time: 10.53 s
148.97/37.38	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
149.37/37.43	c vivif2 --  cl tried    31286 cl shrink     1056 lits rem       2521 time: 0.21
149.37/37.45	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.08
149.37/37.46	c calculated reachability. Time: 0.01
149.37/37.46	c  N dy  1130    158520      4941      2446     41156     31286     97122   1894205     40.23   no data  --
156.17/39.18	c  N dy  1214    168762      4941      2446     41156     24539     97122   1019693     40.44     43.17  --
164.95/41.32	c  N dy  1304    179592      4941      2446     41156     35354     97122   2275187     40.63     44.15  --
172.94/43.35	c  N dy  1400    191139      4941      2446     41156     28915     97122   1448014     40.85     43.19  --
182.53/45.76	c  N dy  1495    203374      4941      2446     41156     22157     97122    515586     40.98     54.25  --
192.14/48.18	c  N dy  1600    216368      4941      2446     41156     35135     97122   2039851     41.19     48.60  --
202.50/50.78	c  N dy  1708    230254      4941      2446     41156     29021     97122   1233323     41.33     43.58  --
208.90/52.33	c  S st  1768    237781      4941      2446     41156     36538     97122   2175752     41.44   no data  --
209.32/52.45	c  S st  1768    238281      4941      2446     41156     37037     97122   2215748     41.44   no data  --
209.32/52.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
209.32/52.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.10/52.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.6M T:  0.54
210.10/52.68	c bin-w-bin subsume rem            0 bins  time:  0.01 s
215.69/54.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.52 s
215.69/54.08	c Subs w/ non-existent bins:      0 l-rem:   1005 v-fix:     0 done:   1573 time:  0.06 s
215.69/54.08	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
228.07/57.13	c lits-rem:       253  cl-subs:       83  v-elim:      0  v-fix:    0  time: 12.15 s
228.07/57.13	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
228.07/57.20	c vivif2 --  cl tried    36954 cl shrink     1460 lits rem       3773 time: 0.26
228.47/57.22	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.09
228.47/57.22	c calculated reachability. Time: 0.01
228.47/57.22	c  N dy  1768    238281      4941      2446     41156     36954     97122   2207393     41.44   no data  --
239.66/60.07	c  N dy  1887    253599      4941      2446     41156     31281     97122   1361610     41.60     44.43  --
253.67/63.54	c  N dy  2022    269848      4941      2446     41156     25533     97122    611075     41.82     47.59  --
268.42/67.21	c  N dy  2162    287257      4941      2446     41156     42926     97122   2745934     42.00     44.85  --
283.20/70.95	c  N dy  2310    305650      4941      2446     41156     38320     97122   2035032     42.17     45.53  --
283.60/71.09	c  F st  2315    306250      4941      2446     41156     38920     97122   2105256     42.17   no data  --
299.58/75.06	c  N dy  2431    325392      4941      2446     41156     34081     97122   1421610     42.27     45.18  --
317.96/79.63	c  N dy  2587    345488      4941      2446     41156     29173     97122    671828     42.42     45.69  --
327.55/82.09	c  S st  2679    357422      4941      2446     41156     41094     97122   2143854     42.49   no data  --
328.37/82.22	c  S st  2679    357924      4941      2446     41156     41595     97122   2188347     42.49   no data  --
328.37/82.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
328.37/82.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
328.74/82.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.8M T:  0.56
329.14/82.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
334.74/83.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.59 s
334.74/83.86	c Subs w/ non-existent bins:      0 l-rem:   1239 v-fix:     0 done:   2408 time:  0.06 s
334.74/83.87	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
348.32/87.24	c lits-rem:       111  cl-subs:      116  v-elim:      0  v-fix:    0  time: 13.45 s
348.32/87.24	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
348.72/87.31	c vivif2 --  cl tried    41479 cl shrink     1655 lits rem       4503 time: 0.28
348.72/87.33	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.10
348.72/87.34	c calculated reachability. Time: 0.00
348.72/87.34	c  N dy  2679    357924      4941      2446     41156     41479     97122   2177753     42.49   no data  --
366.29/91.77	c  N dy  2841    377996      4941      2446     41156     35559     97122   1403135     42.67     45.29  --
386.67/96.85	c  N dy  3003    398059      4941      2446     41156     28635     97122    412701     42.82     45.25  --
404.25/101.24	c  N dy  3162    418108      4941      2446     41156     48668     97122   2911048     42.93     45.19  --
423.02/105.93	c  N dy  3321    438206      4941      2446     41156     40777     97122   1848267     43.06     45.42  --
443.40/111.02	c  N dy  3480    458259      4941      2446     41156     31835     97122    571167     43.17     52.77  --
461.77/115.67	c  N dy  3640    478313      4941      2446     41156     51867     97122   3111043     43.29     49.35  --
481.35/120.59	c  N dy  3804    498320      4941      2446     41156     41883     97122   1798019     43.43     45.95  --
503.74/126.16	c  N dy  3964    518338      4941      2446     41156     61887     97122   4362952     43.54     46.17  --
520.50/130.34	c  S st  4117    536886      4941      2446     41156     49450     97122   2658332     43.65   no data  --
520.90/130.48	c  S st  4117    537386      4941      2446     41156     49949     97122   2705998     43.65   no data  --
520.90/130.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
520.90/130.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
521.72/130.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.68
522.09/130.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
527.69/132.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.62 s
527.69/132.19	c Subs w/ non-existent bins:      0 l-rem:   1291 v-fix:     0 done:   1373 time:  0.06 s
527.69/132.19	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
548.86/137.48	c lits-rem:       161  cl-subs:      119  v-elim:      0  v-fix:    0  time: 21.10 s
548.86/137.48	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
549.26/137.58	c vivif2 --  cl tried    49830 cl shrink     2202 lits rem       5902 time: 0.37
549.66/137.62	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.17
549.66/137.62	c calculated reachability. Time: 0.00
549.66/137.62	c  N dy  4117    537386      4941      2446     41156     49830     97122   2692889     43.65   no data  --
569.65/142.69	c  N dy  4279    557424      4941      2446     41156     37875     97122   1007453     43.74     47.27  --
590.01/147.77	c  N dy  4428    577465      4941      2446     41156     57903     97122   3561896     43.82     48.02  --
610.78/152.92	c  N dy  4587    597489      4941      2446     41156     44938     97122   1743697     43.91     47.68  --
633.55/158.69	c  N dy  4752    617492      4941      2446     41156     64924     97122   4400900     44.02     53.03  --
653.54/163.64	c  N dy  4906    637559      4941      2446     41156     50991     97122   2484754     44.10     46.65  --
678.29/169.89	c  N dy  5066    657614      4941      2446     41156     36062     97122    405101     44.21     47.18  --
698.26/174.84	c  N dy  5222    677674      4941      2446     41156     56106     97122   2988697     44.28     46.71  --
723.85/181.25	c  N dy  5377    697677      4941      2446     41156     40123     97122    796351     44.35     46.70  --
745.82/186.74	c  N dy  5534    717744      4941      2446     41156     60174     97122   3383827     44.42     57.67  --
770.57/192.99	c  N dy  5690    737875      4941      2446     41156     43320     97122   1095296     44.49     47.81  --
793.74/198.79	c  N dy  5850    757983      4941      2446     41156     63418     97122   3776755     44.57     47.60  --
819.30/205.15	c  N dy  6010    778235      4941      2446     41156     45690     97122   1318215     44.64     48.07  --
842.49/210.93	c  N dy  6165    798252      4941      2446     41156     65696     97122   3996434     44.71     60.36  --
852.86/213.56	c  S st  6226    806081      4941      2446     41156     73517     97122   4999386     44.73   no data  --
853.66/213.77	c  S st  6226    806584      4941      2446     41156     74018     97122   5042026     44.73   no data  --
853.66/213.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
853.66/213.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
854.85/214.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.1M T:  1.09
855.67/214.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
861.64/215.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.94 s
861.64/215.77	c Subs w/ non-existent bins:      0 l-rem:   1159 v-fix:     0 done:    835 time:  0.06 s
861.64/215.77	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
1121.69/280.82	c lits-rem:        60  cl-subs:      184  v-elim:      0  v-fix:    0  time: 259.32 s
1121.69/280.82	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
1122.49/281.01	c vivif2 --  cl tried    73834 cl shrink     4973 lits rem      14163 time: 0.75
1122.49/281.06	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.21
1122.49/281.07	c calculated reachability. Time: 0.00
1122.49/281.07	c  N dy  6226    806584      4941      2446     41156     73834     97122   5017547     44.73   no data  --
1144.06/286.46	c  N dy  6386    826644      4941      2446     41156     54902     97122   2413672     44.80     48.71  --
1169.63/292.89	c  N dy  6541    846675      4941      2446     41156     74924     97122   5095271     44.86     49.82  --
1192.40/298.50	c  N dy  6692    866726      4941      2446     41156     54985     97122   2276364     44.92     47.65  --
1218.37/305.03	c  N dy  6848    886826      4941      2446     41156     75069     97122   4972958     44.99     49.74  --
1241.95/310.95	c  N dy  7008    906894      4941      2446     41156     54158     97122   2106354     45.05     49.06  --
1267.50/317.33	c  N dy  7159    926932      4941      2446     41156     74184     97122   4816784     45.11     60.67  --
1292.26/323.53	c  N dy  7313    946946      4941      2446     41156     52219     97122   1690603     45.17     48.22  --
1317.06/329.77	c  N dy  7479    966969      4941      2446     41156     72229     97122   4412160     45.23     49.73  --
1345.40/336.82	c  N dy  7634    987031      4941      2446     41156     49296     97122   1162191     45.28     53.38  --
1370.16/343.09	c  N dy  7793   1007098      4941      2446     41156     69350     97122   3863974     45.33     57.97  --
1402.12/351.05	c  N dy  7949   1027122      4941      2446     41156     45386     97122    521052     45.38     47.90  --
1425.69/356.96	c  N dy  8111   1047248      4941      2446     41156     65495     97122   3236450     45.44     47.87  --
1456.45/364.64	c  N dy  8263   1067270      4941      2446     41156     85510     97122   5898837     45.48     47.94  --
1464.83/366.72	c  F st  8302   1071875      4941      2446     41156     45131     97122    357228     45.50   no data  --
1481.60/370.92	c  N dy  8387   1087319      4941      2446     41156     60568     97122   2657438     45.52     48.28  --
1509.98/378.08	c  N dy  8538   1107336      4941      2446     41156     80573     97122   5395117     45.57     48.29  --
1539.54/385.43	c  N dy  8693   1127363      4941      2446     41156     54622     97122   1509390     45.61     48.92  --
1566.29/392.19	c  N dy  8857   1147398      4941      2446     41156     74651     97122   4247054     45.66     48.11  --
1600.25/400.61	c  N dy  9019   1167444      4941      2446     41156     47719     97122    452010     45.73     48.65  --
1623.82/406.57	c  N dy  9169   1187461      4941      2446     41156     67717     97122   3120631     45.75     48.23  --
1655.77/414.55	c  N dy  9333   1207462      4941      2446     41156     87698     97122   5884580     45.81     50.43  --
1660.16/415.67	c  S st  9353   1209876      4941      2446     41156     90108     97122   6222270     45.81   no data  --
1661.36/415.92	c  S st  9353   1210380      4941      2446     41156     90612     97122   6275363     45.81   no data  --
1661.36/415.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1661.36/415.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1662.97/416.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.2M T:  1.46
1663.78/416.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1669.76/418.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.08 s
1669.76/418.09	c Subs w/ non-existent bins:      0 l-rem:   1132 v-fix:     0 done:    584 time:  0.07 s
1670.16/418.10	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
2078.39/520.31	c lits-rem:        36  cl-subs:      226  v-elim:      0  v-fix:    0  time: 407.51 s
2078.39/520.31	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
2079.19/520.56	c vivif2 --  cl tried    90386 cl shrink     6616 lits rem      18830 time: 1.00
2079.60/520.63	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.26
2079.60/520.63	c calculated reachability. Time: 0.00
2079.60/520.63	c  N dy  9353   1210380      4941      2446     41156     90386     97122   6243300     45.81   no data  --
2103.96/526.76	c  N dy  9512   1230451      4941      2446     41156     62470     97122   2376342     45.85     57.41  --
2132.33/533.81	c  N dy  9669   1250537      4941      2446     41156     82545     97122   5106608     45.89     56.02  --
2163.89/541.75	c  N dy  9836   1270585      4941      2446     41156     53612     97122   1025924     45.95     48.97  --
2188.25/547.86	c  N dy  9995   1290671      4941      2446     41156     73684     97122   3786611     45.99     62.66  --
2220.21/555.85	c  N dy 10152   1310851      4941      2446     41156     93849     97122   6523266     46.02     50.60  --
2247.37/562.62	c  N dy 10315   1331061      4941      2446     41156     64089     97122   2352032     46.07     48.97  --
2275.73/569.73	c  N dy 10476   1351074      4941      2446     41156     84091     97122   5172344     46.12     48.73  --
2309.29/578.17	c  N dy 10636   1371168      4941      2446     41156     53206     97122    705429     46.16     59.69  --
2335.25/584.68	c  N dy 10801   1391425      4941      2446     41156     73454     97122   3573345     46.22     48.73  --
2368.80/593.05	c  N dy 10956   1411458      4941      2446     41156     93473     97122   6350469     46.26     50.39  --
2402.38/601.42	c  N dy 11123   1431507      4941      2446     41156     61540     97122   1724812     46.30     49.15  --
2432.32/608.92	c  N dy 11284   1451525      4941      2446     41156     81547     97122   4491819     46.34     56.12  --
2468.67/618.08	c  N dy 11441   1471530      4941      2446     41156    101536     97122   7272294     46.38     51.17  --
2497.43/625.25	c  N dy 11597   1491614      4941      2446     41156     68646     97122   2564512     46.41     51.73  --
2528.59/633.08	c  N dy 11752   1511709      4941      2446     41156     88723     97122   5351696     46.44     53.14  --
2567.74/642.86	c  N dy 11911   1531767      4941      2446     41156     54801     97122    521072     46.48     49.56  --
2593.70/649.32	c  N dy 12065   1551774      4941      2446     41156     74796     97122   3320934     46.51     49.23  --
2626.85/657.68	c  N dy 12218   1571894      4941      2446     41156     94905     97122   6104272     46.54     49.33  --
2663.20/666.73	c  N dy 12377   1591911      4941      2446     41156     59944     97122   1115897     46.58     49.48  --
2690.77/673.69	c  N dy 12532   1611937      4941      2446     41156     79956     97122   3890630     46.61     49.24  --
2726.32/682.57	c  N dy 12691   1631996      4941      2446     41156    100001     97122   6711942     46.64     51.26  --
2760.28/691.07	c  N dy 12841   1652029      4941      2446     41156     64067     97122   1538101     46.67     49.20  --
2789.84/698.49	c  N dy 12997   1672120      4941      2446     41156     84148     97122   4361484     46.70     49.77  --
2826.99/707.73	c  N dy 13150   1692151      4941      2446     41156    104166     97122   7214188     46.73     49.72  --
2858.15/715.58	c  S st 13295   1710380      4941      2446     41156     65423     97122   1625783     46.76     46.53  --
2858.96/715.77	c  S st 13295   1710882      4941      2446     41156     65925     97122   1679988     46.76   no data  --
2858.96/715.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2858.96/715.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2860.14/716.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.3M T:  0.94
2860.14/716.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2865.73/717.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.63 s
2866.14/717.50	c Subs w/ non-existent bins:      0 l-rem:    947 v-fix:     0 done:   2040 time:  0.06 s
2866.14/717.51	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
2880.11/721.03	c lits-rem:       199  cl-subs:      142  v-elim:      0  v-fix:    0  time: 14.05 s
2880.11/721.03	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
2880.11/721.09	c vivif2 --  cl tried    65783 cl shrink     1187 lits rem       3320 time: 0.25
2880.52/721.15	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.22
2880.52/721.15	c calculated reachability. Time: 0.00
2880.52/721.15	c  N dy 13295   1710882      4941      2446     41156     65783     97122   1673099     46.76   no data  --
2909.27/728.31	c  N dy 13443   1730890      4941      2446     41156     85783     97122   4552962     46.79     50.57  --
2944.83/737.29	c  N dy 13590   1750983      4941      2446     41156    105868     97122   7366043     46.82     49.73  --
2979.18/745.84	c  N dy 13746   1770986      4941      2446     41156     67888     97122   1846992     46.85     53.84  --
3009.93/753.59	c  N dy 13900   1791083      4941      2446     41156     87980     97122   4707912     46.88     57.52  --
3048.31/763.16	c  N dy 14057   1811111      4941      2446     41156    107994     97122   7563471     46.91     49.81  --
3084.23/772.11	c  N dy 14217   1831135      4941      2446     41156     69026     97122   1842187     46.95     50.09  --
3114.99/779.83	c  N dy 14378   1851230      4941      2446     41156     89101     97122   4666979     46.97     50.29  --
3151.34/788.91	c  N dy 14536   1871235      4941      2446     41156    109094     97122   7532568     47.00     53.45  --
3184.52/797.23	c  N dy 14688   1891316      4941      2446     41156     69212     97122   1785221     47.03     50.09  --
3213.66/804.56	c  N dy 14853   1911405      4941      2446     41156     89291     97122   4666059     47.06     55.27  --
3249.21/813.47	c  N dy 15008   1931490      4941      2446     41156    109358     97122   7505935     47.09     49.86  --
3284.76/822.38	c  N dy 15161   1951500      4941      2446     41156     68390     97122   1517341     47.12     50.13  --
3313.52/829.58	c  N dy 15320   1971591      4941      2446     41156     88466     97122   4374342     47.14     53.95  --
3350.67/838.84	c  N dy 15476   1991631      4941      2446     41156    108488     97122   7195760     47.16     50.36  --
3390.22/848.72	c  N dy 15636   2011707      4941      2446     41156     66592     97122   1131774     47.19     49.75  --
3419.77/856.12	c  N dy 15799   2031885      4941      2446     41156     86755     97122   3999797     47.22     50.59  --
3456.12/865.21	c  N dy 15954   2051976      4941      2446     41156    106833     97122   6844289     47.25     53.76  --
3498.87/875.96	c  N dy 16112   2072184      4941      2446     41156     64073     97122    631070     47.28     50.14  --
3526.03/882.72	c  N dy 16266   2092216      4941      2446     41156     84091     97122   3478423     47.30     60.61  --
3559.98/891.27	c  N dy 16423   2112434      4941      2446     41156    104299     97122   6343846     47.32     51.44  --
3599.92/901.29	c  N dy 16579   2132522      4941      2446     41156    124372     97122   9256588     47.35     50.06  --
3630.28/908.83	c  N dy 16746   2152619      4941      2446     41156     80493     97122   2882594     47.38     62.58  --
3663.05/917.03	c  N dy 16907   2172646      4941      2446     41156    100510     97122   5769427     47.40     50.00  --
3703.00/927.04	c  N dy 17071   2192716      4941      2446     41156    120564     97122   8667096     47.43     50.18  --
3735.33/935.11	c  S st 17217   2210883      4941      2446     41156     73764     97122   1777898     47.46   no data  --
3736.13/935.30	c  S st 17217   2211391      4941      2446     41156     74272     97122   1842994     47.46   no data  --
3736.13/935.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3736.13/935.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3736.93/935.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.9M T:  0.96
3737.33/935.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3742.92/937.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.56 s
3742.92/937.03	c Subs w/ non-existent bins:      0 l-rem:    992 v-fix:     0 done:   1914 time:  0.06 s
3742.92/937.04	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
3760.12/941.31	c lits-rem:       145  cl-subs:      145  v-elim:      0  v-fix:    0  time: 17.05 s
3760.12/941.31	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
3760.12/941.38	c vivif2 --  cl tried    74127 cl shrink     1504 lits rem       4263 time: 0.28
3760.49/941.43	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.23
3760.49/941.44	c calculated reachability. Time: 0.00
3760.49/941.44	c  N dy 17217   2211391      4941      2446     41156     74127     97122   1833877     47.46   no data  --
3789.65/948.75	c  N dy 17378   2231479      4941      2446     41156     94204     97122   4721245     47.48     50.11  --
3826.40/957.91	c  N dy 17536   2251589      4941      2446     41156    114297     97122   7641716     47.50     52.21  --
3867.14/968.17	c  N dy 17695   2271713      4941      2446     41156     68451     97122    868154     47.53     50.75  --
3895.92/975.39	c  N dy 17854   2291776      4941      2446     41156     88501     97122   3815949     47.55     50.32  --
3931.48/984.22	c  N dy 17999   2311823      4941      2446     41156    108537     97122   6669489     47.57     50.11  --
3975.01/995.19	c  N dy 18156   2331855      4941      2446     41156    128560     97122   9576390     47.60     50.12  --
4009.35/1003.76	c  N dy 18315   2351871      4941      2446     41156     81606     97122   2636928     47.62     50.37  --
4044.50/1012.57	c  N dy 18469   2371934      4941      2446     41156    101656     97122   5541212     47.64     51.99  --
4086.84/1023.13	c  N dy 18630   2391996      4941      2446     41156    121703     97122   8461869     47.67     50.60  --
4129.21/1033.74	c  N dy 18788   2412036      4941      2446     41156     73784     97122   1362613     47.69     55.55  --
4161.13/1041.79	c  N dy 18946   2432264      4941      2446     41156     94002     97122   4300695     47.71     50.59  --
4201.48/1051.82	c  N dy 19103   2452364      4941      2446     41156    114086     97122   7235395     47.73     50.69  --
4248.21/1063.55	c  N dy 19258   2472422      4941      2446     41156    134132     97122  10171183     47.75     53.05  --
4282.59/1072.10	c  N dy 19415   2492764      4941      2446     41156     85499     97122   2871358     47.77     51.15  --
4318.52/1081.15	c  N dy 19569   2512874      4941      2446     41156    105595     97122   5804862     47.79     50.80  --
4362.86/1092.24	c  N dy 19729   2532974      4941      2446     41156    125676     97122   8749954     47.81     52.72  --
4407.60/1103.41	c  N dy 19898   2553001      4941      2446     41156     75734     97122   1397426     47.84     52.20  --
4439.56/1111.43	c  N dy 20054   2573077      4941      2446     41156     95791     97122   4344299     47.87     50.76  --
4481.10/1121.81	c  N dy 20203   2593178      4941      2446     41156    115879     97122   7226407     47.88     50.52  --
4530.22/1134.19	c  N dy 20360   2613211      4941      2446     41156    135904     97122  10101360     47.90     50.49  --
4568.59/1143.71	c  N dy 20516   2633318      4941      2446     41156     85048     97122   2584353     47.92     51.74  --
4604.93/1152.90	c  N dy 20664   2653408      4941      2446     41156    105120     97122   5526485     47.94     51.80  --
4650.47/1164.20	c  N dy 20819   2673522      4941      2446     41156    125220     97122   8462890     47.96     51.88  --
4699.59/1176.50	c  N dy 20977   2693615      4941      2446     41156     73360     97122    752283     47.98     50.82  --
4725.96/1183.20	c  S st 21107   2711393      4941      2446     41156     91128     97122   3340012     47.99   no data  --
4727.16/1183.45	c  S st 21107   2711898      4941      2446     41156     91633     97122   3397659     47.99   no data  --
4727.16/1183.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4727.16/1183.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4728.36/1183.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.8M T:  1.32
4729.16/1183.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4734.75/1185.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.82 s
4734.75/1185.39	c Subs w/ non-existent bins:      0 l-rem:    860 v-fix:     0 done:    448 time:  0.05 s
4734.75/1185.40	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s

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-3262685-1304133740/watcher-3262685-1304133740 -o /tmp/evaluation-result-3262685-1304133740/solver-3262685-1304133740 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3262685-1304133740.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.57 8.00 7.90 3/173 8308
/proc/meminfo: memFree=29230484/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 603604501 52465664 352 33554432000 4194304 4650419 140735815894000 18446744073709551615 47423764350896 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 12809 352 303 112 0 7774 0
[pid=8308/tid=8309] ppid=8306 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 603604501 52465664 352 33554432000 4194304 4650419 140735815894000 18446744073709551615 47423764350898 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 603604501 52465664 352 33554432000 4194304 4650419 140735815894000 18446744073709551615 47423764350902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 603604501 52465664 352 33554432000 4194304 4650419 140735815894000 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.825266 s]
/proc/loadavg: 7.57 8.00 7.90 3/173 8308
/proc/meminfo: memFree=29230484/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=289168 CPUtime=3.25 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 9368 0 0 0 324 1 0 0 18 0 4 0 603604501 296108032 6620 33554432000 4194304 4650419 140735815894000 18446744073709551615 252457762935 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 72292 6620 392 112 0 67257 0
[pid=8308/tid=8309] ppid=8306 vsize=289168 CPUtime=0.81 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2250 0 0 0 81 0 0 0 18 0 4 0 603604501 296108032 6620 33554432000 4194304 4650419 140735815894000 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=289168 CPUtime=0.8 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2326 0 0 0 80 0 0 0 19 0 4 0 603604501 296108032 6620 33554432000 4194304 4650419 140735815894000 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=289168 CPUtime=0.8 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2163 0 0 0 80 0 0 0 18 0 4 0 603604501 296108032 6620 33554432000 4194304 4650419 140735815894000 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 289168

[startup+0.900362 s]
/proc/loadavg: 7.57 8.00 7.90 3/173 8308
/proc/meminfo: memFree=29230484/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=289168 CPUtime=3.55 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 9705 0 0 0 354 1 0 0 19 0 4 0 603604501 296108032 6957 33554432000 4194304 4650419 140735815894000 18446744073709551615 4315194 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 72292 6957 392 112 0 67257 0
[pid=8308/tid=8309] ppid=8306 vsize=289168 CPUtime=0.89 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2339 0 0 0 89 0 0 0 18 0 4 0 603604501 296108032 6957 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=289168 CPUtime=0.88 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2412 0 0 0 88 0 0 0 19 0 4 0 603604501 296108032 6957 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=289168 CPUtime=0.88 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2243 0 0 0 88 0 0 0 19 0 4 0 603604501 296108032 6957 33554432000 4194304 4650419 140735815894000 18446744073709551615 4364841 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 289168

[startup+1.00034 s]
/proc/loadavg: 7.57 8.00 7.90 3/173 8308
/proc/meminfo: memFree=29230484/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=289168 CPUtime=3.96 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 10105 0 0 0 394 2 0 0 19 0 4 0 603604501 296108032 7357 33554432000 4194304 4650419 140735815894000 18446744073709551615 4314936 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 72292 7357 392 112 0 67257 0
[pid=8308/tid=8309] ppid=8306 vsize=289168 CPUtime=0.99 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2434 0 0 0 99 0 0 0 19 0 4 0 603604501 296108032 7357 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=289168 CPUtime=0.98 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2508 0 0 0 98 0 0 0 19 0 4 0 603604501 296108032 7357 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=289168 CPUtime=0.98 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2362 0 0 0 98 0 0 0 19 0 4 0 603604501 296108032 7357 33554432000 4194304 4650419 140735815894000 18446744073709551615 4363660 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 289168

[startup+1.10033 s]
/proc/loadavg: 7.57 8.00 7.90 3/173 8308
/proc/meminfo: memFree=29230484/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=289460 CPUtime=4.36 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 10675 0 0 0 434 2 0 0 19 0 4 0 603604501 296407040 7228 33554432000 4194304 4650419 140735815894000 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 72365 7228 392 112 0 67330 0
[pid=8308/tid=8309] ppid=8306 vsize=289460 CPUtime=1.09 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2538 0 0 0 109 0 0 0 19 0 4 0 603604501 296407040 7228 33554432000 4194304 4650419 140735815894000 18446744073709551615 4368081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=289460 CPUtime=1.08 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2629 0 0 0 108 0 0 0 19 0 4 0 603604501 296407040 7229 33554432000 4194304 4650419 140735815894000 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=289460 CPUtime=1.08 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2591 0 0 0 108 0 0 0 19 0 4 0 603604501 296407040 7229 33554432000 4194304 4650419 140735815894000 18446744073709551615 4363371 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 289460

[startup+1.50025 s]
/proc/loadavg: 7.57 8.00 7.90 3/173 8308
/proc/meminfo: memFree=29230484/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=289640 CPUtime=5.95 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 12604 0 0 0 593 2 0 0 20 0 4 0 603604501 296591360 7159 33554432000 4194304 4650419 140735815894000 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 72410 7159 392 112 0 67375 0
[pid=8308/tid=8309] ppid=8306 vsize=289640 CPUtime=1.49 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 3053 0 0 0 149 0 0 0 20 0 4 0 603604501 296591360 7159 33554432000 4194304 4650419 140735815894000 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=289640 CPUtime=1.48 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 3152 0 0 0 148 0 0 0 20 0 4 0 603604501 296591360 7159 33554432000 4194304 4650419 140735815894000 18446744073709551615 4310525 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=289640 CPUtime=1.48 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 2996 0 0 0 148 0 0 0 20 0 4 0 603604501 296591360 7159 33554432000 4194304 4650419 140735815894000 18446744073709551615 4310770 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 289640

[startup+3.10095 s]
/proc/loadavg: 7.93 8.07 7.93 9/184 8320
/proc/meminfo: memFree=29159644/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=291036 CPUtime=12.34 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 20241 0 0 0 1231 3 0 0 25 0 4 0 603604501 298020864 8014 33554432000 4194304 4650419 140735815894000 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 72759 8014 393 112 0 67724 0
[pid=8308/tid=8309] ppid=8306 vsize=291036 CPUtime=3.09 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 4896 0 0 0 308 1 0 0 25 0 4 0 603604501 298020864 8014 33554432000 4194304 4650419 140735815894000 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=291036 CPUtime=3.07 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 5074 0 0 0 306 1 0 0 25 0 4 0 603604501 298020864 8014 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=291036 CPUtime=3.08 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 4956 0 0 0 308 0 0 0 25 0 4 0 603604501 298020864 8014 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 291036

[startup+6.30636 s]
/proc/loadavg: 7.93 8.07 7.93 10/184 8320
/proc/meminfo: memFree=29044732/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=304324 CPUtime=25.15 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 41325 0 0 0 2507 8 0 0 25 0 4 0 603604501 311627776 24211 33554432000 4194304 4650419 140735815894000 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 76081 24212 394 112 0 71046 0
[pid=8308/tid=8309] ppid=8306 vsize=304324 CPUtime=6.29 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 8161 0 0 0 628 1 0 0 25 0 4 0 603604501 311627776 24212 33554432000 4194304 4650419 140735815894000 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=304324 CPUtime=6.26 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 12252 0 0 0 624 2 0 0 25 0 4 0 603604501 311627776 24212 33554432000 4194304 4650419 140735815894000 18446744073709551615 4436145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=304324 CPUtime=6.28 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 10755 0 0 0 627 1 0 0 25 0 4 0 603604501 311627776 24212 33554432000 4194304 4650419 140735815894000 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 304324

[startup+12.7012 s]
/proc/loadavg: 7.94 8.07 7.93 9/184 8320
/proc/meminfo: memFree=28970380/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=288252 CPUtime=50.7 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 60074 0 0 0 5057 13 0 0 25 0 4 0 603604501 295170048 33260 33554432000 4194304 4650419 140735815894000 18446744073709551615 4311384 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 72063 33261 394 112 0 67028 0
[pid=8308/tid=8309] ppid=8306 vsize=288252 CPUtime=12.69 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 16542 0 0 0 1265 4 0 0 25 0 4 0 603604501 295170048 33261 33554432000 4194304 4650419 140735815894000 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=288252 CPUtime=12.63 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 13978 0 0 0 1260 3 0 0 25 0 4 0 603604501 295170048 33261 33554432000 4194304 4650419 140735815894000 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=288252 CPUtime=12.67 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 15553 0 0 0 1265 2 0 0 25 0 4 0 603604501 295170048 33261 33554432000 4194304 4650419 140735815894000 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 288252

[startup+25.5008 s]
/proc/loadavg: 7.95 8.06 7.93 10/184 8320
/proc/meminfo: memFree=28825184/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=328988 CPUtime=101.83 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 99950 0 0 0 10161 22 0 0 25 0 4 0 603604501 336883712 47241 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 82247 47241 394 112 0 77212 0
[pid=8308/tid=8309] ppid=8306 vsize=328988 CPUtime=25.48 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 26177 0 0 0 2542 6 0 0 25 0 4 0 603604501 336883712 47241 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=328988 CPUtime=25.36 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 25314 0 0 0 2531 5 0 0 25 0 4 0 603604501 336883712 47241 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=328988 CPUtime=25.47 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 28484 0 0 0 2542 5 0 0 25 0 4 0 603604501 336883712 47241 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 328988

[startup+51.101 s]
/proc/loadavg: 7.96 8.06 7.93 9/184 8321
/proc/meminfo: memFree=28741272/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=442684 CPUtime=204.11 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 167016 0 0 0 20373 38 0 0 25 0 4 0 603604501 453308416 65138 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 110671 65138 394 112 0 105636 0
[pid=8308/tid=8309] ppid=8306 vsize=442684 CPUtime=51.08 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 43348 0 0 0 5097 11 0 0 25 0 4 0 603604501 453308416 65138 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=442684 CPUtime=50.84 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 39989 0 0 0 5075 9 0 0 25 0 4 0 603604501 453308416 65138 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=442684 CPUtime=51.07 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 46652 0 0 0 5098 9 0 0 25 0 4 0 603604501 453308416 65138 33554432000 4194304 4650419 140735815894000 18446744073709551615 4229506 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 442684

[startup+102.301 s]
/proc/loadavg: 8.02 8.06 7.93 9/184 8322
/proc/meminfo: memFree=28672892/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=570608 CPUtime=408.64 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 273183 0 0 0 40796 68 0 0 25 0 4 0 603604501 584302592 66104 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 142652 66104 394 112 0 137617 0
[pid=8308/tid=8309] ppid=8306 vsize=570608 CPUtime=102.28 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 71395 0 0 0 10209 19 0 0 25 0 4 0 603604501 584302592 66104 33554432000 4194304 4650419 140735815894000 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=570608 CPUtime=101.78 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 70804 0 0 0 10161 17 0 0 25 0 4 0 603604501 584302592 66104 33554432000 4194304 4650419 140735815894000 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=570608 CPUtime=102.27 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 74551 0 0 0 10210 17 0 0 25 0 4 0 603604501 584302592 66104 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 570608

[startup+162.3 s]

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

[pid=8308] ppid=8306 vsize=1056328 CPUtime=2805.42 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 1901541 0 0 0 280069 473 0 0 25 0 4 0 603604501 1081679872 190643 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 264082 190643 394 112 0 259047 0
[pid=8308/tid=8309] ppid=8306 vsize=1056328 CPUtime=702.26 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 471775 0 0 0 70102 124 0 0 25 0 4 0 603604501 1081679872 190643 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1056328 CPUtime=698.56 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 523262 0 0 0 69730 126 0 0 25 0 4 0 603604501 1081679872 190643 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1056328 CPUtime=702.27 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 275423 0 0 0 70139 88 0 0 25 0 4 0 603604501 1081679872 190643 33554432000 4194304 4650419 140735815894000 18446744073709551615 4310677 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 1056328

[startup+762.301 s]
/proc/loadavg: 8.11 8.05 7.97 10/184 8340
/proc/meminfo: memFree=27650628/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1057720 CPUtime=3045.09 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2093066 0 0 0 303991 518 0 0 25 0 4 0 603604501 1083105280 195182 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 264430 195182 408 112 0 259395 0
[pid=8308/tid=8309] ppid=8306 vsize=1057720 CPUtime=762.26 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 492305 0 0 0 76090 136 0 0 25 0 4 0 603604501 1083105280 195182 33554432000 4194304 4650419 140735815894000 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1057720 CPUtime=758.24 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 662378 0 0 0 75679 145 0 0 25 0 4 0 603604501 1083105280 195182 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1057720 CPUtime=762.27 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 290222 0 0 0 76132 95 0 0 25 0 4 0 603604501 1083105280 195182 33554432000 4194304 4650419 140735815894000 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 1057720

[startup+822.301 s]
/proc/loadavg: 8.09 8.05 7.98 10/184 8342
/proc/meminfo: memFree=27671180/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=934964 CPUtime=3284.76 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2200537 0 0 0 327924 552 0 0 25 0 4 0 603604501 957403136 181586 33554432000 4194304 4650419 140735815894000 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 233741 181586 394 112 0 228706 0
[pid=8308/tid=8309] ppid=8306 vsize=934964 CPUtime=822.26 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 514749 0 0 0 82080 146 0 0 25 0 4 0 603604501 957403136 181586 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=934964 CPUtime=817.92 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 707227 0 0 0 81639 153 0 0 25 0 4 0 603604501 957403136 181586 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=934964 CPUtime=822.26 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 311212 0 0 0 82123 103 0 0 25 0 4 0 603604501 957403136 181586 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 934964

[startup+882.301 s]
/proc/loadavg: 8.07 8.06 7.98 9/184 8343
/proc/meminfo: memFree=27676368/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1093424 CPUtime=3524.43 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2314807 0 0 0 351855 588 0 0 25 0 4 0 603604501 1119666176 192960 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 273356 192960 394 112 0 268321 0
[pid=8308/tid=8309] ppid=8306 vsize=1093424 CPUtime=882.26 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 574708 0 0 0 88069 157 0 0 25 0 4 0 603604501 1119666176 192960 33554432000 4194304 4650419 140735815894000 18446744073709551615 4332022 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1093424 CPUtime=877.58 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 724391 0 0 0 87598 160 0 0 25 0 4 0 603604501 1119666176 192960 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1093424 CPUtime=882.26 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 329968 0 0 0 88115 111 0 0 25 0 4 0 603604501 1119666176 192960 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 1093424

[startup+942.3 s]
/proc/loadavg: 8.03 8.04 7.98 9/184 8345
/proc/meminfo: memFree=27688368/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1049084 CPUtime=3764.11 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2394189 0 0 0 375794 617 0 0 25 0 4 0 603604501 1074262016 183204 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 262271 183204 394 112 0 257236 0
[pid=8308/tid=8309] ppid=8306 vsize=1049084 CPUtime=942.26 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 595863 0 0 0 94061 165 0 0 25 0 4 0 603604501 1074262016 183204 33554432000 4194304 4650419 140735815894000 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1049084 CPUtime=937.26 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 744842 0 0 0 93559 167 0 0 25 0 4 0 603604501 1074262016 183204 33554432000 4194304 4650419 140735815894000 18446744073709551615 4364823 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1049084 CPUtime=942.26 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 351095 0 0 0 94106 120 0 0 25 0 4 0 603604501 1074262016 183204 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 1049084

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 8.00 11/185 8349
/proc/meminfo: memFree=27626704/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1050548 CPUtime=4003.75 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2470332 0 0 0 399729 646 0 0 25 0 4 0 603604501 1075761152 189423 33554432000 4194304 4650419 140735815894000 18446744073709551615 4314858 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 262637 189423 394 112 0 257602 0
[pid=8308/tid=8309] ppid=8306 vsize=1050548 CPUtime=1002.25 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 616525 0 0 0 100052 173 0 0 25 0 4 0 603604501 1075761152 189423 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1050548 CPUtime=996.94 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 761509 0 0 0 99520 174 0 0 25 0 4 0 603604501 1075761152 189423 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1050548 CPUtime=1002.24 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 371482 0 0 0 100097 127 0 0 25 0 4 0 603604501 1075761152 189423 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 1050548

[startup+1062.31 s]
/proc/loadavg: 8.22 8.12 8.02 10/184 8351
/proc/meminfo: memFree=27562444/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1050956 CPUtime=4243.45 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2525819 0 0 0 423671 674 0 0 25 0 4 0 603604501 1076178944 192676 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 262739 192676 394 112 0 257704 0
[pid=8308/tid=8309] ppid=8306 vsize=1050956 CPUtime=1062.25 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 635556 0 0 0 106043 182 0 0 25 0 4 0 603604501 1076178944 192676 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1050956 CPUtime=1056.61 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 761509 0 0 0 105487 174 0 0 25 0 4 0 603604501 1076178944 192676 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1050956 CPUtime=1062.24 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 390124 0 0 0 106088 136 0 0 25 0 4 0 603604501 1076178944 192676 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 1050956

[startup+1122.3 s]
/proc/loadavg: 8.23 8.14 8.03 10/184 8353
/proc/meminfo: memFree=27598144/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1165120 CPUtime=4483.1 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2609771 0 0 0 447608 702 0 0 25 0 4 0 603604501 1193082880 192338 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 291280 192338 394 112 0 286245 0
[pid=8308/tid=8309] ppid=8306 vsize=1165120 CPUtime=1122.25 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 682268 0 0 0 112032 193 0 0 25 0 4 0 603604501 1193082880 192338 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1165120 CPUtime=1116.28 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 768524 0 0 0 111452 176 0 0 25 0 4 0 603604501 1193082880 192338 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1165120 CPUtime=1122.23 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 403900 0 0 0 112080 143 0 0 25 0 4 0 603604501 1193082880 192338 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 1165120

[startup+1182.3 s]
/proc/loadavg: 8.19 8.14 8.03 9/184 8354
/proc/meminfo: memFree=27555972/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1177664 CPUtime=4722.76 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2816701 0 0 0 471532 744 0 0 25 0 4 0 603604501 1205927936 206281 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 294416 206281 403 112 0 289381 0
[pid=8308/tid=8309] ppid=8306 vsize=1177664 CPUtime=1182.25 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 847271 0 0 0 118010 215 0 0 25 0 4 0 603604501 1205927936 206281 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1177664 CPUtime=1175.95 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 788075 0 0 0 117409 186 0 0 25 0 4 0 603604501 1205927936 206281 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1177664 CPUtime=1182.22 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 410986 0 0 0 118077 145 0 0 25 0 4 0 603604501 1205927936 206281 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 1177664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.15 8.04 9/184 8355
/proc/meminfo: memFree=27571340/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1166184 CPUtime=4800.27 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2881704 0 0 0 479272 755 0 0 25 0 4 0 603604501 1194172416 199508 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 291546 199509 394 112 0 286511 0
[pid=8308/tid=8309] ppid=8306 vsize=1166184 CPUtime=1201.66 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 900299 0 0 0 119944 222 0 0 25 0 4 0 603604501 1194172416 199509 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1166184 CPUtime=1195.25 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 795825 0 0 0 119336 189 0 0 25 0 4 0 603604501 1194172416 199509 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1166184 CPUtime=1201.63 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 414836 0 0 0 120016 147 0 0 25 0 4 0 603604501 1194172416 199509 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 1166184

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

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

[startup+1201.7 s]
/proc/loadavg: 8.20 8.15 8.04 9/184 8355
/proc/meminfo: memFree=27571340/32951124 swapFree=67111348/67111528
[pid=8308] ppid=8306 vsize=1166184 CPUtime=4800.27 cores=0,2,4,6
/proc/8308/stat : 8308 (strangenight1-m) R 8306 8308 7114 0 -1 4202496 2881704 0 0 0 479272 755 0 0 25 0 4 0 603604501 1194172416 199508 33554432000 4194304 4650419 140735815894000 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8308/statm: 291546 199509 394 112 0 286511 0
[pid=8308/tid=8309] ppid=8306 vsize=1166184 CPUtime=1201.66 cores=0,2,4,6
/proc/8308/task/8309/stat : 8309 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 900299 0 0 0 119944 222 0 0 25 0 4 0 603604501 1194172416 199509 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8308/tid=8310] ppid=8306 vsize=1166184 CPUtime=1195.25 cores=0,2,4,6
/proc/8308/task/8310/stat : 8310 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 795825 0 0 0 119336 189 0 0 25 0 4 0 603604501 1194172416 199509 33554432000 4194304 4650419 140735815894000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8308/tid=8311] ppid=8306 vsize=1166184 CPUtime=1201.63 cores=0,2,4,6
/proc/8308/task/8311/stat : 8311 (strangenight1-m) R 8306 8308 7114 0 -1 4202560 414836 0 0 0 120016 147 0 0 25 0 4 0 603604501 1194172416 199509 33554432000 4194304 4650419 140735815894000 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 1166184

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.75
CPU time (s): 4800.34
CPU user time (s): 4792.75
CPU system time (s): 7.59784
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 1177664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.75
system time used= 7.59784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2881709
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= 1059
involuntary context switches= 20876

runsolver used 1.9417 second user time and 4.52631 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-30 05:22:20
IDJOB=3262685
IDBENCH=83796
IDSOLVER=1588
FILE ID=node111/3262685-1304133740
RUNJOBID= node111-1304133740-8293
PBS_JOBID= 13170774
Free space on /tmp= 72484 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT03/handmade/gomes/bqwh/bqwh.50.825.shuffled-as.sat03-1648.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262685-1304133740/watcher-3262685-1304133740 -o /tmp/evaluation-result-3262685-1304133740/solver-3262685-1304133740 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3262685-1304133740.cnf

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

MD5SUM BENCH= 05a191325d89de504821b55dea51ca7f
RANDOM SEED=1196741542

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.849
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.67
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.849
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:      29232252 kB
Buffers:       1023620 kB
Cached:        2180736 kB
SwapCached:          0 kB
Active:         170308 kB
Inactive:      3098068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29232252 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            9820 kB
Writeback:           0 kB
AnonPages:       63792 kB
Mapped:          14484 kB
Slab:           386204 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187268 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= 72472 MiB
End job on node111 at 2011-04-30 05:42:24