Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 22 | 1782.74 | 1783.34 |
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.14 o 27 1.69 o 26 1.69 o 25 1.86 o 24 1.86 o 23 1.91 o 22 1783.33 c total time : 1783 s 1783.33 s SATISFIABLE 1783.33 v -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1783.33 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1783.33 v -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 1783.33 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 1783.33 v -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 1783.33 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1783.33 v -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1783.33 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1783.33 v -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1783.33 v -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 1783.33 v -x1999 -x2000 -x2001 -x2002 x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 1783.33 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 1783.33 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1783.33 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1783.33 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1783.33 v -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1783.33 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 x2109 -x2110 -x2111 -x2112 -x1 x6 -x11 -x16 -x21 -x26 -x31 -x36 -x41 -x46 1783.33 v -x51 -x56 -x61 -x66 -x71 -x76 -x81 -x86 -x91 -x96 -x101 -x106 -x111 -x116 -x121 -x126 -x131 -x136 -x141 -x146 -x151 -x156 -x62 1783.33 v -x67 -x72 -x77 -x142 -x147 -x152 -x157 -x362 -x367 -x372 -x377 -x382 x387 -x392 -x397 -x442 -x447 -x452 -x457 -x462 -x467 1783.33 v -x472 -x477 -x3 -x8 -x13 -x18 -x83 -x88 -x93 -x98 -x163 -x168 -x173 -x178 -x183 -x188 -x193 -x198 -x203 -x208 x213 -x218 -x223 1783.33 v -x228 -x233 -x238 -x24 -x29 -x34 -x39 -x104 -x109 -x114 -x119 -x204 -x209 -x214 -x219 -x224 -x229 -x234 -x239 -x244 -x249 1783.33 v -x254 -x259 -x264 -x269 -x274 -x279 -x284 -x289 x294 -x299 -x304 -x309 -x314 -x319 -x25 -x30 -x35 -x40 -x105 -x110 -x115 -x120 1783.33 v -x205 -x210 -x215 -x220 -x225 -x230 -x235 -x240 -x245 -x250 -x255 x260 -x265 -x270 -x275 -x280 -x285 -x290 -x295 -x300 -x305 1783.33 v -x310 -x315 -x320 -x721 -x726 -x731 -x736 -x741 -x746 -x751 -x756 -x761 -x766 -x771 -x776 -x781 -x786 -x791 x796 -x801 -x806 1783.33 v -x811 -x816 -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 -x866 -x871 -x876 -x782 -x787 -x792 -x797 x862 -x867 -x872 1783.33 v -x877 -x1082 -x1087 -x1092 -x1097 -x1102 -x1107 -x1112 -x1117 -x1162 -x1167 -x1172 -x1177 -x1182 -x1187 -x1192 -x1197 1783.33 v -x723 -x728 -x733 -x738 -x803 -x808 -x813 -x818 -x883 -x888 x893 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 1783.33 v -x948 -x953 -x958 -x744 -x749 -x754 -x759 -x824 -x829 -x834 -x839 -x924 -x929 -x934 -x939 -x944 x949 -x954 -x959 -x964 -x969 1783.33 v -x974 -x979 -x984 -x989 -x994 -x999 -x1004 -x1009 -x1014 -x1019 -x1024 -x1029 -x1034 -x1039 -x745 -x750 -x755 -x760 -x825 1783.33 v -x830 -x835 -x840 -x925 -x930 -x935 -x940 -x945 x950 -x955 -x960 -x965 -x970 -x975 -x980 -x985 -x990 -x995 -x1000 -x1005 1783.33 v -x1010 -x1015 -x1020 -x1025 -x1030 -x1035 -x1040 -x481 -x486 x491 -x496 -x501 -x506 -x511 -x516 -x601 -x606 -x611 -x616 1783.33 v -x621 -x626 -x631 -x636 -x641 -x646 -x651 -x656 -x661 -x666 -x671 -x676 -x681 -x686 -x691 -x696 -x701 -x706 -x711 -x716 -x162 1783.33 v -x167 -x172 -x177 -x182 -x187 -x192 -x197 -x322 -x327 -x332 -x337 -x342 -x347 -x352 x357 -x482 -x487 -x492 -x497 -x502 -x507 1783.33 v -x512 -x517 -x443 -x448 -x453 -x458 -x463 -x468 -x473 -x478 -x563 x568 -x573 -x578 -x583 -x588 -x593 -x598 -x683 -x688 -x693 1783.33 v -x698 -x703 -x708 -x713 -x718 -x444 -x449 -x454 -x459 -x464 -x469 -x474 -x479 -x564 x569 -x574 -x579 -x584 -x589 -x594 -x599 1783.33 v -x684 -x689 -x694 -x699 -x704 -x709 -x714 -x719 -x325 -x330 -x335 -x340 -x345 -x350 -x355 -x360 -x525 -x530 -x535 -x540 -x545 1783.33 v -x550 -x555 -x560 -x605 -x610 -x615 -x620 -x625 -x630 -x635 -x640 -x1201 -x1206 -x1211 -x1216 -x1221 -x1226 -x1231 -x1236 1783.33 v -x1321 -x1326 -x1331 -x1336 -x1341 -x1346 -x1351 -x1356 -x1361 -x1366 -x1371 -x1376 -x1381 -x1386 -x1391 -x1396 -x1401 1783.33 v -x1406 -x1411 x1416 -x1421 -x1426 -x1431 -x1436 -x882 -x887 -x892 x897 -x902 -x907 -x912 -x917 -x1042 -x1047 -x1052 -x1057 1783.33 v -x1062 -x1067 -x1072 -x1077 -x1202 -x1207 -x1212 -x1217 -x1222 -x1227 -x1232 -x1237 -x1163 -x1168 -x1173 -x1178 -x1183 1783.33 v -x1188 -x1193 -x1198 -x1283 -x1288 -x1293 -x1298 -x1303 -x1308 -x1313 -x1318 -x1403 -x1408 -x1413 -x1418 x1423 -x1428 1783.33 v -x1433 -x1438 -x1164 -x1169 -x1174 -x1179 -x1184 -x1189 -x1194 -x1199 -x1284 -x1289 -x1294 -x1299 -x1304 -x1309 -x1314 1783.33 v -x1319 -x1404 -x1409 -x1414 -x1419 x1424 -x1429 -x1434 -x1439 x1045 -x1050 -x1055 -x1060 -x1065 -x1070 -x1075 -x1080 -x1245 1783.33 v -x1250 -x1255 -x1260 -x1265 -x1270 -x1275 -x1280 -x1325 -x1330 -x1335 -x1340 -x1345 -x1350 -x1355 -x1360 -x161 -x166 -x171 1783.33 v x176 -x181 -x186 -x191 -x196 -x201 -x206 -x211 -x216 -x221 -x226 -x231 -x236 -x241 -x246 -x251 -x256 -x261 -x266 -x271 -x276 1783.33 v -x281 -x286 -x291 -x296 -x301 -x306 -x311 -x316 -x361 -x366 -x371 -x376 -x381 -x386 -x391 -x396 -x401 -x406 -x411 -x416 -x421 1783.33 v -x426 -x431 -x436 -x441 -x446 -x451 -x456 -x461 -x466 -x471 -x476 -x321 -x326 -x331 -x336 -x341 -x346 -x351 -x356 -x521 -x526 1783.33 v -x531 -x536 -x541 -x546 -x551 -x556 -x561 -x566 -x571 -x576 -x581 -x586 -x591 -x596 -x2 -x7 -x12 -x17 -x22 -x27 -x32 -x37 -x42 1783.33 v -x47 -x52 -x57 -x82 -x87 -x92 -x97 -x102 -x107 -x112 -x117 -x122 -x127 -x132 -x137 -x202 -x207 -x212 -x217 -x222 -x227 -x232 1783.33 v -x237 -x242 -x247 -x252 -x257 -x262 -x267 -x272 -x277 -x282 -x287 -x292 -x297 -x302 -x307 -x312 -x317 -x402 -x407 -x412 x417 1783.33 v -x422 -x427 -x432 -x437 -x522 -x527 -x532 -x537 x542 -x547 -x552 -x557 -x602 -x607 -x612 -x617 -x622 -x627 -x632 -x637 -x562 1783.33 v -x567 -x572 -x577 -x582 -x587 -x592 -x597 -x642 -x647 -x652 -x657 -x662 -x667 -x672 -x677 -x682 -x687 -x692 -x697 -x702 -x707 1783.33 v -x712 -x717 -x23 -x28 -x33 -x38 -x43 -x48 -x53 -x58 -x63 -x68 -x73 -x78 -x103 -x108 -x113 -x118 -x123 -x128 -x133 -x138 -x143 1783.33 v -x148 -x153 -x158 -x243 -x248 -x253 -x258 -x263 -x268 -x273 -x278 -x283 -x288 x293 -x298 -x303 -x308 -x313 -x318 -x363 -x368 1783.33 v -x373 -x378 -x383 -x388 -x393 -x398 -x403 -x408 -x413 x418 -x423 -x428 -x433 -x438 -x323 -x328 -x333 -x338 -x343 -x348 -x353 1783.33 v -x358 -x483 -x488 -x493 -x498 -x503 -x508 -x513 -x518 -x523 -x528 -x533 -x538 -x543 -x548 -x553 -x558 -x603 -x608 -x613 -x618 1783.33 v -x623 -x628 -x633 -x638 -x643 -x648 -x653 -x658 -x663 -x668 -x673 -x678 -x4 -x9 -x14 -x19 -x44 -x49 -x54 -x59 -x64 -x69 -x74 1783.33 v -x79 -x84 -x89 -x94 -x99 -x124 -x129 -x134 -x139 -x144 -x149 -x154 -x159 -x164 -x169 -x174 -x179 -x184 -x189 -x194 -x199 -x364 1783.33 v -x369 -x374 -x379 -x384 -x389 -x394 -x399 -x404 -x409 -x414 x419 -x424 -x429 -x434 -x439 -x324 -x329 -x334 -x339 -x344 -x349 1783.33 v -x354 -x359 -x484 -x489 -x494 -x499 -x504 -x509 -x514 -x519 -x524 -x529 -x534 -x539 -x544 -x549 -x554 -x559 -x604 -x609 -x614 1783.33 v -x619 -x624 -x629 -x634 -x639 -x644 -x649 -x654 -x659 -x664 -x669 -x674 -x679 -x5 -x10 -x15 -x20 -x45 -x50 -x55 -x60 -x65 -x70 1783.33 v -x75 -x80 -x85 -x90 -x95 -x100 -x125 -x130 -x135 -x140 -x145 -x150 -x155 -x160 -x165 -x170 -x175 -x180 -x185 -x190 -x195 -x200 1783.33 v -x365 -x370 -x375 -x380 -x385 -x390 -x395 -x400 -x405 -x410 -x415 -x420 -x425 -x430 -x435 -x440 -x445 -x450 -x455 -x460 -x465 1783.33 v -x470 -x475 -x480 -x485 -x490 -x495 -x500 -x505 -x510 -x515 -x520 -x565 -x570 -x575 -x580 -x585 -x590 -x595 -x600 -x645 -x650 1783.33 v -x655 -x660 -x665 -x670 -x675 -x680 -x685 -x690 -x695 -x700 -x705 -x710 -x715 -x720 -x881 -x886 -x891 -x896 -x901 -x906 -x911 1783.33 v -x916 -x921 -x926 -x931 -x936 -x941 -x946 -x951 -x956 -x961 -x966 -x971 -x976 -x981 -x986 -x991 -x996 -x1001 -x1006 -x1011 1783.33 v -x1016 -x1021 -x1026 -x1031 -x1036 -x1081 -x1086 -x1091 -x1096 -x1101 -x1106 -x1111 -x1116 -x1121 -x1126 -x1131 -x1136 1783.33 v -x1141 -x1146 -x1151 -x1156 -x1161 x1166 -x1171 -x1176 -x1181 -x1186 -x1191 -x1196 -x1041 -x1046 -x1051 -x1056 -x1061 1783.33 v -x1066 -x1071 -x1076 -x1241 -x1246 -x1251 -x1256 -x1261 -x1266 -x1271 -x1276 -x1281 -x1286 -x1291 -x1296 -x1301 -x1306 1783.33 v -x1311 -x1316 x722 -x727 -x732 -x737 -x742 -x747 -x752 -x757 -x762 -x767 -x772 -x777 -x802 -x807 -x812 -x817 -x822 -x827 1783.33 v -x832 -x837 -x842 -x847 -x852 -x857 -x922 -x927 -x932 -x937 -x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987 -x992 1783.33 v -x997 -x1002 -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x1037 -x1122 -x1127 -x1132 -x1137 -x1142 -x1147 -x1152 -x1157 1783.33 v -x1242 -x1247 -x1252 -x1257 -x1262 -x1267 -x1272 -x1277 -x1322 -x1327 -x1332 -x1337 -x1342 -x1347 -x1352 -x1357 -x1282 1783.33 v -x1287 -x1292 -x1297 -x1302 -x1307 -x1312 -x1317 -x1362 -x1367 -x1372 -x1377 -x1382 -x1387 -x1392 -x1397 -x1402 -x1407 1783.33 v -x1412 -x1417 -x1422 -x1427 -x1432 -x1437 -x743 -x748 -x753 -x758 -x763 -x768 -x773 -x778 -x783 -x788 -x793 -x798 -x823 1783.33 v -x828 -x833 -x838 -x843 -x848 -x853 -x858 -x863 -x868 -x873 -x878 -x963 -x968 -x973 -x978 -x983 -x988 -x993 -x998 -x1003 1783.33 v -x1008 -x1013 -x1018 -x1023 -x1028 -x1033 -x1038 -x1083 -x1088 -x1093 -x1098 -x1103 -x1108 -x1113 -x1118 -x1123 -x1128 1783.33 v -x1133 -x1138 -x1143 -x1148 -x1153 -x1158 x1043 -x1048 -x1053 -x1058 -x1063 -x1068 -x1073 -x1078 -x1203 -x1208 -x1213 1783.33 v -x1218 -x1223 -x1228 -x1233 -x1238 -x1243 -x1248 -x1253 -x1258 -x1263 -x1268 -x1273 -x1278 x1323 -x1328 -x1333 -x1338 1783.33 v -x1343 -x1348 -x1353 -x1358 -x1363 -x1368 -x1373 -x1378 -x1383 -x1388 -x1393 -x1398 -x724 -x729 -x734 -x739 -x764 -x769 1783.33 v -x774 -x779 -x784 -x789 -x794 -x799 -x804 -x809 -x814 -x819 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 x894 1783.33 v -x899 -x904 -x909 -x914 -x919 -x1084 -x1089 -x1094 -x1099 -x1104 -x1109 -x1114 -x1119 -x1124 -x1129 -x1134 -x1139 -x1144 1783.33 v -x1149 -x1154 -x1159 x1044 -x1049 -x1054 -x1059 -x1064 -x1069 -x1074 -x1079 -x1204 -x1209 -x1214 -x1219 -x1224 -x1229 1783.33 v -x1234 -x1239 -x1244 -x1249 -x1254 -x1259 -x1264 -x1269 -x1274 -x1279 x1324 -x1329 -x1334 -x1339 -x1344 -x1349 -x1354 1783.33 v -x1359 -x1364 -x1369 -x1374 -x1379 -x1384 -x1389 -x1394 -x1399 -x725 -x730 -x735 -x740 -x765 -x770 -x775 -x780 -x785 -x790 1783.33 v -x795 -x800 -x805 -x810 -x815 -x820 -x845 -x850 -x855 -x860 -x865 -x870 -x875 -x880 -x885 -x890 x895 -x900 -x905 -x910 -x915 1783.33 v -x920 -x1085 -x1090 -x1095 -x1100 -x1105 -x1110 -x1115 -x1120 -x1125 -x1130 -x1135 -x1140 -x1145 -x1150 -x1155 -x1160 1783.33 v -x1165 -x1170 -x1175 -x1180 -x1185 -x1190 -x1195 -x1200 -x1205 -x1210 -x1215 -x1220 -x1225 -x1230 -x1235 -x1240 -x1285 1783.33 v -x1290 -x1295 -x1300 -x1305 -x1310 -x1315 -x1320 -x1365 -x1370 -x1375 -x1380 -x1385 -x1390 -x1395 -x1400 -x1405 -x1410 1783.33 v -x1415 -x1420 -x1425 -x1430 -x1435 -x1440 -x1441 x1442 -x1443 x1444 -x1445 x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1783.33 v -x1453 -x1454 -x1455 x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1783.33 v -x1471 x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1783.33 v -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1783.33 v x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1783.33 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1783.33 v -x1542 x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 x1551 x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 1783.33 v -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 x1576 -x1577 1783.33 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 x1595 1783.33 v -x1596 -x1597 -x1598 x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 1783.33 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 1783.33 v x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 1783.33 v -x1649 x1650 -x1651 x1652 x1653 -x1654 -x1655 x1656 -x1657 x1658 -x1659 x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 1783.33 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 1783.33 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 x1699 -x1700 -x1701 1783.33 v -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 1783.33 v -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 x1732 x1733 -x1734 -x1735 -x1736 -x1737 1783.33 v x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1783.33 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1783.33 v -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1783.33 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1783.33 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
OK 22
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/node23/watcher-37798-1149366808 -o ROOT/results/node23/solver-37798-1149366808 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node23/37798-1149366808/instance-37798-1149366808.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1840536/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=2572 CPUtime=0 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 202344441 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134546703 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 643 231 193 16 0 84 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1836272/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=6784 CPUtime=9.99 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1290 0 0 0 979 20 0 0 25 0 1 0 202344441 6946816 1261 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 1696 1261 205 16 0 1137 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6784 [startup+20.0083 s] /proc/loadavg: 0.94 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1835440/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=7600 CPUtime=19.99 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1509 0 0 0 1958 41 0 0 25 0 1 0 202344441 7782400 1480 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 1900 1480 205 16 0 1341 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7600 [startup+30.0144 s] /proc/loadavg: 0.95 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1834544/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=8504 CPUtime=29.99 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1730 0 0 0 2946 53 0 0 25 0 1 0 202344441 8708096 1701 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 2126 1701 205 16 0 1567 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 8504 [startup+40.0205 s] /proc/loadavg: 0.96 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1833968/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=9160 CPUtime=40 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1874 0 0 0 3929 71 0 0 25 0 1 0 202344441 9379840 1845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528028 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 2290 1845 205 16 0 1731 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 9160 [startup+50.0267 s] /proc/loadavg: 0.96 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1833904/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=9160 CPUtime=50.01 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 1879 0 0 0 4917 84 0 0 25 0 1 0 202344441 9379840 1850 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 2290 1850 205 16 0 1731 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 9160 [startup+60.0328 s] /proc/loadavg: 0.97 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1832624/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=10448 CPUtime=60.01 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2203 0 0 0 5902 99 0 0 25 0 1 0 202344441 10698752 2174 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 2612 2174 205 16 0 2053 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 10448 [startup+70.039 s] /proc/loadavg: 0.97 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1832624/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=10584 CPUtime=70.01 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2216 0 0 0 6891 110 0 0 25 0 1 0 202344441 10838016 2187 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 2646 2187 205 16 0 2087 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 10584 [startup+80.0451 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1831920/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=11228 CPUtime=80.02 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2388 0 0 0 7882 120 0 0 25 0 1 0 202344441 11497472 2359 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 2807 2359 205 16 0 2248 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 11228 [startup+90.0512 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1831408/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=11740 CPUtime=90.02 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2510 0 0 0 8867 135 0 0 25 0 1 0 202344441 12021760 2481 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 2935 2481 205 16 0 2376 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 11740 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1830576/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=12640 CPUtime=100.02 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2732 0 0 0 9855 147 0 0 25 0 1 0 202344441 12943360 2703 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3160 2703 205 16 0 2601 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 12640 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 27945 /proc/meminfo: memFree=1830384/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=12768 CPUtime=110.02 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2777 0 0 0 10844 158 0 0 25 0 1 0 202344441 13074432 2748 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3192 2748 205 16 0 2633 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 12768 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27946 /proc/meminfo: memFree=1830320/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=12768 CPUtime=120.03 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2777 0 0 0 11826 177 0 0 25 0 1 0 202344441 13074432 2748 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558861 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3192 2748 205 16 0 2633 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 12768 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27946 /proc/meminfo: memFree=1829872/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=13280 CPUtime=130.03 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2899 0 0 0 12816 187 0 0 25 0 1 0 202344441 13598720 2870 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3320 2870 205 16 0 2761 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 13280 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1829872/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=13280 CPUtime=140.03 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2900 0 0 0 13799 204 0 0 25 0 1 0 202344441 13598720 2871 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3320 2871 205 16 0 2761 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 13280 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1829872/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=13280 CPUtime=150.03 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2900 0 0 0 14786 217 0 0 25 0 1 0 202344441 13598720 2871 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3320 2871 205 16 0 2761 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 13280 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1829616/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=13544 CPUtime=160.04 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2962 0 0 0 15777 227 0 0 25 0 1 0 202344441 13869056 2933 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3386 2933 205 16 0 2827 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 13544 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1829552/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=13688 CPUtime=170.05 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2977 0 0 0 16763 242 0 0 25 0 1 0 202344441 14016512 2948 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3422 2948 205 16 0 2863 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 13688 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1829488/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=13688 CPUtime=180.05 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 2989 0 0 0 17748 257 0 0 25 0 1 0 202344441 14016512 2960 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3422 2960 205 16 0 2863 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 13688 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1829360/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=13848 CPUtime=190.05 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 3021 0 0 0 18738 267 0 0 25 0 1 0 202344441 14180352 2992 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3462 2992 205 16 0 2903 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 13848 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1829296/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=13848 CPUtime=200.05 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 3040 0 0 0 19722 283 0 0 25 0 1 0 202344441 14180352 3011 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 3462 3011 205 16 0 2903 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 13848 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1828976/2055920 swapFree=4180884/4192956 ################ # More data... # ################ /proc/27945/statm: 7833 7319 205 16 0 7274 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 31332 [startup+1600.97 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1811696/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1600.49 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7509 0 0 0 158265 1784 0 0 25 0 1 0 202344441 32083968 7321 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7321 205 16 0 7274 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 31332 [startup+1610.97 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1811696/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1610.49 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 159257 1792 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1610.49 Current children cumulated vsize (Kb) 31332 [startup+1620.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1811696/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1620.5 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 160249 1801 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1620.5 Current children cumulated vsize (Kb) 31332 [startup+1630.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1811696/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1630.5 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 161244 1806 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1630.5 Current children cumulated vsize (Kb) 31332 [startup+1640.99 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1811632/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1640.51 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 162236 1815 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1640.51 Current children cumulated vsize (Kb) 31332 [startup+1651 s] /proc/loadavg: 0.99 0.98 0.99 2/64 27947 /proc/meminfo: memFree=1811632/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1650.51 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 163226 1825 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1650.51 Current children cumulated vsize (Kb) 31332 [startup+1661 s] /proc/loadavg: 0.99 0.98 0.99 2/70 28010 /proc/meminfo: memFree=1810424/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1660.5 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 164209 1841 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1660.5 Current children cumulated vsize (Kb) 31332 [startup+1671.01 s] /proc/loadavg: 0.99 0.98 0.99 2/70 28060 /proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1670.48 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 165192 1856 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1670.48 Current children cumulated vsize (Kb) 31332 [startup+1681.02 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1811296/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1680.44 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 166179 1865 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1680.44 Current children cumulated vsize (Kb) 31332 [startup+1691.02 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1811304/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1690.44 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 167169 1875 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1690.44 Current children cumulated vsize (Kb) 31332 [startup+1701.03 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1811312/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1700.44 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 168156 1888 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1700.44 Current children cumulated vsize (Kb) 31332 [startup+1711.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1811312/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=31332 CPUtime=1710.45 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7510 0 0 0 169143 1902 0 0 25 0 1 0 202344441 32083968 7322 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 7833 7322 205 16 0 7274 0 Current children cumulated CPU time (s) 1710.45 Current children cumulated vsize (Kb) 31332 [startup+1721.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810352/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32488 CPUtime=1720.45 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7800 0 0 0 170136 1909 0 0 25 0 1 0 202344441 33267712 7612 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2938138 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8122 7612 205 16 0 7563 0 Current children cumulated CPU time (s) 1720.45 Current children cumulated vsize (Kb) 32488 [startup+1731.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32616 CPUtime=1730.46 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7824 0 0 0 171131 1915 0 0 25 0 1 0 202344441 33398784 7636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8154 7636 205 16 0 7595 0 Current children cumulated CPU time (s) 1730.46 Current children cumulated vsize (Kb) 32616 [startup+1741.05 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32616 CPUtime=1740.46 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7824 0 0 0 172125 1921 0 0 25 0 1 0 202344441 33398784 7636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8154 7636 205 16 0 7595 0 Current children cumulated CPU time (s) 1740.46 Current children cumulated vsize (Kb) 32616 [startup+1751.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32616 CPUtime=1750.46 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7824 0 0 0 173118 1928 0 0 25 0 1 0 202344441 33398784 7636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8154 7636 205 16 0 7595 0 Current children cumulated CPU time (s) 1750.46 Current children cumulated vsize (Kb) 32616 [startup+1761.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810224/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32616 CPUtime=1760.46 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7824 0 0 0 174104 1942 0 0 25 0 1 0 202344441 33398784 7636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8154 7636 205 16 0 7595 0 Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 32616 [startup+1771.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810160/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32556 CPUtime=1770.47 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7827 0 0 0 175094 1953 0 0 25 0 1 0 202344441 33337344 7639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516698 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8139 7639 205 16 0 7580 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 32556 [startup+1781.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810160/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32556 CPUtime=1780.47 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7827 0 0 0 176081 1966 0 0 25 0 1 0 202344441 33337344 7639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8139 7639 205 16 0 7580 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 32556 [startup+1782.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810160/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32556 CPUtime=1781.48 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7827 0 0 0 176181 1967 0 0 25 0 1 0 202344441 33337344 7639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8139 7639 205 16 0 7580 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 32556 [startup+1783.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28142 /proc/meminfo: memFree=1810160/2055920 swapFree=4180884/4192956 [pid=27945] ppid=27943 vsize=32556 CPUtime=1782.48 /proc/27945/stat : 27945 (Pueblo13) R 27943 27945 27899 0 -1 4194304 7827 0 0 0 176280 1968 0 0 25 0 1 0 202344441 33337344 7639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27945/statm: 8139 7639 205 16 0 7580 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 32556 Child status: 10 Real time (s): 1783.34 CPU time (s): 1782.74 CPU user time (s): 1763.04 CPU system time (s): 19.694 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (Kb): 32616
Begin job on node23 on Sat Jun 3 20:33:28 UTC 2006 FILE ID= 37798-1149366808 PBS_JOBID= 311887 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/Pueblo13 ROOT/tmp/node23/37798-1149366808/instance-37798-1149366808.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-37798-1149366808 -o ROOT/results/node23/solver-37798-1149366808 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node23/37798-1149366808/instance-37798-1149366808.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624 RANDOM SEED= 734037280 /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.213 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 : 5931.00 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.213 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: 1840744 kB Buffers: 14704 kB Cached: 143656 kB SwapCached: 3412 kB Active: 27212 kB Inactive: 139520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840744 kB SwapTotal: 4192956 kB SwapFree: 4180884 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14696 kB Slab: 34484 kB Committed_AS: 382284 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Sat Jun 3 21:03:11 UTC 2006