Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 27 | 1798.01 | 1798.79 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 185.968 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1906 |
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 | 1906 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1906 |
Number of bits of the biggest sum of numbers | 11 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876898-1245182204.opb 0.00/0.00 c File size is 328518 bytes. 0.00/0.04 c Highest Coefficient sum: 1906 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.044 s 0.00/0.05 c Var: 3973 Constr: 11097 11097/0/0 Lit: 27293 Watch. Lit: 22087 0.00/0.05 c Obj. Vars: 1906 (47.9738 % of total variables) 0.09/0.11 c Pre-processing Time: 0.11 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3698 9734 24327 2 19468 3244 0 0 0.11 0.09/0.11 c Switching off lower bounding mode. 0.09/0.11 o 30 98.63/98.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 98.63/98.75 c 0 3698 9735 26126 2 21240 4244 1 0 0.12 98.63/98.75 c 100 3698 9840 36875 3 24979 4669 106 338 0.29 98.63/98.75 c 350 3698 10251 43223 4 25801 5136 517 639 0.55 98.63/98.75 c 826 3698 10862 67810 6 30555 5650 1128 601 1.37 98.63/98.75 c 1639 3698 11755 126366 10 32341 6216 2021 507 3.23 98.63/98.75 c 2960 3698 13113 205585 15 36819 6838 3379 479 6.17 98.63/98.75 c 5041 3698 15214 334271 21 42786 7522 5480 457 11.02 98.63/98.75 c 8264 3698 13496 286577 21 28762 8275 3762 426 19.38 98.63/98.75 c 13200 3698 13873 343012 24 29516 9103 4139 421 31.31 98.63/98.75 c 20707 3698 15795 427315 27 33360 10014 6061 433 47.76 98.63/98.75 c 32068 3698 14742 332338 22 31254 11016 5008 422 75.85 98.63/98.75 o 29 99.03/99.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.03/99.18 c 41258 3698 17341 497132 28 41754 4244 7607 418 98.69 99.03/99.18 c 41358 3698 11962 178378 14 27458 4669 2228 418 98.94 99.03/99.18 o 28 809.93/810.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 809.93/810.39 c 41503 3698 12205 185101 15 29716 4244 2471 418 99.12 809.93/810.39 c 41603 3698 12331 189240 15 29968 4669 2597 418 99.31 809.93/810.39 c 41853 3698 12591 200187 15 30488 5136 2857 419 99.83 809.93/810.39 c 42328 3698 13084 222846 17 31474 5650 3350 419 100.86 809.93/810.39 c 43141 3698 13967 264170 18 33240 6216 4233 420 102.54 809.93/810.39 c 44461 3698 15336 318723 20 35978 6838 5602 422 105.32 809.93/810.39 c 46543 3698 13154 184328 14 28080 7522 3420 421 110.29 809.93/810.39 c 49766 3698 16527 349061 21 34826 8275 6793 424 117.34 809.93/810.39 c 54703 3698 15890 324868 20 33552 9103 6156 424 128.81 809.93/810.39 c 62210 3698 17466 533218 30 38472 10014 7732 419 148.44 809.93/810.39 c 73572 3698 15907 480709 30 33586 11016 6173 416 176.80 809.93/810.39 c 90717 3698 19792 989077 49 41356 12118 10058 404 224.03 809.93/810.39 c 116536 3698 17115 691484 40 36002 13330 7381 401 290.55 809.93/810.39 c 155368 3698 17081 469339 27 35934 14664 7347 392 396.32 809.93/810.39 c 213721 3698 17067 497814 29 35906 16131 7333 383 557.10 809.93/810.39 c 301354 3698 17801 323986 18 37374 17745 8067 375 803.24 809.93/810.39 o 27 1797.91/1798.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.78 c 304314 3698 21202 518462 24 47719 4244 11468 375 810.03 1797.91/1798.78 c 304415 3698 11995 149355 12 27533 4669 2261 375 810.33 1797.91/1798.78 c 304666 3698 12259 164234 13 28061 5136 2525 375 810.86 1797.91/1798.78 c 305141 3698 12760 181956 14 29063 5650 3026 375 811.80 1797.91/1798.78 c 305954 3698 13630 222609 16 30803 6216 3896 376 813.51 1797.91/1798.78 c 307274 3698 15007 299955 19 33557 6838 5273 376 816.29 1797.91/1798.78 c 309356 3698 13154 237691 18 28081 7522 3420 376 820.87 1797.91/1798.78 c 312581 3698 16571 423867 25 36683 8275 6837 377 828.17 1797.91/1798.78 c 317517 3698 16178 355324 21 34129 9103 6444 378 839.55 1797.91/1798.78 c 325023 3698 17841 399925 22 37455 10014 8107 379 856.64 1797.91/1798.78 c 336384 3698 17143 378740 22 36059 11016 7409 380 883.14 1797.91/1798.78 c 353528 3698 15243 246262 16 32259 12118 5509 382 923.27 1797.91/1798.78 c 379347 3698 19698 525239 26 41169 13330 9964 384 985.96 1797.91/1798.78 c 418179 3698 19932 1129381 56 43400 14664 10198 380 1098.13 1797.91/1798.78 c 476531 3698 20196 589123 29 42165 16131 10462 378 1260.49 1797.91/1798.78 c 564163 3698 24810 1114552 44 53162 17745 15076 373 1510.56 1797.91/1798.78 c Resources Exceeded 1797.91/1798.78 v -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 x3734 -x3736 -x3738 -x3740 x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 x3923 -x3925 -x3927 -x3929 -x3931 -x3933 x3935 -x3937 x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 x3969 -x3971 x3973 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x1 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 x377 -x379 -x381 -x383 -x385 -x387 -x389 -x2 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x3 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x4 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x5 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x6 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x7 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x8 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x9 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x760 -x762 -x764 -x766 -x768 -x770 -x10 -x772 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x11 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 x855 -x857 -x859 -x12 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x13 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x14 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x15 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x16 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x17 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x18 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x19 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x20 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x21 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x22 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x23 -x1127 -x1129 -x1131 -x24 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x25 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x26 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x27 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x28 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x29 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x30 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x31 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x32 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x33 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x34 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x35 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x36 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x37 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x38 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x39 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x40 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x41 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x42 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 x43 -x1671 x1673 -x1675 -x44 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x45 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x46 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 x1733 x47 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x48 -x1749 -x1751 -x1753 -x49 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x50 -x1769 -x1771 -x1773 -x51 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x52 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x53 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x54 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x56 -x1853 -x1855 -x1857 -x57 -x1859 -x1861 x1863 x58 -x1865 -x59 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x60 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x61 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x62 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x63 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x64 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x65 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x66 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x67 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x68 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x69 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x70 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x71 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x72 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x73 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x74 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x75 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x76 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x77 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x78 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x79 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x80 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x81 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x82 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x83 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x84 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x85 -x2661 -x2663 -x2665 -x86 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x87 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x88 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x89 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x90 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x91 -x2769 -x2771 -x2773 -x92 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x93 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x94 -x2803 -x2805 -x95 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x96 -x2821 -x2823 -x2825 -x97 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x98 -x2841 -x2843 x2845 x99 -x2847 -x2849 -x2851 -x100 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x101 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x102 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x103 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x104 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3040 -x3042 -x3044 -x3046 -x105 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x106 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x107 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x108 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x109 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x110 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x111 -x3164 -x3166 -x3168 -x112 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x113 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x114 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x115 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x116 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x117 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x118 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x119 -x3316 -x3318 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 x3345 -x3347 -x3349 -x120 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x121 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x122 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x123 -x3392 -x3394 -x3396 -x124 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x125 -x3412 -x3414 -x3416 -x126 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x127 -x3432 -x3434 -x3436 -x128 -x3438 -x3440 -x3442 -x129 -x3444 -x130 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x131 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x132 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x133 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x134 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x135 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x136 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x137 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x138 -x3620 -x3622 -x3624 -x139 -x3626 -x3629 -x3631 -x3633 -x3635 -x140 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x141 -x3651 -x3653 -x3655 -x142 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x143 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x144 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x145 -x3715 -x3717 -x146 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 x147 x3733 -x3735 -x3737 x148 -x3739 x3741 -x3743 -x149 -x3745 -x150 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x151 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x152 -x3775 -x3778 -x3780 -x3782 -x3784 -x3786 x3788 -x3790 -x3792 -x153 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x154 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x155 -x3822 -x3824 -x3826 -x156 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x157 -x3842 -x3844 -x3846 -x158 -x3848 -x3850 -x3852 -x159 -x3854 -x3856 x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x160 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x161 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x162 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 x3922 -x3924 -x3926 -x3928 -x163 -x3930 -x3932 x3934 -x3936 x3938 -x3940 -x164 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 x3954 -x3956 -x3958 -x165 -x3960 -x3962 -x3964 -x166 -x3966 x167 x3968 -x3970 -x168 x3972 x169 x170 1797.91/1798.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.78 c 45 660541 424668 2822657 21034 705692 11300 367 1798.00 1797.91/1798.78 c Objective: 27 1797.91/1798.78 s SATISFIABLE 1797.91/1798.78 c Total time: 1798 s
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876898-1245182204/watcher-1876898-1245182204 -o /tmp/evaluation-result-1876898-1245182204/solver-1876898-1245182204 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876898-1245182204.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8981 /proc/meminfo: memFree=1896752/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=11060 CPUtime=0 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 185820998 11325440 260 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 2765 261 176 640 0 2040 0 [startup+0.0687101 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8981 /proc/meminfo: memFree=1896752/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=12944 CPUtime=0.06 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 883 0 0 0 6 0 0 0 18 0 1 0 185820998 13254656 786 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 3236 786 189 640 0 2592 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12944 [startup+0.101716 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8981 /proc/meminfo: memFree=1896752/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=13080 CPUtime=0.09 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 948 0 0 0 9 0 0 0 18 0 1 0 185820998 13393920 851 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 3270 851 193 640 0 2626 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13080 [startup+0.301751 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8981 /proc/meminfo: memFree=1896752/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=13184 CPUtime=0.29 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 1000 0 0 0 28 1 0 0 19 0 1 0 185820998 13500416 874 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 3296 874 198 640 0 2652 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13184 [startup+0.701823 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8981 /proc/meminfo: memFree=1896752/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=13300 CPUtime=0.7 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 1046 0 0 0 67 3 0 0 23 0 1 0 185820998 13619200 918 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 3325 918 198 640 0 2681 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 13300 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1893544/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=13768 CPUtime=1.49 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 1167 0 0 0 146 3 0 0 25 0 1 0 185820998 14098432 1033 1992294400 134512640 137136520 4294956256 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 3442 1033 198 640 0 2798 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13768 [startup+3.10125 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1892968/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=14484 CPUtime=3.09 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 1430 0 0 0 306 3 0 0 25 0 1 0 185820998 14831616 1214 1992294400 134512640 137136520 4294956256 18446744073709551615 134574855 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 3621 1214 198 640 0 2977 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14484 [startup+6.30183 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1891496/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=15832 CPUtime=6.29 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 2015 0 0 0 625 4 0 0 25 0 1 0 185820998 16211968 1549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 3958 1549 198 640 0 3314 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15832 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1888808/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=18372 CPUtime=12.69 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 2669 0 0 0 1263 6 0 0 25 0 1 0 185820998 18812928 2185 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 4593 2185 198 640 0 3949 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18372 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1885800/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=21204 CPUtime=25.48 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 3414 0 0 0 2539 9 0 0 25 0 1 0 185820998 21712896 2893 1992294400 134512640 137136520 4294956256 18446744073709551615 134544408 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 5301 2893 198 640 0 4657 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21204 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1884584/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=22460 CPUtime=51.07 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 3729 0 0 0 5092 15 0 0 25 0 1 0 185820998 22999040 3208 1992294400 134512640 137136520 4294956256 18446744073709551615 134600749 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 5615 3208 198 640 0 4971 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22460 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1883176/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=23788 CPUtime=102.23 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 4121 0 0 0 10198 25 0 0 25 0 1 0 185820998 24358912 3535 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 5947 3535 198 640 0 5303 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 23788 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1883112/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=23736 CPUtime=162.2 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 4121 0 0 0 16184 36 0 0 25 0 1 0 185820998 24305664 3528 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 5934 3528 198 640 0 5290 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 23736 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8982 /proc/meminfo: memFree=1876392/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=30460 CPUtime=222.18 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 5823 0 0 0 22171 47 0 0 25 0 1 0 185820998 31191040 5208 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 7615 5208 198 640 0 6971 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 30460 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1876136/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=30456 CPUtime=282.16 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 5824 0 0 0 28157 59 0 0 25 0 1 0 185820998 31186944 5208 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 7614 5208 198 640 0 6970 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 30456 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1876136/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=30460 CPUtime=342.13 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 5826 0 0 0 34143 70 0 0 25 0 1 0 185820998 31191040 5209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 7615 5209 198 640 0 6971 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 30460 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1876136/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=30460 CPUtime=402.1 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 5826 0 0 0 40133 77 0 0 25 0 1 0 185820998 31191040 5209 1992294400 134512640 137136520 4294956256 18446744073709551615 134606757 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 7615 5209 198 640 0 6971 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 30460 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1876136/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=30464 CPUtime=462.08 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 5827 0 0 0 46119 89 0 0 25 0 1 0 185820998 31195136 5210 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 7616 5210 198 640 0 6972 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 30464 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1875560/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=31140 CPUtime=522.05 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 5995 0 0 0 52108 97 0 0 25 0 1 0 185820998 31887360 5378 1992294400 134512640 137136520 4294956256 18446744073709551615 136294921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 7785 5378 198 640 0 7141 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 31140 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1875560/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=31144 CPUtime=582.02 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 5996 0 0 0 58095 107 0 0 25 0 1 0 185820998 31891456 5379 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 7786 5379 198 640 0 7142 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 31144 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1873192/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33468 CPUtime=642 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 6575 0 0 0 64082 118 0 0 25 0 1 0 185820998 34271232 5958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8367 5958 198 640 0 7723 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 33468 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1875176/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=31172 CPUtime=1061.82 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 6593 0 0 0 105986 196 0 0 25 0 1 0 185820998 31920128 5385 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 7793 5385 198 640 0 7149 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 31172 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 8988 /proc/meminfo: memFree=1873128/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33332 CPUtime=1121.79 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7161 0 0 0 111976 203 0 0 25 0 1 0 185820998 34131968 5927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8333 5927 198 640 0 7689 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 33332 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8988 /proc/meminfo: memFree=1873128/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33332 CPUtime=1181.77 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7161 0 0 0 117966 211 0 0 25 0 1 0 185820998 34131968 5927 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8333 5927 198 640 0 7689 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 33332 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8988 /proc/meminfo: memFree=1872936/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33324 CPUtime=1241.75 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7161 0 0 0 123954 221 0 0 25 0 1 0 185820998 34123776 5925 1992294400 134512640 137136520 4294956256 18446744073709551615 134544774 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8331 5925 198 640 0 7687 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 33324 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8988 /proc/meminfo: memFree=1872936/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33292 CPUtime=1301.72 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7161 0 0 0 129941 231 0 0 25 0 1 0 185820998 34091008 5917 1992294400 134512640 137136520 4294956256 18446744073709551615 134600770 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8323 5917 198 640 0 7679 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 33292 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8988 /proc/meminfo: memFree=1872872/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33292 CPUtime=1361.7 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7161 0 0 0 135932 238 0 0 25 0 1 0 185820998 34091008 5917 1992294400 134512640 137136520 4294956256 18446744073709551615 134545045 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8323 5917 198 640 0 7679 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 33292 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1872872/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33292 CPUtime=1421.68 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7161 0 0 0 141921 247 0 0 25 0 1 0 185820998 34091008 5917 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8323 5917 198 640 0 7679 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 33292 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1872872/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33292 CPUtime=1481.65 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7161 0 0 0 147911 254 0 0 25 0 1 0 185820998 34091008 5917 1992294400 134512640 137136520 4294956256 18446744073709551615 134573451 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8323 5917 198 640 0 7679 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 33292 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1872808/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33296 CPUtime=1541.62 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7163 0 0 0 153900 262 0 0 25 0 1 0 185820998 34095104 5918 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8324 5918 198 640 0 7680 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 33296 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1872808/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=33296 CPUtime=1601.6 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 7163 0 0 0 159890 270 0 0 25 0 1 0 185820998 34095104 5918 1992294400 134512640 137136520 4294956256 18446744073709551615 134607171 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 8324 5918 198 640 0 7680 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 33296 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1865128/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=41304 CPUtime=1661.57 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 9625 0 0 0 165877 280 0 0 25 0 1 0 185820998 42295296 7916 1992294400 134512640 137136520 4294956256 18446744073709551615 134601717 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 10326 7916 198 640 0 9682 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 41304 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1858216/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=47956 CPUtime=1721.54 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 11294 0 0 0 171859 295 0 0 25 0 1 0 185820998 49106944 9583 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 11989 9583 198 640 0 11345 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 47956 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1858088/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=47880 CPUtime=1781.52 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 11294 0 0 0 177845 307 0 0 25 0 1 0 185820998 49029120 9564 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 11970 9564 198 640 0 11326 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 47880 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1858088/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=47880 CPUtime=1791.12 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 11294 0 0 0 178804 308 0 0 25 0 1 0 185820998 49029120 9564 1992294400 134512640 137136520 4294956256 18446744073709551615 136509151 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 11970 9564 198 640 0 11326 0 Current children cumulated CPU time (s) 1791.12 Current children cumulated vsize (KiB) 47880 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1858088/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=47796 CPUtime=1794.32 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 11294 0 0 0 179123 309 0 0 25 0 1 0 185820998 48943104 9543 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 11949 9543 198 640 0 11305 0 Current children cumulated CPU time (s) 1794.32 Current children cumulated vsize (KiB) 47796 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1858088/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=47796 CPUtime=1795.91 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 11294 0 0 0 179282 309 0 0 25 0 1 0 185820998 48943104 9543 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 11949 9543 198 640 0 11305 0 Current children cumulated CPU time (s) 1795.91 Current children cumulated vsize (KiB) 47796 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1858088/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=47796 CPUtime=1796.71 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 11294 0 0 0 179362 309 0 0 25 0 1 0 185820998 48943104 9543 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 11949 9543 198 640 0 11305 0 Current children cumulated CPU time (s) 1796.71 Current children cumulated vsize (KiB) 47796 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1858088/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=47796 CPUtime=1797.51 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 11294 0 0 0 179442 309 0 0 25 0 1 0 185820998 48943104 9543 1992294400 134512640 137136520 4294956256 18446744073709551615 134606780 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 11949 9543 198 640 0 11305 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (KiB) 47796 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8988 /proc/meminfo: memFree=1858088/2055920 swapFree=4180860/4192956 [pid=8981] ppid=8979 vsize=47796 CPUtime=1797.91 /proc/8981/stat : 8981 (bsolo) R 8979 8981 8198 0 -1 4194304 11294 0 0 0 179482 309 0 0 25 0 1 0 185820998 48943104 9543 1992294400 134512640 137136520 4294956256 18446744073709551615 134616615 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8981/statm: 11949 9543 198 640 0 11305 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 47796 Child status: 0 Real time (s): 1798.79 CPU time (s): 1798.01 CPU user time (s): 1794.91 CPU system time (s): 3.10153 CPU usage (%): 99.9565 Max. virtual memory (cumulated for all children) (KiB): 47956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.91 system time used= 3.10153 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11296 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= 9 involuntary context switches= 6731 runsolver used 1.87371 second user time and 4.67529 second system time The end
Begin job on node12 at 2009-06-16 21:56:44 IDJOB=1876898 IDBENCH=24990 IDSOLVER=699 FILE ID=node12/1876898-1245182204 PBS_JOBID= 9363884 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876898-1245182204/watcher-1876898-1245182204 -o /tmp/evaluation-result-1876898-1245182204/solver-1876898-1245182204 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876898-1245182204.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1345256887 node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.281 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.281 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: 1897296 kB Buffers: 38624 kB Cached: 70916 kB SwapCached: 6264 kB Active: 52960 kB Inactive: 64960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1897296 kB SwapTotal: 4192956 kB SwapFree: 4180860 kB Dirty: 4256 kB Writeback: 0 kB Mapped: 13500 kB Slab: 26808 kB Committed_AS: 177288 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876898-1245182204.opb Free space on /tmp at the end= 66232 MiB End job on node12 at 2009-06-16 22:26:43