Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: Pueblo 1.4 | SAT | 28 | 1783 | 1783.31 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1.21081 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 4666 |
Total number of constraints | 12693 |
Number of constraints which are clauses | 12693 |
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 | 2273 |
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 | 2273 |
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 | 2273 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.19/0.20 c starting to Solve 0.19/0.20 c #variables read: 4666 - #constraints read: 12530 0.19/0.20 o 40 0.19/0.20 o 39 0.19/0.23 o 37 0.19/0.23 o 36 0.19/0.26 o 33 0.19/0.30 o 32 0.29/0.37 o 31 0.59/0.60 o 30 0.59/0.60 o 29 486.40/486.55 o 28 1782.99/1783.30 c total time : 1783 s 1782.99/1783.30 s SATISFIABLE 1782.99/1783.30 v -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 -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 -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 -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 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -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 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -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 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -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 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -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 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -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 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -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 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -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 -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 -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 -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 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -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 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -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 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -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 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -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 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 x3481 -x3483 -x3485 -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 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 x3551 -x3553 -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 -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 -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 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -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 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4142 -x4144 -x4146 -x4148 -x4150 x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 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 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -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 -x4429 -x4431 x4433 -x4435 -x4437 -x4439 -x4441 -x4442 -x4444 -x4446 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 x4460 -x4462 -x4464 x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4529 -x4531 x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4559 x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 x4578 -x4579 -x4581 -x4583 x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 x4655 -x4657 -x4659 -x4660 -x4662 x4664 -x4665 x4666 -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 -x1 -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 -x2 -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 -x3 -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 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x5 -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 -x6 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x8 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x9 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -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 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x28 -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 -x29 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 -x36 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x40 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 x1923 x45 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x46 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 x47 x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 -x2139 -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x62 -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 -x2332 -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -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 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -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 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 x2805 -x2807 -x2809 -x2811 -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 x2881 -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 -x3215 -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 -x3540 -x3542 -x116 -x3544 -x3546 -x3548 x117 x3550 -x3552 -x118 -x3555 x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 -x3799 -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x130 -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959 -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x143 -x4118 -x4120 -x144 -x4123 -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 -x4147 -x4149 x4151 -x146 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 x149 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 -x4289 -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x155 -x4311 -x4313 -x4315 -x4318 -x4320 -x4322 -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 x4364 -x4366 -x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x159 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 x4432 x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445 -x4448 -x165 -x4450 -x4452 -x4454 -x166 -x4456 -x4458 x167 -x4461 -x4463 x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4482 -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x170 -x4519 -x4521 -x4523 -x4525 -x4527 -x4530 x171 x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 -x4544 -x4547 -x4549 -x173 -x4551 -x4553 -x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 -x4575 x4577 -x175 -x4580 -x4582 -x4585 -x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x177 -x4609 -x4611 -x4613 -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 -x181 -x4637 -x182 -x4639 -x4642 -x4644 -x4646 -x4648 -x183 -x4650 -x4652 x4654 x184 -x4656 -x4658 -x185 -x4661 x4663 -x186 x187
OK 28
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720321-1338509654/watcher-3720321-1338509654 -o /tmp/evaluation-result-3720321-1338509654/solver-3720321-1338509654 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720321-1338509654.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.91 3/176 24698 /proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=3100 CPUtime=0 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 317089842 3174400 262 33554432000 134512640 134579096 4292718672 4292585972 13714161 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 775 262 213 17 0 81 0 [startup+0.0966639 s] /proc/loadavg: 2.00 2.00 1.91 3/176 24698 /proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=6124 CPUtime=0.09 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1021 0 0 0 9 0 0 0 20 0 1 0 317089842 6270976 958 33554432000 134512640 134579096 4292718672 4292717632 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 1531 958 225 17 0 837 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6124 [startup+0.100221 s] /proc/loadavg: 2.00 2.00 1.91 3/176 24698 /proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=6124 CPUtime=0.09 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1021 0 0 0 9 0 0 0 20 0 1 0 317089842 6270976 958 33554432000 134512640 134579096 4292718672 4292717632 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 1531 958 225 17 0 837 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6124 [startup+0.300182 s] /proc/loadavg: 2.00 2.00 1.91 3/176 24698 /proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=6540 CPUtime=0.29 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1152 0 0 0 28 1 0 0 20 0 1 0 317089842 6696960 1089 33554432000 134512640 134579096 4292718672 4292717504 134517933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 1635 1089 227 17 0 941 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6540 [startup+0.70018 s] /proc/loadavg: 2.00 2.00 1.91 3/176 24698 /proc/meminfo: memFree=28047940/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=6540 CPUtime=0.69 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1152 0 0 0 67 2 0 0 20 0 1 0 317089842 6696960 1089 33554432000 134512640 134579096 4292718672 4292717472 134528560 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 1635 1089 227 17 0 941 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6540 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 1.91 3/177 24699 /proc/meminfo: memFree=28044444/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=6540 CPUtime=1.48 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1152 0 0 0 145 3 0 0 20 0 1 0 317089842 6696960 1089 33554432000 134512640 134579096 4292718672 4292717240 12963065 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 1635 1089 227 17 0 941 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6540 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 1.91 3/177 24699 /proc/meminfo: memFree=28044088/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=7812 CPUtime=3.09 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1460 0 0 0 304 5 0 0 20 0 1 0 317089842 7999488 1405 33554432000 134512640 134579096 4292718672 4292717392 134529182 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 1953 1405 227 17 0 1259 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7812 [startup+6.30018 s] /proc/loadavg: 2.00 2.00 1.91 3/177 24699 /proc/meminfo: memFree=28041172/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=9268 CPUtime=6.29 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 1808 0 0 0 620 9 0 0 20 0 1 0 317089842 9490432 1753 33554432000 134512640 134579096 4292718672 4292717492 134556279 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 2317 1753 227 17 0 1623 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9268 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.91 3/177 24747 /proc/meminfo: memFree=29299492/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=10128 CPUtime=12.68 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 2052 0 0 0 1253 15 0 0 20 0 1 0 317089842 10371072 1998 33554432000 134512640 134579096 4292718672 4292717552 134557412 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 2532 1998 227 17 0 1838 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10128 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.91 3/177 24747 /proc/meminfo: memFree=29292752/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=12832 CPUtime=25.48 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 2702 0 0 0 2524 24 0 0 20 0 1 0 317089842 13139968 2662 33554432000 134512640 134579096 4292718672 4292717508 134528030 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 3208 2662 227 17 0 2514 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12832 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 1.91 3/177 24747 /proc/meminfo: memFree=29288416/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=13688 CPUtime=51.07 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 2917 0 0 0 5069 38 0 0 20 0 1 0 317089842 14016512 2877 33554432000 134512640 134579096 4292718672 4292717472 134528817 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 3422 2877 227 17 0 2728 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13688 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.91 3/177 24747 /proc/meminfo: memFree=29281096/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=15004 CPUtime=102.27 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 3223 0 0 0 10164 63 0 0 20 0 1 0 317089842 15364096 3196 33554432000 134512640 134579096 4292718672 4292717568 134516720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 3751 3196 227 17 0 3057 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15004 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 24747 /proc/meminfo: memFree=29267756/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=18744 CPUtime=162.26 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 4159 0 0 0 16131 95 0 0 20 0 1 0 317089842 19193856 4134 33554432000 134512640 134579096 4292718672 4292717536 134520000 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 4686 4134 227 17 0 3992 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 18744 [startup+222.3 s] /proc/loadavg: 2.07 2.02 1.92 3/177 24748 /proc/meminfo: memFree=29266144/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=20676 CPUtime=222.24 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 4640 0 0 0 22100 124 0 0 20 0 1 0 317089842 21172224 4636 33554432000 134512640 134579096 4292718672 4292717472 134528815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 5169 4636 227 17 0 4475 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 20676 [startup+282.3 s] /proc/loadavg: 2.02 2.01 1.92 3/177 24748 /proc/meminfo: memFree=29261616/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=25404 CPUtime=282.23 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 5790 0 0 0 28068 155 0 0 20 0 1 0 317089842 26013696 5793 33554432000 134512640 134579096 4292718672 4292717644 15303728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/24698/statm: 6351 5793 227 17 0 5657 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 25404 [startup+342.3 s] /proc/loadavg: 2.01 2.00 1.92 3/177 24748 /proc/meminfo: memFree=29261304/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=25372 CPUtime=342.22 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 5791 0 0 0 34036 186 0 0 20 0 1 0 317089842 25980928 5800 33554432000 134512640 134579096 4292718672 4292717520 134527993 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 6343 5800 227 17 0 5649 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 25372 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 24751 /proc/meminfo: memFree=29260304/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=25836 CPUtime=402.21 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 6024 0 0 0 40008 213 0 0 20 0 1 0 317089842 26456064 5928 33554432000 134512640 134579096 4292718672 4292717600 134559528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 6459 5928 227 17 0 5765 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 25836 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 24751 /proc/meminfo: memFree=29253920/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=26220 CPUtime=462.2 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 6106 0 0 0 45983 237 0 0 20 0 1 0 317089842 26849280 6010 33554432000 134512640 134579096 4292718672 4292717536 134520021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 6555 6010 227 17 0 5861 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 26220 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 24752 /proc/meminfo: memFree=29247776/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=27628 CPUtime=522.19 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 6450 0 0 0 51956 263 0 0 20 0 1 0 317089842 28291072 6354 33554432000 134512640 134579096 4292718672 4292717552 134557832 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 6907 6354 227 17 0 6213 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 27628 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 24752 /proc/meminfo: memFree=29247152/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=27572 CPUtime=582.18 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 6944 0 0 0 57932 286 0 0 20 0 1 0 317089842 28233728 6363 33554432000 134512640 134579096 4292718672 4292717600 134559533 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 6893 6363 227 17 0 6199 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 27572 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29240264/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=30968 CPUtime=822.14 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 7783 0 0 0 81824 390 0 0 20 0 1 0 317089842 31711232 7200 33554432000 134512640 134579096 4292718672 4292717520 134528063 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 7742 7200 227 17 0 7048 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 30968 [startup+882.3 s] /proc/loadavg: 2.04 2.01 1.93 3/177 24753 /proc/meminfo: memFree=29240388/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=30968 CPUtime=882.13 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 7783 0 0 0 87801 412 0 0 20 0 1 0 317089842 31711232 7200 33554432000 134512640 134579096 4292718672 4292717520 134527978 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 7742 7200 227 17 0 7048 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 30968 [startup+942.3 s] /proc/loadavg: 2.01 2.01 1.93 3/177 24753 /proc/meminfo: memFree=29233812/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=30968 CPUtime=942.12 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 7783 0 0 0 93768 444 0 0 20 0 1 0 317089842 31711232 7200 33554432000 134512640 134579096 4292718672 4292717472 134528604 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 7742 7200 227 17 0 7048 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 30968 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 24756 /proc/meminfo: memFree=29227848/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=33728 CPUtime=1002.11 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 8474 0 0 0 99741 470 0 0 20 0 1 0 317089842 34537472 7891 33554432000 134512640 134579096 4292718672 4292717600 134559528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 8432 7891 227 17 0 7738 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 33728 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 24756 /proc/meminfo: memFree=29224440/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=36328 CPUtime=1062.1 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 9125 0 0 0 105718 492 0 0 20 0 1 0 317089842 37199872 8544 33554432000 134512640 134579096 4292718672 4292717600 134559566 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 9082 8544 227 17 0 8388 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 36328 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 24757 /proc/meminfo: memFree=29208676/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=36328 CPUtime=1122.09 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 9126 0 0 0 111690 519 0 0 20 0 1 0 317089842 37199872 8551 33554432000 134512640 134579096 4292718672 4292717520 134527969 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 9082 8551 227 17 0 8388 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 36328 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 24757 /proc/meminfo: memFree=29208676/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=36328 CPUtime=1182.08 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 9126 0 0 0 117666 542 0 0 20 0 1 0 317089842 37199872 8551 33554432000 134512640 134579096 4292718672 4292717580 134519884 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 9082 8551 227 17 0 8388 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 36328 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 24757 /proc/meminfo: memFree=29208304/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=36532 CPUtime=1242.07 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 9212 0 0 0 123644 563 0 0 20 0 1 0 317089842 37408768 8596 33554432000 134512640 134579096 4292718672 4292717452 134528838 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 9133 8596 227 17 0 8439 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 36532 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 24758 /proc/meminfo: memFree=29204204/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40200 CPUtime=1302.07 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10387 0 0 0 129618 589 0 0 20 0 1 0 317089842 41164800 9507 33554432000 134512640 134579096 4292718672 4292717472 134558957 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10050 9507 227 17 0 9356 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 40200 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 1.93 3/177 24758 /proc/meminfo: memFree=29204704/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1362.05 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 135590 615 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717472 134558942 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 40084 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 1.93 3/177 24759 /proc/meminfo: memFree=29204580/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1422.05 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 141567 638 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717472 134528815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 40084 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 24759 /proc/meminfo: memFree=29204580/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1482.03 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 147544 659 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717520 134527652 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 40084 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 24759 /proc/meminfo: memFree=29204456/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1542.02 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 153519 683 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717580 134519884 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 40084 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 24762 /proc/meminfo: memFree=29204448/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1602.01 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 159495 706 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717600 134559572 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 40084 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 24762 /proc/meminfo: memFree=29204456/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1662 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 165472 728 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717644 15303728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 40084 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/177 24763 /proc/meminfo: memFree=29204332/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1722 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 171445 755 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717492 134556388 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 40084 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 1.94 3/177 24763 /proc/meminfo: memFree=29203960/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1781.99 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 177417 782 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717392 134529044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 40084 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 2.03 2.01 1.94 3/177 24763 /proc/meminfo: memFree=29204084/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1782.79 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 177497 782 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717488 134558790 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1782.79 Current children cumulated vsize (KiB) 40084 [startup+1783.3 s] /proc/loadavg: 2.03 2.01 1.94 3/177 24763 /proc/meminfo: memFree=29204084/32873844 swapFree=7644/7644 [pid=24698] ppid=24696 vsize=40084 CPUtime=1782.99 cores=0,2,4,6 /proc/24698/stat : 24698 (Pueblo) R 24696 24698 24344 0 -1 4202496 10388 0 0 0 177517 782 0 0 20 0 1 0 317089842 41046016 9485 33554432000 134512640 134579096 4292718672 4292717644 15303728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/24698/statm: 10021 9485 227 17 0 9327 0 Current children cumulated CPU time (s) 1782.99 Current children cumulated vsize (KiB) 40084 Child status: 10 Real time (s): 1783.31 CPU time (s): 1783 CPU user time (s): 1775.18 CPU system time (s): 7.82181 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 41332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.18 system time used= 7.82181 maximum resident set size= 39084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10393 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= 26 involuntary context switches= 2675 runsolver used 2.6536 second user time and 7.07792 second system time The end
Begin job on node147 at 2012-06-01 02:14:14 IDJOB=3720321 IDBENCH=24982 IDSOLVER=2305 FILE ID=node147/3720321-1338509654 RUNJOBID= node147-1338505993-24360 PBS_JOBID= 14635745 Free space on /tmp= 70792 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb COMMAND LINE= Pueblo BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720321-1338509654/watcher-3720321-1338509654 -o /tmp/evaluation-result-3720321-1338509654/solver-3720321-1338509654 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720321-1338509654.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=132161624 node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28048212 kB Buffers: 386596 kB Cached: 2318980 kB SwapCached: 3384 kB Active: 2609832 kB Inactive: 1364756 kB Active(anon): 1264696 kB Inactive(anon): 5920 kB Active(file): 1345136 kB Inactive(file): 1358836 kB Unevictable: 7644 kB Mlocked: 7644 kB SwapTotal: 67108856 kB SwapFree: 67100232 kB Dirty: 2724 kB Writeback: 0 kB AnonPages: 1275428 kB Mapped: 10064 kB Shmem: 0 kB Slab: 710560 kB SReclaimable: 151900 kB SUnreclaim: 558660 kB KernelStack: 1472 kB PageTables: 6496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1394300 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1245184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720321-1338509654.opb Free space on /tmp at the end= 70792 MiB End job on node147 at 2012-06-01 02:43:58