Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -27 | 1800.05 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-share2b.opb |
MD5SUM | 3ec28475c9d1079169f926174383d0c1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 64.5682 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | YES |
Number of variables | 2370 |
Total number of constraints | 96 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 96 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 870 |
Biggest coefficient in the objective function | 23589 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524951 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524951 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432651-1177947271/instance-432651-1177947271.opb 0.00/0.00 c File size is 205168 bytes. 0.00/0.04 c Highest Coefficient sum: 524951 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.037 s 0.00/0.04 c Var: 2370 Constr: 109 0/0/109 Lit: 23280 Watch. Lit: 5831 0.00/0.04 c Obj. Vars: 870 (36.7089 % of total variables) 0.79/0.86 c Pre-processing Time: 0.859 s 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 1131 81 14850 183 12346 29700 0 0 0.86 0.79/0.86 c Switching off LPR mode. 2.89/2.92 c 100 1131 181 27718 153 12546 32671 100 108 0.93 2.89/2.92 c 250 1131 331 46442 140 12846 35939 250 246 1.01 2.89/2.92 c 490 1131 571 76225 133 13326 39533 490 403 1.21 2.89/2.92 c 828 1131 909 115923 127 14000 43487 828 604 1.37 2.89/2.92 c 1336 1131 1417 124992 88 15022 47836 1336 766 1.74 2.89/2.92 c 2099 1129 2180 157582 72 16546 52620 2099 996 2.11 2.89/2.92 c 3245 1129 3326 195429 58 18838 57883 3245 1263 2.57 2.89/2.92 c 4966 1129 5047 223475 44 22281 63672 4966 1767 2.81 2.89/2.92 o -22 2.921 2.89/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.94 c 5510 1129 5592 232448 41 23647 30576 5511 1885 2.92 2.89/2.94 o -23 2.936 3.09/3.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.13 c 5510 1129 5593 232886 41 23927 30576 5512 1876 2.94 3.09/3.13 c 5611 1129 5694 242663 42 24129 33634 5613 1888 2.97 3.09/3.13 c 5861 1129 5944 266871 44 24611 36998 5863 1914 3.06 3.09/3.13 o -26 3.13 3.09/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.14 c 5978 1129 6062 278631 45 25115 30576 5981 1909 3.13 3.09/3.14 o -27 3.145 1800.01/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.61 c 5978 1129 6063 279069 46 25385 30576 5982 1900 3.15 1800.01/1800.61 c 6079 1129 6164 301592 48 25587 33634 6083 1858 3.27 1800.01/1800.61 c 6329 1129 6414 304892 47 26220 36998 6333 1908 3.32 1800.01/1800.61 c 6804 1129 6889 310783 45 27084 40698 6808 2020 3.37 1800.01/1800.61 c 7617 1129 7702 340089 44 28748 44768 7621 2030 3.75 1800.01/1800.61 c 8938 1129 9023 704615 78 31429 49245 8942 1788 5.00 1800.01/1800.61 c 11020 1129 11105 777995 70 35500 54170 11024 1985 5.55 1800.01/1800.61 c 14243 1129 14328 1101688 76 41937 59588 14247 2015 7.07 1800.01/1800.61 c 19181 1129 19266 1583355 82 51810 65547 19185 1957 9.80 1800.01/1800.61 c 26687 1129 26772 2321505 86 66812 72102 26691 1693 15.76 1800.01/1800.61 c 38049 1129 38134 3493935 91 89545 79313 38053 1285 29.60 1800.01/1800.61 c 55194 1129 55279 5327006 96 123918 87245 55198 865 63.78 1800.01/1800.61 c 81014 1129 81099 8270250 101 175558 95970 81018 580 139.66 1800.01/1800.61 c 119846 1129 34787 3264655 93 82035 105568 34706 576 207.85 1800.01/1800.61 c 178199 1129 93140 8667085 93 198739 116125 93059 576 309.11 1800.01/1800.61 c 265831 1129 75610 6985046 92 163679 127738 75529 484 549.03 1800.01/1800.61 c 397385 1129 90450 8273696 91 193359 140512 90369 360 1103.16 1800.01/1800.61 c Caught signal: 15 1800.01/1800.61 v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.01/1800.61 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.01/1800.61 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x271 -x272 x273 1800.01/1800.61 v x274 -x275 -x276 x277 -x278 x279 x280 -x281 -x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.01/1800.61 v -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 x314 -x315 -x316 1800.01/1800.61 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 1800.01/1800.61 v x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.01/1800.61 v -x359 -x360 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 1800.01/1800.61 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 1800.01/1800.61 v -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x751 1800.01/1800.61 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 1800.01/1800.61 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 1800.01/1800.61 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 1800.01/1800.61 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 1800.01/1800.61 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1800.01/1800.61 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.01/1800.61 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.01/1800.61 v -x899 -x900 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 1800.01/1800.61 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 1800.01/1800.61 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1111 1800.01/1800.61 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.01/1800.61 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.01/1800.61 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.01/1800.61 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.01/1800.61 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.01/1800.61 v -x1227 -x1228 -x1229 -x1230 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1800.01/1800.61 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.01/1800.61 v -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1800.01/1800.61 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1531 -x1532 -x1533 -x1534 -x1535 1800.01/1800.61 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.01/1800.61 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.01/1800.61 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.01/1800.61 v -x1587 -x1588 -x1589 -x1590 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 1800.01/1800.61 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1800.01/1800.61 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.01/1800.61 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1951 -x1952 -x1953 -x1954 1800.01/1800.61 v -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.01/1800.61 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1800.01/1800.61 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1800.01/1800.61 v -x2007 -x2008 -x2009 -x2010 -x2011 x2012 x2013 x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 1800.01/1800.61 v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2251 1800.01/1800.61 v x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.01/1800.61 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.01/1800.61 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.01/1800.61 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.01/1800.61 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 1800.01/1800.61 v -x2367 -x2368 -x2369 -x2370 -x1 -x2 x3 -x4 -x5 x6 x7 x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 1800.01/1800.61 v -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 1800.01/1800.61 v -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 1800.01/1800.61 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 1800.01/1800.61 v -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 1800.01/1800.61 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 1800.01/1800.61 v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 1800.01/1800.61 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1800.01/1800.61 v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1800.01/1800.61 v -x266 -x267 -x268 -x269 -x270 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1800.01/1800.61 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 1800.01/1800.61 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1800.01/1800.61 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1800.01/1800.61 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1800.01/1800.61 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x511 1800.01/1800.61 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 1800.01/1800.61 v -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1800.01/1800.61 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x601 -x602 -x603 -x604 1800.01/1800.61 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 1800.01/1800.61 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 1800.01/1800.61 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 1800.01/1800.61 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1800.01/1800.61 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 1800.01/1800.61 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1800.01/1800.61 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x901 1800.01/1800.61 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 1800.01/1800.61 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 1800.01/1800.61 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 1800.01/1800.61 v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1800.01/1800.61 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 1800.01/1800.61 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1800.01/1800.61 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1800.01/1800.61 v -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 1800.01/1800.61 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.01/1800.61 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.01/1800.61 v -x1199 -x1200 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.01/1800.61 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1321 -x1322 1800.01/1800.61 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.01/1800.61 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.01/1800.61 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 1800.01/1800.61 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.01/1800.61 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1800.01/1800.61 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 1800.01/1800.61 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 1800.01/1800.61 v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.01/1800.61 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1800.01/1800.61 v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 1800.01/1800.61 v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1800.01/1800.61 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 1800.01/1800.61 v -x1527 -x1528 -x1529 -x1530 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.01/1800.61 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.01/1800.61 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1800.01/1800.61 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 1800.01/1800.61 v -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 1800.01/1800.61 v -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.01/1800.61 v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1800.01/1800.61 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 1800.01/1800.61 v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1800.01/1800.61 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.01/1800.61 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 1800.01/1800.61 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1800.01/1800.61 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 1800.01/1800.61 v x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1800.01/1800.61 v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 1800.01/1800.61 v x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 1800.01/1800.61 v -x1889 -x1890 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.01/1800.61 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x2071 -x2072 1800.01/1800.61 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.01/1800.61 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 1800.01/1800.61 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 1800.01/1800.61 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1800.01/1800.61 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 1800.01/1800.61 v -x2188 -x2189 -x2190 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.01/1800.61 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2191 1800.01/1800.61 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 1800.01/1800.61 v -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1800.01/1800.61 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1800.01/1800.61 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.01/1800.61 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1800.01/1800.61 v -x2067 -x2068 -x2069 -x2070 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1800.01/1800.61 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1800.01/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.61 c 30 544244 544 582224 107949 9901767 107868 302 1800.02 1800.01/1800.61 c Objective: -27 1800.01/1800.61 s SATISFIABLE 1800.01/1800.61 c Total time: 1800.02 s
OK -27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-432651-1177947271 -o ROOT/results/node54/solver-432651-1177947271 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432651-1177947271/instance-432651-1177947271.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.90 3/66 27536 /proc/meminfo: memFree=1706816/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=11940 CPUtime=0 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 242101567 12226560 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 2985 335 279 324 0 2004 0 [startup+0.076193 s] /proc/loadavg: 0.91 0.95 0.90 3/66 27536 /proc/meminfo: memFree=1706816/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=5036 CPUtime=0.07 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 716 0 0 0 7 0 0 0 18 0 1 0 242101567 5156864 635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 1259 635 303 324 0 329 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5036 [startup+0.101196 s] /proc/loadavg: 0.91 0.95 0.90 3/66 27536 /proc/meminfo: memFree=1706816/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=5036 CPUtime=0.09 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 716 0 0 0 9 0 0 0 18 0 1 0 242101567 5156864 635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 1259 635 303 324 0 329 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5036 [startup+0.301221 s] /proc/loadavg: 0.91 0.95 0.90 3/66 27536 /proc/meminfo: memFree=1706816/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=5036 CPUtime=0.29 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 717 0 0 0 29 0 0 0 19 0 1 0 242101567 5156864 636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 1259 636 303 324 0 329 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5036 [startup+0.701271 s] /proc/loadavg: 0.91 0.95 0.90 3/66 27536 /proc/meminfo: memFree=1706816/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=5036 CPUtime=0.69 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 717 0 0 0 69 0 0 0 22 0 1 0 242101567 5156864 636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 1259 636 303 324 0 329 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5036 [startup+1.50137 s] /proc/loadavg: 0.91 0.95 0.90 2/67 27537 /proc/meminfo: memFree=1705208/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=6312 CPUtime=1.49 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 1048 0 0 0 149 0 0 0 25 0 1 0 242101567 6463488 941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 1578 941 310 324 0 648 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6312 [startup+3.10157 s] /proc/loadavg: 0.91 0.95 0.90 2/67 27537 /proc/meminfo: memFree=1703416/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=8788 CPUtime=3.09 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 1682 0 0 0 308 1 0 0 25 0 1 0 242101567 8998912 1575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 2197 1575 311 324 0 1267 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8788 [startup+6.30198 s] /proc/loadavg: 0.92 0.95 0.90 2/67 27537 /proc/meminfo: memFree=1694904/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=18104 CPUtime=6.29 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 3993 0 0 0 626 3 0 0 25 0 1 0 242101567 18538496 3886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 4526 3886 311 324 0 3596 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18104 [startup+12.7028 s] /proc/loadavg: 0.93 0.95 0.90 2/67 27537 /proc/meminfo: memFree=1678904/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=32300 CPUtime=12.69 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 7561 0 0 0 1264 5 0 0 25 0 1 0 242101567 33075200 7454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 8075 7454 311 324 0 7145 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32300 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.91 2/67 27537 /proc/meminfo: memFree=1660408/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=50004 CPUtime=25.49 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 11996 0 0 0 2541 8 0 0 25 0 1 0 242101567 51204096 11889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 12501 11889 311 324 0 11571 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50004 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.91 2/67 27537 /proc/meminfo: memFree=1640056/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=70420 CPUtime=51.07 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 17078 0 0 0 5094 13 0 0 25 0 1 0 242101567 72110080 16971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 17605 16971 311 324 0 16675 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70420 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/67 27537 /proc/meminfo: memFree=1609784/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=100308 CPUtime=102.26 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 24557 0 0 0 10206 20 0 0 25 0 1 0 242101567 102715392 24450 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 25077 24450 311 324 0 24147 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 100308 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1570040/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=139688 CPUtime=162.24 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 34511 0 0 0 16195 29 0 0 25 0 1 0 242101567 143040512 34308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 34922 34308 311 324 0 33992 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 139688 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1570040/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=139688 CPUtime=222.22 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 34511 0 0 0 22193 29 0 0 25 0 1 0 242101567 143040512 34308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 34922 34308 311 324 0 33992 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 139688 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1570040/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=139688 CPUtime=282.21 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 34511 0 0 0 28192 29 0 0 25 0 1 0 242101567 143040512 34308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 34922 34308 311 324 0 33992 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 139688 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1569464/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=140496 CPUtime=342.19 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 34691 0 0 0 34190 29 0 0 25 0 1 0 242101567 143867904 34488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 35124 34488 311 324 0 34194 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 140496 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1551992/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=157648 CPUtime=402.17 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 39091 0 0 0 40183 34 0 0 25 0 1 0 242101567 161431552 38773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 39412 38773 311 324 0 38482 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 157648 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1551992/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=157648 CPUtime=462.16 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 39091 0 0 0 46182 34 0 0 25 0 1 0 242101567 161431552 38773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 39412 38773 311 324 0 38482 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 157648 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1552056/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=157648 CPUtime=522.14 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 39091 0 0 0 52180 34 0 0 25 0 1 0 242101567 161431552 38773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 39412 38773 311 324 0 38482 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 157648 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1552120/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=157648 CPUtime=582.12 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 39091 0 0 0 58178 34 0 0 25 0 1 0 242101567 161431552 38773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 39412 38773 311 324 0 38482 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 157648 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1552184/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=157648 CPUtime=642.11 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 39091 0 0 0 64177 34 0 0 25 0 1 0 242101567 161431552 38773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 39412 38773 311 324 0 38482 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 157648 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1537976/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=822.05 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 82168 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 171616 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1538040/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=882.03 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 88166 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134582016 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 171616 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1538104/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=942.02 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 94165 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 171616 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1538104/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=1002 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 100163 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 171616 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1538104/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=1061.98 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 106161 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 171616 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 3/67 27537 /proc/meminfo: memFree=1538168/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=1121.97 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 112160 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 171616 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1538104/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=1181.95 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 118158 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 171616 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1538104/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=1241.93 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 124156 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 171616 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1538104/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171616 CPUtime=1301.92 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42710 0 0 0 130155 37 0 0 25 0 1 0 242101567 175734784 42265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42904 42265 311 324 0 41974 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 171616 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1538104/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=171620 CPUtime=1361.9 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 42711 0 0 0 136153 37 0 0 25 0 1 0 242101567 175738880 42266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 42905 42266 311 324 0 41975 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 171620 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1524216/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=185440 CPUtime=1421.89 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 46186 0 0 0 142148 41 0 0 25 0 1 0 242101567 189890560 45741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 46360 45741 311 324 0 45430 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 185440 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1523256/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=186208 CPUtime=1481.87 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 46502 0 0 0 148145 42 0 0 25 0 1 0 242101567 190676992 45918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 46552 45918 311 324 0 45622 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 186208 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27537 /proc/meminfo: memFree=1523320/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=186208 CPUtime=1541.86 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 46502 0 0 0 154144 42 0 0 25 0 1 0 242101567 190676992 45918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 46552 45918 311 324 0 45622 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 186208 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/73 27611 /proc/meminfo: memFree=1522248/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=186208 CPUtime=1601.82 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 46502 0 0 0 160136 46 0 0 25 0 1 0 242101567 190676992 45918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 46552 45918 311 324 0 45622 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 186208 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27735 /proc/meminfo: memFree=1523320/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=186208 CPUtime=1661.74 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 46502 0 0 0 166128 46 0 0 25 0 1 0 242101567 190676992 45918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 46552 45918 311 324 0 45622 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 186208 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27735 /proc/meminfo: memFree=1523320/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=186208 CPUtime=1721.72 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 46502 0 0 0 172126 46 0 0 25 0 1 0 242101567 190676992 45918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 46552 45918 311 324 0 45622 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 186208 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27735 /proc/meminfo: memFree=1523320/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=186208 CPUtime=1781.7 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 46502 0 0 0 178124 46 0 0 25 0 1 0 242101567 190676992 45918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586698 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 46552 45918 311 324 0 45622 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 186208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27735 /proc/meminfo: memFree=1523320/2055920 swapFree=4182164/4192956 [pid=27536] ppid=27534 vsize=186208 CPUtime=1800.01 /proc/27536/stat : 27536 (bsolo3.0.17) R 27534 27536 26829 0 -1 4194304 46502 0 0 0 179955 46 0 0 25 0 1 0 242101567 190676992 45918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27536/statm: 46552 45918 311 324 0 45622 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 186208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.66 CPU time (s): 1800.05 CPU user time (s): 1799.56 CPU system time (s): 0.496924 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 186764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.496924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46506 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 4235 runsolver used 1.63875 second user time and 4.92125 second system time The end
Begin job on node54 on Mon Apr 30 15:34:31 UTC 2007 IDJOB= 432651 IDBENCH= 1650 IDSOLVER= 199 FILE ID= node54/432651-1177947271 PBS_JOBID= 4727543 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share2b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432651-1177947271/instance-432651-1177947271.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-432651-1177947271 -o ROOT/results/node54/solver-432651-1177947271 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432651-1177947271/instance-432651-1177947271.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3ec28475c9d1079169f926174383d0c1 RANDOM SEED= 845669317 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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.234 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: 1707224 kB Buffers: 29836 kB Cached: 238716 kB SwapCached: 3992 kB Active: 143148 kB Inactive: 135636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1707224 kB SwapTotal: 4192956 kB SwapFree: 4182164 kB Dirty: 6788 kB Writeback: 0 kB Mapped: 16184 kB Slab: 55888 kB Committed_AS: 2413884 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node54 on Mon Apr 30 16:04:34 UTC 2007