Trace number 3369332

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.28 1203.46

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369332-1305415036.cnf'
0.00/0.01	c -- header says num vars:           4979
0.00/0.01	c -- header says num clauses:       43754
0.00/0.04	c -- clauses added:            0 learnts,        43754 normals,            0 xors
0.00/0.04	c -- vars added       4979
0.00/0.04	c Parsing time:  0.06 s
0.00/0.04	c  N st     0         0      4979      2438     41316         0     97507         0   no data   no data  --
0.00/0.05	c asymm  cl-useful: 2/2438/2438 lits-rem:2 time: 0.02
0.00/0.07	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:   33 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.10
0.00/0.29	c Replacing       33 vars Replaced      876 lits Time:     0.01 s 
0.00/0.29	c bin-w-bin subsume rem            6 bins  time:  0.01 s
0.00/0.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.00/0.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4943 time:  0.02 s
0.00/0.29	c Removed useless bin:      89  fixed:     0  props:   0.24M  time:  0.02 s
0.00/0.29	c lits-rem:         0  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.07 s
0.00/0.29	c Finding binary XORs  T:     0.01 s  found:       0
0.00/0.29	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.29	c calculated reachability. Time: 0.00
0.00/0.29	c Calc default polars -  time:   0.00 s pos:    2472 undec:      41 neg:    2466
0.00/0.29	c =========================================================================================
0.00/0.29	c types(t): F = full restart, N = normal restart
0.00/0.29	c types(t): S = simplification begin/end, E = solution found
0.00/0.29	c restart types(rt): st = static, dy = dynamic
0.00/0.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.27/0.86	c  B st     0         0      4941      2446     41111         0     97122         0   no data   no data  --
0.27/0.86	c  N dy    19      4009      4941      2446     41113      3999     97122    379991     34.21     36.13  --
0.27/0.86	c  N dy    51      8175      4941      2446     41115      5670     97122    331016     35.15     37.18  --
5.14/1.36	c  N dy    81     12249      4941      2446     41120      5494     97122    166278     36.05     38.22  --
6.74/1.74	c  N dy   108     16401      4941      2446     41121      9639     97122    550743     36.04     38.43  --
8.33/2.19	c  N dy   140     20437      4941      2446     41123      8059     97122    283400     36.15     38.82  --
10.33/2.68	c  N dy   170     24495      4941      2446     41124     12114     97122    678467     36.56     38.96  --
10.73/2.74	c  F st   175     25001      4941      2446     41126     12620     97122    734939     36.62     29.01  --
13.51/3.40	c  N dy   181     30002      4941      2446     41126     10814     97122    773373     36.62   no data  --
13.51/3.40	c  S st   181     30002      4941      2446     41126     10814     97122    773373     36.62   no data  --
13.51/3.47	c  S st   181     30504      4941      2446     41126     11315     97122    816610     36.62   no data  --
13.51/3.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
13.51/3.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.92/3.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     26 BRemL:      0 BRemN:      0 P:  1.7M T:  0.23
13.92/3.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.10/4.89	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  5.25 s
19.50/4.90	c Subs w/ non-existent bins:      0 l-rem:    430 v-fix:     0 done:   4941 time:  0.05 s
19.50/4.91	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
30.26/7.69	c lits-rem:       339  cl-subs:       55  v-elim:      0  v-fix:    0  time: 11.06 s
30.66/7.70	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.03
30.66/7.70	c calculated reachability. Time: 0.00
30.66/7.70	c  N dy   181     30504      4941      2446     41152     11260     97122    814336     36.62   no data  --
32.67/8.24	c  N dy   212     34591      4941      2446     41155     15336     97122   1211036     36.80     39.17  --
34.65/8.73	c  N dy   245     38679      4941      2446     41155     11528     97122    438288     37.04     39.11  --
36.66/9.28	c  N dy   274     42820      4941      2446     41155     15663     97122    844436     37.15     39.41  --
38.29/9.68	c  S st   294     45756      4941      2446     41155      9650     97122    131936     37.19   no data  --
38.65/9.74	c  S st   294     46260      4941      2446     41155     10154     97122    169575     37.19   no data  --
38.65/9.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.65/9.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.04/9.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.22
39.04/9.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.24/10.11	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  1.21 s
40.24/10.12	c Subs w/ non-existent bins:      0 l-rem:     26 v-fix:     0 done:   4941 time:  0.04 s
40.24/10.13	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
41.04/10.33	c lits-rem:        37  cl-subs:       18  v-elim:      0  v-fix:    0  time:  0.82 s
41.04/10.33	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
41.04/10.34	c vivif2 --  cl tried    10136 cl shrink        6 lits rem         13 time: 0.02
41.04/10.34	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.03
41.04/10.35	c calculated reachability. Time: 0.00
41.04/10.35	c  N dy   294     46260      4941      2446     41155     10136     97122    169195     37.19   no data  --
43.03/10.86	c  N dy   327     50350      4941      2446     41155     14219     97122    589575     37.49     40.79  --
45.43/11.45	c  N dy   359     54507      4941      2446     41155     18372     97122   1010948     37.69     39.83  --
47.82/12.03	c  N dy   391     58671      4941      2446     41155     12567     97122    364141     37.83     40.11  --
49.81/12.58	c  N dy   423     62777      4941      2446     41155     16668     97122    783385     37.93     40.36  --
52.61/13.23	c  N dy   454     66841      4941      2446     41155     20729     97122   1224802     38.11     40.13  --
54.20/13.62	c  S st   476     69390      4941      2446     41155     12315     97122    223158     38.19     36.59  --
54.20/13.68	c  S st   476     69893      4941      2446     41155     12817     97122    266671     38.19   no data  --
54.20/13.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
54.20/13.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.60/13.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.24
54.60/13.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.40/14.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.61 s
57.40/14.42	c Subs w/ non-existent bins:      0 l-rem:    104 v-fix:     0 done:   4941 time:  0.03 s
57.40/14.43	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
60.23/15.12	c lits-rem:       133  cl-subs:       24  v-elim:      0  v-fix:    0  time:  2.76 s
60.23/15.13	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
60.23/15.13	c vivif2 --  cl tried    12793 cl shrink       39 lits rem         71 time: 0.02
60.23/15.14	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.03
60.23/15.14	c calculated reachability. Time: 0.00
60.23/15.14	c  N dy   476     69893      4941      2446     41155     12793     97122    265899     38.19   no data  --
62.59/15.74	c  N dy   512     74406      4941      2446     41156     17300     97122    746195     38.39     40.88  --
65.37/16.49	c  N dy   550     79227      4941      2446     41156     22116     97122   1276513     38.57     44.59  --
68.59/17.25	c  N dy   593     84308      4941      2446     41156     15208     97122    453493     38.81     54.41  --
70.16/17.69	c  F st   618     87500      4941      2446     41156     18392     97122    802044     38.88   no data  --
72.56/18.21	c  N st   623     90795      4941      2446     41156     21682     97122   1278942     38.88   no data  --
76.54/19.20	c  N dy   651     96666      4941      2446     41156     14565     97122    281486     38.95     41.77  --
80.13/20.14	c  N dy   701    102927      4941      2446     41156     20814     97122    951381     39.10     43.11  --
81.34/20.48	c  S st   718    104839      4941      2446     41156     22725     97122   1176589     39.17   no data  --
81.75/20.58	c  S st   718    105342      4941      2446     41156     23228     97122   1229552     39.17   no data  --
81.75/20.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
81.75/20.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
82.17/20.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.5M T:  0.37
82.52/20.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.11/22.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.55 s
88.11/22.14	c Subs w/ non-existent bins:      0 l-rem:    802 v-fix:     0 done:   4941 time:  0.06 s
88.11/22.14	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
97.28/24.47	c lits-rem:       400  cl-subs:       59  v-elim:      0  v-fix:    0  time:  9.26 s
97.28/24.47	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
97.28/24.50	c vivif2 --  cl tried    23169 cl shrink      381 lits rem        905 time: 0.11
97.68/24.51	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.06
97.68/24.51	c calculated reachability. Time: 0.00
97.68/24.51	c  N dy   718    105342      4941      2446     41156     23169     97122   1224413     39.17   no data  --
102.07/25.64	c  N dy   772    112172      4941      2446     41156     16006     97122    334351     39.35     42.06  --
106.86/26.80	c  N dy   827    119488      4941      2446     41156     23320     97122   1134802     39.48     41.87  --
112.47/28.21	c  N dy   887    127250      4941      2446     41156     16088     97122    232351     39.63     42.22  --
117.63/29.50	c  N dy   953    135382      4941      2446     41156     24214     97122   1163426     39.84     45.25  --
124.01/31.11	c  N dy  1019    144075      4941      2446     41156     16925     97122    230133     39.95     46.52  --
129.61/32.60	c  N dy  1094    153326      4941      2446     41156     26162     97122   1298637     40.17     42.89  --
133.19/33.49	c  S st  1130    158013      4941      2446     41156     30845     97122   1850407     40.23   no data  --
133.99/33.60	c  S st  1130    158520      4941      2446     41156     31351     97122   1900687     40.23   no data  --
133.99/33.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
133.99/33.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
134.41/33.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.2M T:  0.45
134.41/33.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.37/35.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.62 s
140.37/35.22	c Subs w/ non-existent bins:      0 l-rem:   1140 v-fix:     0 done:   2095 time:  0.06 s
140.37/35.23	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
150.74/37.87	c lits-rem:       175  cl-subs:       65  v-elim:      0  v-fix:    0  time: 10.51 s
150.74/37.87	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
151.14/37.92	c vivif2 --  cl tried    31286 cl shrink     1056 lits rem       2521 time: 0.21
151.14/37.94	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.08
151.14/37.95	c calculated reachability. Time: 0.00
151.14/37.95	c  N dy  1130    158520      4941      2446     41156     31286     97122   1894205     40.23   no data  --
157.90/39.69	c  N dy  1214    168762      4941      2446     41156     24539     97122   1019693     40.44     43.17  --
166.68/41.85	c  N dy  1304    179592      4941      2446     41156     35354     97122   2275187     40.63     44.15  --
175.06/43.91	c  N dy  1400    191139      4941      2446     41156     28915     97122   1448014     40.85     43.19  --
184.64/46.35	c  N dy  1495    203374      4941      2446     41156     22157     97122    515586     40.98     54.25  --
194.21/48.79	c  N dy  1600    216368      4941      2446     41156     35135     97122   2039851     41.19     48.60  --
205.03/51.42	c  N dy  1708    230254      4941      2446     41156     29021     97122   1233323     41.33     43.58  --
210.96/52.98	c  S st  1768    237781      4941      2446     41156     36538     97122   2175752     41.44   no data  --
211.76/53.10	c  S st  1768    238281      4941      2446     41156     37037     97122   2215748     41.44   no data  --
211.76/53.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
211.76/53.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.16/53.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.6M T:  0.55
212.56/53.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
218.19/54.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.54 s
218.19/54.74	c Subs w/ non-existent bins:      0 l-rem:   1005 v-fix:     0 done:   1573 time:  0.06 s
218.19/54.74	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
230.11/57.79	c lits-rem:       253  cl-subs:       83  v-elim:      0  v-fix:    0  time: 12.17 s
230.11/57.79	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
230.52/57.86	c vivif2 --  cl tried    36954 cl shrink     1460 lits rem       3773 time: 0.26
230.52/57.88	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.09
230.52/57.89	c calculated reachability. Time: 0.00
230.52/57.89	c  N dy  1768    238281      4941      2446     41156     36954     97122   2207393     41.44   no data  --
242.08/60.76	c  N dy  1887    253599      4941      2446     41156     31281     97122   1361610     41.60     44.43  --
256.04/64.26	c  N dy  2022    269848      4941      2446     41156     25533     97122    611075     41.82     47.59  --
270.85/67.97	c  N dy  2162    287257      4941      2446     41156     42926     97122   2745934     42.00     44.85  --
285.96/71.75	c  N dy  2310    305650      4941      2446     41156     38320     97122   2035032     42.17     45.53  --
286.36/71.89	c  F st  2315    306250      4941      2446     41156     38920     97122   2105256     42.17   no data  --
302.31/75.89	c  N dy  2431    325392      4941      2446     41156     34081     97122   1421610     42.27     45.18  --
321.07/80.50	c  N dy  2587    345488      4941      2446     41156     29173     97122    671828     42.42     45.69  --
330.64/82.97	c  S st  2679    357422      4941      2446     41156     41094     97122   2143854     42.49   no data  --
331.44/83.11	c  S st  2679    357924      4941      2446     41156     41595     97122   2188347     42.49   no data  --
331.44/83.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
331.44/83.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
331.85/83.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.8M T:  0.57
332.27/83.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
337.81/84.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.64 s
337.81/84.77	c Subs w/ non-existent bins:      0 l-rem:   1239 v-fix:     0 done:   2408 time:  0.07 s
337.81/84.77	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
351.37/88.16	c lits-rem:       111  cl-subs:      116  v-elim:      0  v-fix:    0  time: 13.47 s
351.37/88.16	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
351.77/88.23	c vivif2 --  cl tried    41479 cl shrink     1655 lits rem       4503 time: 0.28
351.77/88.25	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.10
351.77/88.26	c calculated reachability. Time: 0.00
351.77/88.26	c  N dy  2679    357924      4941      2446     41156     41479     97122   2177753     42.49   no data  --
369.72/92.74	c  N dy  2841    377996      4941      2446     41156     35559     97122   1403135     42.67     45.29  --
390.06/97.84	c  N dy  3003    398059      4941      2446     41156     28635     97122    412701     42.82     45.25  --
407.61/102.25	c  N dy  3162    418108      4941      2446     41156     48668     97122   2911048     42.93     45.19  --
426.37/106.98	c  N dy  3321    438206      4941      2446     41156     40777     97122   1848267     43.06     45.42  --
447.11/112.11	c  N dy  3480    458259      4941      2446     41156     31835     97122    571167     43.17     52.77  --
465.46/116.79	c  N dy  3640    478313      4941      2446     41156     51867     97122   3111043     43.29     49.35  --
485.42/121.75	c  N dy  3804    498320      4941      2446     41156     41883     97122   1798019     43.43     45.95  --
507.78/127.35	c  N dy  3964    518338      4941      2446     41156     61887     97122   4362952     43.54     46.17  --
524.49/131.57	c  S st  4117    536886      4941      2446     41156     49450     97122   2658332     43.65   no data  --
525.32/131.71	c  S st  4117    537386      4941      2446     41156     49949     97122   2705998     43.65   no data  --
525.32/131.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
525.32/131.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
526.07/131.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.70
526.07/132.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
532.07/133.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.66 s
532.07/133.43	c Subs w/ non-existent bins:      0 l-rem:   1291 v-fix:     0 done:   1373 time:  0.06 s
532.07/133.44	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
553.20/138.74	c lits-rem:       161  cl-subs:      119  v-elim:      0  v-fix:    0  time: 21.14 s
553.20/138.74	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
553.61/138.84	c vivif2 --  cl tried    49830 cl shrink     2202 lits rem       5902 time: 0.37
553.61/138.88	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.18
553.61/138.89	c calculated reachability. Time: 0.00
553.61/138.89	c  N dy  4117    537386      4941      2446     41156     49830     97122   2692889     43.65   no data  --
573.95/143.98	c  N dy  4279    557424      4941      2446     41156     37875     97122   1007453     43.74     47.27  --
594.70/149.10	c  N dy  4428    577465      4941      2446     41156     57903     97122   3561896     43.82     48.02  --
615.04/154.28	c  N dy  4587    597489      4941      2446     41156     44938     97122   1743697     43.91     47.68  --
638.58/160.12	c  N dy  4752    617492      4941      2446     41156     64924     97122   4400900     44.02     53.03  --
658.12/165.09	c  N dy  4906    637559      4941      2446     41156     50991     97122   2484754     44.10     46.65  --
683.30/171.39	c  N dy  5066    657614      4941      2446     41156     36062     97122    405101     44.21     47.18  --
703.19/176.33	c  N dy  5222    677674      4941      2446     41156     56106     97122   2988697     44.28     46.71  --
728.32/182.66	c  N dy  5377    697677      4941      2446     41156     40123     97122    796351     44.35     46.70  --
750.26/188.19	c  N dy  5534    717744      4941      2446     41156     60174     97122   3383827     44.42     57.67  --
775.79/194.51	c  N dy  5690    737875      4941      2446     41156     43320     97122   1095296     44.49     47.81  --
798.93/200.33	c  N dy  5850    757983      4941      2446     41156     63418     97122   3776755     44.57     47.60  --
824.45/206.74	c  N dy  6010    778235      4941      2446     41156     45690     97122   1318215     44.64     48.07  --
847.99/212.63	c  N dy  6165    798252      4941      2446     41156     65696     97122   3996434     44.71     60.36  --
858.38/215.30	c  S st  6226    806081      4941      2446     41156     73517     97122   4999386     44.73   no data  --
859.55/215.51	c  S st  6226    806584      4941      2446     41156     74018     97122   5042026     44.73   no data  --
859.55/215.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
859.55/215.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
860.75/215.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.1M T:  1.10
861.55/216.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
867.15/217.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.93 s
867.57/217.52	c Subs w/ non-existent bins:      0 l-rem:   1159 v-fix:     0 done:    835 time:  0.07 s
867.57/217.52	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.03 s
1126.80/282.53	c lits-rem:        60  cl-subs:      184  v-elim:      0  v-fix:    0  time: 258.96 s
1126.80/282.53	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
1127.60/282.72	c vivif2 --  cl tried    73834 cl shrink     4973 lits rem      14163 time: 0.75
1127.60/282.77	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.21
1127.60/282.78	c calculated reachability. Time: 0.01
1127.60/282.78	c  N dy  6226    806584      4941      2446     41156     73834     97122   5017547     44.73   no data  --
1149.14/288.18	c  N dy  6386    826644      4941      2446     41156     54902     97122   2413672     44.80     48.71  --
1175.07/294.65	c  N dy  6541    846675      4941      2446     41156     74924     97122   5095271     44.86     49.82  --
1197.41/300.29	c  N dy  6692    866726      4941      2446     41156     54985     97122   2276364     44.92     47.65  --
1223.73/306.83	c  N dy  6848    886826      4941      2446     41156     75069     97122   4972958     44.99     49.74  --
1247.66/312.82	c  N dy  7008    906894      4941      2446     41156     54158     97122   2106354     45.05     49.06  --
1273.19/319.21	c  N dy  7159    926932      4941      2446     41156     74184     97122   4816784     45.11     60.67  --
1297.92/325.46	c  N dy  7313    946946      4941      2446     41156     52219     97122   1690603     45.17     48.22  --
1323.06/331.71	c  N dy  7479    966969      4941      2446     41156     72229     97122   4412160     45.23     49.73  --
1350.97/338.72	c  N dy  7634    987031      4941      2446     41156     49296     97122   1162191     45.28     53.38  --
1376.13/345.06	c  N dy  7793   1007098      4941      2446     41156     69350     97122   3863974     45.33     57.97  --
1408.01/353.03	c  N dy  7949   1027122      4941      2446     41156     45386     97122    521052     45.38     47.90  --
1431.95/359.01	c  N dy  8111   1047248      4941      2446     41156     65495     97122   3236450     45.44     47.87  --
1462.66/366.76	c  N dy  8263   1067270      4941      2446     41156     85510     97122   5898837     45.48     47.94  --
1471.04/368.86	c  F st  8302   1071875      4941      2446     41156     45131     97122    357228     45.50   no data  --
1487.80/373.06	c  N dy  8387   1087319      4941      2446     41156     60568     97122   2657438     45.52     48.28  --
1516.54/380.31	c  N dy  8538   1107336      4941      2446     41156     80573     97122   5395117     45.57     48.29  --
1546.04/387.69	c  N dy  8693   1127363      4941      2446     41156     54622     97122   1509390     45.61     48.92  --
1573.17/394.45	c  N dy  8857   1147398      4941      2446     41156     74651     97122   4247054     45.66     48.11  --
1607.06/402.98	c  N dy  9019   1167444      4941      2446     41156     47719     97122    452010     45.73     48.65  --
1631.04/408.95	c  N dy  9169   1187461      4941      2446     41156     67717     97122   3120631     45.75     48.23  --
1662.91/416.95	c  N dy  9333   1207462      4941      2446     41156     87698     97122   5884580     45.81     50.43  --
1667.29/418.08	c  S st  9353   1209876      4941      2446     41156     90108     97122   6222270     45.81   no data  --
1668.49/418.33	c  S st  9353   1210380      4941      2446     41156     90612     97122   6275363     45.81   no data  --
1668.49/418.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1668.49/418.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1670.11/418.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.2M T:  1.46
1670.88/418.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1677.27/420.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.12 s
1677.27/420.52	c Subs w/ non-existent bins:      0 l-rem:   1132 v-fix:     0 done:    584 time:  0.07 s
1677.27/420.52	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
2084.93/522.72	c lits-rem:        36  cl-subs:      226  v-elim:      0  v-fix:    0  time: 407.14 s
2084.93/522.72	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
2085.74/522.97	c vivif2 --  cl tried    90386 cl shrink     6616 lits rem      18830 time: 1.00
2086.14/523.04	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.27
2086.14/523.05	c calculated reachability. Time: 0.01
2086.14/523.05	c  N dy  9353   1210380      4941      2446     41156     90386     97122   6243300     45.81   no data  --
2110.86/529.22	c  N dy  9512   1230451      4941      2446     41156     62470     97122   2376342     45.85     57.41  --
2139.18/536.31	c  N dy  9669   1250537      4941      2446     41156     82545     97122   5106608     45.89     56.02  --
2170.74/544.28	c  N dy  9836   1270585      4941      2446     41156     53612     97122   1025924     45.95     48.97  --
2195.43/550.44	c  N dy  9995   1290671      4941      2446     41156     73684     97122   3786611     45.99     62.66  --
2227.36/558.48	c  N dy 10152   1310851      4941      2446     41156     93849     97122   6523266     46.02     50.60  --
2254.45/565.28	c  N dy 10315   1331061      4941      2446     41156     64089     97122   2352032     46.07     48.97  --
2283.19/572.41	c  N dy 10476   1351074      4941      2446     41156     84091     97122   5172344     46.12     48.73  --
2316.68/580.84	c  N dy 10636   1371168      4941      2446     41156     53206     97122    705429     46.16     59.69  --
2341.44/587.10	c  N dy 10801   1391425      4941      2446     41156     73454     97122   3573345     46.22     48.73  --
2375.72/595.64	c  N dy 10956   1411458      4941      2446     41156     93473     97122   6350469     46.26     50.39  --
2410.03/604.25	c  N dy 11123   1431507      4941      2446     41156     61540     97122   1724812     46.30     49.15  --
2439.95/611.79	c  N dy 11284   1451525      4941      2446     41156     81547     97122   4491819     46.34     56.12  --
2478.64/621.42	c  N dy 11441   1471530      4941      2446     41156    101536     97122   7272294     46.38     51.17  --
2507.76/628.73	c  N dy 11597   1491614      4941      2446     41156     68646     97122   2564512     46.41     51.73  --
2540.07/636.80	c  N dy 11752   1511709      4941      2446     41156     88723     97122   5351696     46.44     53.14  --
2579.95/646.82	c  N dy 11911   1531767      4941      2446     41156     54801     97122    521072     46.48     49.56  --
2606.29/653.40	c  N dy 12065   1551774      4941      2446     41156     74796     97122   3320934     46.51     49.23  --
2640.24/661.99	c  N dy 12218   1571894      4941      2446     41156     94905     97122   6104272     46.54     49.33  --
2677.28/671.29	c  N dy 12377   1591911      4941      2446     41156     59944     97122   1115897     46.58     49.48  --
2706.05/678.43	c  N dy 12532   1611937      4941      2446     41156     79956     97122   3890630     46.61     49.24  --
2742.30/687.59	c  N dy 12691   1631996      4941      2446     41156    100001     97122   6711942     46.64     51.26  --
2777.00/696.29	c  N dy 12841   1652029      4941      2446     41156     64067     97122   1538101     46.67     49.20  --
2807.32/703.87	c  N dy 12997   1672120      4941      2446     41156     84148     97122   4361484     46.70     49.77  --
2845.22/713.30	c  N dy 13150   1692151      4941      2446     41156    104166     97122   7214188     46.73     49.72  --
2877.17/721.34	c  S st 13295   1710380      4941      2446     41156     65423     97122   1625783     46.76     46.53  --
2877.92/721.52	c  S st 13295   1710882      4941      2446     41156     65925     97122   1679988     46.76   no data  --
2877.92/721.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2877.92/721.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2878.72/721.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.3M T:  0.94
2879.12/721.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2884.71/723.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.70 s
2884.71/723.27	c Subs w/ non-existent bins:      0 l-rem:    947 v-fix:     0 done:   2040 time:  0.06 s
2884.71/723.28	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
2899.11/726.87	c lits-rem:       199  cl-subs:      142  v-elim:      0  v-fix:    0  time: 14.31 s
2899.11/726.87	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
2899.46/726.94	c vivif2 --  cl tried    65783 cl shrink     1187 lits rem       3320 time: 0.25
2899.46/726.99	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.22
2899.46/727.00	c calculated reachability. Time: 0.00
2899.86/727.00	c  N dy 13295   1710882      4941      2446     41156     65783     97122   1673099     46.76   no data  --
2928.99/734.39	c  N dy 13443   1730890      4941      2446     41156     85783     97122   4552962     46.79     50.57  --
2966.08/743.65	c  N dy 13590   1750983      4941      2446     41156    105868     97122   7366043     46.82     49.73  --
3001.18/752.40	c  N dy 13746   1770986      4941      2446     41156     67888     97122   1846992     46.85     53.84  --
3032.69/760.33	c  N dy 13900   1791083      4941      2446     41156     87980     97122   4707912     46.88     57.52  --
3071.78/770.17	c  N dy 14057   1811111      4941      2446     41156    107994     97122   7563471     46.91     49.81  --
3106.08/778.71	c  N dy 14217   1831135      4941      2446     41156     69026     97122   1842187     46.95     50.09  --
3135.21/786.07	c  N dy 14378   1851230      4941      2446     41156     89101     97122   4666979     46.97     50.29  --
3172.30/795.35	c  N dy 14536   1871235      4941      2446     41156    109094     97122   7532568     47.00     53.45  --
3206.25/803.88	c  N dy 14688   1891316      4941      2446     41156     69212     97122   1785221     47.03     50.09  --
3235.73/811.28	c  N dy 14853   1911405      4941      2446     41156     89291     97122   4666059     47.06     55.27  --
3272.07/820.39	c  N dy 15008   1931490      4941      2446     41156    109358     97122   7505935     47.09     49.86  --
3308.32/829.49	c  N dy 15161   1951500      4941      2446     41156     68390     97122   1517341     47.12     50.13  --
3337.47/836.79	c  N dy 15320   1971591      4941      2446     41156     88466     97122   4374342     47.14     53.95  --
3374.55/846.01	c  N dy 15476   1991631      4941      2446     41156    108488     97122   7195760     47.16     50.36  --
3414.82/856.16	c  N dy 15636   2011707      4941      2446     41156     66592     97122   1131774     47.19     49.75  --
3444.74/863.67	c  N dy 15799   2031885      4941      2446     41156     86755     97122   3999797     47.22     50.59  --
3482.68/873.13	c  N dy 15954   2051976      4941      2446     41156    106833     97122   6844289     47.25     53.76  --
3526.56/884.18	c  N dy 16112   2072184      4941      2446     41156     64073     97122    631070     47.28     50.14  --
3554.04/891.05	c  N dy 16266   2092216      4941      2446     41156     84091     97122   3478423     47.30     60.61  --
3589.13/899.84	c  N dy 16423   2112434      4941      2446     41156    104299     97122   6343846     47.32     51.44  --
3629.83/910.09	c  N dy 16579   2132522      4941      2446     41156    124372     97122   9256588     47.35     50.06  --
3660.54/917.74	c  N dy 16746   2152619      4941      2446     41156     80493     97122   2882594     47.38     62.58  --
3694.05/926.10	c  N dy 16907   2172646      4941      2446     41156    100510     97122   5769427     47.40     50.00  --
3734.74/936.32	c  N dy 17071   2192716      4941      2446     41156    120564     97122   8667096     47.43     50.18  --
3767.45/944.53	c  S st 17217   2210883      4941      2446     41156     73764     97122   1777898     47.46   no data  --
3768.23/944.72	c  S st 17217   2211391      4941      2446     41156     74272     97122   1842994     47.46   no data  --
3768.23/944.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3768.23/944.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3769.03/944.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.9M T:  0.97
3769.43/945.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3775.02/946.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.63 s
3775.02/946.47	c Subs w/ non-existent bins:      0 l-rem:    992 v-fix:     0 done:   1914 time:  0.06 s
3775.02/946.48	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.02 s
3792.58/950.80	c lits-rem:       145  cl-subs:      145  v-elim:      0  v-fix:    0  time: 17.25 s
3792.58/950.80	c vivif2 --  cl tried     2446 cl shrink        0 lits rem          0 time: 0.00
3792.58/950.88	c vivif2 --  cl tried    74127 cl shrink     1504 lits rem       4263 time: 0.28
3792.97/950.93	c asymm  cl-useful: 0/2446/2446 lits-rem:0 time: 0.23
3792.97/950.94	c calculated reachability. Time: 0.00
3792.97/950.94	c  N dy 17217   2211391      4941      2446     41156     74127     97122   1833877     47.46   no data  --
3822.88/958.43	c  N dy 17378   2231479      4941      2446     41156     94204     97122   4721245     47.48     50.11  --
3860.02/967.74	c  N dy 17536   2251589      4941      2446     41156    114297     97122   7641716     47.50     52.21  --
3901.47/978.14	c  N dy 17695   2271713      4941      2446     41156     68451     97122    868154     47.53     50.75  --
3931.77/985.78	c  N dy 17854   2291776      4941      2446     41156     88501     97122   3815949     47.55     50.32  --
3970.47/995.40	c  N dy 17999   2311823      4941      2446     41156    108537     97122   6669489     47.57     50.11  --
4016.34/1006.92	c  N dy 18156   2331855      4941      2446     41156    128560     97122   9576390     47.60     50.12  --
4051.05/1015.69	c  N dy 18315   2351871      4941      2446     41156     81606     97122   2636928     47.62     50.37  --
4086.56/1024.59	c  N dy 18469   2371934      4941      2446     41156    101656     97122   5541212     47.64     51.99  --
4129.62/1035.39	c  N dy 18630   2391996      4941      2446     41156    121703     97122   8461869     47.67     50.60  --
4173.50/1046.32	c  N dy 18788   2412036      4941      2446     41156     73784     97122   1362613     47.69     55.55  --
4206.24/1054.56	c  N dy 18946   2432264      4941      2446     41156     94002     97122   4300695     47.71     50.59  --
4246.91/1064.74	c  N dy 19103   2452364      4941      2446     41156    114086     97122   7235395     47.73     50.69  --
4294.77/1076.73	c  N dy 19258   2472422      4941      2446     41156    134132     97122  10171183     47.75     53.05  --
4329.87/1085.51	c  N dy 19415   2492764      4941      2446     41156     85499     97122   2871358     47.77     51.15  --
4366.58/1094.76	c  N dy 19569   2512874      4941      2446     41156    105595     97122   5804862     47.79     50.80  --
4408.86/1105.37	c  N dy 19729   2532974      4941      2446     41156    125676     97122   8749954     47.81     52.72  --
4451.96/1116.15	c  N dy 19898   2553001      4941      2446     41156     75734     97122   1397426     47.84     52.20  --
4485.44/1124.57	c  N dy 20054   2573077      4941      2446     41156     95791     97122   4344299     47.87     50.76  --
4527.73/1135.14	c  N dy 20203   2593178      4941      2446     41156    115879     97122   7226407     47.88     50.52  --
4578.39/1147.85	c  N dy 20360   2613211      4941      2446     41156    135904     97122  10101360     47.90     50.49  --
4617.09/1157.59	c  N dy 20516   2633318      4941      2446     41156     85048     97122   2584353     47.92     51.74  --
4654.97/1167.00	c  N dy 20664   2653408      4941      2446     41156    105120     97122   5526485     47.94     51.80  --
4699.25/1178.10	c  N dy 20819   2673522      4941      2446     41156    125220     97122   8462890     47.96     51.88  --
4749.11/1190.66	c  N dy 20977   2693615      4941      2446     41156     73360     97122    752283     47.98     50.82  --
4776.24/1197.46	c  S st 21107   2711393      4941      2446     41156     91128     97122   3340012     47.99   no data  --
4777.44/1197.72	c  S st 21107   2711898      4941      2446     41156     91633     97122   3397659     47.99   no data  --
4777.44/1197.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4777.44/1197.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4778.64/1198.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.8M T:  1.33
4779.44/1198.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4785.02/1199.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.92 s
4785.02/1199.70	c Subs w/ non-existent bins:      0 l-rem:    860 v-fix:     0 done:    448 time:  0.06 s
4785.43/1199.71	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.06 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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369332-1305415036/watcher-3369332-1305415036 -o /tmp/evaluation-result-3369332-1305415036/solver-3369332-1305415036 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369332-1305415036.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: 6.87 7.86 7.95 3/335 13967
/proc/meminfo: memFree=18155988/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 416 0 0 0 0 0 0 0 24 0 4 0 653101577 52465664 356 33554432000 4194304 4650419 140736816306240 18446744073709551615 228244348859 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 12809 356 306 112 0 7774 0
[pid=13967/tid=13968] ppid=13965 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653101577 52465664 356 33554432000 4194304 4650419 140736816306240 18446744073709551615 47374755968946 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653101577 52465664 356 33554432000 4194304 4650419 140736816306240 18446744073709551615 47374755968537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653101577 52465664 356 33554432000 4194304 4650419 140736816306240 18446744073709551615 47374755968537 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.05198 s]
/proc/loadavg: 6.87 7.86 7.95 3/335 13967
/proc/meminfo: memFree=18155988/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=288864 CPUtime=0.27 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 5168 0 0 0 25 2 0 0 18 0 4 0 653101577 295796736 4617 33554432000 4194304 4650419 140736816306240 18446744073709551615 4448935 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 74608 5912 392 112 0 69573 0
[pid=13967/tid=13968] ppid=13965 vsize=298432 CPUtime=0.57 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) D 13965 13967 13934 0 -1 4202560 2062 0 0 0 57 0 0 0 18 0 4 0 653101577 305594368 5912 33554432000 4194304 4650419 140736816306240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=290120 CPUtime=0.79 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2130 0 0 0 79 0 0 0 18 0 4 0 653101577 297082880 6461 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=290120 CPUtime=0.8 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2086 0 0 0 80 0 0 0 18 0 4 0 653101577 297082880 6461 33554432000 4194304 4650419 140736816306240 18446744073709551615 228244453919 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 288864

