Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 2208 | 1800.05 | 1800.59 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb |
| MD5SUM | d0857e859d7ae9b7cd0d343674d5c1ad |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1642 |
| Best CPU time to get the best result obtained on this benchmark | 1800.63 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1138 |
| Optimality of the best value was proved | NO |
| Number of variables | 780 |
| Total number of constraints | 405 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 369 |
| Minimum length of a constraint | 6 |
| Maximum length of a constraint | 101 |
| Number of terms in the objective function | 478 |
| Biggest coefficient in the objective function | 262140 |
| Number of bits for the biggest coefficient in the objective function | 18 |
| Sum of the numbers in the objective function | 524739 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262140 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524739 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01 c Time Limit set via PBTIMEOUT to 1800 0.03 c INFO: OSL Context initialized. 0.15 c Initial problem consists of 780 variables and 441 constraints. 0.16 c No problem reductions applied in OPT. instance. 0.16 c preprocess terminated. Elapsed time: 0.138 0.16 c After prepocess the problem consists of 776 variables and 437 constraints. 0.16 c Initial Lower Bound: 0 0.25 c Restart #1 #Var: 776 LB: 0 @ 0.225 0.39 c Restart #2 #Var: 776 LB: 0 @ 0.368 0.59 c Restart #3 #Var: 776 LB: 0 @ 0.565 0.88 c Restart #4 #Var: 776 LB: 0 @ 0.856 1.24 c Restart #5 #Var: 776 LB: 0 @ 1.212 1.67 c Restart #6 #Var: 776 LB: 0 @ 1.641 2.14 c Restart #7 #Var: 776 LB: 0 @ 2.115 2.59 c Sol. found (all assignments made)... 2.59 o 524543 2.59 c NEW SOLUTION FOUND: 524543 @ 2.567 2.59 c Sol. found (all assignments made)... 2.59 o 262403 2.59 c NEW SOLUTION FOUND: 262403 @ 2.568 2.59 c Sol. found (all assignments made)... 2.59 o 131333 2.59 c NEW SOLUTION FOUND: 131333 @ 2.569 2.59 c Sol. found (all assignments made)... 2.59 o 65798 2.59 c NEW SOLUTION FOUND: 65798 @ 2.569 2.60 c Sol. found (all assignments made)... 2.60 o 63750 2.60 c NEW SOLUTION FOUND: 63750 @ 2.573 2.61 c Sol. found (all assignments made)... 2.61 o 63749 2.61 c NEW SOLUTION FOUND: 63749 @ 2.588 2.92 c Restart #8 #Var: 776 LB: 0 @ 2.899 2.94 c Sol. found (all assignments made)... 2.94 o 32881 2.94 c NEW SOLUTION FOUND: 32881 @ 2.912 2.94 c Sol. found (all assignments made)... 2.94 o 32880 2.94 c NEW SOLUTION FOUND: 32880 @ 2.912 2.94 c Sol. found (all assignments made)... 2.94 o 32879 2.94 c NEW SOLUTION FOUND: 32879 @ 2.913 2.94 c Sol. found (all assignments made)... 2.94 o 32878 2.94 c NEW SOLUTION FOUND: 32878 @ 2.915 2.94 c Sol. found (all assignments made)... 2.94 o 32877 2.94 c NEW SOLUTION FOUND: 32877 @ 2.916 2.94 c Sol. found (all assignments made)... 2.94 o 32876 2.94 c NEW SOLUTION FOUND: 32876 @ 2.917 2.94 c Sol. found (all assignments made)... 2.94 o 32875 2.94 c NEW SOLUTION FOUND: 32875 @ 2.92 2.95 c Sol. found (all assignments made)... 2.95 o 16487 2.95 c NEW SOLUTION FOUND: 16487 @ 2.922 2.95 c Sol. found (all assignments made)... 2.95 o 16486 2.95 c NEW SOLUTION FOUND: 16486 @ 2.924 2.95 c Sol. found (all assignments made)... 2.95 o 8296 2.95 c NEW SOLUTION FOUND: 8296 @ 2.925 2.95 c Sol. found (all assignments made)... 2.95 o 8295 2.95 c NEW SOLUTION FOUND: 8295 @ 2.926 2.95 c Sol. found (all assignments made)... 2.95 o 7271 2.95 c NEW SOLUTION FOUND: 7271 @ 2.927 2.95 c Sol. found (all assignments made)... 2.95 o 7270 2.95 c NEW SOLUTION FOUND: 7270 @ 2.929 2.96 c Sol. found (all assignments made)... 2.96 o 7269 2.96 c NEW SOLUTION FOUND: 7269 @ 2.933 2.96 c Sol. found (all assignments made)... 2.96 o 7268 2.96 c NEW SOLUTION FOUND: 7268 @ 2.94 2.98 c Sol. found (all assignments made)... 2.98 o 4702 2.98 c NEW SOLUTION FOUND: 4702 @ 2.956 2.98 c Sol. found (all assignments made)... 2.98 o 4701 2.98 c NEW SOLUTION FOUND: 4701 @ 2.959 2.99 c Sol. found (all assignments made)... 2.99 o 4445 2.99 c NEW SOLUTION FOUND: 4445 @ 2.962 2.99 c Sol. found (all assignments made)... 2.99 o 4444 2.99 c NEW SOLUTION FOUND: 4444 @ 2.965 2.99 c Sol. found (all assignments made)... 2.99 o 4442 2.99 c NEW SOLUTION FOUND: 4442 @ 2.968 3.01 c Sol. found (all assignments made)... 3.01 o 4441 3.01 c NEW SOLUTION FOUND: 4441 @ 2.987 3.06 c Sol. found (all assignments made)... 3.06 o 3167 3.06 c NEW SOLUTION FOUND: 3167 @ 3.038 3.07 c Sol. found (all assignments made)... 3.07 o 3166 3.07 c NEW SOLUTION FOUND: 3166 @ 3.04 3.07 c Sol. found (all assignments made)... 3.07 o 2909 3.07 c NEW SOLUTION FOUND: 2909 @ 3.041 3.07 c Sol. found (all assignments made)... 3.07 o 2908 3.07 c NEW SOLUTION FOUND: 2908 @ 3.043 3.07 c Sol. found (all assignments made)... 3.07 o 2907 3.07 c NEW SOLUTION FOUND: 2907 @ 3.047 3.31 c Sol. found (all assignments made)... 3.31 o 2906 3.31 c NEW SOLUTION FOUND: 2906 @ 3.286 3.40 c Sol. found (all assignments made)... 3.40 o 2905 3.40 c NEW SOLUTION FOUND: 2905 @ 3.375 3.72 c Sol. found (all assignments made)... 3.72 o 2904 3.72 c NEW SOLUTION FOUND: 2904 @ 3.697 3.85 c Sol. found (all assignments made)... 3.85 o 2654 3.85 c NEW SOLUTION FOUND: 2654 @ 3.825 3.85 c Sol. found (all assignments made)... 3.85 o 2653 3.85 c NEW SOLUTION FOUND: 2653 @ 3.825 3.85 c Sol. found (all assignments made)... 3.85 o 2651 3.85 c NEW SOLUTION FOUND: 2651 @ 3.826 3.85 c Sol. found (all assignments made)... 3.85 o 2650 3.85 c NEW SOLUTION FOUND: 2650 @ 3.828 3.90 c Sol. found (all assignments made)... 3.90 o 2398 3.90 c NEW SOLUTION FOUND: 2398 @ 3.875 3.90 c Sol. found (all assignments made)... 3.90 o 2397 3.90 c NEW SOLUTION FOUND: 2397 @ 3.876 3.90 c Sol. found (all assignments made)... 3.90 o 2396 3.90 c NEW SOLUTION FOUND: 2396 @ 3.876 3.90 c Sol. found (all assignments made)... 3.90 o 2395 3.90 c NEW SOLUTION FOUND: 2395 @ 3.878 3.93 c Sol. found (all assignments made)... 3.93 o 2394 3.93 c NEW SOLUTION FOUND: 2394 @ 3.909 4.51 c Restart #9 #Var: 776 LB: 0 @ 4.481 4.54 c Sol. found (all assignments made)... 4.54 o 2317 4.54 c NEW SOLUTION FOUND: 2317 @ 4.518 4.55 c Sol. found (all assignments made)... 4.55 o 2316 4.55 c NEW SOLUTION FOUND: 2316 @ 4.52 4.55 c Sol. found (all assignments made)... 4.55 o 2315 4.55 c NEW SOLUTION FOUND: 2315 @ 4.521 4.55 c Sol. found (all assignments made)... 4.55 o 2314 4.55 c NEW SOLUTION FOUND: 2314 @ 4.522 4.55 c Sol. found (all assignments made)... 4.55 o 2313 4.55 c NEW SOLUTION FOUND: 2313 @ 4.524 4.55 c Sol. found (all assignments made)... 4.55 o 2312 4.55 c NEW SOLUTION FOUND: 2312 @ 4.525 4.55 c Sol. found (all assignments made)... 4.55 o 2311 4.55 c NEW SOLUTION FOUND: 2311 @ 4.527 4.55 c Sol. found (all assignments made)... 4.55 o 2310 4.55 c NEW SOLUTION FOUND: 2310 @ 4.528 4.56 c Sol. found (all assignments made)... 4.56 o 2309 4.56 c NEW SOLUTION FOUND: 2309 @ 4.53 4.56 c Sol. found (all assignments made)... 4.56 o 2308 4.56 c NEW SOLUTION FOUND: 2308 @ 4.531 4.56 c Sol. found (all assignments made)... 4.56 o 2307 4.56 c NEW SOLUTION FOUND: 2307 @ 4.533 4.56 c Sol. found (all assignments made)... 4.56 o 2306 4.56 c NEW SOLUTION FOUND: 2306 @ 4.534 4.56 c Sol. found (all assignments made)... 4.56 o 2305 4.56 c NEW SOLUTION FOUND: 2305 @ 4.535 4.56 c Sol. found (all assignments made)... 4.56 o 2304 4.56 c NEW SOLUTION FOUND: 2304 @ 4.537 4.56 c Sol. found (all assignments made)... 4.56 o 2303 4.56 c NEW SOLUTION FOUND: 2303 @ 4.537 4.56 c Sol. found (all assignments made)... 4.56 o 2302 4.56 c NEW SOLUTION FOUND: 2302 @ 4.538 4.56 c Sol. found (all assignments made)... 4.56 o 2301 4.56 c NEW SOLUTION FOUND: 2301 @ 4.539 4.57 c Sol. found (all assignments made)... 4.57 o 2300 4.57 c NEW SOLUTION FOUND: 2300 @ 4.543 4.58 c Sol. found (all assignments made)... 4.58 o 2299 4.58 c NEW SOLUTION FOUND: 2299 @ 4.55 4.58 c Sol. found (all assignments made)... 4.58 o 2298 4.58 c NEW SOLUTION FOUND: 2298 @ 4.553 4.65 c Sol. found (all assignments made)... 4.65 o 2297 4.65 c NEW SOLUTION FOUND: 2297 @ 4.628 4.82 c Sol. found (all assignments made)... 4.82 o 2296 4.82 c NEW SOLUTION FOUND: 2296 @ 4.794 4.91 c Sol. found (all assignments made)... 4.91 o 2295 4.91 c NEW SOLUTION FOUND: 2295 @ 4.884 4.94 c Sol. found (all assignments made)... 4.94 o 2294 4.94 c NEW SOLUTION FOUND: 2294 @ 4.911 4.96 c Sol. found (all assignments made)... 4.96 o 2293 4.96 c NEW SOLUTION FOUND: 2293 @ 4.932 4.97 c Sol. found (all assignments made)... 4.97 o 2292 4.97 c NEW SOLUTION FOUND: 2292 @ 4.948 4.99 c Sol. found (all assignments made)... 4.99 o 2291 4.99 c NEW SOLUTION FOUND: 2291 @ 4.967 5.02 c Sol. found (all assignments made)... 5.02 o 2290 5.02 c NEW SOLUTION FOUND: 2290 @ 4.993 5.04 c Sol. found (all assignments made)... 5.04 o 2289 5.04 c NEW SOLUTION FOUND: 2289 @ 5.015 5.08 c Sol. found (all assignments made)... 5.08 o 2288 5.08 c NEW SOLUTION FOUND: 2288 @ 5.052 5.11 c Sol. found (all assignments made)... 5.11 o 2287 5.11 c NEW SOLUTION FOUND: 2287 @ 5.082 5.15 c Sol. found (all assignments made)... 5.15 o 2286 5.15 c NEW SOLUTION FOUND: 2286 @ 5.121 5.17 c Sol. found (all assignments made)... 5.17 o 2285 5.17 c NEW SOLUTION FOUND: 2285 @ 5.149 5.21 c Sol. found (all assignments made)... 5.21 o 2284 5.21 c NEW SOLUTION FOUND: 2284 @ 5.188 5.24 c Sol. found (all assignments made)... 5.24 o 2283 5.24 c NEW SOLUTION FOUND: 2283 @ 5.217 5.27 c Sol. found (all assignments made)... 5.27 o 2282 5.27 c NEW SOLUTION FOUND: 2282 @ 5.242 5.29 c Sol. found (all assignments made)... 5.29 o 2281 5.29 c NEW SOLUTION FOUND: 2281 @ 5.263 5.29 c Sol. found (all assignments made)... 5.29 o 2280 5.29 c NEW SOLUTION FOUND: 2280 @ 5.269 5.30 c Sol. found (all assignments made)... 5.30 o 2279 5.30 c NEW SOLUTION FOUND: 2279 @ 5.277 5.31 c Sol. found (all assignments made)... 5.31 o 2278 5.31 c NEW SOLUTION FOUND: 2278 @ 5.284 5.31 c Sol. found (all assignments made)... 5.31 o 2277 5.31 c NEW SOLUTION FOUND: 2277 @ 5.288 5.32 c Sol. found (all assignments made)... 5.32 o 2276 5.32 c NEW SOLUTION FOUND: 2276 @ 5.292 5.32 c Sol. found (all assignments made)... 5.32 o 2275 5.32 c NEW SOLUTION FOUND: 2275 @ 5.296 5.33 c Sol. found (all assignments made)... 5.33 o 2274 5.33 c NEW SOLUTION FOUND: 2274 @ 5.3 5.33 c Sol. found (all assignments made)... 5.33 o 2273 5.33 c NEW SOLUTION FOUND: 2273 @ 5.301 5.33 c Sol. found (all assignments made)... 5.33 o 2272 5.33 c NEW SOLUTION FOUND: 2272 @ 5.306 5.33 c Sol. found (all assignments made)... 5.33 o 2271 5.33 c NEW SOLUTION FOUND: 2271 @ 5.309 5.34 c Sol. found (all assignments made)... 5.34 o 2270 5.34 c NEW SOLUTION FOUND: 2270 @ 5.313 5.34 c Sol. found (all assignments made)... 5.34 o 2269 5.34 c NEW SOLUTION FOUND: 2269 @ 5.317 5.35 c Sol. found (all assignments made)... 5.35 o 2268 5.35 c NEW SOLUTION FOUND: 2268 @ 5.32 5.35 c Sol. found (all assignments made)... 5.35 o 2267 5.35 c NEW SOLUTION FOUND: 2267 @ 5.324 5.35 c Sol. found (all assignments made)... 5.35 o 2266 5.35 c NEW SOLUTION FOUND: 2266 @ 5.327 5.36 c Sol. found (all assignments made)... 5.36 o 2265 5.36 c NEW SOLUTION FOUND: 2265 @ 5.331 5.36 c Sol. found (all assignments made)... 5.36 o 2264 5.36 c NEW SOLUTION FOUND: 2264 @ 5.336 5.37 c Sol. found (all assignments made)... 5.37 o 2263 5.37 c NEW SOLUTION FOUND: 2263 @ 5.34 5.37 c Sol. found (all assignments made)... 5.37 o 2262 5.37 c NEW SOLUTION FOUND: 2262 @ 5.344 5.37 c Sol. found (all assignments made)... 5.37 o 2261 5.37 c NEW SOLUTION FOUND: 2261 @ 5.348 5.38 c Sol. found (all assignments made)... 5.38 o 2260 5.38 c NEW SOLUTION FOUND: 2260 @ 5.352 5.38 c Sol. found (all assignments made)... 5.38 o 2259 5.38 c NEW SOLUTION FOUND: 2259 @ 5.356 5.39 c Sol. found (all assignments made)... 5.39 o 2258 5.39 c NEW SOLUTION FOUND: 2258 @ 5.361 5.39 c Sol. found (all assignments made)... 5.39 o 2257 5.39 c NEW SOLUTION FOUND: 2257 @ 5.365 5.39 c Sol. found (all assignments made)... 5.39 o 2256 5.39 c NEW SOLUTION FOUND: 2256 @ 5.369 5.40 c Sol. found (all assignments made)... 5.40 o 2255 5.40 c NEW SOLUTION FOUND: 2255 @ 5.373 5.40 c Sol. found (all assignments made)... 5.40 o 2254 5.40 c NEW SOLUTION FOUND: 2254 @ 5.378 5.41 c Sol. found (all assignments made)... 5.41 o 2253 5.41 c NEW SOLUTION FOUND: 2253 @ 5.382 5.41 c Sol. found (all assignments made)... 5.41 o 2252 5.41 c NEW SOLUTION FOUND: 2252 @ 5.386 5.42 c Sol. found (all assignments made)... 5.42 o 2251 5.42 c NEW SOLUTION FOUND: 2251 @ 5.391 5.43 c Sol. found (all assignments made)... 5.43 o 2250 5.43 c NEW SOLUTION FOUND: 2250 @ 5.408 5.45 c Sol. found (all assignments made)... 5.45 o 2249 5.45 c NEW SOLUTION FOUND: 2249 @ 5.422 5.47 c Sol. found (all assignments made)... 5.47 o 2248 5.47 c NEW SOLUTION FOUND: 2248 @ 5.443 5.50 c Sol. found (all assignments made)... 5.50 o 2247 5.50 c NEW SOLUTION FOUND: 2247 @ 5.471 5.52 c Sol. found (all assignments made)... 5.52 o 2246 5.52 c NEW SOLUTION FOUND: 2246 @ 5.498 5.56 c Sol. found (all assignments made)... 5.56 o 2245 5.56 c NEW SOLUTION FOUND: 2245 @ 5.531 5.59 c Sol. found (all assignments made)... 5.59 o 2244 5.59 c NEW SOLUTION FOUND: 2244 @ 5.564 5.62 c Sol. found (all assignments made)... 5.62 o 2243 5.62 c NEW SOLUTION FOUND: 2243 @ 5.597 5.66 c Sol. found (all assignments made)... 5.66 o 2242 5.66 c NEW SOLUTION FOUND: 2242 @ 5.635 5.70 c Sol. found (all assignments made)... 5.70 o 2241 5.70 c NEW SOLUTION FOUND: 2241 @ 5.679 5.75 c Sol. found (all assignments made)... 5.75 o 2240 5.75 c NEW SOLUTION FOUND: 2240 @ 5.726 5.79 c Sol. found (all assignments made)... 5.79 o 2239 5.79 c NEW SOLUTION FOUND: 2239 @ 5.766 5.88 c Sol. found (all assignments made)... 5.88 o 2238 5.88 c NEW SOLUTION FOUND: 2238 @ 5.855 5.94 c Sol. found (all assignments made)... 5.94 o 2237 5.94 c NEW SOLUTION FOUND: 2237 @ 5.91 5.99 c Sol. found (all assignments made)... 5.99 o 2236 5.99 c NEW SOLUTION FOUND: 2236 @ 5.963 6.02 c Sol. found (all assignments made)... 6.02 o 2235 6.02 c NEW SOLUTION FOUND: 2235 @ 5.996 6.08 c Sol. found (all assignments made)... 6.08 o 2234 6.08 c NEW SOLUTION FOUND: 2234 @ 6.052 6.11 c Sol. found (all assignments made)... 6.11 o 2233 6.11 c NEW SOLUTION FOUND: 2233 @ 6.089 6.21 c Sol. found (all assignments made)... 6.21 o 2232 6.21 c NEW SOLUTION FOUND: 2232 @ 6.189 6.32 c Sol. found (all assignments made)... 6.32 o 2231 6.32 c NEW SOLUTION FOUND: 2231 @ 6.292 6.43 c Sol. found (all assignments made)... 6.43 o 2230 6.43 c NEW SOLUTION FOUND: 2230 @ 6.4 6.52 c Sol. found (all assignments made)... 6.52 o 2229 6.52 c NEW SOLUTION FOUND: 2229 @ 6.491 6.60 c Sol. found (all assignments made)... 6.60 o 2228 6.60 c NEW SOLUTION FOUND: 2228 @ 6.578 6.69 c Sol. found (all assignments made)... 6.69 o 2227 6.69 c NEW SOLUTION FOUND: 2227 @ 6.661 6.78 c Sol. found (all assignments made)... 6.78 o 2226 6.78 c NEW SOLUTION FOUND: 2226 @ 6.749 6.85 c Sol. found (all assignments made)... 6.85 o 2225 6.85 c NEW SOLUTION FOUND: 2225 @ 6.818 6.94 c Sol. found (all assignments made)... 6.94 o 2224 6.94 c NEW SOLUTION FOUND: 2224 @ 6.909 7.01 c Sol. found (all assignments made)... 7.01 o 2223 7.01 c NEW SOLUTION FOUND: 2223 @ 6.988 7.11 c Sol. found (all assignments made)... 7.11 o 2222 7.11 c NEW SOLUTION FOUND: 2222 @ 7.078 7.18 c Sol. found (all assignments made)... 7.18 o 2221 7.18 c NEW SOLUTION FOUND: 2221 @ 7.151 7.22 c Sol. found (all assignments made)... 7.22 o 2213 7.22 c NEW SOLUTION FOUND: 2213 @ 7.194 7.22 c Sol. found (all assignments made)... 7.22 o 2212 7.22 c NEW SOLUTION FOUND: 2212 @ 7.195 7.22 c Sol. found (all assignments made)... 7.22 o 2211 7.22 c NEW SOLUTION FOUND: 2211 @ 7.195 7.22 c Sol. found (all assignments made)... 7.22 o 2210 7.22 c NEW SOLUTION FOUND: 2210 @ 7.196 7.22 c Sol. found (all assignments made)... 7.22 o 2209 7.22 c NEW SOLUTION FOUND: 2209 @ 7.197 7.23 c Sol. found (all assignments made)... 7.23 o 2208 7.23 c NEW SOLUTION FOUND: 2208 @ 7.202 7.49 c Restart #10 #Var: 776 LB: 0 @ 7.462 7.98 c Restart #11 #Var: 776 LB: 0 @ 7.958 8.27 c Restart #12 #Var: 776 LB: 0 @ 8.239 9.37 c Restart #13 #Var: 776 LB: 0 @ 9.348 10.18 c CHANGE to LPR mode... UB: 2208 MIS: 0 LPR: 200 (0.06475) Diff: 0 10.18 c Restart #0 #Var: 776 LB: 0 @ 10.113 51.17 c Restart #1 #Var: 776 LB: 201 @ 51.094 88.66 c Restart #2 #Var: 776 LB: 202 @ 88.574 160.47 c Restart #3 #Var: 776 LB: 202 @ 160.37 237.85 c Restart #4 #Var: 776 LB: 202 @ 237.73 343.89 c Restart #5 #Var: 776 LB: 202 @ 343.73 476.04 c Restart #6 #Var: 776 LB: 202 @ 475.86 636.90 c Restart #7 #Var: 776 LB: 202 @ 636.67 794.99 c Restart #8 #Var: 776 LB: 202 @ 794.72 992.33 c Restart #9 #Var: 776 LB: 202 @ 992.01 1174.82 c Restart #10 #Var: 776 LB: 202 @ 1174.4 1382.40 c Restart #11 #Var: 776 LB: 202 @ 1382 1665.76 c Restart #12 #Var: 776 LB: 202 @ 1665.3 1800.57 s SATISFIABLE 1800.57 c Cost: 2208 1800.57 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 -x14 -x15 x16 x17 x18 -x19 -x20 x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x339 -x340 1800.57 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1800.57 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 -x494 1800.57 v -x495 -x496 x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1800.57 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.57 v -x570 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1800.57 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x621 x622 -x623 x624 -x625 x626 x627 -x628 x629 -x630 x631 x632 1800.57 v -x633 -x634 -x635 -x636 -x637 x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x661 -x662 -x663 1800.57 v -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 1800.57 v -x685 -x686 -x687 -x688 -x689 -x690 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1800.57 v x716 x717 x718 -x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1800.57 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 x757 x758 x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 1800.57 v -x770 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 1800.57 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x101 -x102 -x103 -x104 -x105 1800.57 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x131 x132 x133 x134 x135 x136 x137 1800.57 v x138 x139 x140 x141 x142 x143 x144 x145 -x146 -x147 -x148 -x149 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.57 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 1800.57 v x203 x204 x205 x206 x207 -x208 x209 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 1800.57 v x238 -x239 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 -x269 x280 x281 x282 1800.57 v x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 -x295 -x296 x297 x298 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.57 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x379 -x737 -x695 -x696 -x697 -x698 -x699 -x700 1800.57 v -x731 -x732 -x733 -x734 -x735 x736 -x738 -x739 -x740 -x771 -x772 -x773 x774 -x775 -x776 x777 -x778 -x779 -x780 -x390 -x61 1800.57 v -x62 -x63 -x64 -x65 x66 -x67 -x68 -x401 -x69 -x70 -x91 -x92 -x93 -x94 -x95 -x96 -x412 x97 -x98 -x99 -x100 -x121 x122 -x123 -x124 1800.57 v -x423 -x125 -x126 -x127 -x128 -x129 -x130 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x434 -x180 x181 -x182 1800.57 v -x183 -x184 -x185 -x186 -x445 -x187 -x188 x189 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x240 -x241 x456 1800.57 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x270 -x271 x272 -x273 -x274 x275 -x276 -x467 -x277 -x278 -x279 -x299 -x300 1800.57 v -x301 -x302 -x303 -x508 -x304 -x305 x306 -x307 -x308 x329 -x330 -x519 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x369 1800.57 v -x530 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x534 x388 -x389 1800.57 v -x391 -x392 -x393 -x394 -x395 -x396 x397 -x535 -x398 -x399 -x400 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 1800.57 v -x413 -x414 x415 -x416 -x536 -x417 -x418 -x419 -x420 x421 -x422 -x424 -x425 -x537 -x426 -x427 -x428 -x429 -x430 x431 -x432 1800.57 v -x433 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x538 -x444 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x539 -x453 1800.57 v -x454 x455 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x468 -x469 x470 -x540 -x471 -x472 -x473 -x474 -x475 1800.57 v -x476 -x477 -x509 -x571 -x510 -x511 x512 -x513 -x514 -x515 -x516 x517 -x572 -x518 -x520 -x521 -x522 -x523 -x524 x525 -x526 1800.57 v -x527 -x573 -x528 -x529 -x531 -x532 -x533 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x611 -x612 -x613 -x614 -x615 x616 -x617 1800.57 v -x618 -x619 -x620 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x691 -x692 x693 -x694 1800.57 c Exit Code: 10 1800.57 c Total time: 1800 s
OK 2208
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-40020-1149355304 -o ROOT/results/node47/solver-40020-1149355304 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40020-1149355304/instance-40020-1149355304.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 26842 /proc/meminfo: memFree=1560904/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=2900 CPUtime=0 /proc/26842/stat : 26842 (bsolo) D 26840 26842 26796 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 167458959 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10519332 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/26842/statm: 725 27 19 55 0 38 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.95 0.90 2/64 26842 /proc/meminfo: memFree=1530320/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=33024 CPUtime=9.93 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 7773 0 9 0 985 8 0 0 23 0 1 0 167458959 33816576 7489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8256 7489 406 55 0 7148 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 33024 [startup+20.0085 s] /proc/loadavg: 0.94 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1529936/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=33300 CPUtime=19.93 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 78537 0 9 0 1956 37 0 0 25 0 1 0 167458959 34099200 7634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8325 7634 431 55 0 7217 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 33300 [startup+30.0146 s] /proc/loadavg: 0.95 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1530512/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=32716 CPUtime=29.93 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 147293 0 9 0 2931 62 0 0 25 0 1 0 167458959 33501184 7495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8179 7495 434 55 0 7071 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 32716 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1530576/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=32504 CPUtime=39.94 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 221206 0 9 0 3906 88 0 0 25 0 1 0 167458959 33284096 7442 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535981 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8126 7442 434 55 0 7018 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 32504 [startup+50.0277 s] /proc/loadavg: 0.96 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1529680/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=33032 CPUtime=49.94 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 296505 0 9 0 4878 116 0 0 25 0 1 0 167458959 33824768 7574 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8258 7574 434 55 0 7150 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 33032 [startup+60.0328 s] /proc/loadavg: 0.97 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1530000/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=33280 CPUtime=59.95 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 374155 0 9 0 5849 146 0 0 25 0 1 0 167458959 34078720 7630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8320 7630 435 55 0 7212 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 33280 [startup+70.0389 s] /proc/loadavg: 0.97 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1530128/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=32940 CPUtime=69.95 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 461272 0 9 0 6818 177 0 0 25 0 1 0 167458959 33730560 7552 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8235 7552 435 55 0 7127 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 32940 [startup+80.045 s] /proc/loadavg: 0.98 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1529680/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=33640 CPUtime=79.95 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 544966 0 9 0 7788 207 0 0 25 0 1 0 167458959 34447360 7721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8410 7721 435 55 0 7302 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 33640 [startup+90.0511 s] /proc/loadavg: 0.98 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1528528/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=34884 CPUtime=89.95 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 626538 0 9 0 8757 238 0 0 25 0 1 0 167458959 35721216 7970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8721 7973 436 55 0 7613 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 34884 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1528656/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=34784 CPUtime=99.96 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 705104 0 9 0 9728 268 0 0 25 0 1 0 167458959 35618816 7947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159332412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8696 7947 436 55 0 7588 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 34784 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 26842 /proc/meminfo: memFree=1528656/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=34928 CPUtime=109.96 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 786710 0 9 0 10699 297 0 0 25 0 1 0 167458959 35766272 7983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160276757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8732 7983 436 55 0 7624 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 34928 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1529424/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=33856 CPUtime=119.96 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 874548 0 9 0 11665 331 0 0 25 0 1 0 167458959 34668544 7779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10958357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8464 7779 436 55 0 7356 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 33856 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1528400/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=34872 CPUtime=129.96 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 958052 0 9 0 12636 360 0 0 25 0 1 0 167458959 35708928 8031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8718 8031 436 55 0 7610 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 34872 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 3/64 26842 /proc/meminfo: memFree=1528208/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=35060 CPUtime=139.97 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 1044823 0 9 0 13604 393 0 0 25 0 1 0 167458959 35901440 8079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8765 8079 436 55 0 7657 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 35060 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1527568/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=34892 CPUtime=149.98 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 1131787 0 9 0 14573 425 0 0 25 0 1 0 167458959 35729408 8016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8723 8016 436 55 0 7615 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 34892 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1527632/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=35844 CPUtime=159.98 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 1217796 0 9 0 15539 459 0 0 25 0 1 0 167458959 36704256 8273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158522909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8961 8273 436 55 0 7853 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 35844 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1527760/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=35300 CPUtime=169.99 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 1294413 0 9 0 16511 488 0 0 25 0 1 0 167458959 36147200 8143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8825 8143 436 55 0 7717 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 35300 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1526544/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=35904 CPUtime=179.98 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 1377884 0 9 0 17478 520 0 0 25 0 1 0 167458959 36765696 8294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 8976 8294 436 55 0 7868 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 35904 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1526544/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=36060 CPUtime=189.99 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 1459661 0 9 0 18451 548 0 0 25 0 1 0 167458959 36925440 8333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 9015 8333 436 55 0 7907 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 36060 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1526416/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=36840 CPUtime=199.99 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 1532127 0 9 0 19423 576 0 0 25 0 1 0 167458959 37724160 8522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159298055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 9210 8522 436 55 0 8102 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 36840 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1525968/2055920 swapFree=4183692/4192956 ################ # More data... # ################ /proc/26842/statm: 17493 16825 436 55 0 16385 0 Current children cumulated CPU time (s) 1760.55 Current children cumulated vsize (Kb) 69972 [startup+1771.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491408/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71452 CPUtime=1770.56 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13070748 0 9 0 172118 4938 0 0 25 0 1 0 167458959 73166848 17142 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159332418 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17863 17142 436 55 0 16755 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 71452 [startup+1781.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1492304/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=70292 CPUtime=1780.56 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13139607 0 9 0 173091 4965 0 0 25 0 1 0 167458959 71979008 16899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17573 16899 436 55 0 16465 0 Current children cumulated CPU time (s) 1780.56 Current children cumulated vsize (Kb) 70292 [startup+1782.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1492304/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=70476 CPUtime=1781.56 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13147138 0 9 0 173188 4968 0 0 25 0 1 0 167458959 72167424 16926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10958357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17619 16926 436 55 0 16511 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 70476 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1492176/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=70456 CPUtime=1782.57 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13154599 0 9 0 173286 4971 0 0 25 0 1 0 167458959 72146944 16944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10958357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17614 16944 436 55 0 16506 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 70456 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491088/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71764 CPUtime=1783.58 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13161545 0 9 0 173384 4974 0 0 25 0 1 0 167458959 73486336 17211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10985175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17941 17211 436 55 0 16833 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 71764 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491984/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71272 CPUtime=1784.58 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13168342 0 9 0 173481 4977 0 0 25 0 1 0 167458959 72982528 17147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17818 17147 436 55 0 16710 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 71272 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491088/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71908 CPUtime=1785.58 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13174974 0 9 0 173579 4979 0 0 25 0 1 0 167458959 73633792 17217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17977 17217 436 55 0 16869 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 71908 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491024/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71852 CPUtime=1786.59 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13181462 0 9 0 173678 4981 0 0 25 0 1 0 167458959 73576448 17228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159197429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17963 17228 436 55 0 16855 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 71852 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491344/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71280 CPUtime=1787.59 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13188688 0 9 0 173775 4984 0 0 25 0 1 0 167458959 72990720 17149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17820 17149 436 55 0 16712 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 71280 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491024/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71880 CPUtime=1788.6 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13195974 0 9 0 173873 4987 0 0 25 0 1 0 167458959 73605120 17238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17970 17238 436 55 0 16862 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 71880 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491984/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=70740 CPUtime=1789.6 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13202636 0 9 0 173971 4989 0 0 25 0 1 0 167458959 72437760 16994 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17685 16994 436 55 0 16577 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 70740 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491024/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71868 CPUtime=1790.61 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13209436 0 9 0 174069 4992 0 0 25 0 1 0 167458959 73592832 17232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17967 17232 436 55 0 16859 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 71868 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1490832/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=72012 CPUtime=1791.61 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13215973 0 9 0 174167 4994 0 0 25 0 1 0 167458959 73740288 17275 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159197708 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 18003 17275 436 55 0 16895 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 72012 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1490896/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=72040 CPUtime=1792.62 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13221873 0 9 0 174266 4996 0 0 25 0 1 0 167458959 73768960 17252 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 18010 17252 436 55 0 16902 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 72040 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491856/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=70740 CPUtime=1793.62 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13227549 0 9 0 174364 4998 0 0 25 0 1 0 167458959 72437760 17017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17686 17018 436 55 0 16578 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 70740 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491152/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71572 CPUtime=1794.63 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13233404 0 9 0 174462 5001 0 0 25 0 1 0 167458959 73289728 17221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17893 17221 436 55 0 16785 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 71572 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491920/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=70684 CPUtime=1795.64 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13240090 0 9 0 174560 5004 0 0 25 0 1 0 167458959 72380416 17003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17671 17003 436 55 0 16563 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 70684 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491216/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=71392 CPUtime=1796.64 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13246096 0 9 0 174658 5006 0 0 25 0 1 0 167458959 73105408 17180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17848 17180 436 55 0 16740 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 71392 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1490768/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=72068 CPUtime=1797.64 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13253698 0 9 0 174755 5009 0 0 25 0 1 0 167458959 73797632 17293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160348703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 18017 17293 436 55 0 16909 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 72068 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491344/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=70464 CPUtime=1798.64 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13261560 0 9 0 174852 5012 0 0 25 0 1 0 167458959 72155136 16948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17616 16948 436 55 0 16508 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 70464 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26842 /proc/meminfo: memFree=1491664/2055920 swapFree=4183692/4192956 [pid=26842] ppid=26840 vsize=70776 CPUtime=1799.65 /proc/26842/stat : 26842 (bsolo) R 26840 26842 26796 0 -1 0 13268543 0 9 0 174951 5014 0 0 25 0 1 0 167458959 72474624 17026 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26842/statm: 17694 17026 436 55 0 16586 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 70776 Child status: 10 Real time (s): 1800.59 CPU time (s): 1800.05 CPU user time (s): 1749.87 CPU system time (s): 50.1754 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (Kb): 72068
Begin job on node47 on Sat Jun 3 17:21:44 UTC 2006 FILE ID= 40020-1149355304 PBS_JOBID= 311216 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40020-1149355304/instance-40020-1149355304.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-40020-1149355304 -o ROOT/results/node47/solver-40020-1149355304 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40020-1149355304/instance-40020-1149355304.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d0857e859d7ae9b7cd0d343674d5c1ad RANDOM SEED= 715069999 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1561112 kB Buffers: 13648 kB Cached: 421376 kB SwapCached: 3100 kB Active: 40892 kB Inactive: 402668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1561112 kB SwapTotal: 4192956 kB SwapFree: 4183692 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14568 kB Slab: 37260 kB Committed_AS: 341620 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Sat Jun 3 17:51:45 UTC 2006