Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 1552 | 1782.74 | 1783.34 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-bell3a.opb |
MD5SUM | 959ce68b75ceb21d2cb97576331899fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1448 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1345 |
Optimality of the best value was proved | NO |
Number of variables | 2219 |
Total number of constraints | 151 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 129 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 191 |
Number of terms in the objective function | 1716 |
Biggest coefficient in the objective function | 12439 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525516 |
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 | 525516 |
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.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.03 c starting to Solve 0.00/0.03 c #variables read: 2219 - #constraints read: 152 56.28/56.37 o 18301 56.28/56.37 o 18299 56.28/56.37 o 18298 56.28/56.39 o 17663 56.28/56.39 o 17345 56.28/56.39 o 17186 56.28/56.39 o 17107 56.28/56.40 o 17097 56.38/56.40 o 17092 56.38/56.40 o 17090 56.38/56.40 o 17028 56.38/56.41 o 16710 56.38/56.41 o 16392 56.38/56.41 o 16233 56.38/56.41 o 16074 56.38/56.41 o 15995 56.38/56.42 o 15916 56.38/56.42 o 15876 56.38/56.42 o 15856 56.38/56.43 o 15846 56.38/56.43 o 15841 56.38/56.43 o 15839 56.38/56.44 o 15836 56.38/56.44 o 15831 56.38/56.44 o 15826 56.38/56.45 o 15824 56.38/56.45 o 15822 56.38/56.46 o 15320 56.38/56.46 o 15300 56.38/56.46 o 15002 56.38/56.47 o 14982 56.38/56.47 o 14923 56.38/56.47 o 14903 56.38/56.47 o 14883 56.38/56.48 o 14863 56.38/56.48 o 14843 56.38/56.49 o 14841 56.38/56.50 o 14831 56.47/56.51 o 14826 56.47/56.51 o 14824 56.47/56.52 o 14682 56.47/56.52 o 14603 56.47/56.53 o 14588 56.47/56.53 o 14586 56.47/56.54 o 14580 56.47/56.54 o 14578 56.47/56.55 o 14576 56.47/56.55 o 14575 56.47/56.55 o 14573 56.47/56.56 o 14571 56.47/56.57 o 14569 56.57/56.62 o 13970 56.57/56.63 o 13652 56.57/56.63 o 13560 56.57/56.63 o 13481 56.57/56.64 o 13478 56.57/56.64 o 13399 56.57/56.64 o 13372 56.57/56.65 o 13359 56.57/56.65 o 13357 56.57/56.65 o 13339 56.57/56.66 o 13327 56.57/56.66 o 13325 56.57/56.66 o 13317 56.57/56.67 o 13315 56.57/56.67 o 13313 56.57/56.68 o 13312 56.57/56.68 o 13310 56.57/56.69 o 13308 56.68/56.77 o 13306 56.78/56.85 o 12719 56.78/56.85 o 12401 56.78/56.86 o 12394 56.78/56.86 o 12374 56.78/56.87 o 12371 56.78/56.88 o 12369 56.88/56.91 o 12341 56.88/56.92 o 12336 56.88/56.92 o 12329 56.88/56.93 o 12324 56.88/56.93 o 12322 56.88/56.94 o 12317 56.88/56.94 o 12312 56.98/57.02 o 12309 56.98/57.02 o 12307 57.08/57.18 o 12306 57.08/57.19 o 12305 71.87/71.94 o 12182 71.87/71.94 o 12177 71.87/71.94 o 12103 71.87/71.95 o 12091 71.87/71.95 o 12076 71.87/71.96 o 12071 71.87/71.96 o 12061 71.87/71.97 o 12056 71.87/71.98 o 12054 72.27/72.38 o 12052 72.37/72.41 o 12050 191.94/192.09 o 11508 191.94/192.09 o 11503 192.04/192.10 o 11190 192.04/192.11 o 11044 192.04/192.13 o 11014 192.04/192.14 o 11009 192.04/192.15 o 10954 192.04/192.15 o 10935 192.04/192.16 o 10930 192.04/192.17 o 10920 192.04/192.17 o 10915 192.14/192.20 o 10913 192.14/192.25 o 10908 192.14/192.26 o 10907 192.14/192.27 o 10902 192.14/192.28 o 10895 192.14/192.29 o 10890 192.24/192.30 o 10885 192.24/192.38 o 10883 192.24/192.39 o 10881 192.34/192.40 o 10878 192.34/192.42 o 10875 193.03/193.17 o 10870 193.03/193.19 o 10865 195.23/195.31 o 10863 195.43/195.58 o 10860 195.43/195.59 o 10855 196.13/196.26 o 10853 235.63/235.72 o 10849 235.63/235.73 o 10844 235.63/235.73 o 10842 235.63/235.73 o 10841 235.63/235.73 o 10838 235.63/235.73 o 10836 593.93/594.20 o 4280 594.03/594.20 o 3962 594.03/594.21 o 3803 594.03/594.21 o 3724 594.03/594.21 o 3684 594.03/594.22 o 3664 594.03/594.22 o 3654 594.03/594.23 o 3649 594.03/594.24 o 3644 594.03/594.25 o 3485 594.03/594.25 o 3406 594.03/594.26 o 3366 594.03/594.26 o 3346 594.03/594.27 o 3336 594.03/594.27 o 3331 594.03/594.28 o 3326 594.03/594.29 o 3247 594.13/594.30 o 3207 594.13/594.30 o 3187 594.13/594.31 o 3177 594.13/594.31 o 3172 594.13/594.33 o 3168 594.13/594.34 o 3128 594.13/594.34 o 3108 594.13/594.35 o 3098 594.13/594.36 o 3093 594.13/594.38 o 3088 594.13/594.39 o 3083 594.23/594.40 o 3078 594.23/594.41 o 3076 594.23/594.42 o 3018 594.23/594.43 o 3013 594.23/594.44 o 2859 594.23/594.46 o 2854 594.23/594.47 o 2700 594.23/594.47 o 2695 594.23/594.49 o 2621 594.33/594.50 o 2616 594.33/594.51 o 2542 594.33/594.52 o 2537 594.33/594.53 o 2502 594.33/594.55 o 2497 594.33/594.57 o 2482 594.33/594.57 o 2477 594.33/594.59 o 2472 594.43/594.60 o 2467 594.43/594.62 o 2462 594.43/594.63 o 2460 594.43/594.67 o 2457 594.43/594.69 o 2452 594.53/594.72 o 2447 594.53/594.73 o 2445 594.53/594.75 o 2443 594.53/594.79 o 2263 594.53/594.79 o 1945 594.63/594.80 o 1925 594.63/594.81 o 1920 594.63/594.81 o 1905 594.63/594.82 o 1900 594.63/594.83 o 1888 594.63/594.84 o 1883 594.63/594.84 o 1766 594.93/595.18 o 1765 594.93/595.19 o 1763 595.03/595.21 o 1760 595.03/595.24 o 1758 597.83/598.06 o 1757 598.03/598.27 o 1756 624.82/625.08 o 1754 624.93/625.10 o 1685 624.93/625.13 o 1681 624.93/625.17 o 1671 625.03/625.22 o 1632 802.88/803.10 o 1631 808.97/809.26 o 1629 813.27/813.53 o 1627 813.27/813.56 o 1617 813.37/813.60 o 1607 813.37/813.63 o 1605 813.37/813.68 o 1603 813.37/813.69 o 1591 813.46/813.71 o 1589 813.46/813.73 o 1571 828.66/828.91 o 1569 828.66/828.93 o 1567 829.36/829.62 o 1566 936.84/937.18 o 1564 937.24/937.59 o 1561 937.34/937.61 o 1560 938.34/938.68 o 1559 938.44/938.70 o 1558 938.44/938.75 o 1557 938.44/938.75 o 1556 938.63/938.98 o 1555 938.63/938.99 o 1554 938.73/939.03 o 1553 938.73/939.03 o 1552 1782.69/1783.33 c total time : 1783 s 1782.69/1783.33 s SATISFIABLE 1782.69/1783.33 v -x1404 -x1411 -x1414 x1415 x1416 -x1417 -x1418 -x1419 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 x1413 -x2060 -x2061 1782.69/1783.33 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1782.69/1783.33 v -x2139 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1782.69/1783.33 v -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1782.69/1783.33 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1782.69/1783.33 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 1782.69/1783.33 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 1782.69/1783.33 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 1782.69/1783.33 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1782.69/1783.33 v -x2129 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1782.69/1783.33 v -x2156 -x2157 -x2158 -x2159 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1970 x1971 x1972 -x1973 1782.69/1783.33 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 1782.69/1783.33 v -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 1782.69/1783.33 v -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 1782.69/1783.33 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x1910 -x1911 x1912 -x1913 -x1914 1782.69/1783.33 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 x1932 1782.69/1783.33 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1782.69/1783.33 v -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 1782.69/1783.33 v -x1968 -x1969 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1782.69/1783.33 v x1995 -x1996 -x1997 -x1998 -x1999 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 1782.69/1783.33 v -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1782.69/1783.33 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x481 x482 -x483 -x484 1782.69/1783.33 v x485 x486 -x487 -x488 x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1782.69/1783.33 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1782.69/1783.33 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1782.69/1783.33 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1782.69/1783.33 v -x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 1782.69/1783.33 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 x605 x606 -x607 -x608 x609 -x610 -x611 x612 -x613 -x614 -x615 1782.69/1783.33 v x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 x635 x636 x637 1782.69/1783.33 v -x638 x639 -x640 -x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1782.69/1783.33 v -x659 -x660 x661 x662 x663 -x664 x665 -x666 -x667 x668 x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1782.69/1783.33 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 -x46 x47 1782.69/1783.33 v x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 x66 x67 x68 x69 x70 x71 -x72 -x73 -x74 -x75 1782.69/1783.33 v x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 1782.69/1783.33 v x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 1782.69/1783.33 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 1782.69/1783.33 v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 1782.69/1783.33 v -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 1782.69/1783.33 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1782.69/1783.33 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1782.69/1783.33 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 1782.69/1783.33 v -x249 x250 x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 1782.69/1783.33 v -x270 -x271 -x272 x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 1782.69/1783.33 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 1782.69/1783.33 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x361 -x362 1782.69/1783.33 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1782.69/1783.33 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1782.69/1783.33 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1782.69/1783.33 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1782.69/1783.33 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 1782.69/1783.33 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1782.69/1783.33 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1782.69/1783.33 v -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1782.69/1783.33 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1171 -x1172 -x1173 1782.69/1783.33 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 1782.69/1783.33 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1782.69/1783.33 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1782.69/1783.33 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 1782.69/1783.33 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1782.69/1783.33 v -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 -x1268 -x1269 -x1270 x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1782.69/1783.33 v -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1782.69/1783.33 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 1782.69/1783.33 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1782.69/1783.33 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 1782.69/1783.33 v -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 x1364 1782.69/1783.33 v x1365 x1366 -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x721 -x722 1782.69/1783.33 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 x738 x739 -x740 -x741 -x742 -x743 1782.69/1783.33 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 -x762 x763 x764 -x765 x766 1782.69/1783.33 v x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 1782.69/1783.33 v x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1782.69/1783.33 v x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 1782.69/1783.33 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1782.69/1783.33 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 x873 x874 x875 x876 x877 1782.69/1783.33 v x878 x879 x880 x881 x882 x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1782.69/1783.33 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1782.69/1783.33 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 1782.69/1783.33 v x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 1782.69/1783.33 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 1782.69/1783.33 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 1782.69/1783.33 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1782.69/1783.33 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 1782.69/1783.33 v -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 1782.69/1783.33 v -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 1782.69/1783.33 v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 1782.69/1783.33 v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1782.69/1783.33 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1782.69/1783.33 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1782.69/1783.33 v -x1170 x1381 x1392 -x1382 -x1383 -x1384 -x1385 -x1386 x1399 x1387 x1388 -x1389 -x1390 x1400 x1391 x1393 x1397 x1401 x1394 1782.69/1783.33 v -x1395 -x1396 x1398 -x1402 -x1403 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1782.69/1783.33 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1782.69/1783.33 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1782.69/1783.33 v x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 x1481 -x1482 -x1483 1782.69/1783.33 v -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 x1494 x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1782.69/1783.33 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1782.69/1783.33 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1782.69/1783.33 v -x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 x1554 1782.69/1783.33 v x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 x1571 x1572 1782.69/1783.33 v x1573 x1574 x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 1782.69/1783.33 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1782.69/1783.33 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1782.69/1783.33 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 x1641 x1642 -x1643 1782.69/1783.33 v -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1782.69/1783.33 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1782.69/1783.33 v -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 x1692 x1693 x1694 x1695 1782.69/1783.33 v x1696 x1697 x1698 x1699 x1700 x1701 x1702 x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 1782.69/1783.33 v -x1715 -x1716 -x1717 -x1718 -x1719 x1720 x1721 x1722 x1723 x1724 -x1725 -x1726 -x1727 x1728 x1729 x1730 x1731 x1732 x1733 1782.69/1783.33 v -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 1782.69/1783.33 v -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1782.69/1783.33 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1782.69/1783.33 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 1782.69/1783.33 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 x1818 x1819 x1820 -x1821 1782.69/1783.33 v x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1782.69/1783.33 v x1840 x1841 x1842 x1843 -x1844 x1845 x1846 x1847 x1848 x1849 x1850 -x1851 x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1782.69/1783.33 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 x1873 x1874 x1875 x1876 1782.69/1783.33 v x1877 x1878 x1879 x1880 x1881 x1882 x1883 -x1884 x1885 -x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1782.69/1783.33 v -x1896 -x1897 -x1898 -x1899
OK 1552
/tmp/evaluation/351371-1176597567/instance-351371-1176597567.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-351371-1176597567 -o ROOT/results/node14/solver-351371-1176597567 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351371-1176597567/instance-351371-1176597567.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31922 /proc/meminfo: memFree=1618728/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=2552 CPUtime=0 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 107674459 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 638 230 193 16 0 77 0 [startup+0.0964091 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31922 /proc/meminfo: memFree=1618728/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=3840 CPUtime=0.09 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 566 0 0 0 9 0 0 0 18 0 1 0 107674459 3932160 536 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 960 536 205 16 0 399 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3840 [startup+0.102409 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31922 /proc/meminfo: memFree=1618728/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=3840 CPUtime=0.09 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 570 0 0 0 9 0 0 0 18 0 1 0 107674459 3932160 540 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 960 540 205 16 0 399 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3840 [startup+0.302429 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31922 /proc/meminfo: memFree=1618728/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=3968 CPUtime=0.29 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 616 0 0 0 29 0 0 0 19 0 1 0 107674459 4063232 586 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 992 586 205 16 0 431 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3968 [startup+0.702469 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31922 /proc/meminfo: memFree=1618728/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=3968 CPUtime=0.69 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 616 0 0 0 69 0 0 0 23 0 1 0 107674459 4063232 586 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134554331 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 992 586 205 16 0 431 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3968 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1617120/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=4100 CPUtime=1.49 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 633 0 0 0 149 0 0 0 25 0 1 0 107674459 4198400 603 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 1025 603 205 16 0 464 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4100 [startup+3.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1616928/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=4356 CPUtime=3.09 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 691 0 0 0 309 0 0 0 25 0 1 0 107674459 4460544 661 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520215 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 1089 661 205 16 0 528 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4356 [startup+6.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1616112/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=4752 CPUtime=6.29 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 807 0 0 0 629 0 0 0 25 0 1 0 107674459 4866048 777 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 1188 777 205 16 0 627 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4752 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1615664/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=5144 CPUtime=12.69 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 913 0 0 0 1269 0 0 0 25 0 1 0 107674459 5267456 883 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520059 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 1286 883 205 16 0 725 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5144 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1614576/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=6284 CPUtime=25.48 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 1191 0 0 0 2548 0 0 0 25 0 1 0 107674459 6434816 1161 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 1571 1161 205 16 0 1010 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6284 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1614256/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=6628 CPUtime=51.08 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 1275 0 0 0 5107 1 0 0 25 0 1 0 107674459 6787072 1245 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 1657 1245 205 16 0 1096 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 6628 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1609968/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=10636 CPUtime=102.27 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 2357 0 0 0 10222 5 0 0 25 0 1 0 107674459 10891264 2257 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 2659 2257 205 16 0 2098 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10636 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1609968/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=10636 CPUtime=162.25 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 2357 0 0 0 16217 8 0 0 25 0 1 0 107674459 10891264 2257 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 2659 2257 205 16 0 2098 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10636 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1607664/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=13080 CPUtime=222.23 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3062 0 0 0 22203 20 0 0 25 0 1 0 107674459 13393920 2853 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3270 2853 205 16 0 2709 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 13080 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 3/78 31923 /proc/meminfo: memFree=1607472/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=13260 CPUtime=282.22 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3329 0 0 0 28166 56 0 0 25 0 1 0 107674459 13578240 2899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3315 2899 205 16 0 2754 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 13260 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1607408/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=13260 CPUtime=342.2 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3329 0 0 0 34130 90 0 0 25 0 1 0 107674459 13578240 2899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3315 2899 205 16 0 2754 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 13260 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1607472/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=13260 CPUtime=402.18 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3329 0 0 0 40088 130 0 0 25 0 1 0 107674459 13578240 2899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3315 2899 205 16 0 2754 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 13260 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1607472/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=13260 CPUtime=462.16 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3329 0 0 0 46030 186 0 0 25 0 1 0 107674459 13578240 2899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3315 2899 205 16 0 2754 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 13260 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1607472/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=13260 CPUtime=522.15 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3329 0 0 0 51962 253 0 0 25 0 1 0 107674459 13578240 2899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3315 2899 205 16 0 2754 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 13260 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1607472/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=13260 CPUtime=582.13 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3329 0 0 0 57891 322 0 0 25 0 1 0 107674459 13578240 2899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7361153 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3315 2899 205 16 0 2754 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 13260 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1606256/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=14404 CPUtime=642.12 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3623 0 0 0 63813 399 0 0 25 0 1 0 107674459 14749696 3193 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3601 3193 205 16 0 3040 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 14404 ################ # More data... # ################ /proc/meminfo: memFree=1605680/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15052 CPUtime=822.07 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3772 0 0 0 81792 415 0 0 25 0 1 0 107674459 15413248 3342 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3763 3342 205 16 0 3202 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 15052 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1605104/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15340 CPUtime=882.05 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 3996 0 0 0 87764 441 0 0 25 0 1 0 107674459 15708160 3432 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528635 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3835 3432 205 16 0 3274 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 15340 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1605104/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15340 CPUtime=942.03 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4063 0 0 0 93726 477 0 0 25 0 1 0 107674459 15708160 3432 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528110 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3835 3432 205 16 0 3274 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 15340 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1605232/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15340 CPUtime=1002.02 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4063 0 0 0 99720 482 0 0 25 0 1 0 107674459 15708160 3432 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3835 3432 205 16 0 3274 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 15340 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1605296/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15340 CPUtime=1062 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4063 0 0 0 105713 487 0 0 25 0 1 0 107674459 15708160 3432 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527966 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3835 3432 205 16 0 3274 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 15340 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1605296/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15404 CPUtime=1121.99 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4071 0 0 0 111708 491 0 0 25 0 1 0 107674459 15773696 3440 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3851 3440 205 16 0 3290 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 15404 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1605232/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15340 CPUtime=1181.97 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4197 0 0 0 117700 497 0 0 25 0 1 0 107674459 15708160 3432 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3835 3432 205 16 0 3274 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 15340 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31923 /proc/meminfo: memFree=1604976/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1241.95 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4326 0 0 0 123694 501 0 0 25 0 1 0 107674459 16244736 3533 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3533 205 16 0 3405 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 15864 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 31995 /proc/meminfo: memFree=1603504/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1301.91 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4326 0 0 0 129684 507 0 0 25 0 1 0 107674459 16244736 3533 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559559 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3533 205 16 0 3405 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 15864 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32121 /proc/meminfo: memFree=1604592/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15992 CPUtime=1361.81 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4364 0 0 0 135669 512 0 0 25 0 1 0 107674459 16375808 3571 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3998 3571 205 16 0 3437 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 15992 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32121 /proc/meminfo: memFree=1604592/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1421.79 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4373 0 0 0 141663 516 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 15864 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32121 /proc/meminfo: memFree=1604656/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1481.77 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4373 0 0 0 147658 519 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 15864 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32121 /proc/meminfo: memFree=1604720/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1541.75 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4373 0 0 0 153651 524 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 15864 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32121 /proc/meminfo: memFree=1604656/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1601.74 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4373 0 0 0 159645 529 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 15864 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32121 /proc/meminfo: memFree=1604720/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1661.72 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4373 0 0 0 165636 536 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 15864 [startup+1722.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 32121 /proc/meminfo: memFree=1604720/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1721.71 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4387 0 0 0 171628 543 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 15864 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 32121 /proc/meminfo: memFree=1604784/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1781.69 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4387 0 0 0 177618 551 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 15864 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.01 1.01 1.00 2/78 32121 /proc/meminfo: memFree=1604784/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1782.49 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4387 0 0 0 177698 551 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (KiB) 15864 [startup+1783.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 32121 /proc/meminfo: memFree=1604784/2055920 swapFree=4149088/4192956 [pid=31922] ppid=31920 vsize=15864 CPUtime=1782.69 /proc/31922/stat : 31922 (Pueblo) R 31920 31922 2817 0 -1 4194304 4387 0 0 0 177718 551 0 0 25 0 1 0 107674459 16244736 3562 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/31922/statm: 3966 3562 205 16 0 3405 0 Current children cumulated CPU time (s) 1782.69 Current children cumulated vsize (KiB) 15864 Child status: 10 Real time (s): 1783.34 CPU time (s): 1782.74 CPU user time (s): 1777.22 CPU system time (s): 5.51916 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 16000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.22 system time used= 5.51916 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4394 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 2887 runsolver used 2.09068 second user time and 4.02239 second system time The end
Begin job on node14 on Sun Apr 15 00:39:27 UTC 2007 IDJOB= 351371 IDBENCH= 1737 IDSOLVER= 165 FILE ID= node14/351371-1176597567 PBS_JOBID= 4556814 Free space on /tmp= 66559 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3a.opb COMMAND LINE= Pueblo /tmp/evaluation/351371-1176597567/instance-351371-1176597567.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-351371-1176597567 -o ROOT/results/node14/conversion-351371-1176597567 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351371-1176597567/instance-351371-1176597567.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-351371-1176597567 -o ROOT/results/node14/solver-351371-1176597567 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351371-1176597567/instance-351371-1176597567.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 959ce68b75ceb21d2cb97576331899fc RANDOM SEED= 823520802 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.227 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.227 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: 1619136 kB Buffers: 89980 kB Cached: 277092 kB SwapCached: 11892 kB Active: 167400 kB Inactive: 230328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1619136 kB SwapTotal: 4192956 kB SwapFree: 4149088 kB Dirty: 2368 kB Writeback: 0 kB Mapped: 34616 kB Slab: 24588 kB Committed_AS: 5947816 kB PageTables: 1796 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66559 MiB End job on node14 on Sun Apr 15 01:09:11 UTC 2007