[startup+0.92046 s]
/proc/loadavg: 6.87 7.86 7.95 3/335 13967
/proc/meminfo: memFree=18155988/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=290120 CPUtime=3.62 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 9684 0 0 0 359 3 0 0 19 0 4 0 653101577 297082880 6934 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 72530 6934 392 112 0 67495 0
[pid=13967/tid=13968] ppid=13965 vsize=290120 CPUtime=0.89 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2411 0 0 0 89 0 0 0 19 0 4 0 653101577 297082880 6934 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=290120 CPUtime=0.89 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2257 0 0 0 89 0 0 0 18 0 4 0 653101577 297082880 6934 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=290120 CPUtime=0.9 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2191 0 0 0 90 0 0 0 19 0 4 0 653101577 297082880 6934 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363341 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 290120

[startup+1.00045 s]
/proc/loadavg: 6.87 7.86 7.95 3/335 13967
/proc/meminfo: memFree=18155988/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=290120 CPUtime=3.94 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 10005 0 0 0 391 3 0 0 19 0 4 0 653101577 297082880 7255 33554432000 4194304 4650419 140736816306240 18446744073709551615 4333980 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 72530 7255 392 112 0 67495 0
[pid=13967/tid=13968] ppid=13965 vsize=290120 CPUtime=0.97 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2489 0 0 0 97 0 0 0 19 0 4 0 653101577 297082880 7255 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=290120 CPUtime=0.97 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2340 0 0 0 97 0 0 0 18 0 4 0 653101577 297082880 7255 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=290120 CPUtime=0.98 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2285 0 0 0 98 0 0 0 19 0 4 0 653101577 297082880 7255 33554432000 4194304 4650419 140736816306240 18446744073709551615 4364962 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 290120

