Trace number 3731295

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 NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)5407 1800.1 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3124
Best CPU time to get the best result obtained on this benchmark1.66275
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 15500 MB
0.00/0.01	c Instance file HOME/instance-3731295-1338682939.opb
0.00/0.01	c File size is 111983 bytes.
0.00/0.02	c Highest Coefficient sum: 321831
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.009 s
0.00/0.02	c Var: 2756 Constr: 749 132/220/397 Lit: 8802 Watch. Lit: 4833
0.00/0.02	c Obj. Vars: 2166 (78.5922 % of total variables)
0.00/0.03	c Formula reductions applied at preprocessing
0.00/0.03	c Pre-processing Time: 0.024 s
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        0   2630      725     8536   11     6089   15707      0      0 0.02
0.00/0.06	c Initial Lower Bound: 2702
0.00/0.06	c Initial Path Cost: 0
0.00/0.06	o 6439	0.055
9.48/9.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.48/9.55	c       11   2630      737    16163   21     7853   19869     12    196 0.06
9.48/9.55	c      111   2630      920   103141  112     8270   21856    195     48 2.31
9.48/9.55	c      361   2630     1412   361580  256     9259   24042    687     72 4.95
9.48/9.55	c      836   2630     2237   636690  284    10887   26447   1512     97 8.55
9.48/9.55	o 6352	9.545 * 
14.28/14.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.28/14.36	c      841   2630     2246   641638  285    13056   19869   1521     88 9.55
14.28/14.36	c      945   2630     2427   729347  300    13406   21856   1702     85 11.05
14.28/14.36	c     1195   2630     2811   881159  313    14186   24042   2086     89 13.40
14.28/14.36	o 6342	14.349 * 
23.98/24.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.98/24.01	c     1204   2630     2828   889898  314    16299   19869   2103     83 14.35
23.98/24.01	c     1309   2630     3029   980561  323    16687   21856   2304     83 15.69
23.98/24.01	c     1564   2630     3479  1179388  339    17580   24042   2754     82 18.90
23.98/24.01	c     2040   2630     4245  1550166  365    19111   26447   3520     88 23.15
23.98/24.01	o 6335	24.001 * 
33.57/33.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.57/33.61	c     2044   2630     4251  1553416  365    21265   19869   3526     85 24.00
33.57/33.61	c     2144   2630     4406  1631508  370    21541   21856   3681     84 25.39
33.57/33.61	c     2394   2630     4888  1833556  375    22491   24042   4163     85 27.86
33.57/33.61	c     2869   2630     5751  2211778  384    24177   26447   5026     88 32.59
33.57/33.61	o 6102	33.594 * 
34.47/34.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.47/34.55	c     2878   2630     5765  2217187  384    26341   19869   5040     85 33.59
34.47/34.55	o 5762	34.54 * 
37.48/37.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.48/37.54	c     2883   2630     5775  2222836  384    28437   19869   5050     83 34.54
37.48/37.54	c     2983   2630     5973  2321061  388    28827   21856   5248     82 35.95
37.48/37.54	o 5759	37.525 * 
46.48/46.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.48/46.57	c     3063   2630     6126  2387589  389    31214   19869   5401     81 37.53
46.48/46.57	c     3163   2630     6265  2431670  388    31463   21856   5540     80 39.17
46.48/46.57	c     3414   2630     6730  2640319  392    32395   24042   6005     81 42.07
46.48/46.57	c     3889   2630     7237  2735778  378    33425   26447   6512     85 45.61
46.48/46.57	o 5719	46.551 * 
52.27/52.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.27/52.40	c     3891   2630     7241  2738632  378    35514   19869   6516     83 46.55
52.27/52.40	c     3992   2630     7394  2812899  380    35808   21856   6669     83 47.88
52.27/52.40	c     4242   2630     7826  2973575  379    36709   24042   7101     82 51.60
52.27/52.40	o 5640	52.38 * 
139.56/139.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.56/139.65	c     4242   2630     7827  2975656  380    38784   19869   7102     80 52.38
139.56/139.65	c     4344   2630     8012  3052050  380    39168   21856   7287     80 53.85
139.56/139.65	c     4596   2630     8451  3226801  381    39988   24042   7726     81 56.43
139.56/139.65	c     5073   2630     9403  3586503  381    41889   26447   8678     83 60.44
139.56/139.65	c     5886   2630    10983  4260566  387    45060   29092  10258     86 68.00
139.56/139.65	c     7207   2630    12307  4354031  353    47689   32002  11582     87 82.79
139.56/139.65	c     9289   2630    16324  5960680  365    55758   35203  15599     94 98.62
139.56/139.65	c    12513   2630    21915  8200851  374    66926   38724  21190     90 138.55
139.56/139.65	o 5580	139.617 * 
170.35/170.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
170.35/170.48	c    12521   2630    21928  8206219  374    69009   19869  21203     89 139.62
170.35/170.48	c    12623   2630    10839  3405256  314    28116   21856  10114     89 141.52
170.35/170.48	c    12874   2630    11090  3422373  308    28591   24042  10365     89 143.93
170.35/170.48	c    13349   2630    11759  3679323  312    30021   26447  11034     90 147.32
170.35/170.48	c    14162   2630    13362  4407875  329    33197   29092  12637     91 154.90
170.35/170.48	c    15482   2630    15741  5390753  342    37955   32002  15016     91 169.58
170.35/170.48	o 5412	170.447 * 
269.45/269.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
269.45/269.60	c    15485   2630    15747  5394293  342    40081   19869  15022     90 170.45
269.45/269.60	c    15586   2630    15936  5486792  344    40426   21856  15211     90 171.82
269.45/269.60	c    15838   2630    16423  5723329  348    41354   24042  15698     90 174.40
269.45/269.60	c    16314   2630    17242  6013000  348    43024   26447  16517     91 178.06
269.45/269.60	c    17128   2630    18847  6813823  361    46237   29092  18122     92 185.64
269.45/269.60	c    18448   2630    21050  7627645  362    50617   32002  20325     94 195.67
269.45/269.60	c    20529   2630    23987  8758434  365    56523   35203  23262     98 208.54
269.45/269.60	c    23754   2630    29542 11300406  382    67633   38724  28817    103 230.62
269.45/269.60	c    28691   2630    37584 14440349  384    83705   42597  36859    107 268.06
269.45/269.60	o 5411	269.547 * 
310.32/310.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
310.32/310.41	c    28779   2630    37758 14524724  384    86269   19869  37033    106 269.55
310.32/310.41	c    28879   2630    10833  4014352  370    28210   21856  10108    106 271.72
310.32/310.41	c    29132   2630    11326  4215364  372    29173   24042  10601    106 274.18
310.32/310.41	c    29608   2630    12191  4551157  373    30919   26447  11466    105 279.82
310.32/310.41	c    30441   2630    13855  5175701  373    34226   29092  13130    106 285.76
310.32/310.41	c    31761   2630    16088  6017899  374    38624   32002  15363    106 298.98
310.32/310.41	o 5407	310.348 * 
1800.09/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.50	c    33176   2630    18839  7246682  384    46297   19869  18114    106 310.35
1800.09/1800.50	c    33277   2630    19030  7321625  384    46621   21856  18305    106 311.87
1800.09/1800.50	c    33527   2630    19524  7558994  387    47590   24042  18799    106 314.38
1800.09/1800.50	c    34003   2630    20470  7950655  388    49498   26447  19745    106 318.45
1800.09/1800.50	c    34817   2630    21993  8574084  389    52531   29092  21268    107 325.22
1800.09/1800.50	c    36137   2630    23887  9210420  385    56323   32002  23162    107 335.45
1800.09/1800.50	c    38250   2630    28050 10838621  386    64665   35203  27325    109 350.12
1800.09/1800.50	c    41474   2630    34466 13709277  397    77491   38724  33741    111 373.42
1800.09/1800.50	c    46411   2630    15083  5386289  357    36624   42597  14358    111 415.34
1800.09/1800.50	c    53918   2630    29769 13280393  446    65980   46857  29044    113 476.54
1800.09/1800.50	c    65280   2630    15687  6555498  417    37832   51543  14962    114 572.43
1800.09/1800.50	c    82428   2630    49719 25136109  505   105930   56698  48994    110 742.79
1800.09/1800.50	c   108248   2630    47126 18887229  400   100739   62368  46401    106 1017.33
1800.09/1800.50	c   147081   2630    14816  5936160  400    36150   68605  14091    103 1423.67
1800.09/1800.50	c Caught signal: 15
1800.09/1800.50	v -x1 -x1112 -x1980 -x2091 -x2202 -x2313 -x2646 -x2 -x113 -x446 -x779 -x1001 -x1113 -x1224 -x1335 -x1446 -x1557 -x1890 -x1969 -x1981 -x1992 -x2003 -x2014 -x2025 -x2036 -x2047 -x2058 -x2069 -x2080 -x2114 -x2136 -x2147 -x2158 -x2169 -x2180 -x2191 -x2203 -x2214 -x2247 -x2269 -x2280 -x2291 -x2302 -x2314 -x2325 -x2336 -x2369 -x2380 -x2391 -x2402 -x2425 -x2458 -x2469 -x2480 -x2491 -x2502 -x2513 -x2524 -x2536 -x2569 -x2591 -x2602 -x2613 -x2624 -x2635 -x2647 -x2658 -x2669 -x2680 -x2691 -x2702 -x2735 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x114 -x136 -x147 -x158 -x169 -x180 -x191 -x213 -x225 -x236 -x247 x258 -x269 -x291 -x302 -x313 -x324 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x535 x546 -x558 -x591 -x624 -x646 -x657 -x669 -x680 -x691 -x702 -x735 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x902 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1035 -x1057 x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1158 x1169 -x1180 -x1191 x1213 -x1247 x1258 -x1269 x1280 -x1291 -x1302 -x1313 -x1324 -x1358 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1524 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1657 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 -x1835 -x1846 -x1857 x1868 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1954 -x1956 -x1957 -x1959 -x1960 -x1962 -x1963 -x1964 -x1965 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1982 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1993 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2005 -x2006 x2007 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2020 -x2023 -x2024 -x2026 -x2027 -x2029 -x2030 -x2031 -x2033 -x2034 -x2035 -x2038 -x2039 -x2040 -x2041 -x2043 x2044 -x2045 -x2046 -x2048 -x2049 -x2050 x2051 -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2093 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2109 -x2110 -x2111 -x2112 -x2113 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 -x2151 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2160 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2179 -x2181 -x2182 x2183 x2184 -x2185 -x2186 -x2187 -x2190 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2204 -x2205 -x2206 -x2207 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2224 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 -x2240 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2257 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2348 -x2349 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2370 x2371 -x2372 -x2373 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2387 -x2388 -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2403 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2423 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2437 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2448 -x2449 -x2450 -x2451 -x2454 -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2481 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2531 -x2532 -x2533 -x2534 -x2537 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2568 -x2573 -x2577 -x2578 x2579 -x2581 -x2582 -x2583 -x2584 -x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2596 -x2598 -x2603 -x2607 -x2608 -x2610 -x2614 -x2615 -x2616 -x2617 x2619 -x2620 -x2621 -x2622 x2623 -x2625 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 x2639 -x2642 -x2643 -x2644 -x2645 -x2648 -x2652 -x2656 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2679 -x2684 x2688 -x2689 -x2690 -x2692 -x2693 -x2694 -x2695 -x2698 -x2699 -x2700 -x2701 x2703 -x2704 -x2705 -x2707 -x2708 -x2709 -x2712 -x2714 -x2715 -x2716 -x2718 -x2719 -x2721 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2736 -x2738 -x2739 -x2740 x2741 x2742 -x2743 -x2744 -x2745 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x4 -x5 -x6 -x7 x8 -x9 -x12 -x16 -x17 -x18 -x19 -x21 -x22 -x23 -x24 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 -x49 -x50 -x51 -x53 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x121 -x122 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 x160 -x163 -x164 -x165 x166 -x167 -x168 -x172 -x175 -x176 -x177 -x178 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x192 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x259 -x260 -x261 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x389 -x390 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x429 -x431 -x432 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x449 -x450 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x508 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x695 -x696 -x697 -x698 -x699 -x700 -x704 -x707 -x708 -x709 -x710 -x712 -x714 -x715 -x716 -x717 -x718 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x752 -x755 -x756 -x758 -x761 -x762 -x763 -x764 -x765 -x766 -x769 -x771 -x773 -x774 -x775 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x798 -x801 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x847 -x850 -x851 -x852 -x853 -x855 -x856 -x858 -x859 -x860 -x861 -x863 -x864 -x865 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x893 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x941 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1144 -x1145 -x1146 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1156 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 x1168 -x1170 x1171 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1185 -x1187 -x1188 -x1189 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1231 -x1233 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 -x1263 -x1264 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1305 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 x1321 -x1322 -x1323 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1333 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1379 x1382 -x1383 x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 x1439 -x1441 -x1442 -x1443 -x1444 x1445 -x1448 -x1449 -x1450 -x1451 -x1454 -x1456 -x1457 -x1459 -x1460 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1490 -x1492 -x1493 -x1494 -x1495 -x1497 -x1498 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1528 -x1530 -x1531 -x1532 -x1533 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1560 -x1561 -x1562 -x1563 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1698 -x1699 -x1700 x1701 x1703 -x1704 x1705 -x1707 -x1708 -x1709 x1710 x1711 -x1712 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x2424 x2535 -x1744 x91 -x102 x125 -x1754 -x301 -x1854 -x1855 -x1856 -x1858 -x1859 -x388 -x392 -x1860 -x411 -x1861 -x428 -x430 -x433 -x434 -x436 -x1862 -x448 -x451 -x1863 x471 x1864 -x202 -x1755 -x490 -x1865 -x507 -x509 -x1866 x529 -x1867 -x549 -x1869 x570 x1870 -x584 -x1871 x604 -x1872 -x623 -x1873 -x643 -x1874 -x658 -x1875 -x280 -x1756 x678 -x1876 x693 -x694 -x1877 -x701 -x703 -x705 -x706 -x711 -x1878 x719 -x720 -x1880 -x732 x737 -x738 -x1881 -x751 -x753 -x754 -x759 -x760 -x1882 -x767 -x770 -x772 -x776 -x777 -x1883 x787 -x788 -x1884 -x797 -x799 -x800 -x1885 x814 -x815 -x1886 -x336 -x1758 -x831 x832 -x1887 -x845 -x848 -x849 x854 -x1888 -x862 -x866 -x1889 x881 -x882 -x1892 x892 -x894 -x895 -x1893 x908 -x909 -x1894 x926 -x927 -x1895 -x940 x942 -x943 -x1896 -x961 -x1897 x975 -x976 -x1898 -x424 -x1759 x987 -x988 -x1899 -x1003 -x1004 -x1900 -x1020 x1021 x1901 x1037 -x1038 -x1903 -x1055 -x1904 x1073 -x1074 -x1905 x1088 -x1089 -x1906 -x1907 -x1908 -x1117 -x1909 -x513 x524 x1760 -x1910 x1143 x1911 -x1154 -x1155 -x1157 -x1163 -x1912 x1172 x1914 -x1184 -x1186 -x1190 -x1192 -x1915 -x1201 -x1916 -x1217 -x1917 -x1229 -x1230 -x1232 -x1238 -x1918 -x1246 -x1919 -x1259 -x1261 -x1265 -x1266 -x1920 -x569 -x580 -x602 -x613 -x635 -x1761 -x1276 -x1921 x1292 x1922 -x1304 -x1306 -x1923 x1320 x1925 -x1332 x1334 x1926 -x1351 -x1927 -x1366 -x1928 -x1378 x1381 x1929 -x1395 -x1930 -x1407 -x1409 -x1931 -x713 x724 -x746 x1762 -x1425 -x1932 x1440 x1933 -x1452 -x1453 -x1455 -x1461 -x1934 x1470 x1936 -x1482 -x1484 -x1489 -x1937 -x1496 -x1499 -x1938 -x1515 -x1939 -x1526 -x1527 -x1529 -x1534 -x1940 -x1543 -x1941 -x1555 -x1559 -x1564 -x1942 -x879 -x891 -x913 -x1763 -x1574 -x1943 -x1593 -x1944 -x1610 -x1945 -x1630 -x1947 x1649 -x1948 x1666 x1949 -x1687 -x1950 x1697 x1951 x1706 x1952 -x1717 -x1953 -x1013 -x1024 x1046 -x1764 -x224 -x335 -x557 -x668 -x890 -x1745 -x1668 x1779 -x1958 -x1747 -x2092 -x2103 x2125 -x1748 -x2225 x2236 x2258 -x1749 -x2347 x2358 -x1750 -x2413 -x2436 -x2447 -x1751 -x2547 x2558 -x2580 -x1752 -x2713 -x2724 -x2746 -x1753 -x1136 x1147 x1765 -x1202 -x1225 x1236 x1766 -x1336 x1347 -x1369 x1767 -x1502 -x1513 -x1535 -x1769 -x1635 -x1646 -x1669 -x1770 -x1824 -x1772 -x1879 -x1773 -x1961 -x1966 -x1967 -x1775 -x1983 x1984 x1776 -x1994 -x1995 -x1777 x2008 -x2009 -x1778 -x2019 -x2021 -x2022 -x2028 -x1781 -x2032 -x2037 -x2042 -x1782 -x2052 x2053 x1783 -x2067 x2068 -x1784 -x2078 -x2079 -x1785 -x2094 -x2095 -x1786 x2107 -x2108 -x1787 -x2122 -x1788 -x1789 -x1790 -x2153 -x1792 -x2161 -x1793 -x2177 x2178 x1794 x2188 -x2189 -x1795 x2208 -x2209 -x1796 -x2223 x2226 -x2227 -x1797 -x2241 -x1798 x2255 -x2256 -x1799 x2266 -x2267 -x1800 x2285 -x2286 -x1801 x2303 -x2304 -x1803 -x2319 -x1804 -x1805 -x1806 -x2350 -x1807 -x1808 -x2368 -x2374 x2375 x1809 -x2385 -x2386 -x1810 -x1746 -x1771 x2404 -x2405 -x1811 -x2419 -x2421 -x2422 -x1812 -x2438 -x1814 x2452 -x2453 -x1815 -x2463 -x2464 -x1816 x2482 -x2483 -x1817 -x2499 x2500 -x1818 -x2515 -x1819 -x2529 x2530 x1820 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2548 -x2549 -x1821 -x2557 x2559 x1822 -x2565 -x2566 x2567 -x2570 -x2571 x2572 -x2574 -x2575 -x2576 -x1823 -x2585 x2586 x1825 -x2594 -x2595 -x2597 -x2599 -x2600 x2601 -x2604 -x2605 -x2606 -x1826 -x2609 -x2611 -x2612 -x2618 -x1827 x2626 x1828 -x2640 x2641 x1829 -x2649 -x2650 -x2651 -x2653 -x2654 x2655 -x2657 -x2659 -x2660 -x1830 -x2668 x2670 x1831 -x2677 -x2678 -x2681 -x2682 -x2683 -x2685 -x2686 -x2687 -x1832 -x2696 x2697 x1833 x2706 x2710 -x2711 x2717 -x1834 -x2720 -x2722 -x2723 -x1836 x2737 x1837 x2755 -x2756 x1838 -x10 -x11 -x13 -x15 -x20 -x1839 -x33 x34 x1840 -x52 -x54 -x55 -x1841 -x78 x79 x1842 x101 -x103 -x1843 -x1955 -x1774 x119 -x120 -x1844 -x142 -x1845 -x161 x162 x1847 -x170 -x171 -x173 -x174 -x179 -x1848 -x193 x194 x1849 -x211 x214 -x215 -x1850 -x239 -x240 -x1851 -x262 x263 -x1852 x278 -x279 -x1853 
1800.09/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.50	c   68   188803  35637   279313    39070 15425246  38345    104 1800.10
1800.09/1800.50	c Objective: 5407
1800.09/1800.50	s SATISFIABLE
1800.09/1800.50	c Total time: 1800.1 s

