Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 30609 | 1782.74 | 1783.41 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4666 |
Best CPU time to get the best result obtained on this benchmark | 1800.71 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
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 numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.05 c starting to Solve 0.05 c #variables read: 2756 - #constraints read: 750 0.12 o 31572 0.13 o 31503 0.14 o 31080 0.15 o 31053 0.16 o 31030 0.17 o 30984 0.19 o 30916 0.21 o 30609 1783.40 c total time : 1783 s 1783.40 s SATISFIABLE 1783.40 v -x1 -x1112 -x1980 -x2091 -x2202 -x2313 -x2646 -x2 -x113 -x446 -x779 -x1001 -x1113 -x1224 -x1335 -x1446 -x1557 -x1890 -x1969 1783.40 v -x1981 -x1992 -x2003 -x2014 -x2025 -x2036 -x2047 -x2058 -x2069 -x2080 x2114 x2136 -x2147 -x2158 -x2169 -x2180 -x2191 -x2203 1783.40 v -x2214 -x2247 -x2269 -x2280 -x2291 -x2302 -x2314 -x2325 -x2336 -x2369 -x2380 -x2391 -x2402 -x2425 -x2458 -x2469 -x2480 1783.40 v -x2491 -x2502 -x2513 -x2524 -x2536 -x2569 -x2591 -x2602 -x2613 -x2624 -x2635 -x2647 -x2658 -x2669 -x2680 -x2691 -x2702 1783.40 v -x2735 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x114 -x136 -x147 -x158 -x169 -x180 -x191 -x213 -x225 -x236 -x247 -x258 -x269 1783.40 v -x291 -x302 -x313 -x324 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x535 x546 -x558 1783.40 v -x591 -x624 -x646 -x657 -x669 -x680 -x691 -x702 -x735 -x757 -x768 -x780 -x791 -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x902 1783.40 v -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1035 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 x1158 x1169 -x1180 1783.40 v -x1191 -x1213 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1358 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 1783.40 v -x1447 -x1458 -x1469 -x1480 -x1491 -x1524 -x1546 -x1558 -x1569 -x1580 -x1591 -x1602 -x1613 -x1624 -x1657 -x1680 -x1691 1783.40 v -x1702 -x1713 -x1724 -x1735 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 -x1835 -x1846 -x1857 -x1868 -x1891 -x1902 -x1913 1783.40 v -x1924 -x1935 -x1946 -x1954 -x1956 -x1957 -x1959 -x1960 -x1962 -x1963 -x1964 -x1965 -x1968 -x1970 -x1971 -x1972 -x1973 1783.40 v -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1982 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1993 -x1996 -x1997 1783.40 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2005 -x2006 -x2007 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 1783.40 v -x2020 -x2023 -x2024 -x2026 -x2027 -x2029 -x2030 -x2031 -x2033 -x2034 -x2035 -x2038 -x2039 -x2040 -x2041 -x2043 x2044 1783.40 v x2045 -x2046 -x2048 -x2049 -x2050 -x2051 -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1783.40 v -x2066 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1783.40 v -x2089 -x2090 -x2093 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2109 -x2110 -x2111 -x2112 1783.40 v -x2113 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1783.40 v -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 -x2151 1783.40 v -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 x2160 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2170 -x2171 -x2172 1783.40 v -x2173 -x2174 -x2175 -x2176 -x2179 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2190 -x2192 -x2193 -x2194 -x2195 1783.40 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2204 -x2205 -x2206 -x2207 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 -x2217 1783.40 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2224 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239 1783.40 v -x2240 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2257 -x2259 -x2260 -x2261 1783.40 v -x2262 -x2263 -x2264 -x2265 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2281 -x2282 1783.40 v -x2283 -x2284 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2305 1783.40 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 1783.40 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 1783.40 v -x2345 -x2346 -x2348 -x2349 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1783.40 v -x2365 -x2366 -x2367 -x2370 -x2371 -x2372 -x2373 -x2376 -x2377 -x2378 -x2379 -x2381 -x2382 -x2383 -x2384 -x2387 -x2388 1783.40 v -x2389 -x2390 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2403 -x2406 -x2407 -x2408 -x2409 1783.40 v -x2410 -x2411 -x2412 -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2423 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 1783.40 v -x2433 -x2434 -x2435 -x2437 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2448 -x2449 -x2450 -x2451 -x2454 1783.40 v -x2455 -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2465 -x2466 -x2467 -x2468 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1783.40 v -x2476 -x2477 -x2478 -x2479 -x2481 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 1783.40 v -x2497 -x2498 -x2501 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2514 -x2516 -x2517 -x2518 1783.40 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2531 -x2532 -x2533 -x2534 -x2537 -x2550 -x2551 -x2552 1783.40 v -x2553 -x2554 -x2555 -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2568 -x2573 -x2577 -x2578 -x2579 -x2581 -x2582 -x2583 1783.40 v -x2584 x2587 -x2588 -x2589 -x2590 -x2592 -x2593 -x2596 -x2598 -x2603 -x2607 -x2608 -x2610 -x2614 -x2615 -x2616 -x2617 1783.40 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2625 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2636 -x2637 -x2638 1783.40 v -x2639 x2642 -x2643 -x2644 -x2645 -x2648 -x2652 -x2656 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2671 -x2672 1783.40 v -x2673 -x2674 -x2675 -x2676 -x2679 -x2684 -x2688 -x2689 x2690 -x2692 -x2693 -x2694 -x2695 -x2698 -x2699 x2700 -x2701 -x2703 1783.40 v -x2704 -x2705 -x2707 -x2708 -x2709 -x2712 -x2714 -x2715 -x2716 -x2718 -x2719 -x2721 -x2725 -x2726 -x2727 -x2728 -x2729 1783.40 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2747 -x2748 -x2749 1783.40 v -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 1783.40 v -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 1783.40 v -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 1783.40 v -x96 -x97 -x98 -x99 -x100 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x121 -x122 -x123 1783.40 v -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x143 -x144 -x145 -x146 -x148 1783.40 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x163 -x164 -x165 -x166 -x167 -x168 -x172 -x175 -x176 -x177 1783.40 v -x178 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x192 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x203 -x204 1783.40 v -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 1783.40 v -x232 -x233 -x234 -x235 -x237 -x238 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1783.40 v -x257 -x259 -x260 -x261 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x281 -x282 -x283 -x284 1783.40 v -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 -x305 -x306 -x307 -x308 1783.40 v -x309 -x310 -x311 -x312 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 1783.40 v -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 1783.40 v -x356 -x357 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1783.40 v -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x389 -x390 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 1783.40 v -x405 -x406 -x407 -x408 -x409 -x410 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x429 1783.40 v -x431 -x432 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x449 -x450 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 1783.40 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 1783.40 v -x485 -x486 -x487 -x488 -x489 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x508 -x510 1783.40 v -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x530 -x531 -x532 -x533 -x534 1783.40 v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 1783.40 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x585 1783.40 v -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x605 -x606 -x607 -x608 -x609 1783.40 v -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1783.40 v -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x659 1783.40 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x679 -x681 -x682 -x683 -x684 1783.40 v -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x695 -x696 -x697 -x698 -x699 -x700 -x704 -x707 -x708 -x709 -x710 -x712 -x714 -x715 1783.40 v -x716 -x717 -x718 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x739 -x740 -x741 -x742 -x743 1783.40 v -x744 -x745 -x747 -x748 -x749 -x750 -x752 -x755 -x756 -x758 -x761 -x762 -x763 -x764 -x765 -x766 -x769 -x771 -x773 -x774 -x775 1783.40 v -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x798 -x801 -x803 -x804 -x805 -x806 -x807 1783.40 v -x808 -x809 -x810 -x811 -x812 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x833 -x834 1783.40 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x847 -x850 -x851 -x852 -x853 -x855 -x856 -x858 -x859 -x860 -x861 -x863 1783.40 v -x864 -x865 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x883 -x884 -x885 -x886 -x887 -x888 -x889 1783.40 v -x893 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 1783.40 v -x920 -x921 -x922 -x923 -x925 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x941 -x944 -x945 -x947 -x948 1783.40 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 1783.40 v -x973 -x974 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 1783.40 v -x1000 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1022 -x1023 1783.40 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1783.40 v -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 1783.40 v -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 1783.40 v -x1086 -x1087 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1102 -x1103 -x1104 -x1105 -x1106 1783.40 v -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127 -x1128 1783.40 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1144 -x1145 -x1146 -x1148 1783.40 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1156 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 1783.40 v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1185 -x1187 -x1188 -x1189 -x1193 -x1194 -x1195 1783.40 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 1783.40 v -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1231 -x1233 -x1234 -x1235 -x1237 -x1239 -x1240 1783.40 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1262 1783.40 v -x1263 -x1264 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1277 -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 1783.40 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1305 1783.40 v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1321 -x1322 -x1323 -x1325 -x1326 1783.40 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1333 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 1783.40 v -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 1783.40 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1379 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1783.40 v -x1390 -x1392 -x1393 -x1394 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1410 -x1411 1783.40 v -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1783.40 v -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1454 1783.40 v -x1456 -x1457 -x1459 -x1460 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1783.40 v -x1477 -x1478 -x1479 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1490 -x1492 -x1493 -x1494 -x1495 -x1497 -x1498 -x1500 1783.40 v -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1516 -x1517 -x1518 -x1519 -x1520 1783.40 v -x1521 -x1522 -x1523 -x1525 -x1528 -x1530 -x1531 -x1532 -x1533 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1544 1783.40 v -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1560 -x1561 -x1562 -x1563 -x1565 -x1566 -x1567 1783.40 v -x1568 -x1570 -x1571 -x1572 -x1573 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1783.40 v -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 1783.40 v -x1608 -x1609 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 1783.40 v -x1628 -x1629 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 1783.40 v x1648 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 1783.40 v -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1681 -x1682 x1683 -x1684 -x1685 x1686 -x1688 -x1689 1783.40 v -x1690 x1692 x1693 -x1694 x1695 -x1696 x1698 -x1699 x1700 -x1701 -x1703 -x1704 x1705 -x1707 -x1708 -x1709 x1710 x1711 -x1712 1783.40 v -x1714 -x1715 x1716 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 -x1732 x1733 1783.40 v -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x2424 x2535 -x1744 -x91 -x102 -x125 -x1754 -x301 -x1854 1783.40 v -x1855 -x1856 -x1858 -x1859 -x388 -x392 -x1860 -x411 -x1861 -x428 -x430 -x433 -x434 -x436 -x1862 -x448 -x451 -x1863 x471 1783.40 v x1864 -x202 -x1755 -x490 -x1865 -x507 -x509 -x1866 x529 -x1867 -x549 -x1869 x570 x1870 -x584 -x1871 -x604 -x1872 -x623 -x1873 1783.40 v -x643 -x1874 -x658 -x1875 x280 -x1756 x678 -x1876 -x693 -x694 -x1877 -x701 -x703 -x705 -x706 -x711 -x1878 -x719 -x720 -x1880 1783.40 v -x732 -x737 -x738 -x1881 -x751 -x753 -x754 -x759 -x760 -x1882 -x767 -x770 -x772 -x776 -x777 -x1883 -x787 -x788 -x1884 -x797 1783.40 v -x799 -x800 -x1885 -x814 -x815 -x1886 -x336 -x1758 -x831 x832 -x1887 -x845 -x848 -x849 x854 -x1888 -x862 -x866 -x1889 -x881 1783.40 v -x882 -x1892 -x892 -x894 -x895 -x1893 -x908 -x909 -x1894 -x926 -x927 -x1895 -x940 -x942 -x943 -x1896 -x961 -x1897 -x975 1783.40 v -x976 -x1898 -x424 -x1759 -x987 -x988 -x1899 -x1003 -x1004 -x1900 -x1020 x1021 x1901 -x1037 x1038 -x1903 -x1055 -x1904 1783.40 v -x1073 -x1074 -x1905 -x1088 -x1089 -x1906 -x1907 -x1908 -x1117 -x1909 -x513 x524 x1760 -x1910 -x1143 -x1911 -x1154 -x1155 1783.40 v -x1157 -x1163 -x1912 -x1172 -x1914 -x1184 -x1186 -x1190 -x1192 -x1915 -x1201 -x1916 -x1217 -x1917 -x1229 -x1230 -x1232 1783.40 v -x1238 -x1918 -x1246 -x1919 -x1259 -x1261 -x1265 -x1266 -x1920 -x569 -x580 -x602 -x613 -x635 -x1761 -x1276 -x1921 -x1292 1783.40 v -x1922 -x1304 -x1306 -x1923 -x1320 -x1925 -x1332 -x1334 -x1926 -x1351 -x1927 -x1366 -x1928 -x1378 -x1381 -x1929 -x1395 1783.40 v -x1930 -x1407 -x1409 -x1931 -x713 x724 -x746 x1762 -x1425 -x1932 -x1440 -x1933 -x1452 -x1453 -x1455 -x1461 -x1934 -x1470 1783.40 v -x1936 -x1482 -x1484 -x1489 -x1937 -x1496 -x1499 -x1938 -x1515 -x1939 -x1526 -x1527 -x1529 -x1534 -x1940 -x1543 -x1941 1783.40 v -x1555 -x1559 -x1564 -x1942 -x879 -x891 -x913 -x1763 -x1574 -x1943 -x1593 -x1944 -x1610 -x1945 -x1630 -x1947 x1649 -x1948 1783.40 v x1666 x1949 x1687 x1950 x1697 x1951 x1706 x1952 -x1717 -x1953 -x1013 -x1024 -x1046 -x1764 -x224 -x335 -x557 -x668 -x890 1783.40 v -x1745 -x1668 x1779 -x1958 -x1747 -x2092 x2103 -x2125 x1748 -x2225 -x2236 -x2258 -x1749 -x2347 x2358 -x1750 -x2413 -x2436 1783.40 v -x2447 -x1751 -x2547 x2558 -x2580 -x1752 -x2713 -x2724 -x2746 -x1753 -x1136 x1147 x1765 -x1202 -x1225 -x1236 -x1766 -x1336 1783.40 v -x1347 -x1369 -x1767 -x1502 -x1513 -x1535 -x1769 -x1635 -x1646 -x1669 -x1770 -x1824 -x1772 x1879 -x1773 -x1961 -x1966 1783.40 v -x1967 -x1775 -x1983 x1984 x1776 -x1994 -x1995 -x1777 -x2008 -x2009 -x1778 -x2019 -x2021 -x2022 -x2028 -x1781 -x2032 -x2037 1783.40 v -x2042 -x1782 -x2052 x2053 x1783 -x2067 -x2068 -x1784 -x2078 -x2079 -x1785 -x2094 -x2095 -x1786 -x2107 -x2108 -x1787 -x2122 1783.40 v -x1788 -x1789 -x1790 -x2153 -x1792 -x2161 -x1793 -x2177 -x2178 -x1794 -x2188 -x2189 -x1795 -x2208 -x2209 -x1796 -x2223 1783.40 v -x2226 -x2227 -x1797 -x2241 -x1798 -x2255 -x2256 -x1799 -x2266 -x2267 -x1800 -x2285 x2286 -x1801 -x2303 x2304 -x1803 -x2319 1783.40 v -x1804 -x1805 -x1806 -x2350 -x1807 -x1808 -x2368 -x2374 -x2375 -x1809 -x2385 -x2386 -x1810 -x1746 -x1771 -x2404 -x2405 1783.40 v -x1811 -x2419 -x2421 -x2422 -x1812 -x2438 -x1814 -x2452 -x2453 -x1815 -x2463 -x2464 -x1816 -x2482 x2483 -x1817 -x2499 1783.40 v x2500 -x1818 -x2515 -x1819 -x2529 x2530 x1820 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2549 1783.40 v -x1821 -x2557 x2559 x1822 -x2565 -x2566 -x2567 -x2570 -x2571 -x2572 -x2574 -x2575 -x2576 -x1823 -x2585 x2586 x1825 -x2594 1783.40 v -x2595 -x2597 -x2599 -x2600 -x2601 -x2604 -x2605 -x2606 -x1826 -x2609 -x2611 -x2612 -x2618 -x1827 -x2626 -x1828 -x2640 1783.40 v x2641 x1829 -x2649 -x2650 -x2651 -x2653 -x2654 -x2655 -x2657 -x2659 -x2660 -x1830 -x2668 -x2670 -x1831 -x2677 -x2678 -x2681 1783.40 v -x2682 -x2683 -x2685 -x2686 -x2687 -x1832 -x2696 x2697 x1833 -x2706 -x2710 -x2711 -x2717 -x1834 -x2720 -x2722 -x2723 -x1836 1783.40 v -x2737 -x1837 -x2755 x2756 x1838 -x10 -x11 -x13 -x15 -x20 -x1839 -x33 x34 x1840 -x52 -x54 -x55 -x1841 -x78 -x79 -x1842 -x101 1783.40 v -x103 -x1843 -x1955 -x1774 -x119 -x120 -x1844 -x142 -x1845 -x161 -x162 -x1847 -x170 -x171 -x173 -x174 -x179 -x1848 -x193 1783.40 v x194 x1849 -x211 -x214 -x215 -x1850 -x239 -x240 -x1851 -x262 -x263 -x1852 -x278 x279 -x1853
OK 30609
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/node82/watcher-37819-1149370328 -o ROOT/results/node82/solver-37819-1149370328 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node82/37819-1149370328/instance-37819-1149370328.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.95 3/68 2743 /proc/meminfo: memFree=1457520/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=2284 CPUtime=0 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 208 0 0 0 0 0 0 0 18 0 1 0 194222052 2338816 180 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8797022 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 573 192 169 16 0 13 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.95 0.95 2/68 2743 /proc/meminfo: memFree=1453432/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=6460 CPUtime=9.99 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1248 0 0 0 987 12 0 0 25 0 1 0 194222052 6615040 1220 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 1615 1220 205 16 0 1055 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6460 [startup+20.0085 s] /proc/loadavg: 0.94 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1452984/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=7000 CPUtime=19.99 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1363 0 0 0 1983 16 0 0 25 0 1 0 194222052 7168000 1335 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 1750 1335 205 16 0 1190 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7000 [startup+30.0144 s] /proc/loadavg: 0.95 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1452792/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=7104 CPUtime=30 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1406 0 0 0 2981 19 0 0 25 0 1 0 194222052 7274496 1378 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 1776 1378 205 16 0 1216 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 7104 [startup+40.0203 s] /proc/loadavg: 0.95 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1452536/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=7404 CPUtime=40 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1480 0 0 0 3977 23 0 0 25 0 1 0 194222052 7581696 1452 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 1851 1452 205 16 0 1291 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 7404 [startup+50.0262 s] /proc/loadavg: 0.96 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1452536/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=7320 CPUtime=50 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1480 0 0 0 4974 26 0 0 25 0 1 0 194222052 7495680 1439 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 1830 1439 205 16 0 1270 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 7320 [startup+60.0321 s] /proc/loadavg: 0.97 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1452344/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=7604 CPUtime=60 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1540 0 0 0 5970 30 0 0 25 0 1 0 194222052 7786496 1499 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557250 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 1901 1499 205 16 0 1341 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 7604 [startup+70.038 s] /proc/loadavg: 0.97 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1452216/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=7632 CPUtime=70 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1579 0 0 0 6967 33 0 0 25 0 1 0 194222052 7815168 1517 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 1908 1517 205 16 0 1348 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 7632 [startup+80.0439 s] /proc/loadavg: 0.98 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1452216/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=7632 CPUtime=80.01 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1579 0 0 0 7964 37 0 0 25 0 1 0 194222052 7815168 1517 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 1908 1517 205 16 0 1348 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 7632 [startup+90.0498 s] /proc/loadavg: 0.98 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1451832/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8124 CPUtime=90.01 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1698 0 0 0 8959 42 0 0 25 0 1 0 194222052 8318976 1636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2031 1636 205 16 0 1471 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 8124 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1451832/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8124 CPUtime=100.01 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1698 0 0 0 9957 44 0 0 25 0 1 0 194222052 8318976 1636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2031 1636 205 16 0 1471 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 8124 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.95 2/68 2743 /proc/meminfo: memFree=1451832/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8124 CPUtime=110.01 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1698 0 0 0 10954 47 0 0 25 0 1 0 194222052 8318976 1636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517870 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2031 1636 205 16 0 1471 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 8124 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451832/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8124 CPUtime=120.02 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1698 0 0 0 11951 51 0 0 25 0 1 0 194222052 8318976 1636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2031 1636 205 16 0 1471 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 8124 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451704/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8204 CPUtime=130.02 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1720 0 0 0 12947 55 0 0 25 0 1 0 194222052 8400896 1658 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2051 1658 205 16 0 1491 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 8204 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451512/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8444 CPUtime=140.02 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1762 0 0 0 13944 58 0 0 25 0 1 0 194222052 8646656 1697 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2111 1697 205 16 0 1551 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 8444 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451512/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8444 CPUtime=150.02 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1762 0 0 0 14941 61 0 0 25 0 1 0 194222052 8646656 1697 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2111 1697 205 16 0 1551 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 8444 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451512/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8444 CPUtime=160.02 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1768 0 0 0 15937 65 0 0 25 0 1 0 194222052 8646656 1703 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517715 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2111 1703 205 16 0 1551 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 8444 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451448/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8444 CPUtime=170.02 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1775 0 0 0 16933 69 0 0 25 0 1 0 194222052 8646656 1710 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2111 1710 205 16 0 1551 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 8444 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451448/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8444 CPUtime=180.04 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1778 0 0 0 17930 74 0 0 25 0 1 0 194222052 8646656 1713 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2111 1713 205 16 0 1551 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 8444 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451512/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8444 CPUtime=190.03 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1780 0 0 0 18926 77 0 0 25 0 1 0 194222052 8646656 1715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2111 1715 205 16 0 1551 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 8444 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451192/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=8724 CPUtime=200.04 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 1854 0 0 0 19923 81 0 0 25 0 1 0 194222052 8933376 1789 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2181 1789 205 16 0 1621 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 8724 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1451192/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/2743/statm: 2986 2575 205 16 0 2426 0 Current children cumulated CPU time (s) 1590.39 Current children cumulated vsize (Kb) 11944 [startup+1600.95 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447800/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11944 CPUtime=1600.39 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3024 0 0 0 159500 539 0 0 25 0 1 0 194222052 12230656 2575 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2986 2575 205 16 0 2426 0 Current children cumulated CPU time (s) 1600.39 Current children cumulated vsize (Kb) 11944 [startup+1610.96 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447800/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11944 CPUtime=1610.4 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3024 0 0 0 160497 543 0 0 25 0 1 0 194222052 12230656 2575 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2986 2575 205 16 0 2426 0 Current children cumulated CPU time (s) 1610.4 Current children cumulated vsize (Kb) 11944 [startup+1620.96 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447800/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11768 CPUtime=1620.4 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3024 0 0 0 161494 546 0 0 25 0 1 0 194222052 12050432 2551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2942 2551 205 16 0 2382 0 Current children cumulated CPU time (s) 1620.4 Current children cumulated vsize (Kb) 11768 [startup+1630.97 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447800/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11768 CPUtime=1630.4 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3024 0 0 0 162492 548 0 0 25 0 1 0 194222052 12050432 2551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2942 2551 205 16 0 2382 0 Current children cumulated CPU time (s) 1630.4 Current children cumulated vsize (Kb) 11768 [startup+1640.98 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447800/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11780 CPUtime=1640.41 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3026 0 0 0 163489 552 0 0 25 0 1 0 194222052 12062720 2553 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2945 2553 205 16 0 2385 0 Current children cumulated CPU time (s) 1640.41 Current children cumulated vsize (Kb) 11780 [startup+1650.98 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447800/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11892 CPUtime=1650.41 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3030 0 0 0 164487 554 0 0 25 0 1 0 194222052 12177408 2555 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2973 2555 205 16 0 2413 0 Current children cumulated CPU time (s) 1650.41 Current children cumulated vsize (Kb) 11892 [startup+1660.99 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447736/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11896 CPUtime=1660.41 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3057 0 0 0 165484 557 0 0 25 0 1 0 194222052 12181504 2578 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2974 2578 205 16 0 2414 0 Current children cumulated CPU time (s) 1660.41 Current children cumulated vsize (Kb) 11896 [startup+1670.99 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447672/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11964 CPUtime=1670.42 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3082 0 0 0 166482 560 0 0 25 0 1 0 194222052 12251136 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2991 2593 205 16 0 2431 0 Current children cumulated CPU time (s) 1670.42 Current children cumulated vsize (Kb) 11964 [startup+1681 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447672/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=12024 CPUtime=1680.41 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3090 0 0 0 167478 563 0 0 25 0 1 0 194222052 12312576 2601 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 3006 2601 205 16 0 2446 0 Current children cumulated CPU time (s) 1680.41 Current children cumulated vsize (Kb) 12024 [startup+1691.01 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447672/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11924 CPUtime=1690.42 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3090 0 0 0 168475 567 0 0 25 0 1 0 194222052 12210176 2590 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2981 2590 205 16 0 2421 0 Current children cumulated CPU time (s) 1690.42 Current children cumulated vsize (Kb) 11924 [startup+1701.01 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447672/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11912 CPUtime=1700.42 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3090 0 0 0 169472 570 0 0 25 0 1 0 194222052 12197888 2587 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2978 2587 205 16 0 2418 0 Current children cumulated CPU time (s) 1700.42 Current children cumulated vsize (Kb) 11912 [startup+1711.02 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447672/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=12036 CPUtime=1710.42 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3097 0 0 0 170469 573 0 0 25 0 1 0 194222052 12324864 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 3009 2593 205 16 0 2449 0 Current children cumulated CPU time (s) 1710.42 Current children cumulated vsize (Kb) 12036 [startup+1721.02 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447672/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=12020 CPUtime=1720.42 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3106 0 0 0 171465 577 0 0 25 0 1 0 194222052 12308480 2591 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 3005 2591 205 16 0 2445 0 Current children cumulated CPU time (s) 1720.42 Current children cumulated vsize (Kb) 12020 [startup+1731.03 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2743 /proc/meminfo: memFree=1447672/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=12008 CPUtime=1730.43 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3108 0 0 0 172462 581 0 0 25 0 1 0 194222052 12296192 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516696 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 3002 2593 205 16 0 2442 0 Current children cumulated CPU time (s) 1730.43 Current children cumulated vsize (Kb) 12008 [startup+1741.03 s] /proc/loadavg: 0.99 0.97 0.95 2/74 2806 /proc/meminfo: memFree=1446408/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=12008 CPUtime=1740.41 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3108 0 0 0 173458 583 0 0 25 0 1 0 194222052 12296192 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 3002 2593 205 16 0 2442 0 Current children cumulated CPU time (s) 1740.41 Current children cumulated vsize (Kb) 12008 [startup+1751.04 s] /proc/loadavg: 0.99 0.97 0.95 2/74 2856 /proc/meminfo: memFree=1446344/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11960 CPUtime=1750.4 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3108 0 0 0 174453 587 0 0 25 0 1 0 194222052 12247040 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2990 2593 205 16 0 2430 0 Current children cumulated CPU time (s) 1750.4 Current children cumulated vsize (Kb) 11960 [startup+1761.05 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2938 /proc/meminfo: memFree=1447352/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11960 CPUtime=1760.38 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3108 0 0 0 175448 590 0 0 25 0 1 0 194222052 12247040 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2990 2593 205 16 0 2430 0 Current children cumulated CPU time (s) 1760.38 Current children cumulated vsize (Kb) 11960 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2938 /proc/meminfo: memFree=1447416/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11960 CPUtime=1770.37 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3108 0 0 0 176444 593 0 0 25 0 1 0 194222052 12247040 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2990 2593 205 16 0 2430 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 11960 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2938 /proc/meminfo: memFree=1447416/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11960 CPUtime=1780.38 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3108 0 0 0 177442 596 0 0 25 0 1 0 194222052 12247040 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2990 2593 205 16 0 2430 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 11960 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2938 /proc/meminfo: memFree=1447416/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11960 CPUtime=1781.39 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3108 0 0 0 177542 597 0 0 25 0 1 0 194222052 12247040 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2990 2593 205 16 0 2430 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 11960 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.95 2/68 2938 /proc/meminfo: memFree=1447416/2055892 swapFree=4087504/4096564 [pid=2743] ppid=2741 vsize=11960 CPUtime=1782.39 /proc/2743/stat : 2743 (Pueblo13) R 2741 2743 2697 0 -1 4194304 3108 0 0 0 177642 597 0 0 25 0 1 0 194222052 12247040 2593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2743/statm: 2990 2593 205 16 0 2430 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 11960 Child status: 10 Real time (s): 1783.41 CPU time (s): 1782.74 CPU user time (s): 1776.76 CPU system time (s): 5.97709 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (Kb): 12036
Begin job on node82 on Sat Jun 3 21:32:08 UTC 2006 FILE ID= 37819-1149370328 PBS_JOBID= 312159 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node82/37819-1149370328/instance-37819-1149370328.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-37819-1149370328 -o ROOT/results/node82/solver-37819-1149370328 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node82/37819-1149370328/instance-37819-1149370328.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 884849731 /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.265 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 : 6006.17 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1457728 kB Buffers: 22088 kB Cached: 511284 kB SwapCached: 2740 kB Active: 77620 kB Inactive: 464400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1457728 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14632 kB Slab: 42472 kB Committed_AS: 413456 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Sat Jun 3 22:01:51 UTC 2006