[startup+1.10043 s]
/proc/loadavg: 6.87 7.86 7.95 3/335 13967
/proc/meminfo: memFree=18155988/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=290252 CPUtime=4.34 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 10431 0 0 0 431 3 0 0 19 0 4 0 653101577 297218048 7681 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 72563 7682 392 112 0 67528 0
[pid=13967/tid=13968] ppid=13965 vsize=290252 CPUtime=1.07 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2592 0 0 0 107 0 0 0 19 0 4 0 653101577 297218048 7682 33554432000 4194304 4650419 140736816306240 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=290252 CPUtime=1.07 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2445 0 0 0 107 0 0 0 18 0 4 0 653101577 297218048 7682 33554432000 4194304 4650419 140736816306240 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=290252 CPUtime=1.08 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2407 0 0 0 108 0 0 0 19 0 4 0 653101577 297218048 7682 33554432000 4194304 4650419 140736816306240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 290252

[startup+1.50036 s]
/proc/loadavg: 6.87 7.86 7.95 3/335 13967
/proc/meminfo: memFree=18155988/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=290648 CPUtime=5.94 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 12446 0 0 0 591 3 0 0 20 0 4 0 653101577 297623552 6999 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 72662 6999 392 112 0 67627 0
[pid=13967/tid=13968] ppid=13965 vsize=290648 CPUtime=1.47 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 3089 0 0 0 147 0 0 0 20 0 4 0 653101577 297623552 6999 33554432000 4194304 4650419 140736816306240 18446744073709551615 4311360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=290648 CPUtime=1.47 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2968 0 0 0 147 0 0 0 19 0 4 0 653101577 297623552 6999 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=290648 CPUtime=1.48 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 2928 0 0 0 148 0 0 0 20 0 4 0 653101577 297623552 6999 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 290648

