Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 26 | 1782.74 | 1783.44 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb |
MD5SUM | 374deb5d477559ba9c51d0ad1d758624 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 27.8308 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | YES |
Number of variables | 2112 |
Total number of constraints | 5020 |
Number of constraints which are clauses | 4128 |
Number of constraints which are cardinality constraints (but not clauses) | 216 |
Number of constraints which are nor clauses,nor cardinality constraints | 676 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 288 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 288 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 288 |
Number of bits of the biggest sum of numbers | 9 |
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.11 c starting to Solve 0.11 c #variables read: 2112 - #constraints read: 5121 0.12 o 29 0.13 o 28 0.17 o 27 4.35 o 26 1783.43 c total time : 1783 s 1783.43 s SATISFIABLE 1783.43 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1783.43 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 1783.43 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 1783.43 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 1783.43 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1783.43 v -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 -x1928 1783.43 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1783.43 v -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 1783.43 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 1783.43 v x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 1783.43 v -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 1783.43 v -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 1783.43 v -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 1783.43 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1783.43 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 1783.43 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1783.43 v -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x1 -x6 -x11 -x16 -x21 -x26 x31 -x36 -x41 -x46 -x51 -x56 -x61 1783.43 v -x66 -x71 -x76 -x81 -x86 -x91 -x96 -x101 -x106 -x111 -x116 -x121 -x126 -x131 -x136 -x141 -x146 -x151 -x156 -x62 -x67 -x72 -x77 1783.43 v -x142 -x147 -x152 -x157 -x362 -x367 -x372 -x377 -x382 -x387 -x392 -x397 -x442 -x447 -x452 x457 -x462 -x467 -x472 -x477 -x3 1783.43 v -x8 -x13 -x18 -x83 -x88 -x93 -x98 -x163 x168 -x173 -x178 -x183 -x188 -x193 -x198 -x203 -x208 -x213 -x218 -x223 -x228 -x233 1783.43 v -x238 -x24 -x29 -x34 -x39 -x104 -x109 -x114 -x119 -x204 -x209 -x214 -x219 -x224 -x229 -x234 -x239 x244 -x249 -x254 -x259 -x264 1783.43 v -x269 -x274 -x279 -x284 -x289 -x294 -x299 -x304 -x309 -x314 -x319 -x25 -x30 -x35 -x40 -x105 -x110 -x115 -x120 -x205 -x210 1783.43 v -x215 -x220 x225 -x230 -x235 -x240 -x245 -x250 -x255 -x260 -x265 -x270 -x275 -x280 -x285 -x290 -x295 -x300 -x305 -x310 -x315 1783.43 v -x320 -x721 -x726 x731 -x736 -x741 -x746 -x751 -x756 -x761 -x766 -x771 -x776 -x781 -x786 -x791 -x796 -x801 -x806 -x811 -x816 1783.43 v -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 -x866 -x871 -x876 -x782 -x787 -x792 -x797 -x862 x867 -x872 -x877 -x1082 1783.43 v -x1087 -x1092 -x1097 -x1102 -x1107 -x1112 -x1117 -x1162 -x1167 -x1172 -x1177 -x1182 -x1187 -x1192 -x1197 -x723 -x728 -x733 1783.43 v -x738 -x803 -x808 x813 -x818 -x883 -x888 -x893 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 -x948 -x953 -x958 1783.43 v -x744 -x749 -x754 -x759 -x824 -x829 -x834 -x839 -x924 -x929 -x934 -x939 x944 -x949 -x954 -x959 -x964 -x969 -x974 -x979 -x984 1783.43 v -x989 -x994 -x999 -x1004 -x1009 -x1014 -x1019 -x1024 -x1029 -x1034 -x1039 -x745 -x750 -x755 -x760 -x825 -x830 -x835 -x840 1783.43 v -x925 -x930 -x935 -x940 -x945 -x950 -x955 -x960 -x965 -x970 x975 -x980 -x985 -x990 -x995 -x1000 -x1005 -x1010 -x1015 -x1020 1783.43 v -x1025 -x1030 -x1035 -x1040 -x481 -x486 -x491 -x496 -x501 -x506 -x511 -x516 -x601 -x606 x611 -x616 -x621 -x626 -x631 -x636 1783.43 v -x641 -x646 -x651 -x656 -x661 -x666 -x671 -x676 -x681 -x686 -x691 -x696 -x701 -x706 -x711 -x716 -x162 -x167 -x172 -x177 -x182 1783.43 v -x187 -x192 -x197 -x322 -x327 -x332 -x337 -x342 -x347 -x352 -x357 -x482 -x487 -x492 -x497 x502 -x507 -x512 -x517 -x443 -x448 1783.43 v -x453 -x458 -x463 -x468 -x473 -x478 -x563 -x568 x573 -x578 -x583 -x588 -x593 -x598 -x683 -x688 -x693 -x698 -x703 -x708 -x713 1783.43 v -x718 -x444 -x449 -x454 -x459 -x464 -x469 -x474 -x479 -x564 -x569 x574 -x579 -x584 -x589 -x594 -x599 -x684 -x689 -x694 -x699 1783.43 v -x704 -x709 -x714 -x719 -x325 -x330 -x335 x340 -x345 -x350 -x355 -x360 -x525 -x530 -x535 -x540 -x545 -x550 -x555 -x560 -x605 1783.43 v -x610 -x615 -x620 -x625 -x630 -x635 -x640 -x1201 -x1206 -x1211 -x1216 -x1221 -x1226 -x1231 -x1236 -x1321 -x1326 -x1331 1783.43 v -x1336 -x1341 -x1346 -x1351 -x1356 -x1361 -x1366 -x1371 -x1376 -x1381 -x1386 -x1391 -x1396 x1401 -x1406 -x1411 -x1416 1783.43 v -x1421 -x1426 -x1431 -x1436 -x882 -x887 -x892 x897 -x902 -x907 -x912 -x917 -x1042 -x1047 -x1052 -x1057 -x1062 -x1067 -x1072 1783.43 v -x1077 -x1202 -x1207 -x1212 -x1217 -x1222 -x1227 -x1232 -x1237 -x1163 -x1168 x1173 -x1178 -x1183 -x1188 -x1193 -x1198 1783.43 v -x1283 -x1288 -x1293 -x1298 -x1303 -x1308 -x1313 -x1318 -x1403 -x1408 -x1413 -x1418 -x1423 -x1428 -x1433 -x1438 -x1164 1783.43 v -x1169 x1174 -x1179 -x1184 -x1189 -x1194 -x1199 -x1284 -x1289 -x1294 -x1299 -x1304 -x1309 -x1314 -x1319 -x1404 -x1409 1783.43 v -x1414 -x1419 -x1424 -x1429 -x1434 -x1439 -x1045 -x1050 -x1055 -x1060 -x1065 -x1070 -x1075 -x1080 -x1245 -x1250 -x1255 1783.43 v -x1260 -x1265 -x1270 -x1275 -x1280 -x1325 -x1330 -x1335 -x1340 -x1345 -x1350 -x1355 -x1360 -x161 -x166 -x171 -x176 -x181 1783.43 v -x186 -x191 -x196 -x201 -x206 -x211 -x216 -x221 -x226 -x231 -x236 x241 -x246 -x251 -x256 -x261 -x266 -x271 -x276 -x281 -x286 1783.43 v -x291 -x296 -x301 -x306 -x311 -x316 -x361 -x366 -x371 -x376 -x381 -x386 -x391 -x396 -x401 -x406 -x411 -x416 -x421 -x426 -x431 1783.43 v -x436 -x441 -x446 -x451 -x456 -x461 -x466 -x471 -x476 -x321 -x326 -x331 -x336 -x341 -x346 -x351 -x356 -x521 -x526 -x531 -x536 1783.43 v -x541 -x546 -x551 -x556 -x561 -x566 -x571 -x576 -x581 -x586 -x591 -x596 -x2 -x7 -x12 -x17 -x22 -x27 -x32 -x37 -x42 -x47 -x52 1783.43 v -x57 -x82 -x87 -x92 -x97 -x102 -x107 -x112 -x117 -x122 -x127 -x132 -x137 -x202 -x207 -x212 -x217 -x222 -x227 -x232 -x237 -x242 1783.43 v -x247 -x252 -x257 -x262 -x267 -x272 -x277 -x282 -x287 -x292 -x297 -x302 -x307 -x312 -x317 -x402 -x407 -x412 -x417 -x422 -x427 1783.43 v -x432 -x437 -x522 -x527 -x532 -x537 -x542 -x547 -x552 -x557 -x602 -x607 -x612 -x617 -x622 -x627 -x632 -x637 -x562 -x567 -x572 1783.43 v -x577 -x582 -x587 -x592 -x597 -x642 -x647 -x652 -x657 -x662 -x667 -x672 -x677 -x682 -x687 x692 -x697 -x702 -x707 -x712 -x717 1783.43 v -x23 -x28 -x33 -x38 -x43 -x48 -x53 -x58 -x63 -x68 -x73 -x78 -x103 -x108 -x113 -x118 -x123 -x128 -x133 -x138 -x143 -x148 -x153 1783.43 v -x158 -x243 -x248 -x253 -x258 -x263 -x268 -x273 -x278 -x283 -x288 -x293 -x298 -x303 -x308 -x313 -x318 -x363 -x368 -x373 -x378 1783.43 v -x383 -x388 -x393 -x398 -x403 -x408 -x413 -x418 -x423 -x428 -x433 -x438 -x323 -x328 -x333 -x338 -x343 -x348 -x353 -x358 -x483 1783.43 v -x488 -x493 x498 -x503 -x508 -x513 -x518 -x523 -x528 -x533 -x538 -x543 -x548 -x553 -x558 -x603 -x608 -x613 -x618 -x623 -x628 1783.43 v -x633 -x638 -x643 -x648 -x653 -x658 x663 -x668 -x673 -x678 -x4 -x9 -x14 -x19 -x44 -x49 -x54 -x59 -x64 -x69 -x74 -x79 -x84 -x89 1783.43 v -x94 -x99 -x124 -x129 -x134 -x139 -x144 -x149 -x154 -x159 -x164 -x169 -x174 -x179 -x184 -x189 -x194 -x199 -x364 -x369 -x374 1783.43 v -x379 -x384 -x389 -x394 -x399 -x404 -x409 -x414 -x419 -x424 -x429 -x434 -x439 -x324 -x329 -x334 -x339 -x344 -x349 -x354 -x359 1783.43 v -x484 -x489 -x494 -x499 -x504 -x509 -x514 -x519 -x524 -x529 -x534 -x539 -x544 -x549 -x554 -x559 -x604 -x609 x614 -x619 -x624 1783.43 v -x629 -x634 -x639 -x644 -x649 -x654 -x659 x664 -x669 -x674 -x679 -x5 -x10 -x15 -x20 -x45 -x50 -x55 -x60 -x65 -x70 -x75 -x80 1783.43 v -x85 -x90 -x95 -x100 -x125 -x130 -x135 -x140 -x145 -x150 -x155 -x160 -x165 x170 -x175 -x180 -x185 -x190 -x195 -x200 -x365 1783.43 v -x370 -x375 -x380 -x385 -x390 -x395 -x400 -x405 -x410 -x415 -x420 -x425 -x430 -x435 -x440 -x445 -x450 -x455 -x460 -x465 -x470 1783.43 v -x475 -x480 -x485 -x490 -x495 -x500 -x505 -x510 -x515 -x520 -x565 -x570 -x575 -x580 -x585 -x590 -x595 -x600 -x645 -x650 -x655 1783.43 v -x660 -x665 -x670 -x675 -x680 -x685 -x690 -x695 -x700 -x705 -x710 -x715 -x720 -x881 -x886 -x891 -x896 -x901 -x906 -x911 -x916 1783.43 v -x921 x926 -x931 -x936 -x941 -x946 -x951 -x956 -x961 -x966 -x971 -x976 -x981 -x986 -x991 -x996 -x1001 -x1006 x1011 -x1016 1783.43 v -x1021 -x1026 -x1031 -x1036 -x1081 -x1086 -x1091 x1096 -x1101 -x1106 -x1111 -x1116 -x1121 -x1126 -x1131 -x1136 -x1141 1783.43 v -x1146 -x1151 -x1156 -x1161 -x1166 x1171 -x1176 -x1181 -x1186 -x1191 -x1196 -x1041 -x1046 -x1051 -x1056 -x1061 -x1066 1783.43 v -x1071 -x1076 -x1241 -x1246 -x1251 -x1256 -x1261 -x1266 -x1271 -x1276 -x1281 -x1286 -x1291 -x1296 -x1301 -x1306 -x1311 1783.43 v -x1316 -x722 -x727 -x732 -x737 x742 -x747 -x752 -x757 -x762 -x767 -x772 -x777 -x802 -x807 -x812 -x817 -x822 -x827 -x832 -x837 1783.43 v -x842 -x847 -x852 -x857 -x922 -x927 -x932 -x937 x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987 -x992 -x997 -x1002 1783.43 v -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x1037 -x1122 -x1127 -x1132 -x1137 -x1142 -x1147 -x1152 -x1157 -x1242 -x1247 1783.43 v -x1252 -x1257 -x1262 -x1267 -x1272 -x1277 -x1322 -x1327 -x1332 -x1337 -x1342 -x1347 -x1352 -x1357 -x1282 -x1287 -x1292 1783.43 v -x1297 -x1302 -x1307 -x1312 -x1317 -x1362 -x1367 -x1372 -x1377 -x1382 -x1387 -x1392 -x1397 -x1402 -x1407 -x1412 -x1417 1783.43 v -x1422 -x1427 -x1432 -x1437 -x743 -x748 -x753 -x758 -x763 -x768 -x773 -x778 -x783 x788 -x793 -x798 -x823 -x828 -x833 -x838 1783.43 v -x843 -x848 -x853 -x858 -x863 -x868 -x873 -x878 -x963 -x968 -x973 -x978 -x983 -x988 -x993 -x998 -x1003 -x1008 -x1013 -x1018 1783.43 v -x1023 -x1028 -x1033 -x1038 -x1083 -x1088 -x1093 -x1098 -x1103 -x1108 -x1113 -x1118 -x1123 -x1128 -x1133 -x1138 -x1143 1783.43 v -x1148 -x1153 -x1158 -x1043 -x1048 -x1053 -x1058 -x1063 -x1068 -x1073 -x1078 -x1203 -x1208 -x1213 -x1218 -x1223 -x1228 1783.43 v -x1233 -x1238 -x1243 -x1248 -x1253 -x1258 -x1263 -x1268 -x1273 -x1278 -x1323 -x1328 -x1333 -x1338 -x1343 -x1348 -x1353 1783.43 v -x1358 -x1363 -x1368 -x1373 -x1378 -x1383 -x1388 -x1393 -x1398 -x724 -x729 -x734 -x739 x764 -x769 -x774 -x779 -x784 -x789 1783.43 v -x794 -x799 -x804 -x809 x814 -x819 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 -x894 -x899 -x904 -x909 -x914 1783.43 v -x919 -x1084 -x1089 -x1094 x1099 -x1104 -x1109 -x1114 -x1119 -x1124 -x1129 -x1134 -x1139 -x1144 -x1149 -x1154 -x1159 -x1044 1783.43 v -x1049 -x1054 -x1059 -x1064 -x1069 -x1074 -x1079 -x1204 -x1209 -x1214 -x1219 -x1224 -x1229 -x1234 -x1239 -x1244 -x1249 1783.43 v -x1254 -x1259 -x1264 -x1269 -x1274 -x1279 -x1324 -x1329 -x1334 -x1339 -x1344 -x1349 -x1354 -x1359 -x1364 -x1369 -x1374 1783.43 v -x1379 -x1384 -x1389 -x1394 -x1399 -x725 -x730 -x735 -x740 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 1783.43 v -x820 -x845 -x850 -x855 -x860 -x865 -x870 -x875 -x880 -x885 -x890 -x895 -x900 -x905 -x910 -x915 -x920 -x1085 -x1090 -x1095 1783.43 v -x1100 -x1105 -x1110 -x1115 -x1120 -x1125 -x1130 -x1135 -x1140 -x1145 -x1150 -x1155 -x1160 -x1165 -x1170 -x1175 -x1180 1783.43 v -x1185 -x1190 -x1195 -x1200 -x1205 -x1210 -x1215 -x1220 -x1225 -x1230 -x1235 -x1240 -x1285 -x1290 -x1295 -x1300 -x1305 1783.43 v -x1310 -x1315 -x1320 -x1365 -x1370 -x1375 -x1380 -x1385 -x1390 -x1395 -x1400 -x1405 -x1410 -x1415 -x1420 -x1425 -x1430 1783.43 v -x1435 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 -x1454 x1455 -x1456 1783.43 v -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1783.43 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1783.43 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1783.43 v -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 1783.43 v -x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 1783.43 v -x1545 -x1546 -x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 x1561 x1562 1783.43 v -x1563 -x1564 x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1783.43 v x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 1783.43 v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1783.43 v x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 1783.43 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1783.43 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1783.43 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 x1683 x1684 -x1685 1783.43 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 1783.43 v x1704 x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 1783.43 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 1783.43 v x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1783.43 v x1757 -x1758 x1759 -x1760 x1761 -x1762 x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1783.43 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1783.43 v -x1792 x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 x1801 -x1802 x1803 -x1804 x1805 -x1806 x1807 -x1808 -x1809 1783.43 v -x1810 x1811 -x1812 x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
OK 26
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/node45/watcher-36648-1149366748 -o ROOT/results/node45/solver-36648-1149366748 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node45/36648-1149366748/instance-36648-1149366748.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1466240/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=2572 CPUtime=0 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 98112550 2633728 226 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 643 229 193 16 0 84 0 [startup+10.0024 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1462088/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=6668 CPUtime=9.99 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1269 0 0 0 983 16 0 0 25 0 1 0 98112550 6828032 1240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 1667 1240 205 16 0 1108 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6668 [startup+20.0092 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1460808/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=7992 CPUtime=19.99 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1600 0 0 0 1974 25 0 0 25 0 1 0 98112550 8183808 1571 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 1998 1571 205 16 0 1439 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7992 [startup+30.0161 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1460616/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=8120 CPUtime=30 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1648 0 0 0 2961 39 0 0 25 0 1 0 98112550 8314880 1619 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2030 1619 205 16 0 1471 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 8120 [startup+40.0219 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1459912/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=8892 CPUtime=40 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1832 0 0 0 3949 51 0 0 25 0 1 0 98112550 9105408 1803 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2223 1803 205 16 0 1664 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 8892 [startup+50.0287 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1459784/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=9028 CPUtime=50 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1860 0 0 0 4937 63 0 0 25 0 1 0 98112550 9244672 1831 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2257 1831 205 16 0 1698 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 9028 [startup+60.0345 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1459400/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=9420 CPUtime=60.01 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 1962 0 0 0 5920 81 0 0 25 0 1 0 98112550 9646080 1933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2355 1933 205 16 0 1796 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 9420 [startup+70.0404 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1458632/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=10180 CPUtime=70.01 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2149 0 0 0 6910 91 0 0 25 0 1 0 98112550 10424320 2120 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2545 2120 205 16 0 1986 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 10180 [startup+80.0462 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1458376/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=10440 CPUtime=80 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2212 0 0 0 7900 100 0 0 25 0 1 0 98112550 10690560 2183 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2610 2183 205 16 0 2051 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 10440 [startup+90.052 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1457736/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=11072 CPUtime=90.01 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2367 0 0 0 8889 112 0 0 25 0 1 0 98112550 11337728 2338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2768 2338 205 16 0 2209 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 11072 [startup+100.058 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1456904/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=11976 CPUtime=100.01 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2582 0 0 0 9879 122 0 0 25 0 1 0 98112550 12263424 2553 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2994 2553 205 16 0 2435 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 11976 [startup+110.064 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1456904/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=11976 CPUtime=110.02 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2582 0 0 0 10867 135 0 0 25 0 1 0 98112550 12263424 2553 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2994 2553 205 16 0 2435 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 11976 [startup+120.069 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1456904/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=11976 CPUtime=120.02 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2582 0 0 0 11853 149 0 0 25 0 1 0 98112550 12263424 2553 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2994 2553 205 16 0 2435 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 11976 [startup+130.075 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1456904/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=11976 CPUtime=130.02 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2584 0 0 0 12847 155 0 0 25 0 1 0 98112550 12263424 2555 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 2994 2555 205 16 0 2435 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 11976 [startup+140.081 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1456776/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=12112 CPUtime=140.03 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2615 0 0 0 13840 163 0 0 25 0 1 0 98112550 12402688 2586 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 3028 2586 205 16 0 2469 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 12112 [startup+150.087 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1456456/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=12380 CPUtime=150.02 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2681 0 0 0 14829 173 0 0 25 0 1 0 98112550 12677120 2652 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 3095 2652 205 16 0 2536 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 12380 [startup+160.093 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1456200/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=12648 CPUtime=160.03 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 2748 0 0 0 15824 179 0 0 25 0 1 0 98112550 12951552 2719 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 3162 2719 205 16 0 2603 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 12648 [startup+170.099 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1453768/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=15092 CPUtime=170.03 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 3355 0 0 0 16818 185 0 0 25 0 1 0 98112550 15454208 3326 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 3773 3326 205 16 0 3214 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 15092 [startup+180.104 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1452040/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=16780 CPUtime=180.04 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 3793 0 0 0 17815 189 0 0 25 0 1 0 98112550 17182720 3764 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528544 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 4195 3764 205 16 0 3636 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 16780 [startup+190.11 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1451976/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=16780 CPUtime=190.04 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 3793 0 0 0 18811 193 0 0 25 0 1 0 98112550 17182720 3764 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 4195 3764 205 16 0 3636 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 16780 [startup+200.116 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1451976/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=16780 CPUtime=200.04 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 3793 0 0 0 19807 197 0 0 25 0 1 0 98112550 17182720 3764 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527236 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 4195 3764 205 16 0 3636 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 16780 [startup+210.122 s] /proc/loadavg: 1.00 0.99 0.97 2/64 30184 /proc/meminfo: memFree=1452040/2055920 swapFree=4191900/4192956 ################ # More data... # ################ /proc/30184/statm: 8362 7867 205 16 0 7803 0 Current children cumulated CPU time (s) 1590.4 Current children cumulated vsize (Kb) 33448 [startup+1600.98 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1434504/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34484 CPUtime=1600.4 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8228 0 0 0 159052 988 0 0 25 0 1 0 98112550 35311616 8098 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8621 8098 205 16 0 8062 0 Current children cumulated CPU time (s) 1600.4 Current children cumulated vsize (Kb) 34484 [startup+1610.99 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=35416 CPUtime=1610.4 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 160049 991 0 0 25 0 1 0 98112550 36265984 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520198 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8854 8348 205 16 0 8295 0 Current children cumulated CPU time (s) 1610.4 Current children cumulated vsize (Kb) 35416 [startup+1620.99 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=35400 CPUtime=1620.41 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 161046 995 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8850 8348 205 16 0 8291 0 Current children cumulated CPU time (s) 1620.41 Current children cumulated vsize (Kb) 35400 [startup+1631 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=35400 CPUtime=1630.41 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 162040 1001 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8850 8348 205 16 0 8291 0 Current children cumulated CPU time (s) 1630.41 Current children cumulated vsize (Kb) 35400 [startup+1641.01 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=35400 CPUtime=1640.42 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 163034 1008 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8850 8348 205 16 0 8291 0 Current children cumulated CPU time (s) 1640.42 Current children cumulated vsize (Kb) 35400 [startup+1651.01 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433480/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=35400 CPUtime=1650.41 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 164030 1011 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8850 8348 205 16 0 8291 0 Current children cumulated CPU time (s) 1650.41 Current children cumulated vsize (Kb) 35400 [startup+1661.02 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433416/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=35400 CPUtime=1660.42 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 165026 1016 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8850 8348 205 16 0 8291 0 Current children cumulated CPU time (s) 1660.42 Current children cumulated vsize (Kb) 35400 [startup+1671.03 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433416/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=35400 CPUtime=1670.42 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8478 0 0 0 166020 1022 0 0 25 0 1 0 98112550 36249600 8348 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8850 8348 205 16 0 8291 0 Current children cumulated CPU time (s) 1670.42 Current children cumulated vsize (Kb) 35400 [startup+1681.03 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433416/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=35208 CPUtime=1680.42 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8479 0 0 0 167015 1027 0 0 25 0 1 0 98112550 36052992 8307 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8802 8307 205 16 0 8243 0 Current children cumulated CPU time (s) 1680.42 Current children cumulated vsize (Kb) 35208 [startup+1691.04 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1690.42 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8479 0 0 0 168010 1032 0 0 25 0 1 0 98112550 35573760 8190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8190 205 16 0 8126 0 Current children cumulated CPU time (s) 1690.42 Current children cumulated vsize (Kb) 34740 [startup+1701.04 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1700.43 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8479 0 0 0 169007 1036 0 0 25 0 1 0 98112550 35573760 8190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8190 205 16 0 8126 0 Current children cumulated CPU time (s) 1700.43 Current children cumulated vsize (Kb) 34740 [startup+1711.05 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30184 /proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1710.43 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8479 0 0 0 170000 1043 0 0 25 0 1 0 98112550 35573760 8190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8190 205 16 0 8126 0 Current children cumulated CPU time (s) 1710.43 Current children cumulated vsize (Kb) 34740 [startup+1721.06 s] /proc/loadavg: 1.00 1.00 0.97 2/70 30247 /proc/meminfo: memFree=1432920/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1720.42 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 170991 1051 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1720.42 Current children cumulated vsize (Kb) 34740 [startup+1731.06 s] /proc/loadavg: 1.00 1.00 0.97 2/70 30297 /proc/meminfo: memFree=1432792/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1730.41 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 171981 1060 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1730.41 Current children cumulated vsize (Kb) 34740 [startup+1741.07 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30379 /proc/meminfo: memFree=1433784/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1740.38 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 172973 1065 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1740.38 Current children cumulated vsize (Kb) 34740 [startup+1751.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30379 /proc/meminfo: memFree=1433856/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1750.38 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 173970 1068 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1750.38 Current children cumulated vsize (Kb) 34740 [startup+1761.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30379 /proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1760.38 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 174965 1073 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1760.38 Current children cumulated vsize (Kb) 34740 [startup+1771.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30379 /proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1770.38 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 175961 1077 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1770.38 Current children cumulated vsize (Kb) 34740 [startup+1781.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30379 /proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1780.39 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 176957 1082 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1780.39 Current children cumulated vsize (Kb) 34740 [startup+1782.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30379 /proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1781.39 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 177056 1083 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 34740 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 30379 /proc/meminfo: memFree=1433928/2055920 swapFree=4191900/4192956 [pid=30184] ppid=30182 vsize=34740 CPUtime=1782.39 /proc/30184/stat : 30184 (Pueblo) R 30182 30184 30138 0 -1 4194304 8480 0 0 0 177156 1083 0 0 25 0 1 0 98112550 35573760 8191 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30184/statm: 8685 8191 205 16 0 8126 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 34740 Child status: 10 Real time (s): 1783.44 CPU time (s): 1782.74 CPU user time (s): 1771.89 CPU system time (s): 10.8454 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (Kb): 35416
Begin job on node45 on Sat Jun 3 20:32:28 UTC 2006 FILE ID= 36648-1149366748 PBS_JOBID= 311881 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node45/36648-1149366748/instance-36648-1149366748.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-36648-1149366748 -o ROOT/results/node45/solver-36648-1149366748 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node45/36648-1149366748/instance-36648-1149366748.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624 RANDOM SEED= 422479541 /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.263 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.263 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: 1466448 kB Buffers: 30224 kB Cached: 482712 kB SwapCached: 260 kB Active: 54772 kB Inactive: 472048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1466448 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 188 kB Writeback: 0 kB Mapped: 23016 kB Slab: 48708 kB Committed_AS: 306268 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node45 on Sat Jun 3 21:02:11 UTC 2006