Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 27 | 1798.01 | 1798.49 |
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 | 4.06038 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657264-1276634132.opb 0.00/0.00 c File size is 328518 bytes. 0.00/0.05 c Highest Coefficient sum: 1906 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.054 s 0.00/0.06 c Var: 3973 Constr: 11097 11097/0/0 Lit: 27293 Watch. Lit: 22087 0.00/0.06 c Obj. Vars: 1906 (47.9738 % of total variables) 0.09/0.12 c Pre-processing Time: 0.125 s 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 3698 9734 24327 2 19468 3244 0 0 0.12 0.09/0.12 c Switching off lower bounding mode. 0.09/0.13 o 30 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3698 9735 26126 2 21240 4244 1 0 0.13 0.19/0.24 c 101 3698 9836 31678 3 21442 4669 102 483 0.21 0.19/0.24 o 29 25.19/25.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.19/25.23 c 154 3698 9890 35137 3 23321 4244 156 620 0.25 25.19/25.23 c 255 3698 9991 38717 3 23523 4669 257 761 0.34 25.19/25.23 c 506 3698 10242 48251 4 24025 5136 508 918 0.55 25.19/25.23 c 983 3698 10719 65465 6 24979 5650 985 1046 0.94 25.19/25.23 c 1796 3698 11532 93405 8 26605 6216 1798 1066 1.68 25.19/25.23 c 3116 3698 12852 148788 11 29245 6838 3118 1096 2.84 25.19/25.23 c 5197 3698 14933 241750 16 33407 7522 5199 1105 4.70 25.19/25.23 c 8420 3698 13496 188277 13 28763 8275 3762 1122 7.50 25.19/25.23 c 13357 3698 13873 190179 13 29517 9103 4139 1061 12.59 25.19/25.23 c 20863 3698 15297 320857 20 32365 10014 5563 1037 20.11 25.19/25.23 o 28 510.95/511.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 510.95/511.11 c 25519 3698 19954 495378 24 43451 4244 10220 1011 25.23 510.95/511.11 c 25619 3698 11957 111096 9 25686 4669 2223 1009 25.38 510.95/511.11 c 25871 3698 12209 121071 9 26190 5136 2475 1008 25.65 510.95/511.11 c 26346 3698 12684 142221 11 27140 5650 2950 1010 26.09 510.95/511.11 c 27159 3698 13497 171236 12 28766 6216 3763 1009 26.90 510.95/511.11 c 28479 3698 14817 213216 14 31406 6838 5083 1019 27.93 510.95/511.11 c 30561 3698 13154 162304 12 28080 7522 3420 1023 29.87 510.95/511.11 c 33784 3698 16377 311900 19 34526 8275 6643 1031 32.77 510.95/511.11 c 38720 3698 15576 293199 18 32924 9103 5842 1002 38.63 510.95/511.11 c 46226 3698 16880 391762 23 35532 10014 7146 1003 46.07 510.95/511.11 c 57587 3698 15571 384221 24 32914 11016 5837 951 60.54 510.95/511.11 c 74732 3698 18286 447233 24 38344 12118 8552 911 82.01 510.95/511.11 c 100551 3698 21921 577412 26 45614 13330 12187 904 111.21 510.95/511.11 c 139383 3698 19967 677485 33 41706 14664 10233 888 156.83 510.95/511.11 c 197735 3698 17067 409946 24 35906 16131 7333 858 230.41 510.95/511.11 c 285367 3698 20731 534360 25 43234 17745 10997 758 376.31 510.95/511.11 o 27 1797.91/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.48 c 363090 3698 25449 875719 34 54443 4244 15715 710 510.98 1797.91/1798.48 c 363190 3698 11957 157219 13 25687 4669 2223 710 511.51 1797.91/1798.48 c 363441 3698 12208 164261 13 26189 5136 2474 710 511.78 1797.91/1798.48 c 363916 3698 12683 181358 14 27139 5650 2949 710 512.21 1797.91/1798.48 c 364730 3698 13497 211286 15 28767 6216 3763 710 513.08 1797.91/1798.48 c 366051 3698 14818 272992 18 31409 6838 5084 711 514.30 1797.91/1798.48 c 368132 3698 13154 191487 14 28081 7522 3420 712 516.33 1797.91/1798.48 c 371355 3698 16377 298562 18 34527 8275 6643 714 519.69 1797.91/1798.48 c 376292 3698 15614 350451 22 33001 9103 5880 716 524.92 1797.91/1798.48 c 383799 3698 17116 333276 19 36005 10014 7382 720 532.55 1797.91/1798.48 c 395160 3698 15407 236668 15 32587 11016 5673 727 543.15 1797.91/1798.48 c 412304 3698 18513 437867 23 38799 12118 8779 733 562.16 1797.91/1798.48 c 438123 3698 21338 523526 24 44449 13330 11604 736 594.52 1797.91/1798.48 c 476956 3698 19418 527310 27 40609 14664 9684 737 647.03 1797.91/1798.48 c 535308 3698 17067 336651 19 35907 16131 7333 736 726.88 1797.91/1798.48 c 622940 3698 19139 969754 50 40051 17745 9405 726 857.88 1797.91/1798.48 c 754492 3698 24829 683666 27 51431 19520 15095 721 1045.89 1797.91/1798.48 c 951925 3698 20861 1092750 52 43495 21473 11127 682 1394.00 1797.91/1798.48 c Resources Exceeded 1797.91/1798.48 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.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.48 c 46 1195615 753950 4536999 20557 648147 10823 664 1798.00 1797.91/1798.48 c Objective: 27 1797.91/1798.48 s SATISFIABLE 1797.91/1798.48 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-2657264-1276634132/watcher-2657264-1276634132 -o /tmp/evaluation-result-2657264-1276634132/solver-2657264-1276634132 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657264-1276634132.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: 0.92 0.98 0.99 3/106 13037 /proc/meminfo: memFree=1832712/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=11256 CPUtime=0 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 4708155 11526144 283 1992294400 134512640 137138936 4287183424 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 2814 283 176 642 0 2089 0 [startup+0.074059 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13037 /proc/meminfo: memFree=1832712/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=12984 CPUtime=0.06 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 945 0 0 0 6 0 0 0 22 0 1 0 4708155 13295616 783 1992294400 134512640 137138936 4287183424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 3246 783 184 642 0 2602 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12984 [startup+0.101061 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13037 /proc/meminfo: memFree=1832712/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=13120 CPUtime=0.09 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 980 0 0 0 9 0 0 0 22 0 1 0 4708155 13434880 818 1992294400 134512640 137138936 4287183424 18446744073709551615 136505219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 3280 818 186 642 0 2636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13120 [startup+0.301083 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13037 /proc/meminfo: memFree=1832712/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=13120 CPUtime=0.29 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 1038 0 0 0 27 2 0 0 22 0 1 0 4708155 13434880 847 1992294400 134512640 137138936 4287183424 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 3280 847 192 642 0 2636 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13120 [startup+0.701126 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13037 /proc/meminfo: memFree=1832712/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=13392 CPUtime=0.69 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 1107 0 0 0 66 3 0 0 23 0 1 0 4708155 13713408 916 1992294400 134512640 137138936 4287183424 18446744073709551615 134543180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 3348 916 192 642 0 2704 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13392 [startup+1.50121 s] /proc/loadavg: 0.92 0.98 0.99 2/107 13038 /proc/meminfo: memFree=1829604/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=13824 CPUtime=1.49 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 1223 0 0 0 145 4 0 0 25 0 1 0 4708155 14155776 1032 1992294400 134512640 137138936 4287183424 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 3456 1032 192 642 0 2812 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13824 [startup+3.10039 s] /proc/loadavg: 0.92 0.98 0.99 2/107 13038 /proc/meminfo: memFree=1828488/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=15028 CPUtime=3.09 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 1512 0 0 0 304 5 0 0 25 0 1 0 4708155 15388672 1321 1992294400 134512640 137138936 4287183424 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 3757 1321 192 642 0 3113 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15028 [startup+6.30073 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13038 /proc/meminfo: memFree=1826008/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=17500 CPUtime=6.29 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 2134 0 0 0 622 7 0 0 25 0 1 0 4708155 17920000 1943 1992294400 134512640 137138936 4287183424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 4375 1943 192 642 0 3731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17500 [startup+12.7004 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13038 /proc/meminfo: memFree=1824156/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=18428 CPUtime=12.69 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 2369 0 0 0 1259 10 0 0 25 0 1 0 4708155 18870272 2178 1992294400 134512640 137138936 4287183424 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 4607 2178 192 642 0 3963 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18428 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 0.99 2/107 13038 /proc/meminfo: memFree=1822172/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=20416 CPUtime=25.49 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 2872 0 0 0 2532 17 0 0 25 0 1 0 4708155 20905984 2681 1992294400 134512640 137138936 4287183424 18446744073709551615 136502649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 5104 2681 192 642 0 4460 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20416 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/107 13040 /proc/meminfo: memFree=1821552/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=21356 CPUtime=51.07 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 3109 0 0 0 5078 29 0 0 25 0 1 0 4708155 21868544 2918 1992294400 134512640 137138936 4287183424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 5339 2918 192 642 0 4695 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21356 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 13040 /proc/meminfo: memFree=1818328/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=24224 CPUtime=102.27 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 3819 0 0 0 10173 54 0 0 25 0 1 0 4708155 24805376 3628 1992294400 134512640 137138936 4287183424 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 6056 3628 192 642 0 5412 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24224 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13042 /proc/meminfo: memFree=1816716/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=26012 CPUtime=162.25 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 4259 0 0 0 16141 84 0 0 25 0 1 0 4708155 26636288 4068 1992294400 134512640 137138936 4287183424 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 6503 4068 192 642 0 5859 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 26012 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13044 /proc/meminfo: memFree=1816096/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=26420 CPUtime=222.23 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 4365 0 0 0 22113 110 0 0 25 0 1 0 4708155 27054080 4174 1992294400 134512640 137138936 4287183424 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 6605 4174 192 642 0 5961 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 26420 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13046 /proc/meminfo: memFree=1816096/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=26424 CPUtime=282.22 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 4366 0 0 0 28087 135 0 0 25 0 1 0 4708155 27058176 4175 1992294400 134512640 137138936 4287183424 18446744073709551615 134575635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 6606 4175 192 642 0 5962 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26424 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13048 /proc/meminfo: memFree=1815972/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=26424 CPUtime=342.2 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 4366 0 0 0 34059 161 0 0 25 0 1 0 4708155 27058176 4175 1992294400 134512640 137138936 4287183424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 6606 4175 192 642 0 5962 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 26424 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13048 /proc/meminfo: memFree=1813492/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=29332 CPUtime=402.19 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 5080 0 0 0 40032 187 0 0 25 0 1 0 4708155 30035968 4889 1992294400 134512640 137138936 4287183424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 7333 4889 192 642 0 6689 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 29332 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13050 /proc/meminfo: memFree=1811260/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=30984 CPUtime=462.17 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 5516 0 0 0 46012 205 0 0 25 0 1 0 4708155 31727616 5325 1992294400 134512640 137138936 4287183424 18446744073709551615 134555515 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 7746 5325 192 642 0 7102 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 30984 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13052 /proc/meminfo: memFree=1811260/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=30984 CPUtime=522.15 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 5516 0 0 0 51988 227 0 0 25 0 1 0 4708155 31727616 5325 1992294400 134512640 137138936 4287183424 18446744073709551615 134575820 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 7746 5325 192 642 0 7102 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 30984 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13054 /proc/meminfo: memFree=1811136/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=30984 CPUtime=582.14 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 5516 0 0 0 57961 253 0 0 25 0 1 0 4708155 31727616 5325 1992294400 134512640 137138936 4287183424 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 7746 5325 192 642 0 7102 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 30984 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13056 /proc/meminfo: memFree=1811136/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=30984 CPUtime=642.13 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 5516 0 0 0 63936 277 0 0 25 0 1 0 4708155 31727616 5325 1992294400 134512640 137138936 4287183424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 7746 5325 192 642 0 7102 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 30984 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1798984/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42840 CPUtime=1122 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8478 0 0 0 111727 473 0 0 25 0 1 0 4708155 43868160 8287 1992294400 134512640 137138936 4287183424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10710 8287 192 642 0 10066 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 42840 [startup+1182.3 s] /proc/loadavg: 1.13 1.06 1.01 2/107 13070 /proc/meminfo: memFree=1798860/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42840 CPUtime=1181.98 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8478 0 0 0 117706 492 0 0 25 0 1 0 4708155 43868160 8287 1992294400 134512640 137138936 4287183424 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10710 8287 192 642 0 10066 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 42840 [startup+1242.3 s] /proc/loadavg: 1.12 1.06 1.00 3/107 13072 /proc/meminfo: memFree=1798736/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42840 CPUtime=1241.96 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8478 0 0 0 123680 516 0 0 25 0 1 0 4708155 43868160 8287 1992294400 134512640 137138936 4287183424 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10710 8287 192 642 0 10066 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 42840 [startup+1302.3 s] /proc/loadavg: 1.11 1.07 1.00 2/107 13072 /proc/meminfo: memFree=1798612/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42840 CPUtime=1301.95 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8478 0 0 0 129657 538 0 0 25 0 1 0 4708155 43868160 8287 1992294400 134512640 137138936 4287183424 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10710 8287 192 642 0 10066 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 42840 [startup+1362.3 s] /proc/loadavg: 1.10 1.07 1.00 2/107 13074 /proc/meminfo: memFree=1798612/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42840 CPUtime=1361.93 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8478 0 0 0 135635 558 0 0 25 0 1 0 4708155 43868160 8287 1992294400 134512640 137138936 4287183424 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10710 8287 192 642 0 10066 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 42840 [startup+1422.31 s] /proc/loadavg: 1.09 1.07 1.00 2/107 13076 /proc/meminfo: memFree=1798612/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42844 CPUtime=1421.93 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8479 0 0 0 141613 580 0 0 25 0 1 0 4708155 43872256 8288 1992294400 134512640 137138936 4287183424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10711 8288 192 642 0 10067 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 42844 [startup+1482.3 s] /proc/loadavg: 1.08 1.07 1.00 2/107 13078 /proc/meminfo: memFree=1798612/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42844 CPUtime=1481.9 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8479 0 0 0 147580 610 0 0 25 0 1 0 4708155 43872256 8288 1992294400 134512640 137138936 4287183424 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10711 8288 192 642 0 10067 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 42844 [startup+1542.3 s] /proc/loadavg: 1.08 1.07 1.00 2/107 13089 /proc/meminfo: memFree=1798116/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1541.87 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 153552 635 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 42848 [startup+1602.3 s] /proc/loadavg: 1.07 1.06 1.00 2/107 13089 /proc/meminfo: memFree=1798116/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1601.86 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 159528 658 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 42848 [startup+1662.3 s] /proc/loadavg: 1.07 1.06 1.00 2/107 13091 /proc/meminfo: memFree=1798116/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1661.84 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 165506 678 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 42848 [startup+1722.3 s] /proc/loadavg: 1.06 1.06 1.00 2/107 13093 /proc/meminfo: memFree=1798116/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1721.83 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 171483 700 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 42848 [startup+1782.3 s] /proc/loadavg: 1.02 1.05 1.00 2/107 13095 /proc/meminfo: memFree=1797992/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1781.81 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 177464 717 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 42848 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.02 1.05 1.00 2/107 13095 /proc/meminfo: memFree=1797992/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1791.42 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 178422 720 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 42848 [startup+1795.1 s] /proc/loadavg: 1.02 1.05 1.00 2/107 13095 /proc/meminfo: memFree=1797992/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1794.62 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 178741 721 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 42848 [startup+1796.7 s] /proc/loadavg: 1.02 1.05 1.00 2/107 13095 /proc/meminfo: memFree=1797992/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1796.21 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 178899 722 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 42848 [startup+1797.5 s] /proc/loadavg: 1.02 1.05 1.00 2/107 13095 /proc/meminfo: memFree=1797992/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1797 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 178978 722 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 42848 [startup+1797.9 s] /proc/loadavg: 1.02 1.05 1.00 2/107 13095 /proc/meminfo: memFree=1797992/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1797.4 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 179018 722 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (KiB) 42848 [startup+1798.3 s] /proc/loadavg: 1.02 1.05 1.00 2/107 13095 /proc/meminfo: memFree=1797992/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1797.8 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 179058 722 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 42848 [startup+1798.4 s] /proc/loadavg: 1.01 1.05 1.00 2/107 13095 /proc/meminfo: memFree=1797992/2059040 swapFree=4180036/4192956 [pid=13037] ppid=13035 vsize=42848 CPUtime=1797.91 /proc/13037/stat : 13037 (bsolo_pb10) R 13035 13037 12735 0 -1 4202496 8480 0 0 0 179069 722 0 0 25 0 1 0 4708155 43876352 8289 1992294400 134512640 137138936 4287183424 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13037/statm: 10712 8289 192 642 0 10068 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 42848 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798.01 CPU user time (s): 1790.77 CPU system time (s): 7.2339 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 42848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.77 system time used= 7.2339 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8481 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= 1 involuntary context switches= 2659 runsolver used 2.94255 second user time and 8.5187 second system time The end
Begin job on node035 at 2010-06-15 22:35:32 IDJOB=2657264 IDBENCH=24990 IDSOLVER=1163 FILE ID=node035/2657264-1276634132 PBS_JOBID= 11172364 Free space on /tmp= 62460 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657264-1276634132/watcher-2657264-1276634132 -o /tmp/evaluation-result-2657264-1276634132/solver-2657264-1276634132 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657264-1276634132.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1799157107 node035.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833240 kB Buffers: 10452 kB Cached: 92568 kB SwapCached: 660 kB Active: 63100 kB Inactive: 87400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833240 kB SwapTotal: 4192956 kB SwapFree: 4180036 kB Dirty: 4284 kB Writeback: 24 kB AnonPages: 46788 kB Mapped: 15368 kB Slab: 53504 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182984 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62456 MiB End job on node035 at 2010-06-15 23:05:30