[startup+3.10108 s]
/proc/loadavg: 7.28 7.93 7.97 9/346 13979
/proc/meminfo: memFree=18076664/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=291784 CPUtime=12.32 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 19861 0 0 0 1226 6 0 0 25 0 4 0 653101577 298786816 7632 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 72946 7632 393 112 0 67911 0
[pid=13967/tid=13968] ppid=13965 vsize=291784 CPUtime=3.05 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 4842 0 0 0 304 1 0 0 25 0 4 0 653101577 298786816 7632 33554432000 4194304 4650419 140736816306240 18446744073709551615 4333940 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=291784 CPUtime=3.08 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 4840 0 0 0 307 1 0 0 23 0 4 0 653101577 298786816 7632 33554432000 4194304 4650419 140736816306240 18446744073709551615 4333825 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=291784 CPUtime=3.09 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 4877 0 0 0 308 1 0 0 25 0 4 0 653101577 298786816 7632 33554432000 4194304 4650419 140736816306240 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 291784

[startup+6.31252 s]
/proc/loadavg: 7.34 7.93 7.97 9/346 13979
/proc/meminfo: memFree=17967592/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=329744 CPUtime=25.13 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 41071 0 0 0 2503 10 0 0 25 0 4 0 653101577 337657856 23903 33554432000 4194304 4650419 140736816306240 18446744073709551615 4438951 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 82436 23903 394 112 0 77401 0
[pid=13967/tid=13968] ppid=13965 vsize=329744 CPUtime=6.22 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 8022 0 0 0 621 1 0 0 25 0 4 0 653101577 337657856 23903 33554432000 4194304 4650419 140736816306240 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=329744 CPUtime=6.29 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 11957 0 0 0 627 2 0 0 25 0 4 0 653101577 337657856 23903 33554432000 4194304 4650419 140736816306240 18446744073709551615 4435451 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=329744 CPUtime=6.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 10741 0 0 0 627 2 0 0 25 0 4 0 653101577 337657856 23903 33554432000 4194304 4650419 140736816306240 18446744073709551615 4435771 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 329744

