Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 30 | 1798.01 | 1798.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
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 | 27 |
Best CPU time to get the best result obtained on this benchmark | 5.35619 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | YES |
Number of variables | 5828 |
Total number of constraints | 17411 |
Number of constraints which are clauses | 17411 |
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 | 2817 |
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 | 2817 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2817 |
Number of bits of the biggest sum of numbers | 12 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656323-1276630387.opb 0.00/0.00 c File size is 515072 bytes. 0.00/0.08 c Highest Coefficient sum: 2817 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.083 s 0.00/0.09 c Var: 5828 Constr: 17411 17411/0/0 Lit: 42410 Watch. Lit: 34539 0.00/0.09 c Obj. Vars: 2817 (48.3356 % of total variables) 0.19/0.22 c Pre-processing Time: 0.219 s 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 5239 15056 37310 2 30112 5018 0 0 0.22 0.19/0.22 c Switching off lower bounding mode. 0.19/0.23 o 31 8.89/8.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.90 c 2 5239 15061 39906 2 32625 6018 5 8 0.23 8.89/8.90 c 102 5239 15167 46267 3 32837 6620 111 175 0.58 8.89/8.90 c 352 5239 15532 55823 3 33567 7283 476 296 1.19 8.89/8.90 c 827 5239 16174 71014 4 34851 8012 1118 331 2.50 8.89/8.90 c 1641 5239 17079 108082 6 36661 8814 2023 299 5.49 8.89/8.90 o 30 1797.99/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.51 c 2524 5239 18055 161305 8 41117 6018 2999 283 8.91 1797.99/1798.51 c 2624 5239 18165 165391 9 41337 6620 3109 283 9.26 1797.99/1798.51 c 2875 5239 18432 177575 9 41871 7283 3376 279 10.28 1797.99/1798.51 c 3350 5239 18927 214060 11 47849 8012 3871 276 12.13 1797.99/1798.51 c 4163 5239 19789 263834 13 49573 8814 4733 266 15.62 1797.99/1798.51 c 5483 5239 21134 367724 17 52263 9696 6078 255 21.50 1797.99/1798.51 c 7565 5239 23468 634665 27 56931 10666 8412 249 30.27 1797.99/1798.51 c 10788 5239 20390 578986 28 43284 11733 5334 235 45.74 1797.99/1798.51 c 15725 5239 25736 1040217 40 63976 12907 10680 222 70.76 1797.99/1798.51 c 23232 5239 25277 720701 28 58050 14198 10221 215 107.69 1797.99/1798.51 c 34594 5239 27686 993964 35 60377 15618 12630 204 169.41 1797.99/1798.51 c 51738 5239 26334 855774 32 60171 17180 11278 204 252.39 1797.99/1798.51 c 77557 5239 31661 1031343 32 65826 18899 16605 206 376.24 1797.99/1798.51 c 116389 5239 25233 1212081 48 52970 20789 10177 203 571.22 1797.99/1798.51 c 174741 5239 34337 931782 27 71178 22868 19281 203 856.91 1797.99/1798.51 c 262373 5239 32604 2352242 72 70212 25155 17548 194 1350.81 1797.99/1798.51 c Resources Exceeded 1797.99/1798.51 v -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 x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -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 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -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 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -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 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -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 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -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 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -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 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -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 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -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 -x3447 -x3449 -x3451 x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 x3479 -x3481 -x3483 -x3485 -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 -x3629 -x3631 -x3633 -x3635 -x3637 -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 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 x4528 x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 x5784 -x5786 -x5788 -x5790 -x5792 x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 x5820 -x5822 -x5824 -x5826 -x5828 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -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 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x327 -x1 -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 -x4 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -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 -x6 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x7 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x8 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x9 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x10 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x11 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x12 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x13 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x14 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x15 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x16 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x17 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x18 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x19 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x20 -x993 -x995 -x997 -x21 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x22 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x23 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x24 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x25 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x26 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x27 -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 -x28 -x1324 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x29 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x30 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x31 -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 -x32 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x33 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x34 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x35 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x36 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x37 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x38 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x39 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x40 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x41 -x1805 -x1807 -x1809 -x42 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x43 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x44 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x45 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x46 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x47 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 x48 x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x49 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x50 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x51 -x2049 -x2051 -x2053 -x52 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x53 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x54 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x55 -x2113 -x2115 -x2117 -x56 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x57 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x58 -x2147 -x2149 -x2151 x59 -x2153 x2155 -x2157 -x60 -x2159 -x2161 -x2163 -x61 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x62 -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 -x63 -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 -x64 -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 -x65 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x66 -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 -x67 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x68 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x69 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x70 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x71 -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 -x72 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x73 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x74 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x75 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x76 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x77 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x78 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 x3000 x79 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 x3066 -x3068 -x80 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x81 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x82 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x83 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x84 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x85 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x86 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x87 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x88 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x89 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x90 -x3334 -x3336 -x3338 -x91 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x92 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x93 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x94 -x3398 -x3400 -x3402 -x95 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x96 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x97 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x98 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 x3534 -x3536 -x3538 -x99 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x100 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x101 -x3568 -x3570 -x3572 -x102 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x103 -x3588 -x3590 -x3592 -x104 -x3594 -x3596 -x3598 -x105 -x3600 -x106 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x107 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x108 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x109 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x110 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x111 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x112 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x113 -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 -x114 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x115 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x116 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x117 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x118 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x119 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x120 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x121 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x122 -x4127 -x4129 -x4131 -x123 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x124 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x125 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x126 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 x4237 -x4239 -x128 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x129 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x130 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x131 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x132 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x133 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x134 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x135 -x4435 -x4437 -x4439 -x136 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x137 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x138 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x139 -x4499 -x4501 -x4503 -x4505 -x4507 x4509 -x4511 -x4513 -x4515 -x4517 -x140 -x4519 -x4521 -x4523 x141 -x4525 x4527 x4529 x142 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x143 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x144 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x145 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x146 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x147 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x148 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x149 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x150 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x151 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x152 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x153 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x154 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x155 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x156 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x157 -x5133 -x5135 -x5137 -x158 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x159 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x160 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x161 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x162 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x163 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x164 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x165 -x5329 -x5331 -x5333 -x166 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 x5363 x167 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x168 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 x5393 -x5395 -x169 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x170 -x5411 -x5413 -x5415 -x171 -x5417 -x5419 -x5421 -x172 -x5423 -x173 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x174 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x175 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x176 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x177 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x178 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x179 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x180 -x5613 -x5615 -x5617 -x181 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x182 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 x5661 x183 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 x5675 -x5677 -x5679 -x5681 -x184 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x185 -x5697 -x5699 -x5701 x5703 -x5705 -x5707 -x186 -x5709 -x187 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x188 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x189 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x190 -x5765 -x5767 -x5769 -x191 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 x5783 x192 -x5785 -x5787 -x193 -x5789 -x5791 x5793 x194 -x5795 -x195 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x196 -x5809 -x5811 -x5813 -x197 -x5815 -x5817 x5819 x198 -x5821 -x199 -x5823 -x5825 -x200 -x5827 -x201 x202 1797.99/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.51 c 21 341308 212029 1294730 34414 2674790 19358 189 1798.00 1797.99/1798.51 c Objective: 30 1797.99/1798.51 s SATISFIABLE 1797.99/1798.51 c Total time: 1798 s
OK 30
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656323-1276630387/watcher-2656323-1276630387 -o /tmp/evaluation-result-2656323-1276630387/solver-2656323-1276630387 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656323-1276630387.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 1.06 2/106 8774 /proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=11440 CPUtime=0 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 38642692 11714560 293 1992294400 134512640 137138936 4294591552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 2860 293 176 642 0 2090 0 [startup+0.0930969 s] /proc/loadavg: 0.92 0.98 1.06 2/106 8774 /proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=14080 CPUtime=0.08 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1287 0 0 0 8 0 0 0 22 0 1 0 38642692 14417920 1080 1992294400 134512640 137138936 4294591552 18446744073709551615 136382014 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 3520 1080 183 642 0 2876 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14080 [startup+0.101098 s] /proc/loadavg: 0.92 0.98 1.06 2/106 8774 /proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=14080 CPUtime=0.09 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1292 0 0 0 9 0 0 0 22 0 1 0 38642692 14417920 1085 1992294400 134512640 137138936 4294591552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 3520 1085 184 642 0 2876 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14080 [startup+0.301121 s] /proc/loadavg: 0.92 0.98 1.06 2/106 8774 /proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=14328 CPUtime=0.29 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1418 0 0 0 27 2 0 0 22 0 1 0 38642692 14671872 1158 1992294400 134512640 137138936 4294591552 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 3582 1158 192 642 0 2938 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14328 [startup+0.701168 s] /proc/loadavg: 0.92 0.98 1.06 2/106 8774 /proc/meminfo: memFree=1841392/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=14436 CPUtime=0.69 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1431 0 0 0 67 2 0 0 24 0 1 0 38642692 14782464 1171 1992294400 134512640 137138936 4294591552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 3609 1171 192 642 0 2965 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14436 [startup+1.50126 s] /proc/loadavg: 0.92 0.98 1.06 2/107 8775 /proc/meminfo: memFree=1837292/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=14436 CPUtime=1.49 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 1876 0 0 0 146 3 0 0 25 0 1 0 38642692 14782464 1190 1992294400 134512640 137138936 4294591552 18446744073709551615 134578584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 3609 1190 192 642 0 2965 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14436 [startup+3.10145 s] /proc/loadavg: 0.92 0.98 1.06 2/107 8775 /proc/meminfo: memFree=1836920/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=14660 CPUtime=3.09 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 4856 0 0 0 303 6 0 0 25 0 1 0 38642692 15011840 1246 1992294400 134512640 137138936 4294591552 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 3665 1246 192 642 0 3021 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14660 [startup+6.30083 s] /proc/loadavg: 0.93 0.98 1.06 2/107 8777 /proc/meminfo: memFree=1836176/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=15284 CPUtime=6.29 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 12940 0 0 0 618 11 0 0 25 0 1 0 38642692 15650816 1402 1992294400 134512640 137138936 4294591552 18446744073709551615 134606995 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 3821 1402 192 642 0 3177 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15284 [startup+12.7006 s] /proc/loadavg: 0.93 0.98 1.06 2/107 8777 /proc/meminfo: memFree=1834440/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=16976 CPUtime=12.69 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 26108 0 0 0 1249 20 0 0 25 0 1 0 38642692 17383424 1825 1992294400 134512640 137138936 4294591552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 4244 1825 192 642 0 3600 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16976 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 1.06 2/107 8777 /proc/meminfo: memFree=1830968/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=20440 CPUtime=25.49 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 50098 0 0 0 2515 34 0 0 25 0 1 0 38642692 20930560 2691 1992294400 134512640 137138936 4294591552 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 5110 2691 192 642 0 4466 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20440 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 1.05 2/107 8777 /proc/meminfo: memFree=1824272/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=27112 CPUtime=51.07 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 83774 0 0 0 5052 55 0 0 25 0 1 0 38642692 27762688 4359 1992294400 134512640 137138936 4294591552 18446744073709551615 134602833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 6778 4359 192 642 0 6134 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27112 [startup+102.309 s] /proc/loadavg: 0.98 0.98 1.05 2/107 8779 /proc/meminfo: memFree=1819064/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=32008 CPUtime=102.27 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 112891 0 0 0 10148 79 0 0 25 0 1 0 38642692 32776192 5583 1992294400 134512640 137138936 4294591552 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 8002 5583 192 642 0 7358 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 32008 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.04 2/107 8781 /proc/meminfo: memFree=1819064/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=32088 CPUtime=162.25 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 113721 0 0 0 16137 88 0 0 25 0 1 0 38642692 32858112 5603 1992294400 134512640 137138936 4294591552 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 8022 5603 192 642 0 7378 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32088 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.04 2/107 8781 /proc/meminfo: memFree=1819064/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=32092 CPUtime=222.23 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 113722 0 0 0 22127 96 0 0 25 0 1 0 38642692 32862208 5604 1992294400 134512640 137138936 4294591552 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 8023 5604 192 642 0 7379 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 32092 [startup+282.301 s] /proc/loadavg: 0.99 0.98 1.03 2/107 8783 /proc/meminfo: memFree=1819064/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=32088 CPUtime=282.22 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 113722 0 0 0 28116 106 0 0 25 0 1 0 38642692 32858112 5603 1992294400 134512640 137138936 4294591552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 8022 5603 192 642 0 7378 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 32088 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 8785 /proc/meminfo: memFree=1818072/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=33028 CPUtime=342.2 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 120611 0 0 0 34100 120 0 0 25 0 1 0 38642692 33820672 5838 1992294400 134512640 137138936 4294591552 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 8257 5838 192 642 0 7613 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33028 [startup+402.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 8787 /proc/meminfo: memFree=1818072/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=33036 CPUtime=402.18 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 120613 0 0 0 40089 129 0 0 25 0 1 0 38642692 33828864 5840 1992294400 134512640 137138936 4294591552 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 8259 5840 192 642 0 7615 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 33036 [startup+462.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 8789 /proc/meminfo: memFree=1816212/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=34688 CPUtime=462.17 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 133756 0 0 0 46071 146 0 0 25 0 1 0 38642692 35520512 6253 1992294400 134512640 137138936 4294591552 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 8672 6253 192 642 0 8028 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 34688 [startup+522.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 8789 /proc/meminfo: memFree=1807780/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=43100 CPUtime=522.15 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 192123 0 0 0 52028 187 0 0 25 0 1 0 38642692 44134400 8356 1992294400 134512640 137138936 4294591552 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 10775 8356 192 642 0 10131 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 43100 [startup+582.302 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8791 /proc/meminfo: memFree=1801456/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=49332 CPUtime=582.13 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230816 0 0 0 57994 219 0 0 25 0 1 0 38642692 50515968 9914 1992294400 134512640 137138936 4294591552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 12333 9914 192 642 0 11689 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 49332 [startup+642.302 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8793 /proc/meminfo: memFree=1801456/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=49336 CPUtime=642.13 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230818 0 0 0 63985 228 0 0 25 0 1 0 38642692 50520064 9915 1992294400 134512640 137138936 4294591552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 12334 9915 192 642 0 11690 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 49336 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1802944/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=47136 CPUtime=1062 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230820 0 0 0 105914 286 0 0 25 0 1 0 38642692 48267264 9365 1992294400 134512640 137138936 4294591552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 11784 9365 192 642 0 11140 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 47136 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8805 /proc/meminfo: memFree=1802820/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=47136 CPUtime=1121.99 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230820 0 0 0 111905 294 0 0 25 0 1 0 38642692 48267264 9365 1992294400 134512640 137138936 4294591552 18446744073709551615 134574851 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 11784 9365 192 642 0 11140 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 47136 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8807 /proc/meminfo: memFree=1802820/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=47136 CPUtime=1181.96 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230820 0 0 0 117895 301 0 0 25 0 1 0 38642692 48267264 9365 1992294400 134512640 137138936 4294591552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 11784 9365 192 642 0 11140 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 47136 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8809 /proc/meminfo: memFree=1802696/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=47136 CPUtime=1241.95 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 230820 0 0 0 123886 309 0 0 25 0 1 0 38642692 48267264 9365 1992294400 134512640 137138936 4294591552 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 11784 9365 192 642 0 11140 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 47136 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8811 /proc/meminfo: memFree=1797240/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=53020 CPUtime=1301.94 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 261002 0 0 0 129860 334 0 0 25 0 1 0 38642692 54292480 10836 1992294400 134512640 137138936 4294591552 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13255 10836 192 642 0 12611 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 53020 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8813 /proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55872 CPUtime=1361.92 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275303 0 0 0 135841 351 0 0 25 0 1 0 38642692 57212928 11549 1992294400 134512640 137138936 4294591552 18446744073709551615 136500294 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13968 11549 192 642 0 13324 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 55872 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8813 /proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55832 CPUtime=1421.91 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 141833 358 0 0 25 0 1 0 38642692 57171968 11539 1992294400 134512640 137138936 4294591552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13958 11539 192 642 0 13314 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 55832 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8815 /proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55832 CPUtime=1481.89 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 147824 365 0 0 25 0 1 0 38642692 57171968 11539 1992294400 134512640 137138936 4294591552 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13958 11539 192 642 0 13314 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 55832 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8817 /proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55828 CPUtime=1541.87 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 153816 371 0 0 25 0 1 0 38642692 57167872 11538 1992294400 134512640 137138936 4294591552 18446744073709551615 134607579 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13957 11538 192 642 0 13313 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 55828 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8819 /proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55800 CPUtime=1601.86 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 159806 380 0 0 25 0 1 0 38642692 57139200 11531 1992294400 134512640 137138936 4294591552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13950 11531 192 642 0 13306 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 55800 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8821 /proc/meminfo: memFree=1794388/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55800 CPUtime=1661.83 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 165796 387 0 0 25 0 1 0 38642692 57139200 11531 1992294400 134512640 137138936 4294591552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13950 11531 192 642 0 13306 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 55800 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8830 /proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55800 CPUtime=1721.8 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 171786 394 0 0 25 0 1 0 38642692 57139200 11531 1992294400 134512640 137138936 4294591552 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13950 11531 192 642 0 13306 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 55800 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8832 /proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55796 CPUtime=1781.79 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 177778 401 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13949 11530 192 642 0 13305 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 55796 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8832 /proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55796 CPUtime=1791.39 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 178737 402 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13949 11530 192 642 0 13305 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 55796 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8832 /proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55796 CPUtime=1794.59 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179056 403 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13949 11530 192 642 0 13305 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 55796 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8832 /proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55796 CPUtime=1796.18 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179215 403 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13949 11530 192 642 0 13305 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 55796 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8832 /proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55796 CPUtime=1796.99 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179295 404 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13949 11530 192 642 0 13305 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 55796 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8832 /proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55796 CPUtime=1797.78 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179374 404 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13949 11530 192 642 0 13305 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 55796 [startup+1798.51 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8832 /proc/meminfo: memFree=1793520/2059040 swapFree=4136500/4192956 [pid=8774] ppid=8772 vsize=55796 CPUtime=1797.99 /proc/8774/stat : 8774 (bsolo_pb10) R 8772 8774 8006 0 -1 4202496 275307 0 0 0 179395 404 0 0 25 0 1 0 38642692 57135104 11530 1992294400 134512640 137138936 4294591552 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8774/statm: 13949 11530 192 642 0 13305 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 55796 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.01 CPU user time (s): 1793.96 CPU system time (s): 4.04838 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 55912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.96 system time used= 4.04838 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275308 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= 4681 runsolver used 2.92256 second user time and 8.5367 second system time The end
Begin job on node001 at 2010-06-15 21:33:07 IDJOB=2656323 IDBENCH=24974 IDSOLVER=1162 FILE ID=node001/2656323-1276630387 PBS_JOBID= 11172340 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656323-1276630387/watcher-2656323-1276630387 -o /tmp/evaluation-result-2656323-1276630387/solver-2656323-1276630387 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656323-1276630387.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED=1472771536 node001.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.202 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.40 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1841920 kB Buffers: 12460 kB Cached: 114348 kB SwapCached: 9628 kB Active: 86952 kB Inactive: 52880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1841920 kB SwapTotal: 4192956 kB SwapFree: 4136500 kB Dirty: 4412 kB Writeback: 0 kB AnonPages: 11572 kB Mapped: 9448 kB Slab: 55520 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182964 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= 62512 MiB End job on node001 at 2010-06-15 22:03:05