Verifier Data 

OK	5407

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3731295-1338682939/watcher-3731295-1338682939 -o /tmp/evaluation-result-3731295-1338682939/solver-3731295-1338682939 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731295-1338682939.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.05 2.00 2.00 3/176 11442
/proc/meminfo: memFree=26862880/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/11442/stat : 11442 (runsolver) D 11440 11442 10459 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 334417951 12095488 51 33554432000 4194304 5436572 140735932001824 140735931998120 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/11442/statm: 2953 51 31 304 0 2645 0

[startup+0.0123191 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 11442
/proc/meminfo: memFree=26862880/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=20180 CPUtime=0 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 390 0 0 0 0 0 0 0 20 0 1 0 334417951 20664320 326 33554432000 134512640 135840783 4287184368 4287183600 5234768 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 5045 337 305 325 0 3981 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20180

[startup+0.100245 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 11442
/proc/meminfo: memFree=26862880/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=5844 CPUtime=0.08 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 2575 0 0 0 8 0 0 0 20 0 1 0 334417951 5984256 824 33554432000 134512640 135840783 4287184368 4287183024 2208816 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 1461 824 432 325 0 397 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5844

[startup+0.300218 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 11442
/proc/meminfo: memFree=26862880/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=7388 CPUtime=0.28 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 11417 0 0 0 27 1 0 0 20 0 1 0 334417951 7565312 968 33554432000 134512640 135840783 4287184368 4287182768 135202753 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 1847 968 432 325 0 783 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7388

[startup+0.700221 s]
/proc/loadavg: 2.05 2.00 2.00 3/176 11442
/proc/meminfo: memFree=26862880/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=7396 CPUtime=0.68 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 29435 0 0 0 64 4 0 0 20 0 1 0 334417951 7573504 995 33554432000 134512640 135840783 4287184368 4287181520 134792316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 1849 995 433 325 0 785 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7396

[startup+1.50022 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 11443
/proc/meminfo: memFree=26859352/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=7316 CPUtime=1.48 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 44396 0 0 0 141 7 0 0 20 0 1 0 334417951 7491584 1070 33554432000 134512640 135840783 4287184368 4287182872 135311327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 1829 1070 433 325 0 765 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7316

[startup+3.10022 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 11443
/proc/meminfo: memFree=26857368/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=8944 CPUtime=3.08 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 61775 0 0 0 299 9 0 0 20 0 1 0 334417951 9158656 1571 33554432000 134512640 135840783 4287184368 4287183840 134552558 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 2236 1571 433 325 0 1172 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8944

[startup+6.30022 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 11443
/proc/meminfo: memFree=26849416/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=12620 CPUtime=6.27 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 103467 0 0 0 612 15 0 0 20 0 1 0 334417951 12922880 2459 33554432000 134512640 135840783 4287184368 4287183680 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 3155 2459 433 325 0 2091 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 12620

[startup+12.7002 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 11443
/proc/meminfo: memFree=26837032/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=17708 CPUtime=12.68 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 189653 0 0 0 1241 27 0 0 20 0 1 0 334417951 18132992 3730 33554432000 134512640 135840783 4287184368 4287183056 134801064 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 4427 3730 433 325 0 3363 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17708

[startup+25.5002 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 11443
/proc/meminfo: memFree=26813836/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=27196 CPUtime=25.48 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 299425 0 0 0 2503 45 0 0 20 0 1 0 334417951 27848704 6163 33554432000 134512640 135840783 4287184368 4287182864 135445104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 6799 6163 433 325 0 5735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27196

[startup+51.1002 s]
/proc/loadavg: 2.15 2.03 2.01 3/177 11443
/proc/meminfo: memFree=26776356/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=46072 CPUtime=51.07 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 804354 0 0 0 4993 114 0 0 20 0 1 0 334417951 47177728 10735 33554432000 134512640 135840783 4287184368 4287183728 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 11518 10735 433 325 0 10454 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46072

[startup+102.306 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 11443
/proc/meminfo: memFree=26705108/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=87096 CPUtime=102.27 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 1333772 0 0 0 10042 185 0 0 20 0 1 0 334417951 89186304 21138 33554432000 134512640 135840783 4287184368 4287182912 135447594 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 21774 21138 433 325 0 20710 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87096

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11444
/proc/meminfo: memFree=26670656/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=114300 CPUtime=162.25 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 1652936 0 0 0 16000 225 0 0 20 0 1 0 334417951 117043200 27913 33554432000 134512640 135840783 4287184368 4287181424 134688433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 28575 27913 433 325 0 27511 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 114300

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11444
/proc/meminfo: memFree=26645512/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=140548 CPUtime=222.25 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 2068724 0 0 0 21949 276 0 0 20 0 1 0 334417951 143921152 34421 33554432000 134512640 135840783 4287184368 4287182864 135445104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 35137 34421 433 325 0 34073 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 140548

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11445
/proc/meminfo: memFree=26589492/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=194868 CPUtime=282.24 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 3023135 0 0 0 27828 396 0 0 20 0 1 0 334417951 199544832 48028 33554432000 134512640 135840783 4287184368 4287182784 134706546 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 48717 48028 433 325 0 47653 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 194868

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11445
/proc/meminfo: memFree=26589756/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=194868 CPUtime=342.2 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 3023171 0 0 0 33824 396 0 0 20 0 1 0 334417951 199544832 48028 33554432000 134512640 135840783 4287184368 4287181392 135187967 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 48717 48028 433 325 0 47653 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 194868

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11445
/proc/meminfo: memFree=26570936/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=214688 CPUtime=402.16 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 3228964 0 0 0 39792 424 0 0 20 0 1 0 334417951 219840512 53006 33554432000 134512640 135840783 4287184368 4287181168 135267675 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 53672 53006 433 325 0 52608 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 214688

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11446
/proc/meminfo: memFree=26570592/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=214688 CPUtime=462.14 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 3228980 0 0 0 45790 424 0 0 20 0 1 0 334417951 219840512 53006 33554432000 134512640 135840783 4287184368 4287182912 135447542 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 53672 53006 433 325 0 52608 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 214688

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11449
/proc/meminfo: memFree=26547404/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=238892 CPUtime=522.14 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 3290251 0 0 0 51782 432 0 0 20 0 1 0 334417951 244625408 59070 33554432000 134512640 135840783 4287184368 4287181392 135189039 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 59723 59070 433 325 0 58659 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 238892

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11449
/proc/meminfo: memFree=26501656/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=283052 CPUtime=582.13 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 3855339 0 0 0 57706 507 0 0 20 0 1 0 334417951 289845248 70099 33554432000 134512640 135840783 4287184368 4287182720 135265209 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 70763 70099 433 325 0 69699 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 283052

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11450
/proc/meminfo: memFree=26409716/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374072 CPUtime=882.07 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995340 0 0 0 87393 814 0 0 20 0 1 0 334417951 383049728 92850 33554432000 134512640 135840783 4287184368 4287183728 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93518 92850 433 325 0 92454 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 374072

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11450
/proc/meminfo: memFree=26409868/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374072 CPUtime=942.03 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995380 0 0 0 93389 814 0 0 20 0 1 0 334417951 383049728 92850 33554432000 134512640 135840783 4287184368 4287181392 134689092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93518 92850 433 325 0 92454 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 374072

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11450
/proc/meminfo: memFree=26387920/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374072 CPUtime=1002.02 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995380 0 0 0 99388 814 0 0 20 0 1 0 334417951 383049728 92850 33554432000 134512640 135840783 4287184368 4287182944 135189066 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93518 92850 433 325 0 92454 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 374072

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11451
/proc/meminfo: memFree=26343528/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374072 CPUtime=1062.01 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995380 0 0 0 105387 814 0 0 20 0 1 0 334417951 383049728 92850 33554432000 134512640 135840783 4287184368 4287181616 135239793 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93518 92850 433 325 0 92454 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 374072

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11454
/proc/meminfo: memFree=26333852/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374092 CPUtime=1122 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995385 0 0 0 111386 814 0 0 20 0 1 0 334417951 383070208 92855 33554432000 134512640 135840783 4287184368 4287183072 4468158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93523 92855 433 325 0 92459 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 374092

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11454
/proc/meminfo: memFree=26333860/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374092 CPUtime=1181.99 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995385 0 0 0 117385 814 0 0 20 0 1 0 334417951 383070208 92855 33554432000 134512640 135840783 4287184368 4287183728 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93523 92855 433 325 0 92459 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 374092

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11454
/proc/meminfo: memFree=26333324/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374092 CPUtime=1241.98 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995385 0 0 0 123384 814 0 0 20 0 1 0 334417951 383070208 92855 33554432000 134512640 135840783 4287184368 4287181504 134799730 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93523 92855 433 325 0 92459 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 374092

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11454
/proc/meminfo: memFree=26333612/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374092 CPUtime=1301.98 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995385 0 0 0 129384 814 0 0 20 0 1 0 334417951 383070208 92855 33554432000 134512640 135840783 4287184368 4287183728 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93523 92855 433 325 0 92459 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 374092

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11455
/proc/meminfo: memFree=26333984/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=374092 CPUtime=1361.96 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 5995385 0 0 0 135382 814 0 0 20 0 1 0 334417951 383070208 92855 33554432000 134512640 135840783 4287184368 4287181520 134792319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 93523 92855 433 325 0 92459 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 374092

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11494
/proc/meminfo: memFree=26839600/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396144 CPUtime=1421.96 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177622 0 0 0 141357 839 0 0 20 0 1 0 334417951 405651456 98357 33554432000 134512640 135840783 4287184368 4287182608 4468155 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99036 98357 433 325 0 97972 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 396144

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11494
/proc/meminfo: memFree=26779236/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396144 CPUtime=1481.94 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177623 0 0 0 147355 839 0 0 20 0 1 0 334417951 405651456 98358 33554432000 134512640 135840783 4287184368 4287183728 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99036 98358 433 325 0 97972 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 396144

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11494
/proc/meminfo: memFree=26755868/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396144 CPUtime=1541.93 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177633 0 0 0 153354 839 0 0 20 0 1 0 334417951 405651456 98358 33554432000 134512640 135840783 4287184368 4287182784 134707454 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99036 98358 433 325 0 97972 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 396144

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11494
/proc/meminfo: memFree=26754764/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396144 CPUtime=1601.92 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177633 0 0 0 159353 839 0 0 20 0 1 0 334417951 405651456 98358 33554432000 134512640 135840783 4287184368 4287183440 4467614 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99036 98358 433 325 0 97972 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 396144

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11495
/proc/meminfo: memFree=26749396/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396156 CPUtime=1661.91 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177636 0 0 0 165352 839 0 0 20 0 1 0 334417951 405663744 98361 33554432000 134512640 135840783 4287184368 4287182784 134709636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99039 98361 433 325 0 97975 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 396156

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11498
/proc/meminfo: memFree=26742740/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396172 CPUtime=1721.9 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177660 0 0 0 171351 839 0 0 20 0 1 0 334417951 405680128 98385 33554432000 134512640 135840783 4287184368 4287181392 135187933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99043 98385 433 325 0 97979 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 396172

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11498
/proc/meminfo: memFree=26742748/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396172 CPUtime=1781.89 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177660 0 0 0 177350 839 0 0 20 0 1 0 334417951 405680128 98385 33554432000 134512640 135840783 4287184368 4287181504 134802131 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99043 98385 433 325 0 97979 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 396172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11498
/proc/meminfo: memFree=26742748/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396172 CPUtime=1800.09 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177660 0 0 0 179170 839 0 0 20 0 1 0 334417951 405680128 98385 33554432000 134512640 135840783 4287184368 4287181392 135187964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99043 98385 433 325 0 97979 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 396172

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11498
/proc/meminfo: memFree=26742748/32873648 swapFree=7368/7368
[pid=11442] ppid=11440 vsize=396172 CPUtime=1800.09 cores=0,2,4,6
/proc/11442/stat : 11442 (bsolo3.0.17) R 11440 11442 10459 0 -1 4202496 6177660 0 0 0 179170 839 0 0 20 0 1 0 334417951 405680128 98385 33554432000 134512640 135840783 4287184368 4287181392 135187964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11442/statm: 99043 98385 433 325 0 97979 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 396172

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1791.71
CPU system time (s): 8.39372
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 397236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.71
system time used= 8.39372
maximum resident set size= 394072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6177662
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= 178
involuntary context switches= 1848

runsolver used 3.2835 second user time and 8.5627 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 02:22:19
IDJOB=3731295
IDBENCH=1871
IDSOLVER=2318
FILE ID=node149/3731295-1338682939
RUNJOBID= node149-1338678596-10475
PBS_JOBID= 14636664
Free space on /tmp= 71048 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731295-1338682939/watcher-3731295-1338682939 -o /tmp/evaluation-result-3731295-1338682939/solver-3731295-1338682939 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3731295-1338682939.opb            

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

MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef
RANDOM SEED=1269556283

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26863616 kB
Buffers:          702516 kB
Cached:          4037504 kB
SwapCached:         2468 kB
Active:          2276076 kB
Inactive:        2857260 kB
Active(anon):     376368 kB
Inactive(anon):     9368 kB
Active(file):    1899708 kB
Inactive(file):  2847892 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              6596 kB
Writeback:             0 kB
AnonPages:        419008 kB
Mapped:            15572 kB
Shmem:                96 kB
Slab:             738704 kB
SReclaimable:     182988 kB
SUnreclaim:       555716 kB
KernelStack:        1472 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     498000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71044 MiB
End job on node149 at 2012-06-03 02:52:21