[startup+12.7004 s]
/proc/loadavg: 7.39 7.93 7.97 9/346 13979
/proc/meminfo: memFree=17895828/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=321512 CPUtime=50.62 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 59632 0 0 0 5047 15 0 0 25 0 4 0 653101577 329228288 30643 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 80378 30643 394 112 0 75343 0
[pid=13967/tid=13968] ppid=13965 vsize=321512 CPUtime=12.54 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 16438 0 0 0 1251 3 0 0 25 0 4 0 653101577 329228288 30643 33554432000 4194304 4650419 140736816306240 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=321512 CPUtime=12.67 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 13428 0 0 0 1265 2 0 0 25 0 4 0 653101577 329228288 30643 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=321512 CPUtime=12.68 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 15564 0 0 0 1265 3 0 0 25 0 4 0 653101577 329228288 30643 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 321512

[startup+25.5012 s]
/proc/loadavg: 7.48 7.93 7.97 9/346 13979
/proc/meminfo: memFree=17741616/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=358108 CPUtime=101.67 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 97341 0 0 0 10143 24 0 0 25 0 4 0 653101577 366702592 51285 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 89527 51285 394 112 0 84492 0
[pid=13967/tid=13968] ppid=13965 vsize=358108 CPUtime=25.2 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 23943 0 0 0 2515 5 0 0 25 0 4 0 653101577 366702592 51285 33554432000 4194304 4650419 140736816306240 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=358108 CPUtime=25.48 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 22529 0 0 0 2543 5 0 0 25 0 4 0 653101577 366702592 51285 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=358108 CPUtime=25.49 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 28893 0 0 0 2542 7 0 0 25 0 4 0 653101577 366702592 51285 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 358108

