Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 24 | 1798.01 | 1798.79 |
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 | 0.401938 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878321-1245181892.opb 0.00/0.00 c File size is 373906 bytes. 0.02/0.05 c Highest Coefficient sum: 2136 0.02/0.05 c Parsing was ok!! 0.02/0.05 c Total parsing time: 0.05 s 0.02/0.05 c Var: 4427 Constr: 12661 12661/0/0 Lit: 30901 Watch. Lit: 25157 0.02/0.05 c Obj. Vars: 2136 (48.2494 % of total variables) 0.09/0.12 c Pre-processing Time: 0.127 s 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 4020 10948 27163 2 21896 3649 0 0 0.13 0.09/0.12 c Switching off lower bounding mode. 0.09/0.13 o 25 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 4020 10949 29134 2 23845 4649 1 0 0.14 0.09/0.14 o 24 1797.92/1798.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.77 c 5 4020 10955 31380 2 25805 4649 7 34 0.14 1797.92/1798.77 c 106 4020 11056 35100 3 26007 5114 108 469 0.23 1797.92/1798.77 c 357 4020 11307 42642 3 26509 5626 359 816 0.44 1797.92/1798.77 c 832 4020 11782 59433 5 27459 6189 834 930 0.89 1797.92/1798.77 c 1647 4020 12597 89127 7 29089 6808 1649 985 1.67 1797.92/1798.77 c 2969 4020 13919 131400 9 31733 7489 2971 934 3.18 1797.92/1798.77 c 5051 4020 16001 240746 15 35897 8238 5053 959 5.27 1797.92/1798.77 c 8274 4020 19224 356950 18 42343 9062 8276 914 9.04 1797.92/1798.77 c 13210 4020 17921 324529 18 37790 9969 6973 896 14.74 1797.92/1798.77 c 20716 4020 18886 489799 25 39720 10966 7938 858 24.14 1797.92/1798.77 c 32077 4020 16432 273073 16 34812 12063 5484 839 38.22 1797.92/1798.77 c 49221 4020 18367 405594 22 38682 13270 7419 833 59.06 1797.92/1798.77 c 75041 4020 19355 669866 34 40658 14598 8407 724 103.59 1797.92/1798.77 c 113874 4020 23859 418406 17 49666 16058 12911 708 160.74 1797.92/1798.77 c 172226 4020 23825 844641 35 49598 17664 12877 684 251.69 1797.92/1798.77 c 259861 4020 28411 841834 29 58770 19431 17463 648 400.52 1797.92/1798.77 c 391414 4020 22654 819631 36 47256 21375 11706 627 623.61 1797.92/1798.77 c 588846 4020 22089 689290 31 46126 23513 11141 599 982.10 1797.92/1798.77 c 885098 4020 23499 1008228 42 48946 25865 12551 569 1555.02 1797.92/1798.77 c Resources Exceeded 1797.92/1798.77 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.92/1798.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.78 c 20 999958 612253 3729109 24252 981746 13304 556 1798.01 1797.92/1798.78 c Objective: 24 1797.92/1798.78 s SATISFIABLE 1797.92/1798.78 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-1878321-1245181892/watcher-1878321-1245181892 -o /tmp/evaluation-result-1878321-1245181892/solver-1878321-1245181892 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878321-1245181892.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.03 1.00 3/64 5067 /proc/meminfo: memFree=1843304/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=11108 CPUtime=0 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 185789193 11374592 262 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 2777 262 176 640 0 2041 0 [startup+0.0276611 s] /proc/loadavg: 1.04 1.03 1.00 3/64 5067 /proc/meminfo: memFree=1843304/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=11928 CPUtime=0.02 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 498 0 0 0 2 0 0 0 18 0 1 0 185789193 12214272 482 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 2982 482 217 640 0 2246 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11928 [startup+0.102669 s] /proc/loadavg: 1.04 1.03 1.00 3/64 5067 /proc/meminfo: memFree=1843304/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=13404 CPUtime=0.09 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 1037 0 0 0 9 0 0 0 18 0 1 0 185789193 13725696 929 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 3351 929 193 640 0 2707 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13404 [startup+0.30169 s] /proc/loadavg: 1.04 1.03 1.00 3/64 5067 /proc/meminfo: memFree=1843304/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=13388 CPUtime=0.29 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 1067 0 0 0 28 1 0 0 19 0 1 0 185789193 13709312 929 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 3347 929 198 640 0 2703 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13388 [startup+0.702733 s] /proc/loadavg: 1.04 1.03 1.00 3/64 5067 /proc/meminfo: memFree=1843304/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=13532 CPUtime=0.69 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 1112 0 0 0 67 2 0 0 23 0 1 0 185789193 13856768 974 1992294400 134512640 137136520 4294956256 18446744073709551615 136500598 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 3383 974 198 640 0 2739 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13532 [startup+1.50182 s] /proc/loadavg: 1.04 1.03 1.00 2/65 5068 /proc/meminfo: memFree=1840096/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=13996 CPUtime=1.49 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 1221 0 0 0 147 2 0 0 25 0 1 0 185789193 14331904 1083 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 3499 1083 198 640 0 2855 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13996 [startup+3.10199 s] /proc/loadavg: 1.04 1.03 1.00 2/65 5068 /proc/meminfo: memFree=1839328/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=14764 CPUtime=3.09 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 1420 0 0 0 306 3 0 0 25 0 1 0 185789193 15118336 1282 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 3691 1282 198 640 0 3047 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14764 [startup+6.30134 s] /proc/loadavg: 1.04 1.03 1.00 2/65 5068 /proc/meminfo: memFree=1837024/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=16984 CPUtime=6.29 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 1961 0 0 0 624 5 0 0 25 0 1 0 185789193 17391616 1823 1992294400 134512640 137136520 4294956256 18446744073709551615 134573581 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 4246 1823 198 640 0 3602 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16984 [startup+12.701 s] /proc/loadavg: 1.03 1.03 1.00 2/65 5068 /proc/meminfo: memFree=1833440/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=20032 CPUtime=12.68 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 2738 0 0 0 1261 7 0 0 25 0 1 0 185789193 20512768 2600 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 5008 2600 198 640 0 4364 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20032 [startup+25.5014 s] /proc/loadavg: 1.03 1.03 1.00 2/65 5068 /proc/meminfo: memFree=1831456/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=22224 CPUtime=25.48 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 3266 0 0 0 2538 10 0 0 25 0 1 0 185789193 22757376 3128 1992294400 134512640 137136520 4294956256 18446744073709551615 134574217 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 5556 3128 198 640 0 4912 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22224 [startup+51.1012 s] /proc/loadavg: 1.02 1.02 1.00 2/65 5070 /proc/meminfo: memFree=1829984/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=23316 CPUtime=51.07 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 3551 0 0 0 5088 19 0 0 25 0 1 0 185789193 23875584 3413 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 5829 3413 198 640 0 5185 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23316 [startup+102.307 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5070 /proc/meminfo: memFree=1824160/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=29372 CPUtime=102.25 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 5069 0 0 0 10196 29 0 0 25 0 1 0 185789193 30076928 4931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 7343 4931 198 640 0 6699 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 29372 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5070 /proc/meminfo: memFree=1824160/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=29376 CPUtime=162.23 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 5070 0 0 0 16178 45 0 0 25 0 1 0 185789193 30081024 4932 1992294400 134512640 137136520 4294956256 18446744073709551615 136503141 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 7344 4932 198 640 0 6700 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29376 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5070 /proc/meminfo: memFree=1824096/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=29384 CPUtime=222.2 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 5072 0 0 0 22163 57 0 0 25 0 1 0 185789193 30089216 4934 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 7346 4934 198 640 0 6702 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 29384 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5070 /proc/meminfo: memFree=1822816/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=30704 CPUtime=282.17 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 5397 0 0 0 28147 70 0 0 25 0 1 0 185789193 31440896 5259 1992294400 134512640 137136520 4294956256 18446744073709551615 136502522 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 7676 5259 198 640 0 7032 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 30704 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5070 /proc/meminfo: memFree=1821536/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=32012 CPUtime=342.16 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 5732 0 0 0 34134 82 0 0 25 0 1 0 185789193 32780288 5594 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 8003 5594 198 640 0 7359 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 32012 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5070 /proc/meminfo: memFree=1821536/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=32012 CPUtime=402.13 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 5732 0 0 0 40117 96 0 0 25 0 1 0 185789193 32780288 5594 1992294400 134512640 137136520 4294956256 18446744073709551615 134573473 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 8003 5594 198 640 0 7359 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 32012 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5070 /proc/meminfo: memFree=1819744/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=33848 CPUtime=462.11 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 6185 0 0 0 46101 110 0 0 25 0 1 0 185789193 34660352 6047 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 8462 6047 198 640 0 7818 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 33848 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5070 /proc/meminfo: memFree=1818144/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=35440 CPUtime=522.09 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 6585 0 0 0 52085 124 0 0 25 0 1 0 185789193 36290560 6447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 8860 6447 198 640 0 8216 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 35440 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1817760/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=35440 CPUtime=582.06 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 6585 0 0 0 58071 135 0 0 25 0 1 0 185789193 36290560 6447 1992294400 134512640 137136520 4294956256 18446744073709551615 134616484 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 8860 6447 198 640 0 8216 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 35440 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1817760/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=35448 CPUtime=642.03 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 6587 0 0 0 64056 147 0 0 25 0 1 0 185789193 36298752 6449 1992294400 134512640 137136520 4294956256 18446744073709551615 136502374 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 8862 6449 198 640 0 8218 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 35448 [startup+702.303 s] ################ # More data... # ################ /proc/meminfo: memFree=1814176/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=39060 CPUtime=1061.82 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 7491 0 0 0 105946 236 0 0 25 0 1 0 185789193 39997440 7353 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 9765 7353 198 640 0 9121 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 39060 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1814112/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=39056 CPUtime=1121.79 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 7491 0 0 0 111933 246 0 0 25 0 1 0 185789193 39993344 7353 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 9764 7353 198 640 0 9120 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 39056 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1811552/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=42244 CPUtime=1181.77 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 8282 0 0 0 117920 257 0 0 25 0 1 0 185789193 43257856 8144 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 10561 8144 198 640 0 9917 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 42244 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1810720/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=42424 CPUtime=1241.74 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 8333 0 0 0 123905 269 0 0 25 0 1 0 185789193 43442176 8195 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 10606 8195 198 640 0 9962 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 42424 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1810720/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=42424 CPUtime=1301.73 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 8333 0 0 0 129889 284 0 0 25 0 1 0 185789193 43442176 8195 1992294400 134512640 137136520 4294956256 18446744073709551615 134600770 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 10606 8195 198 640 0 9962 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 42424 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1810720/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=42476 CPUtime=1361.7 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 8348 0 0 0 135875 295 0 0 25 0 1 0 185789193 43495424 8210 1992294400 134512640 137136520 4294956256 18446744073709551615 134574232 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 10619 8210 198 640 0 9975 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 42476 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1809632/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=43472 CPUtime=1421.68 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 8600 0 0 0 141862 306 0 0 25 0 1 0 185789193 44515328 8462 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 10868 8462 198 640 0 10224 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 43472 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1807008/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46152 CPUtime=1481.65 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9263 0 0 0 147851 314 0 0 25 0 1 0 185789193 47259648 9125 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11538 9125 198 640 0 10894 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 46152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806944/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46144 CPUtime=1541.63 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9263 0 0 0 153838 325 0 0 25 0 1 0 185789193 47251456 9125 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11536 9125 198 640 0 10892 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 46144 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806944/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46148 CPUtime=1601.61 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 159825 336 0 0 25 0 1 0 185789193 47255552 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11537 9127 198 640 0 10893 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 46148 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806944/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46148 CPUtime=1661.58 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 165814 344 0 0 25 0 1 0 185789193 47255552 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11537 9127 198 640 0 10893 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 46148 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806944/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46148 CPUtime=1721.55 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 171803 352 0 0 25 0 1 0 185789193 47255552 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11537 9127 198 640 0 10893 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 46148 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806816/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46144 CPUtime=1781.54 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 177794 360 0 0 25 0 1 0 185789193 47251456 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5067/statm: 11536 9127 198 640 0 10892 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 46144 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806816/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46144 CPUtime=1791.13 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 178752 361 0 0 25 0 1 0 185789193 47251456 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 136502343 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11536 9127 198 640 0 10892 0 Current children cumulated CPU time (s) 1791.13 Current children cumulated vsize (KiB) 46144 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806816/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46144 CPUtime=1794.33 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 179071 362 0 0 25 0 1 0 185789193 47251456 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11536 9127 198 640 0 10892 0 Current children cumulated CPU time (s) 1794.33 Current children cumulated vsize (KiB) 46144 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806816/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46144 CPUtime=1795.93 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 179231 362 0 0 25 0 1 0 185789193 47251456 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11536 9127 198 640 0 10892 0 Current children cumulated CPU time (s) 1795.93 Current children cumulated vsize (KiB) 46144 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806816/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46144 CPUtime=1796.72 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 179310 362 0 0 25 0 1 0 185789193 47251456 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11536 9127 198 640 0 10892 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 46144 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806816/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46144 CPUtime=1797.52 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 179390 362 0 0 25 0 1 0 185789193 47251456 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11536 9127 198 640 0 10892 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 46144 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5076 /proc/meminfo: memFree=1806816/2055920 swapFree=4182492/4192956 [pid=5067] ppid=5065 vsize=46144 CPUtime=1797.92 /proc/5067/stat : 5067 (bsolo) R 5065 5067 4970 0 -1 4194304 9265 0 0 0 179430 362 0 0 25 0 1 0 185789193 47251456 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5067/statm: 11536 9127 198 640 0 10892 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 46144 Child status: 0 Real time (s): 1798.79 CPU time (s): 1798.01 CPU user time (s): 1794.38 CPU system time (s): 3.63645 CPU usage (%): 99.9571 Max. virtual memory (cumulated for all children) (KiB): 46152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.38 system time used= 3.63645 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9267 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= 10 involuntary context switches= 7014 runsolver used 1.49877 second user time and 5.05123 second system time The end
Begin job on node21 at 2009-06-16 21:51:32 IDJOB=1878321 IDBENCH=24983 IDSOLVER=700 FILE ID=node21/1878321-1245181892 PBS_JOBID= 9368278 Free space on /tmp= 66092 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878321-1245181892/watcher-1878321-1245181892 -o /tmp/evaluation-result-1878321-1245181892/solver-1878321-1245181892 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878321-1245181892.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED=1232871468 node21.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.239 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1843784 kB Buffers: 50048 kB Cached: 86796 kB SwapCached: 4256 kB Active: 44700 kB Inactive: 99536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843784 kB SwapTotal: 4192956 kB SwapFree: 4182492 kB Dirty: 4484 kB Writeback: 0 kB Mapped: 13420 kB Slab: 53968 kB Committed_AS: 175476 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878321-1245181892.opb Free space on /tmp at the end= 66088 MiB End job on node21 at 2009-06-16 22:21:31