Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT (TO) | 15 | 1800.14 | 1800.89 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb |
MD5SUM | 21fb64899a6dc4867ccfcbb30d44d536 |
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 | 15 |
Best CPU time to get the best result obtained on this benchmark | 11.5362 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15 |
Optimality of the best value was proved | YES |
Number of variables | 5537 |
Total number of constraints | 15855 |
Number of constraints which are clauses | 15855 |
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 | 127 |
Number of terms in the objective function | 2646 |
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 | 2646 |
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 | 2646 |
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: Generic Pseudo-Boolean 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-1879778-1245242352.opb 0.00/0.00 c File size is 484170 bytes. 0.00/0.07 c Highest Coefficient sum: 2646 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.067 s 0.00/0.07 c Var: 5537 Constr: 15855 15855/0/0 Lit: 40714 Watch. Lit: 31451 0.00/0.07 c Obj. Vars: 2646 (47.7876 % of total variables) 0.09/0.16 c Pre-processing Time: 0.163 s 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 4858 13267 35134 2 26534 4422 0 0 0.16 0.09/0.16 c Switching off lower bounding mode. 0.09/0.17 o 16 47.37/47.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.37/47.47 c 0 4858 13268 37525 2 28912 5422 1 0 0.17 47.37/47.47 c 106 4858 13477 310566 23 261005 5965 210 183 0.58 47.37/47.47 c 357 4858 13975 922997 66 748685 6562 708 126 2.83 47.37/47.47 c 832 4858 14924 2274306 152 1813824 7219 1657 67 12.26 47.37/47.47 c 1647 4858 16552 4631839 279 3644414 7941 3285 40 40.29 47.37/47.47 o 15 1800.05/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.80 c 1890 4858 17025 5297519 311 4161708 5422 3758 39 47.45 1800.05/1800.80 c 1992 4858 17229 5595261 324 4383335 5965 3962 39 51.00 1800.05/1800.80 c 2242 4858 17726 6311895 356 4941798 6562 4459 36 60.83 1800.05/1800.80 c 2719 4858 18676 7653533 409 5984731 7219 5409 32 82.45 1800.05/1800.80 c 3532 4858 20299 9981843 491 7777719 7941 7032 27 126.65 1800.05/1800.80 c 4852 4858 17974 6764598 376 5288941 8736 4707 9 497.05 1800.05/1800.80 c 6933 4858 22135 12694573 573 9907553 9610 8868 10 637.85 1800.05/1800.80 c 10158 4858 22816 13752189 602 10744121 10572 9549 5 1697.12 1800.05/1800.80 c Caught signal: 15 1800.05/1800.80 v -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 x636 -x638 -x640 -x642 -x644 -x646 -x648 -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 -x1006 -x1008 -x1010 -x1012 x1014 -x1016 -x1018 -x1020 -x1022 x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1054 -x1056 -x1058 -x1060 -x1061 -x1063 -x1065 -x1066 x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 x1189 -x1191 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -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 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -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 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -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 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -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 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -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 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3334 -x3336 -x3338 -x3339 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3435 -x3437 -x3439 -x3441 -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 -x3531 -x3533 -x3535 -x3537 -x3539 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 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -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 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3807 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -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 -x4094 -x4096 -x4098 -x4100 -x4101 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5529 -x5531 -x5533 -x5535 -x5537 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x1 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x2 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x3 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 x4 -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 x635 -x637 -x639 -x5 -x641 -x643 -x645 -x647 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x6 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x7 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x8 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x9 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x10 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x11 -x816 -x818 -x820 -x822 -x824 -x826 -x12 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x13 -x852 -x854 -x856 -x858 -x860 -x862 -x14 -x864 -x866 -x868 -x870 -x872 -x874 x15 x876 -x878 -x880 -x16 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x17 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x18 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x19 -x978 -x980 -x982 -x984 -x986 -x20 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x21 -x1004 x22 -x1007 -x1009 -x1011 x1013 -x1015 -x23 -x1017 x24 -x1019 -x1021 x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x25 -x1039 -x1042 -x1044 -x1046 -x26 -x1048 -x1050 -x1052 -x27 -x1055 -x1057 -x28 -x1059 -x1062 x29 -x1064 -x30 x31 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x32 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 x33 -x1149 -x1151 -x1153 -x1155 -x1157 x1159 -x1161 -x1163 -x1165 -x1167 -x1169 x34 -x1171 -x1173 -x1175 -x35 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 x36 -x37 -x1190 -x1193 -x38 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x39 -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 -x40 -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 -x41 -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 -x42 -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 -x1867 -x1869 -x1871 -x1873 -x43 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x44 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 x45 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2018 -x46 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x47 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x48 -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 -x49 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x50 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x51 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x52 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x53 -x2348 -x2350 -x2352 -x2354 -x2356 -x54 -x2358 -x2360 -x2362 -x2364 -x2366 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x55 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x56 -x2498 -x2500 -x2502 -x2504 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x57 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x58 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x59 -x2590 -x2592 -x2594 -x2597 -x2599 -x60 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x61 -x2617 -x2619 -x62 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x63 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x64 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x65 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 -x68 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x69 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x70 -x2775 -x2777 -x71 -x2779 -x2781 -x2783 -x72 -x2785 -x2787 -x2789 x73 -x2791 -x2793 x74 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x75 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x76 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x77 -x2962 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -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 -x78 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x79 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x80 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x81 -x3204 -x3206 -x3208 -x3210 -x3212 -x3215 -x82 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x83 -x3229 -x3231 -x3233 -x3235 -x84 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3262 -x85 -x3264 -x3266 -x3268 -x86 -x3270 -x3272 -x87 -x3275 -x88 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x89 -x3309 -x3311 -x90 -x3313 -x3315 -x3317 -x91 -x3319 -x3321 -x3324 -x92 -x3326 -x3328 -x3330 -x3332 -x3335 -x93 -x3337 -x94 -x95 -x3341 -x96 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3370 -x97 -x3372 -x3374 -x3376 -x98 -x3378 -x99 -x3380 -x3382 -x3384 -x100 -x3386 -x3389 -x101 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x102 -x3423 -x3425 -x3427 -x103 -x3429 -x3431 -x3433 -x104 -x105 -x3436 -x3438 -x3440 -x106 x107 -x108 -x109 -x3443 -x3445 -x3447 -x3449 -x110 -x3451 -x3453 -x3455 -x3457 -x3459 -x111 -x112 x113 -x114 -x3461 -x115 -x3463 -x3465 -x3467 -x3469 -x3471 -x116 -x3473 x117 x3475 -x118 -x119 -x3477 -x3479 x120 -x121 x122 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3532 -x3534 -x3536 -x3538 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -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 -x123 -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 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x124 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x125 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x126 -x3999 -x4001 -x4003 -x4005 -x4007 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4095 -x4097 -x4099 -x127 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x128 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4181 x129 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x130 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4296 -x4298 -x4300 -x131 -x4302 -x4304 -x4306 -x4308 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x132 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x133 -x4370 -x4372 -x4374 -x134 -x4376 -x4378 -x4380 -x4382 -x4384 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4408 -x4410 -x4412 -x4414 -x135 -x4416 -x136 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x137 -x4431 x4433 -x4435 -x4437 -x4439 -x4441 x138 -x4443 -x139 -x4445 -x4447 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x140 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x141 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x142 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 x143 -x4637 -x4639 x144 x145 -x146 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 x147 -x4673 -x4675 -x148 -x4677 -x4679 -x4681 -x149 -x150 -x4683 -x4685 -x151 -x152 -x153 -x4687 -x154 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x155 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x156 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x157 -x4845 -x4847 -x158 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x159 -x4865 -x4867 -x160 -x161 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x162 -x4897 -x163 x164 -x165 -x4899 -x166 -x167 x168 -x169 -x4901 -x4903 -x4906 -x4908 -x4910 -x4912 -x4914 -x170 -x171 -x4917 -x172 -x4919 -x173 -x174 -x175 -x4921 -x176 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x177 -x4949 -x178 -x179 x180 -x181 x182 -x183 -x184 -x4951 -x4953 -x4955 -x185 x186 -x187 -x188 x189 -x190 x191 -x192 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x193 -x5044 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x194 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x195 -x5091 -x5093 -x5095 -x196 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x197 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x198 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x199 -x5213 -x5215 -x200 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x201 -x5231 -x202 -x5234 -x203 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x204 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x205 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x206 -x5349 -x5351 -x207 -x5353 -x5355 -x208 -x5357 x209 x210 x211 -x5359 -x5361 -x5363 -x5365 -x5367 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x5369 -x219 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x220 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x221 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 x222 -x5475 -x223 -x5477 -x5479 -x5481 -x224 -x225 -x226 -x227 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x5495 -x5497 -x5499 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x5501 -x244 x245 -x246 x247 x248 -x249 x250 -x251 -x5503 -x5505 -x5507 -x5509 -x252 -x253 -x5511 -x5513 -x5515 -x254 -x255 -x256 -x5517 -x5519 -x5521 -x5523 -x5525 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x5527 -x5530 -x5532 x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 x275 x276 -x277 x278 -x279 -x5534 -x5536 x280 -x281 x282 x283 -x284 -x285 -x286 x287 x288 -x289 x290 x291 -x292 x293 x294 -x295 -x296 x297 -x298 -x299 x300 x301 x302 1800.05/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.80 c 13 11122 2266 22491 24720 16460614 11453 6 1800.06 1800.05/1800.80 c Objective: 15 1800.05/1800.80 s SATISFIABLE 1800.05/1800.80 c Total time: 1800.06 s
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879778-1245242352/watcher-1879778-1245242352 -o /tmp/evaluation-result-1879778-1245242352/solver-1879778-1245242352 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879778-1245242352.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.91 3/64 4639 /proc/meminfo: memFree=1857648/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=11220 CPUtime=0 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 191836167 11489280 264 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 2805 264 176 640 0 2042 0 [startup+0.0817499 s] /proc/loadavg: 0.92 0.98 0.91 3/64 4639 /proc/meminfo: memFree=1857648/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=13924 CPUtime=0.07 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 1162 0 0 0 7 0 0 0 18 0 1 0 191836167 14258176 1027 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 3481 1027 189 640 0 2837 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13924 [startup+0.101753 s] /proc/loadavg: 0.92 0.98 0.91 3/64 4639 /proc/meminfo: memFree=1857648/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=13924 CPUtime=0.09 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 1162 0 0 0 9 0 0 0 18 0 1 0 191836167 14258176 1027 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 3481 1027 189 640 0 2837 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13924 [startup+0.301769 s] /proc/loadavg: 0.92 0.98 0.91 3/64 4639 /proc/meminfo: memFree=1857648/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=17184 CPUtime=0.29 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 2030 0 0 0 27 2 0 0 19 0 1 0 191836167 17596416 1859 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 4296 1859 198 640 0 3652 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17184 [startup+0.701801 s] /proc/loadavg: 0.92 0.98 0.91 3/64 4639 /proc/meminfo: memFree=1857648/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=23424 CPUtime=0.69 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 3614 0 0 0 67 2 0 0 23 0 1 0 191836167 23986176 3422 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 5856 3422 198 640 0 5212 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23424 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1841128/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=31312 CPUtime=1.49 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 5592 0 0 0 146 3 0 0 25 0 1 0 191836167 32063488 5400 1992294400 134512640 137136520 4294956256 18446744073709551615 134573649 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 7828 5400 198 640 0 7184 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31312 [startup+3.102 s] /proc/loadavg: 0.92 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1831528/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=45496 CPUtime=3.09 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 9154 0 0 0 304 5 0 0 25 0 1 0 191836167 46587904 8962 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 11374 8962 198 640 0 10730 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45496 [startup+6.30126 s] /proc/loadavg: 0.93 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1808488/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=63276 CPUtime=6.29 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 13584 0 0 0 622 7 0 0 25 0 1 0 191836167 64794624 13392 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 15819 13392 198 640 0 15175 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63276 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1784552/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=85932 CPUtime=12.68 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 19241 0 0 0 1259 9 0 0 25 0 1 0 191836167 87994368 19049 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 21483 19049 198 640 0 20839 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 85932 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1742504/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=125400 CPUtime=25.48 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 29102 0 0 0 2535 13 0 0 25 0 1 0 191836167 128409600 28910 1992294400 134512640 137136520 4294956256 18446744073709551615 134574394 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 31350 28910 198 640 0 30706 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 125400 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1682024/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=186836 CPUtime=51.06 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 44486 0 0 0 5088 18 0 0 25 0 1 0 191836167 191320064 44294 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 46709 44294 198 640 0 46065 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 186836 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1580264/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=287120 CPUtime=102.25 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 69557 0 0 0 10197 28 0 0 25 0 1 0 191836167 294010880 69365 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 71780 69365 198 640 0 71136 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 287120 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1502312/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=367176 CPUtime=162.22 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 89560 0 0 0 16185 37 0 0 25 0 1 0 191836167 375988224 89368 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 91794 89368 198 640 0 91150 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 367176 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1460136/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=406944 CPUtime=222.2 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 99502 0 0 0 22179 41 0 0 25 0 1 0 191836167 416710656 99308 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 101736 99308 198 640 0 101092 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 406944 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1460136/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=406944 CPUtime=282.18 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 99502 0 0 0 28177 41 0 0 25 0 1 0 191836167 416710656 99308 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 101736 99308 198 640 0 101092 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 406944 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1460136/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=406944 CPUtime=342.16 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 99502 0 0 0 34175 41 0 0 25 0 1 0 191836167 416710656 99308 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 101736 99308 198 640 0 101092 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 406944 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 4640 /proc/meminfo: memFree=1460136/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=406944 CPUtime=402.14 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 99502 0 0 0 40173 41 0 0 25 0 1 0 191836167 416710656 99308 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 101736 99308 198 640 0 101092 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 406944 [startup+462.301 s] /proc/loadavg: 1.05 1.00 0.92 2/65 4640 /proc/meminfo: memFree=1460072/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=406944 CPUtime=462.11 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 99502 0 0 0 46170 41 0 0 25 0 1 0 191836167 416710656 99308 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 101736 99308 198 640 0 101092 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 406944 [startup+522.301 s] /proc/loadavg: 1.07 1.01 0.93 2/65 4640 /proc/meminfo: memFree=1460072/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=406944 CPUtime=522.09 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 99502 0 0 0 52168 41 0 0 25 0 1 0 191836167 416710656 99308 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 101736 99308 198 640 0 101092 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 406944 [startup+582.301 s] /proc/loadavg: 1.02 1.01 0.93 2/65 4640 /proc/meminfo: memFree=1460008/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=406944 CPUtime=582.07 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 99502 0 0 0 58166 41 0 0 25 0 1 0 191836167 416710656 99308 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 101736 99308 198 640 0 101092 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 406944 [startup+642.301 s] /proc/loadavg: 1.01 1.00 0.93 2/65 4640 /proc/meminfo: memFree=1454760/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=412196 CPUtime=642.05 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 100814 0 0 0 64163 42 0 0 25 0 1 0 191836167 422088704 100620 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 103049 100620 198 640 0 102405 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 412196 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383464/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=821.97 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 82148 49 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 483124 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383464/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=881.93 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 88144 49 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 483124 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383464/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=941.91 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 94142 49 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 483124 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383464/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1001.89 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 100140 49 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 483124 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383464/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1061.87 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 106138 49 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 483124 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383464/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1121.85 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 112136 49 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 483124 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383400/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1181.84 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 118134 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 483124 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383208/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1241.81 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 124131 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 483124 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4642 /proc/meminfo: memFree=1383208/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1301.79 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 130129 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 483124 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1382888/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1361.75 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 136125 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 483124 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1382888/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1421.73 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 142123 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 483124 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1382888/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1481.7 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 148120 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 483124 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1382888/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1541.68 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 154118 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134598647 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 483124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1382888/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1601.63 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 160113 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 483124 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1382888/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1661.61 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 166111 50 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 483124 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1382888/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=483124 CPUtime=1721.59 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 118550 0 0 0 172108 51 0 0 25 0 1 0 191836167 494718976 118356 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 120781 118356 198 640 0 120137 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 483124 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1348456/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=517760 CPUtime=1781.55 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 127298 0 0 0 178100 55 0 0 25 0 1 0 191836167 530186240 126998 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 129440 126998 198 640 0 128796 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 517760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.93 2/65 4648 /proc/meminfo: memFree=1340008/2055920 swapFree=4181964/4192956 [pid=4639] ppid=4637 vsize=526020 CPUtime=1800.05 /proc/4639/stat : 4639 (bsolo) R 4637 4639 4436 0 -1 4194304 129422 0 0 0 179949 56 0 0 25 0 1 0 191836167 538644480 129068 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4639/statm: 131505 129068 198 640 0 130861 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 526020 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.89 CPU time (s): 1800.14 CPU user time (s): 1799.5 CPU system time (s): 0.642902 CPU usage (%): 99.9585 Max. virtual memory (cumulated for all children) (KiB): 526020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.642902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 129424 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= 7868 runsolver used 1.56176 second user time and 5.00024 second system time The end
Begin job on node3 at 2009-06-17 14:39:12 IDJOB=1879778 IDBENCH=25010 IDSOLVER=701 FILE ID=node3/1879778-1245242352 PBS_JOBID= 9372333 Free space on /tmp= 66288 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879778-1245242352/watcher-1879778-1245242352 -o /tmp/evaluation-result-1879778-1245242352/solver-1879778-1245242352 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879778-1245242352.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536 RANDOM SEED=298917532 node3.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.236 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.236 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: 1858128 kB Buffers: 7740 kB Cached: 118040 kB SwapCached: 4984 kB Active: 17268 kB Inactive: 116576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858128 kB SwapTotal: 4192956 kB SwapFree: 4181964 kB Dirty: 4416 kB Writeback: 0 kB Mapped: 14232 kB Slab: 49964 kB Committed_AS: 181412 kB PageTables: 1376 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-1879778-1245242352.opb Free space on /tmp at the end= 66288 MiB End job on node3 at 2009-06-17 15:09:15