[startup+51.1007 s]
/proc/loadavg: 7.66 7.94 7.97 9/346 13980
/proc/meminfo: memFree=17620660/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=387404 CPUtime=203.79 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 167542 0 0 0 20337 42 0 0 25 0 4 0 653101577 396701696 68086 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363690 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 96851 68086 394 112 0 91816 0
[pid=13967/tid=13968] ppid=13965 vsize=387404 CPUtime=50.52 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 40139 0 0 0 5043 9 0 0 25 0 4 0 653101577 396701696 68086 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=387404 CPUtime=51.07 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 41904 0 0 0 5098 9 0 0 25 0 4 0 653101577 396701696 68086 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=387404 CPUtime=51.09 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 47001 0 0 0 5096 13 0 0 25 0 4 0 653101577 396701696 68086 33554432000 4194304 4650419 140736816306240 18446744073709551615 4316077 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 387404

[startup+102.301 s]
/proc/loadavg: 7.93 7.97 7.98 9/346 13981
/proc/meminfo: memFree=17548476/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=562648 CPUtime=408.01 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 268127 0 0 0 40732 69 0 0 25 0 4 0 653101577 576151552 75967 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13967/statm: 140662 75967 394 112 0 135627 0
[pid=13967/tid=13968] ppid=13965 vsize=562648 CPUtime=101.14 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 64891 0 0 0 10098 16 0 0 25 0 4 0 653101577 576151552 75967 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=562648 CPUtime=102.27 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 67276 0 0 0 10212 15 0 0 25 0 4 0 653101577 576151552 75967 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=562648 CPUtime=102.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 75159 0 0 0 10208 21 0 0 25 0 4 0 653101577 576151552 75967 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.01
Current children cumulated vsize (KiB) 562648

