Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 24 | 1798.01 | 1798.7 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
MD5SUM | b63b2d912c01ff826a63051b401330db |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 2.99154 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | YES |
Number of variables | 4427 |
Total number of constraints | 12661 |
Number of constraints which are clauses | 12661 |
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 | 2136 |
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 | 2136 |
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 | 2136 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657257-1276632510.opb 0.00/0.00 c File size is 373906 bytes. 0.00/0.06 c Highest Coefficient sum: 2136 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.062 s 0.00/0.07 c Var: 4427 Constr: 12661 12661/0/0 Lit: 30901 Watch. Lit: 25157 0.00/0.07 c Obj. Vars: 2136 (48.2494 % of total variables) 0.09/0.15 c Pre-processing Time: 0.146 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 4020 10948 27163 2 21896 3649 0 0 0.15 0.09/0.15 c Switching off lower bounding mode. 0.09/0.15 o 25 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 4020 10949 29134 2 23845 4649 1 0 0.15 0.09/0.16 o 24 1797.90/1798.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.69 c 5 4020 10955 31380 2 25805 4649 7 30 0.16 1797.90/1798.69 c 106 4020 11056 35100 3 26007 5114 108 424 0.25 1797.90/1798.69 c 357 4020 11307 42642 3 26509 5626 359 756 0.47 1797.90/1798.69 c 832 4020 11782 59433 5 27459 6189 834 876 0.95 1797.90/1798.69 c 1647 4020 12597 89127 7 29089 6808 1649 937 1.76 1797.90/1798.69 c 2969 4020 13919 131400 9 31733 7489 2971 893 3.32 1797.90/1798.69 c 5051 4020 16001 240746 15 35897 8238 5053 921 5.48 1797.90/1798.69 c 8274 4020 19224 356950 18 42343 9062 8276 879 9.41 1797.90/1798.69 c 13210 4020 17921 324529 18 37790 9969 6973 866 15.24 1797.90/1798.69 c 20716 4020 18886 489799 25 39720 10966 7938 830 24.93 1797.90/1798.69 c 32077 4020 16432 273073 16 34812 12063 5484 813 39.44 1797.90/1798.69 c 49221 4020 18367 405594 22 38682 13270 7419 807 60.96 1797.90/1798.69 c 75041 4020 19355 669866 34 40658 14598 8407 703 106.74 1797.90/1798.69 c 113874 4020 23859 418406 17 49666 16058 12911 686 165.86 1797.90/1798.69 c 172226 4020 23825 844641 35 49598 17664 12877 663 259.39 1797.90/1798.69 c 259861 4020 28411 841834 29 58770 19431 17463 629 412.77 1797.90/1798.69 c 391414 4020 22654 819631 36 47256 21375 11706 610 641.51 1797.90/1798.69 c 588846 4020 22089 689290 31 46126 23513 11141 583 1008.31 1797.90/1798.69 c 885098 4020 23499 1008228 42 48946 25865 12551 555 1593.91 1797.90/1798.69 c Resources Exceeded 1797.90/1798.69 v -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 x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -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 -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 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -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 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -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 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 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -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 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -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 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -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 -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 -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 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -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 x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -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 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -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 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -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 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -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 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 x4417 x4419 -x4421 x4423 x4425 x4427 -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 -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 -x1 -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 -x2 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x3 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x4 -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 -x515 -x517 -x5 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x6 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x7 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x8 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x9 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x10 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x11 -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 -x12 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x13 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x15 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x16 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x17 -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 -x18 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x19 -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 -x20 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x21 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x22 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x23 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x24 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x25 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x26 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x27 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x28 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x29 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x30 -x1331 -x1333 -x1335 -x31 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1364 -x32 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x33 -x1380 -x1382 -x1384 -x1386 -x1389 -x34 -x1391 -x1393 -x1395 -x35 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x36 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x37 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x38 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x39 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x40 -x1513 -x1515 -x1517 -x41 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x42 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 x1545 -x1547 -x1549 -x1551 -x43 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x44 -x1567 -x1569 -x1571 -x45 -x1573 -x1575 -x1577 -x46 -x1579 -x1581 x1583 x47 -x1585 -x1587 x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x48 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x49 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x50 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x51 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x52 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x53 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x54 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x55 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x57 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x58 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x59 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x60 -x1961 -x1963 -x1965 -x61 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x62 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x63 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x64 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x65 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x66 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x67 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x68 -x2112 -x2114 -x2116 -x69 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x70 -x2148 -x2150 -x2152 -x2154 -x2156 -x2159 -x71 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x72 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x73 -x2189 -x2191 -x2193 -x74 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x75 -x2209 -x2211 -x76 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x77 -x2227 -x2229 -x2231 -x78 -x2233 -x2235 -x2237 -x79 -x2239 -x2241 -x2243 -x80 -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 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 -x81 -x2373 -x2375 -x2377 -x2379 -x2381 -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 -x82 -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 -x83 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x84 -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 -x85 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x86 -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 -x87 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x88 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x89 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x90 -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 -x91 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x92 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x93 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x94 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x95 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x96 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x97 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x98 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x99 -x2989 -x2991 -x2993 -x100 -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 -x101 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x102 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x103 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x104 -x3131 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x105 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x106 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x107 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x108 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x109 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x110 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x111 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x112 -x3359 -x3361 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x113 -x3388 -x3390 -x3392 -x3394 -x3396 -x3399 -x114 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x115 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x116 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x117 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x118 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x119 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x120 -x3523 -x3525 x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x121 -x3543 -x3545 -x3547 -x122 -x3549 -x3551 -x3553 -x123 -x3555 -x124 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x125 -x3618 -x3620 -x3622 -x3624 -x3626 -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 -x126 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x127 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x128 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x129 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x130 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x131 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x132 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x133 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x134 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x135 -x3914 -x3916 -x3918 -x136 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x137 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x138 -x3963 -x3965 -x3967 -x3969 -x3971 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x139 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x140 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x141 -x4018 -x4020 -x4022 -x142 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x143 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x144 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x145 -x4082 -x4084 -x146 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 x4098 -x4100 -x4102 -x4104 -x147 -x4106 -x4108 -x4110 -x148 -x4112 -x149 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x150 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x151 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x152 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x153 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x154 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x155 -x4245 -x4247 -x4249 -x156 -x4251 -x4253 -x4256 -x4258 -x4260 -x4262 -x157 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 x4276 -x4278 -x4280 -x4282 -x158 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x159 -x4298 -x4300 -x4302 x160 -x4304 x4306 -x4308 -x161 -x4310 -x162 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4333 -x4335 -x163 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x164 -x4351 -x4353 -x4355 -x4357 -x4359 -x4362 -x165 -x4364 -x4366 -x4368 x166 -x4370 -x4372 x4374 -x4376 -x4378 -x4380 -x4382 -x167 -x4384 -x4386 -x168 -x4388 -x4390 -x4392 -x169 -x4394 -x4396 -x4398 -x4400 x4402 -x4404 -x4406 -x170 -x4408 -x4410 -x4412 -x4414 x4416 x4418 -x4420 x171 x4422 x4424 x172 x4426 x173 x174 1797.90/1798.69 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.69 c 20 980323 601931 3674697 37182 2088943 26234 545 1798.01 1797.90/1798.69 c Objective: 24 1797.90/1798.69 s SATISFIABLE 1797.90/1798.69 c Total time: 1798.01 s
OK 24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657257-1276632510/watcher-2657257-1276632510 -o /tmp/evaluation-result-2657257-1276632510/solver-2657257-1276632510 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657257-1276632510.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: 2.07 2.03 1.65 3/106 6459 /proc/meminfo: memFree=1857152/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=11304 CPUtime=0 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 364 0 0 0 0 0 0 0 17 0 1 0 38854418 11575296 282 1992294400 134512640 137138936 4290105360 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 2826 283 176 642 0 2090 0 [startup+0.0963139 s] /proc/loadavg: 2.07 2.03 1.65 3/106 6459 /proc/meminfo: memFree=1857152/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=13284 CPUtime=0.08 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 1032 0 0 0 8 0 0 0 17 0 1 0 38854418 13602816 858 1992294400 134512640 137138936 4290105360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 3321 858 184 642 0 2677 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13284 [startup+0.101314 s] /proc/loadavg: 2.07 2.03 1.65 3/106 6459 /proc/meminfo: memFree=1857152/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=13284 CPUtime=0.09 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 1032 0 0 0 9 0 0 0 17 0 1 0 38854418 13602816 858 1992294400 134512640 137138936 4290105360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 3321 858 184 642 0 2677 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13284 [startup+0.301387 s] /proc/loadavg: 2.07 2.03 1.65 3/106 6459 /proc/meminfo: memFree=1857152/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=13420 CPUtime=0.29 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 1123 0 0 0 27 2 0 0 18 0 1 0 38854418 13742080 919 1992294400 134512640 137138936 4290105360 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 3355 919 192 642 0 2711 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13420 [startup+0.701425 s] /proc/loadavg: 2.07 2.03 1.65 3/106 6459 /proc/meminfo: memFree=1857152/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=13564 CPUtime=0.69 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 1165 0 0 0 66 3 0 0 18 0 1 0 38854418 13889536 961 1992294400 134512640 137138936 4290105360 18446744073709551615 134541989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 3391 961 192 642 0 2747 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13564 [startup+1.50157 s] /proc/loadavg: 2.07 2.03 1.65 2/107 6460 /proc/meminfo: memFree=1853796/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=13956 CPUtime=1.48 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 1269 0 0 0 144 4 0 0 19 0 1 0 38854418 14290944 1065 1992294400 134512640 137138936 4290105360 18446744073709551615 136504824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 3489 1065 192 642 0 2845 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13956 [startup+3.10087 s] /proc/loadavg: 1.99 2.02 1.64 2/107 6460 /proc/meminfo: memFree=1852928/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=14796 CPUtime=3.09 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 1460 0 0 0 303 6 0 0 24 0 1 0 38854418 15151104 1256 1992294400 134512640 137138936 4290105360 18446744073709551615 134575222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 3699 1256 192 642 0 3055 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14796 [startup+6.30146 s] /proc/loadavg: 1.99 2.02 1.64 2/107 6460 /proc/meminfo: memFree=1850696/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=16824 CPUtime=6.28 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 1986 0 0 0 620 8 0 0 25 0 1 0 38854418 17227776 1782 1992294400 134512640 137138936 4290105360 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 4206 1782 192 642 0 3562 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16824 [startup+12.7016 s] /proc/loadavg: 1.83 1.98 1.64 2/107 6460 /proc/meminfo: memFree=1847348/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=20064 CPUtime=12.68 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 2798 0 0 0 1256 12 0 0 25 0 1 0 38854418 20545536 2594 1992294400 134512640 137138936 4290105360 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 5016 2594 192 642 0 4372 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20064 [startup+25.501 s] /proc/loadavg: 1.71 1.95 1.63 2/107 6462 /proc/meminfo: memFree=1844992/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=22256 CPUtime=25.47 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 3326 0 0 0 2529 18 0 0 25 0 1 0 38854418 22790144 3122 1992294400 134512640 137138936 4290105360 18446744073709551615 134573839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 5564 3122 192 642 0 4920 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 22256 [startup+51.1007 s] /proc/loadavg: 1.46 1.87 1.61 2/107 6462 /proc/meminfo: memFree=1843752/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=23348 CPUtime=51.07 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 3611 0 0 0 5074 33 0 0 25 0 1 0 38854418 23908352 3407 1992294400 134512640 137138936 4290105360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 5837 3407 192 642 0 5193 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23348 [startup+102.308 s] /proc/loadavg: 1.18 1.72 1.57 2/107 6464 /proc/meminfo: memFree=1838048/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=28968 CPUtime=102.26 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 5015 0 0 0 10176 50 0 0 25 0 1 0 38854418 29663232 4811 1992294400 134512640 137138936 4290105360 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 7242 4811 192 642 0 6598 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28968 [startup+162.301 s] /proc/loadavg: 1.07 1.59 1.54 2/107 6464 /proc/meminfo: memFree=1837552/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=29408 CPUtime=162.23 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 5130 0 0 0 16152 71 0 0 25 0 1 0 38854418 30113792 4926 1992294400 134512640 137138936 4290105360 18446744073709551615 134543056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 7352 4926 192 642 0 6708 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29408 [startup+222.3 s] /proc/loadavg: 1.02 1.48 1.50 2/107 6466 /proc/meminfo: memFree=1837552/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=29416 CPUtime=222.21 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 5132 0 0 0 22128 93 0 0 25 0 1 0 38854418 30121984 4928 1992294400 134512640 137138936 4290105360 18446744073709551615 136504414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 7354 4928 192 642 0 6710 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 29416 [startup+282.3 s] /proc/loadavg: 1.01 1.39 1.46 2/107 6468 /proc/meminfo: memFree=1836808/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=30044 CPUtime=282.18 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 5295 0 0 0 28105 113 0 0 25 0 1 0 38854418 30765056 5091 1992294400 134512640 137138936 4290105360 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 7511 5091 192 642 0 6867 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 30044 [startup+342.302 s] /proc/loadavg: 1.05 1.33 1.44 2/107 6473 /proc/meminfo: memFree=1834204/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=32044 CPUtime=342.16 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 5792 0 0 0 34083 133 0 0 25 0 1 0 38854418 32813056 5588 1992294400 134512640 137138936 4290105360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 8011 5588 192 642 0 7367 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 32044 [startup+402.302 s] /proc/loadavg: 1.02 1.27 1.41 2/107 6475 /proc/meminfo: memFree=1834204/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=32044 CPUtime=402.14 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 5792 0 0 0 40059 155 0 0 25 0 1 0 38854418 32813056 5588 1992294400 134512640 137138936 4290105360 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 8011 5588 192 642 0 7367 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 32044 [startup+462.301 s] /proc/loadavg: 1.00 1.22 1.38 2/107 6475 /proc/meminfo: memFree=1832344/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=33880 CPUtime=462.12 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 6245 0 0 0 46036 176 0 0 25 0 1 0 38854418 34693120 6041 1992294400 134512640 137138936 4290105360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 8470 6041 192 642 0 7826 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 33880 [startup+522.301 s] /proc/loadavg: 1.00 1.17 1.35 2/107 6477 /proc/meminfo: memFree=1830732/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=35472 CPUtime=522.1 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 6643 0 0 0 52014 196 0 0 25 0 1 0 38854418 36323328 6439 1992294400 134512640 137138936 4290105360 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 8868 6439 192 642 0 8224 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 35472 [startup+582.301 s] /proc/loadavg: 1.00 1.14 1.33 2/107 6479 /proc/meminfo: memFree=1830732/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=35472 CPUtime=582.07 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 6645 0 0 0 57989 218 0 0 25 0 1 0 38854418 36323328 6441 1992294400 134512640 137138936 4290105360 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 8868 6441 192 642 0 8224 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 35472 [startup+642.301 s] /proc/loadavg: 1.00 1.11 1.31 2/107 6481 /proc/meminfo: memFree=1830732/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=35472 CPUtime=642.06 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 6645 0 0 0 63968 238 0 0 25 0 1 0 38854418 36323328 6441 1992294400 134512640 137138936 4290105360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 8868 6441 192 642 0 8224 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 35472 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1826888/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=39088 CPUtime=1121.87 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 7551 0 0 0 111794 393 0 0 25 0 1 0 38854418 40026112 7347 1992294400 134512640 137138936 4290105360 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 9772 7347 192 642 0 9128 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 39088 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 6495 /proc/meminfo: memFree=1826764/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=39088 CPUtime=1181.84 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 7551 0 0 0 117772 412 0 0 25 0 1 0 38854418 40026112 7347 1992294400 134512640 137138936 4290105360 18446744073709551615 134601123 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 9772 7347 192 642 0 9128 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 39088 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 6497 /proc/meminfo: memFree=1823416/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=42464 CPUtime=1241.82 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 8393 0 0 0 123749 433 0 0 25 0 1 0 38854418 43483136 8189 1992294400 134512640 137138936 4290105360 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 10616 8189 192 642 0 9972 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 42464 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 6499 /proc/meminfo: memFree=1823416/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=42456 CPUtime=1301.81 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 8393 0 0 0 129723 458 0 0 25 0 1 0 38854418 43474944 8189 1992294400 134512640 137138936 4290105360 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 10614 8189 192 642 0 9970 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 42456 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 6499 /proc/meminfo: memFree=1823292/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=42456 CPUtime=1361.77 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 8393 0 0 0 135699 478 0 0 25 0 1 0 38854418 43474944 8189 1992294400 134512640 137138936 4290105360 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 10614 8189 192 642 0 9970 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 42456 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/107 6501 /proc/meminfo: memFree=1823292/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=42508 CPUtime=1421.76 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 8408 0 0 0 141682 494 0 0 25 0 1 0 38854418 43528192 8204 1992294400 134512640 137138936 4290105360 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 10627 8204 192 642 0 9983 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 42508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 6503 /proc/meminfo: memFree=1822176/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=43504 CPUtime=1481.73 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 8660 0 0 0 147663 510 0 0 25 0 1 0 38854418 44548096 8456 1992294400 134512640 137138936 4290105360 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 10876 8456 192 642 0 10232 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 43504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 6505 /proc/meminfo: memFree=1819696/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46180 CPUtime=1541.71 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9323 0 0 0 153647 524 0 0 25 0 1 0 38854418 47288320 9119 1992294400 134512640 137138936 4290105360 18446744073709551615 134575756 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11545 9119 192 642 0 10901 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 46180 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 6507 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46172 CPUtime=1601.69 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9323 0 0 0 159625 544 0 0 25 0 1 0 38854418 47280128 9119 1992294400 134512640 137138936 4290105360 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11543 9119 192 642 0 10899 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 46172 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 6507 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46180 CPUtime=1661.66 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 165608 558 0 0 25 0 1 0 38854418 47288320 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 136297748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11545 9121 192 642 0 10901 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 46180 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 6509 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46180 CPUtime=1721.64 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 171591 573 0 0 25 0 1 0 38854418 47288320 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 136501670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11545 9121 192 642 0 10901 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 46180 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6511 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46176 CPUtime=1781.61 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 177573 588 0 0 25 0 1 0 38854418 47284224 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11544 9121 192 642 0 10900 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 46176 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6511 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46176 CPUtime=1791.21 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 178531 590 0 0 25 0 1 0 38854418 47284224 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11544 9121 192 642 0 10900 0 Current children cumulated CPU time (s) 1791.21 Current children cumulated vsize (KiB) 46176 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6511 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46176 CPUtime=1794.41 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 178850 591 0 0 25 0 1 0 38854418 47284224 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11544 9121 192 642 0 10900 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (KiB) 46176 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6511 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46176 CPUtime=1796 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 179009 591 0 0 25 0 1 0 38854418 47284224 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 134543394 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11544 9121 192 642 0 10900 0 Current children cumulated CPU time (s) 1796 Current children cumulated vsize (KiB) 46176 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6511 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46176 CPUtime=1796.8 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 179089 591 0 0 25 0 1 0 38854418 47284224 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11544 9121 192 642 0 10900 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 46176 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6511 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46176 CPUtime=1797.6 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 179169 591 0 0 25 0 1 0 38854418 47284224 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11544 9121 192 642 0 10900 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 46176 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6511 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46176 CPUtime=1797.81 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 179190 591 0 0 25 0 1 0 38854418 47284224 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11544 9121 192 642 0 10900 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 46176 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6511 /proc/meminfo: memFree=1819572/2059040 swapFree=4140132/4192956 [pid=6459] ppid=6457 vsize=46176 CPUtime=1797.9 /proc/6459/stat : 6459 (bsolo_pb10) R 6457 6459 5668 0 -1 4202496 9325 0 0 0 179199 591 0 0 25 0 1 0 38854418 47284224 9121 1992294400 134512640 137138936 4290105360 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6459/statm: 11544 9121 192 642 0 10900 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 46176 Child status: 0 Real time (s): 1798.7 CPU time (s): 1798.01 CPU user time (s): 1792.09 CPU system time (s): 5.9241 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 46184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.09 system time used= 5.9241 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9326 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= 2 involuntary context switches= 15912 runsolver used 2.89256 second user time and 8.5667 second system time The end
Begin job on node007 at 2010-06-15 22:08:30 IDJOB=2657257 IDBENCH=24983 IDSOLVER=1163 FILE ID=node007/2657257-1276632510 PBS_JOBID= 11172342 Free space on /tmp= 62488 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657257-1276632510/watcher-2657257-1276632510 -o /tmp/evaluation-result-2657257-1276632510/solver-2657257-1276632510 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657257-1276632510.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED=241798977 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1857680 kB Buffers: 12156 kB Cached: 101196 kB SwapCached: 6652 kB Active: 100084 kB Inactive: 27240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1857680 kB SwapTotal: 4192956 kB SwapFree: 4140132 kB Dirty: 4348 kB Writeback: 0 kB AnonPages: 12088 kB Mapped: 13052 kB Slab: 52216 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181976 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= 62484 MiB End job on node007 at 2010-06-15 22:38:28