Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 1552 | 1782.74 | 1783.36 |
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 | 1345 |
Best CPU time to get the best result obtained on this benchmark | 1800.39 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.03 c starting to Solve 0.03 c #variables read: 2219 - #constraints read: 152 53.95 o 18301 53.95 o 18299 53.95 o 18298 53.97 o 17663 53.97 o 17345 53.97 o 17186 53.97 o 17107 53.97 o 17097 53.98 o 17092 53.98 o 17090 53.98 o 17028 53.98 o 16710 53.98 o 16392 53.99 o 16233 53.99 o 16074 53.99 o 15995 53.99 o 15916 54.00 o 15876 54.00 o 15856 54.00 o 15846 54.01 o 15841 54.01 o 15839 54.01 o 15836 54.02 o 15831 54.02 o 15826 54.02 o 15824 54.03 o 15822 54.03 o 15320 54.04 o 15300 54.04 o 15002 54.04 o 14982 54.05 o 14923 54.05 o 14903 54.05 o 14883 54.05 o 14863 54.06 o 14843 54.06 o 14841 54.07 o 14831 54.08 o 14826 54.09 o 14824 54.10 o 14682 54.10 o 14603 54.11 o 14588 54.11 o 14586 54.11 o 14580 54.12 o 14578 54.12 o 14576 54.13 o 14575 54.13 o 14573 54.13 o 14571 54.14 o 14569 54.20 o 13970 54.20 o 13652 54.20 o 13560 54.21 o 13481 54.21 o 13478 54.21 o 13399 54.22 o 13372 54.22 o 13359 54.23 o 13357 54.23 o 13339 54.23 o 13327 54.23 o 13325 54.24 o 13317 54.24 o 13315 54.25 o 13313 54.25 o 13312 54.26 o 13310 54.27 o 13308 54.34 o 13306 54.42 o 12719 54.42 o 12401 54.43 o 12394 54.43 o 12374 54.45 o 12371 54.45 o 12369 54.48 o 12341 54.49 o 12336 54.49 o 12329 54.50 o 12324 54.50 o 12322 54.51 o 12317 54.51 o 12312 54.59 o 12309 54.59 o 12307 54.75 o 12306 54.76 o 12305 69.47 o 12182 69.47 o 12177 69.47 o 12103 69.48 o 12091 69.48 o 12076 69.49 o 12071 69.49 o 12061 69.50 o 12056 69.51 o 12054 69.93 o 12052 69.96 o 12050 193.46 o 11508 193.47 o 11503 193.47 o 11190 193.48 o 11044 193.51 o 11014 193.51 o 11009 193.52 o 10954 193.53 o 10935 193.53 o 10930 193.54 o 10920 193.55 o 10915 193.58 o 10913 193.62 o 10908 193.63 o 10907 193.65 o 10902 193.66 o 10895 193.66 o 10890 193.67 o 10885 193.76 o 10883 193.76 o 10881 193.78 o 10878 193.79 o 10875 194.54 o 10870 194.56 o 10865 196.68 o 10863 196.95 o 10860 196.96 o 10855 197.62 o 10853 236.35 o 10849 236.35 o 10844 236.36 o 10842 236.36 o 10841 236.36 o 10838 236.36 o 10836 578.93 o 4280 578.93 o 3962 578.94 o 3803 578.94 o 3724 578.95 o 3684 578.95 o 3664 578.96 o 3654 578.96 o 3649 578.97 o 3644 578.98 o 3485 578.99 o 3406 578.99 o 3366 578.99 o 3346 579.00 o 3336 579.01 o 3331 579.02 o 3326 579.03 o 3247 579.03 o 3207 579.04 o 3187 579.04 o 3177 579.05 o 3172 579.06 o 3168 579.06 o 3128 579.07 o 3108 579.08 o 3098 579.08 o 3093 579.11 o 3088 579.12 o 3083 579.13 o 3078 579.14 o 3076 579.15 o 3018 579.16 o 3013 579.17 o 2859 579.18 o 2854 579.20 o 2700 579.20 o 2695 579.22 o 2621 579.23 o 2616 579.24 o 2542 579.25 o 2537 579.26 o 2502 579.28 o 2497 579.29 o 2482 579.30 o 2477 579.32 o 2472 579.33 o 2467 579.34 o 2462 579.36 o 2460 579.39 o 2457 579.41 o 2452 579.44 o 2447 579.45 o 2445 579.46 o 2443 579.50 o 2263 579.51 o 1945 579.51 o 1925 579.52 o 1920 579.53 o 1905 579.53 o 1900 579.54 o 1888 579.55 o 1883 579.55 o 1766 579.89 o 1765 579.90 o 1763 579.93 o 1760 579.95 o 1758 582.71 o 1757 582.92 o 1756 609.44 o 1754 609.47 o 1685 609.49 o 1681 609.53 o 1671 609.58 o 1632 787.21 o 1631 793.42 o 1629 797.63 o 1627 797.67 o 1617 797.70 o 1607 797.73 o 1605 797.78 o 1603 797.79 o 1591 797.82 o 1589 797.84 o 1571 812.93 o 1569 812.95 o 1567 813.65 o 1566 919.33 o 1564 919.74 o 1561 919.75 o 1560 920.80 o 1559 920.82 o 1558 920.86 o 1557 920.86 o 1556 921.09 o 1555 921.10 o 1554 921.14 o 1553 921.14 o 1552 1783.35 c total time : 1783 s 1783.35 s SATISFIABLE 1783.35 v -x1404 -x1411 -x1414 x1415 x1416 -x1417 -x1418 -x1419 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 x1413 -x2060 -x2061 1783.35 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1783.35 v -x2139 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1783.35 v -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1783.35 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1783.35 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 1783.35 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 1783.35 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 1783.35 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1783.35 v -x2129 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1783.35 v -x2156 -x2157 -x2158 -x2159 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1970 x1971 x1972 -x1973 1783.35 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 1783.35 v -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 1783.35 v -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 1783.35 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x1910 -x1911 x1912 -x1913 -x1914 1783.35 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 x1932 1783.35 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1783.35 v -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 1783.35 v -x1968 -x1969 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1783.35 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 1783.35 v -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 1783.35 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x481 x482 -x483 -x484 1783.35 v x485 x486 -x487 -x488 x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1783.35 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1783.35 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1783.35 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1783.35 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 1783.35 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 x605 x606 -x607 -x608 x609 -x610 -x611 x612 -x613 -x614 -x615 1783.35 v x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 x635 x636 x637 1783.35 v -x638 x639 -x640 -x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1783.35 v -x659 -x660 x661 x662 x663 -x664 x665 -x666 -x667 x668 x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1783.35 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 1783.35 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 1783.35 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 1783.35 v x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 1783.35 v -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 1783.35 v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 1783.35 v -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 1783.35 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1783.35 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1783.35 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 1783.35 v -x249 x250 x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 1783.35 v -x270 -x271 -x272 x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 1783.35 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 1783.35 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x361 -x362 1783.35 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1783.35 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1783.35 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1783.35 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1783.35 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 1783.35 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1783.35 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1783.35 v -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1783.35 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1171 -x1172 -x1173 1783.35 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 1783.35 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1783.35 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1783.35 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 1783.35 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 1783.35 v -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 -x1268 -x1269 -x1270 x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1783.35 v -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1783.35 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 1783.35 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1783.35 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 1783.35 v -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 x1364 1783.35 v x1365 x1366 -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x721 -x722 1783.35 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 x738 x739 -x740 -x741 -x742 -x743 1783.35 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 -x762 x763 x764 -x765 x766 1783.35 v x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 1783.35 v x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1783.35 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 1783.35 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1783.35 v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 x873 x874 x875 x876 x877 1783.35 v x878 x879 x880 x881 x882 x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1783.35 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1783.35 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 1783.35 v x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 1783.35 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 1783.35 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 1783.35 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1783.35 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 1783.35 v -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 1783.35 v -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 1783.35 v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 1783.35 v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1783.35 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1783.35 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1783.35 v -x1170 x1381 x1392 -x1382 -x1383 -x1384 -x1385 -x1386 x1399 x1387 x1388 -x1389 -x1390 x1400 x1391 x1393 x1397 x1401 x1394 1783.35 v -x1395 -x1396 x1398 -x1402 -x1403 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1783.35 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1783.35 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1783.35 v x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 x1481 -x1482 -x1483 1783.35 v -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 x1494 x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1783.35 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1783.35 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1783.35 v -x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 x1554 1783.35 v x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 x1571 x1572 1783.35 v x1573 x1574 x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 1783.35 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1783.35 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1783.35 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 x1641 x1642 -x1643 1783.35 v -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1783.35 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1783.35 v -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 x1692 x1693 x1694 x1695 1783.35 v x1696 x1697 x1698 x1699 x1700 x1701 x1702 x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 1783.35 v -x1715 -x1716 -x1717 -x1718 -x1719 x1720 x1721 x1722 x1723 x1724 -x1725 -x1726 -x1727 x1728 x1729 x1730 x1731 x1732 x1733 1783.35 v -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 1783.35 v -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1783.35 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1783.35 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 1783.35 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 x1818 x1819 x1820 -x1821 1783.35 v x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1783.35 v x1840 x1841 x1842 x1843 -x1844 x1845 x1846 x1847 x1848 x1849 x1850 -x1851 x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1783.35 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 x1873 x1874 x1875 x1876 1783.35 v x1877 x1878 x1879 x1880 x1881 x1882 x1883 -x1884 x1885 -x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1783.35 v -x1896 -x1897 -x1898 -x1899
OK 1552
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/node65/watcher-37685-1149347146 -o ROOT/results/node65/solver-37685-1149347146 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node65/37685-1149347146/instance-37685-1149347146.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1774048/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=2328 CPUtime=0 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 200383934 2383872 130 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 5655416 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 582 130 111 16 0 11 0 [startup+10.0019 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1771368/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=5164 CPUtime=9.99 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 896 0 0 0 999 0 0 0 25 0 1 0 200383934 5287936 867 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 1291 867 205 16 0 732 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 5164 [startup+20.0075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1770408/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=6056 CPUtime=19.99 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 1129 0 0 0 1999 0 0 0 25 0 1 0 200383934 6201344 1100 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 1514 1100 205 16 0 955 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 6056 [startup+30.0132 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1770024/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=6416 CPUtime=30 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 1223 0 0 0 3000 0 0 0 25 0 1 0 200383934 6569984 1194 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 1604 1194 205 16 0 1045 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6416 [startup+40.0189 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1769896/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=6548 CPUtime=39.99 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 1264 0 0 0 3999 0 0 0 25 0 1 0 200383934 6705152 1235 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 1637 1235 205 16 0 1078 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 6548 [startup+50.0245 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1769832/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=6676 CPUtime=50 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 1280 0 0 0 5000 0 0 0 25 0 1 0 200383934 6836224 1251 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 1669 1251 205 16 0 1110 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6676 [startup+60.0302 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1766056/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10444 CPUtime=60 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2231 0 0 0 5998 2 0 0 25 0 1 0 200383934 10694656 2202 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2611 2202 205 16 0 2052 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 10444 [startup+70.0358 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765992/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10572 CPUtime=70 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2247 0 0 0 6998 2 0 0 25 0 1 0 200383934 10825728 2218 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2643 2218 205 16 0 2084 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 10572 [startup+80.0415 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765864/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10572 CPUtime=80 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2264 0 0 0 7997 3 0 0 25 0 1 0 200383934 10825728 2235 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2643 2235 205 16 0 2084 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 10572 [startup+90.0471 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765480/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10960 CPUtime=90 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 8997 3 0 0 25 0 1 0 200383934 11223040 2338 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2740 2338 205 16 0 2181 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 10960 [startup+100.053 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=100.01 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 9997 4 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 10656 [startup+110.058 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=110.01 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 10997 4 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 10656 [startup+120.064 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=120.01 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 11997 4 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 10656 [startup+130.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=130.02 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 12997 5 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 10656 [startup+140.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=140.02 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 13997 5 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 10656 [startup+150.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=150.02 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 14997 5 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 10656 [startup+160.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=160.02 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 15997 5 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 10656 [startup+170.092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=170.03 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 16997 6 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 10656 [startup+180.098 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765544/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10656 CPUtime=180.02 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2367 0 0 0 17996 6 0 0 25 0 1 0 200383934 10911744 2266 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528015 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2664 2266 205 16 0 2105 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 10656 [startup+190.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1765608/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=10784 CPUtime=190.03 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2380 0 0 0 18996 7 0 0 25 0 1 0 200383934 11042816 2279 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 2696 2279 205 16 0 2137 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 10784 [startup+200.109 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1763752/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=12740 CPUtime=200.03 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 2872 0 0 0 19994 9 0 0 25 0 1 0 200383934 13045760 2771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3185 2771 205 16 0 2626 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 12740 [startup+210.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1763560/2055920 swapFree=4181844/4192956 ################ # More data... # ################ /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1590.36 Current children cumulated vsize (Kb) 15856 [startup+1600.92 s] /proc/loadavg: 1.01 1.01 1.00 2/64 6970 /proc/meminfo: memFree=1760360/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1600.36 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4182 0 0 0 159503 533 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1600.36 Current children cumulated vsize (Kb) 15856 [startup+1610.93 s] /proc/loadavg: 1.01 1.01 1.00 2/64 6970 /proc/meminfo: memFree=1760360/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1610.36 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4182 0 0 0 160502 534 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557904 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1610.36 Current children cumulated vsize (Kb) 15856 [startup+1620.93 s] /proc/loadavg: 1.01 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1760424/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1620.36 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4182 0 0 0 161500 536 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1620.36 Current children cumulated vsize (Kb) 15856 [startup+1630.94 s] /proc/loadavg: 1.01 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1760424/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1630.36 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4182 0 0 0 162498 538 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1630.36 Current children cumulated vsize (Kb) 15856 [startup+1640.94 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1760424/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1640.36 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4182 0 0 0 163497 539 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528603 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1640.36 Current children cumulated vsize (Kb) 15856 [startup+1650.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6970 /proc/meminfo: memFree=1760424/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1650.37 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4182 0 0 0 164496 541 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1650.37 Current children cumulated vsize (Kb) 15856 [startup+1660.95 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15988 CPUtime=1660.38 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4202 0 0 0 165496 542 0 0 25 0 1 0 200383934 16371712 3584 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3997 3584 205 16 0 3438 0 Current children cumulated CPU time (s) 1660.38 Current children cumulated vsize (Kb) 15988 [startup+1670.96 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1670.38 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 166495 543 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1670.38 Current children cumulated vsize (Kb) 15856 [startup+1680.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1680.38 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 167495 543 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1680.38 Current children cumulated vsize (Kb) 15856 [startup+1690.97 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1690.38 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 168494 544 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1690.38 Current children cumulated vsize (Kb) 15856 [startup+1700.98 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1700.39 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 169493 546 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1700.39 Current children cumulated vsize (Kb) 15856 [startup+1710.98 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1710.39 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 170492 547 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1710.39 Current children cumulated vsize (Kb) 15856 [startup+1720.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1720.39 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 171491 548 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1720.39 Current children cumulated vsize (Kb) 15856 [startup+1730.99 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1730.39 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 172491 548 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528581 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1730.39 Current children cumulated vsize (Kb) 15856 [startup+1741 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1740.39 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 173490 549 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1740.39 Current children cumulated vsize (Kb) 15856 [startup+1751.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1750.39 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 174489 550 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1750.39 Current children cumulated vsize (Kb) 15856 [startup+1761.01 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1760.4 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 175489 551 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1760.4 Current children cumulated vsize (Kb) 15856 [startup+1771.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1770.4 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 176488 552 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 15856 [startup+1781.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1780.41 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 177488 553 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1780.41 Current children cumulated vsize (Kb) 15856 [startup+1782.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1781.41 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 177588 553 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 15856 [startup+1783.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6972 /proc/meminfo: memFree=1760296/2055920 swapFree=4181844/4192956 [pid=6970] ppid=6968 vsize=15856 CPUtime=1782.41 /proc/6970/stat : 6970 (Pueblo13) R 6968 6970 6924 0 -1 4194304 4218 0 0 0 177688 553 0 0 25 0 1 0 200383934 16236544 3564 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528023 0 0 4096 0 0 0 0 17 1 0 0 /proc/6970/statm: 3964 3564 205 16 0 3405 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 15856 Child status: 10 Real time (s): 1783.36 CPU time (s): 1782.74 CPU user time (s): 1777.2 CPU system time (s): 5.53616 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (Kb): 16024
Begin job on node65 on Sat Jun 3 15:05:46 UTC 2006 FILE ID= 37685-1149347146 PBS_JOBID= 310754 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= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node65/37685-1149347146/instance-37685-1149347146.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-37685-1149347146 -o ROOT/results/node65/solver-37685-1149347146 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node65/37685-1149347146/instance-37685-1149347146.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 959ce68b75ceb21d2cb97576331899fc RANDOM SEED= 562115276 /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.283 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.283 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: 1774192 kB Buffers: 17284 kB Cached: 200940 kB SwapCached: 2776 kB Active: 52268 kB Inactive: 174616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1774192 kB SwapTotal: 4192956 kB SwapFree: 4181844 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14748 kB Slab: 40760 kB Committed_AS: 337272 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node65 on Sat Jun 3 15:35:30 UTC 2006