[startup+162.3 s]

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

[pid=13967] ppid=13965 vsize=1072976 CPUtime=2562 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1098688 0 0 0 255850 350 0 0 25 0 4 0 653101577 1098727424 187778 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 268244 187778 394 112 0 263209 0
[pid=13967/tid=13968] ppid=13965 vsize=1072976 CPUtime=635.43 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 262584 0 0 0 63456 87 0 0 25 0 4 0 653101577 1098727424 187778 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1072976 CPUtime=642.28 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 299484 0 0 0 64131 97 0 0 25 0 4 0 653101577 1098727424 187778 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1072976 CPUtime=642.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 281152 0 0 0 64138 91 0 0 25 0 4 0 653101577 1098727424 187778 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562
Current children cumulated vsize (KiB) 1072976

[startup+702.301 s]
/proc/loadavg: 8.10 8.10 8.03 9/346 13997
/proc/meminfo: memFree=16605468/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1139176 CPUtime=2801.34 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1158199 0 0 0 279756 378 0 0 25 0 4 0 653101577 1166516224 190841 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 284794 190841 394 112 0 279759 0
[pid=13967/tid=13968] ppid=13965 vsize=1139176 CPUtime=695.43 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 283370 0 0 0 69447 96 0 0 25 0 4 0 653101577 1166516224 190841 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1139176 CPUtime=702.28 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 299484 0 0 0 70131 97 0 0 25 0 4 0 653101577 1166516224 190841 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1139176 CPUtime=702.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 298554 0 0 0 70129 100 0 0 25 0 4 0 653101577 1166516224 190841 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.34
Current children cumulated vsize (KiB) 1139176

[startup+762.301 s]
/proc/loadavg: 8.08 8.10 8.03 9/346 13999
/proc/meminfo: memFree=16617472/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1140612 CPUtime=3040.66 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1215610 0 0 0 303665 401 0 0 25 0 4 0 653101577 1167986688 197794 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 285153 197794 394 112 0 280118 0
[pid=13967/tid=13968] ppid=13965 vsize=1140612 CPUtime=755.43 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 303541 0 0 0 75437 106 0 0 25 0 4 0 653101577 1167986688 197794 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1140612 CPUtime=762.28 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 299484 0 0 0 76131 97 0 0 25 0 4 0 653101577 1167986688 197794 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1140612 CPUtime=762.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 316174 0 0 0 76122 107 0 0 25 0 4 0 653101577 1167986688 197794 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.66
Current children cumulated vsize (KiB) 1140612

[startup+822.301 s]
/proc/loadavg: 8.06 8.09 8.03 9/346 14001
/proc/meminfo: memFree=16532384/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1142672 CPUtime=3280.01 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1296480 0 0 0 327568 433 0 0 25 0 4 0 653101577 1170096128 201340 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363299 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 285668 201340 394 112 0 280633 0
[pid=13967/tid=13968] ppid=13965 vsize=1142672 CPUtime=815.42 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 324374 0 0 0 81428 114 0 0 25 0 4 0 653101577 1170096128 201340 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1142672 CPUtime=822.27 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 320302 0 0 0 82124 103 0 0 25 0 4 0 653101577 1170096128 201340 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1142672 CPUtime=822.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 334310 0 0 0 82114 115 0 0 25 0 4 0 653101577 1170096128 201342 33554432000 4194304 4650419 140736816306240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.01
Current children cumulated vsize (KiB) 1142672

[startup+882.301 s]
/proc/loadavg: 8.10 8.10 8.03 9/346 14002
/proc/meminfo: memFree=16567200/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1089052 CPUtime=3519.34 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1364638 0 0 0 351473 461 0 0 25 0 4 0 653101577 1115189248 195015 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 272263 195015 394 112 0 267228 0
[pid=13967/tid=13968] ppid=13965 vsize=1089052 CPUtime=875.43 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 332689 0 0 0 87426 117 0 0 25 0 4 0 653101577 1115189248 195015 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1089052 CPUtime=882.28 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 344238 0 0 0 88114 114 0 0 25 0 4 0 653101577 1115189248 195015 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1089052 CPUtime=882.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 349923 0 0 0 88108 121 0 0 25 0 4 0 653101577 1115189248 195015 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.34
Current children cumulated vsize (KiB) 1089052

[startup+942.301 s]
/proc/loadavg: 8.07 8.09 8.03 9/346 14004
/proc/meminfo: memFree=16595820/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1091868 CPUtime=3758.68 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1446041 0 0 0 375379 489 0 0 25 0 4 0 653101577 1118072832 187352 33554432000 4194304 4650419 140736816306240 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 272967 187352 394 112 0 267932 0
[pid=13967/tid=13968] ppid=13965 vsize=1091868 CPUtime=935.43 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 353913 0 0 0 93420 123 0 0 25 0 4 0 653101577 1118072832 187359 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1091868 CPUtime=942.28 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 364553 0 0 0 94107 121 0 0 25 0 4 0 653101577 1118072832 187359 33554432000 4194304 4650419 140736816306240 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1091868 CPUtime=942.3 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 371016 0 0 0 94101 129 0 0 25 0 4 0 653101577 1118072832 187359 33554432000 4194304 4650419 140736816306240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.68
Current children cumulated vsize (KiB) 1091868

[startup+1002.3 s]
/proc/loadavg: 8.06 8.09 8.03 9/346 14005
/proc/meminfo: memFree=16526056/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1093852 CPUtime=3997.99 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1515145 0 0 0 399282 517 0 0 25 0 4 0 653101577 1120104448 191270 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 273463 191270 394 112 0 268428 0
[pid=13967/tid=13968] ppid=13965 vsize=1093852 CPUtime=995.42 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 373695 0 0 0 99411 131 0 0 25 0 4 0 653101577 1120104448 191270 33554432000 4194304 4650419 140736816306240 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1093852 CPUtime=1002.27 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 375203 0 0 0 100102 125 0 0 25 0 4 0 653101577 1120104448 191270 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1093852 CPUtime=1002.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 390958 0 0 0 100090 139 0 0 25 0 4 0 653101577 1120104448 191270 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.99
Current children cumulated vsize (KiB) 1093852

[startup+1062.31 s]
/proc/loadavg: 8.13 8.10 8.04 9/346 14007
/proc/meminfo: memFree=16496700/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1142280 CPUtime=4237.38 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1570469 0 0 0 423197 541 0 0 25 0 4 0 653101577 1169694720 205500 33554432000 4194304 4650419 140736816306240 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 285570 205500 394 112 0 280535 0
[pid=13967/tid=13968] ppid=13965 vsize=1142280 CPUtime=1055.43 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 392005 0 0 0 105405 138 0 0 25 0 4 0 653101577 1169694720 205500 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1142280 CPUtime=1062.29 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 375219 0 0 0 106104 125 0 0 25 0 4 0 653101577 1169694720 205500 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1142280 CPUtime=1062.3 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 408654 0 0 0 106082 148 0 0 25 0 4 0 653101577 1169694720 205500 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.38
Current children cumulated vsize (KiB) 1142280

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.04 9/346 14009
/proc/meminfo: memFree=16508176/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1154956 CPUtime=4476.67 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1639742 0 0 0 447097 570 0 0 25 0 4 0 653101577 1182674944 197140 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 288739 197140 394 112 0 283704 0
[pid=13967/tid=13968] ppid=13965 vsize=1154956 CPUtime=1115.41 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 413094 0 0 0 111395 146 0 0 25 0 4 0 653101577 1182674944 197140 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1154956 CPUtime=1122.28 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 387727 0 0 0 112098 130 0 0 25 0 4 0 653101577 1182674944 197140 33554432000 4194304 4650419 140736816306240 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1154956 CPUtime=1122.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 425310 0 0 0 112073 156 0 0 25 0 4 0 653101577 1182674944 197140 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.67
Current children cumulated vsize (KiB) 1154956

[startup+1182.3 s]
/proc/loadavg: 8.18 8.11 8.04 9/346 14010
/proc/meminfo: memFree=16430220/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1155560 CPUtime=4716 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1683061 0 0 0 471006 594 0 0 25 0 4 0 653101577 1183293440 214688 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 288890 214688 394 112 0 283855 0
[pid=13967/tid=13968] ppid=13965 vsize=1155560 CPUtime=1175.42 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 413471 0 0 0 117395 147 0 0 25 0 4 0 653101577 1183293440 214688 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1155560 CPUtime=1182.28 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 407810 0 0 0 118087 141 0 0 25 0 4 0 653101577 1183293440 214688 33554432000 4194304 4650419 140736816306240 18446744073709551615 4310788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1155560 CPUtime=1182.29 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 431257 0 0 0 118070 159 0 0 25 0 4 0 653101577 1183293440 214688 33554432000 4194304 4650419 140736816306240 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716
Current children cumulated vsize (KiB) 1155560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.13 8.10 8.04 5/342 14012
/proc/meminfo: memFree=17310492/32951124 swapFree=67082152/67111528
[pid=13967] ppid=13965 vsize=1167972 CPUtime=4800.19 cores=0,2,4,6
/proc/13967/stat : 13967 (strangenight1-m) R 13965 13967 13934 0 -1 4202496 1702140 0 0 0 479417 602 0 0 25 0 4 0 653101577 1196003328 209409 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13967/statm: 291993 209409 394 112 0 286958 0
[pid=13967/tid=13968] ppid=13965 vsize=1167972 CPUtime=1196.53 cores=0,2,4,6
/proc/13967/task/13968/stat : 13968 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 413471 0 0 0 119506 147 0 0 25 0 4 0 653101577 1196003328 209411 33554432000 4194304 4650419 140736816306240 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13967/tid=13969] ppid=13965 vsize=1167972 CPUtime=1203.4 cores=0,2,4,6
/proc/13967/task/13969/stat : 13969 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 414420 0 0 0 120196 144 0 0 25 0 4 0 653101577 1196003328 209411 33554432000 4194304 4650419 140736816306240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13967/tid=13970] ppid=13965 vsize=1167972 CPUtime=1203.4 cores=0,2,4,6
/proc/13967/task/13970/stat : 13970 (strangenight1-m) R 13965 13967 13934 0 -1 4202560 438347 0 0 0 120178 162 0 0 25 0 4 0 653101577 1196003328 209411 33554432000 4194304 4650419 140736816306240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1167972

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.28
CPU user time (s): 4794.21
CPU system time (s): 6.06408
CPU usage (%): 398.874
Max. virtual memory (cumulated for all children) (KiB): 1167972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.21
system time used= 6.06408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1702142
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= 3529
involuntary context switches= 23210

runsolver used 3.67044 second user time and 9.47656 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-15 01:17:16
IDJOB=3369332
IDBENCH=83796
IDSOLVER=1846
FILE ID=node136/3369332-1305415036
RUNJOBID= node136-1305415036-13952
PBS_JOBID= 13324558
Free space on /tmp= 72996 MiB

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

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

MD5SUM BENCH= 05a191325d89de504821b55dea51ca7f
RANDOM SEED=1186942487

node136.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.809
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.61
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.809
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.75
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.809
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.809
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.76
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.809
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.809
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.809
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.75
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18157764 kB
Buffers:        298152 kB
Cached:        5038588 kB
SwapCached:       2740 kB
Active:       10558132 kB
Inactive:      3892428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18157764 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:            7712 kB
Writeback:           0 kB
AnonPages:     9112004 kB
Mapped:          27336 kB
Slab:           237024 kB
PageTables:      39488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69855936 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= 72988 MiB
End job on node136 at 2011-05-15 01:37:22