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.23	c starting to Solve
0.19/0.23	c #variables read: 6033 - #constraints read: 11963
0.19/0.23	o 44
0.39/0.42	o 43
0.48/0.55	o 42
0.48/0.59	o 41
1.59/1.66	o 40
567.90/568.06	o 39
1782.91/1783.28	c total time              : 1783 s
1782.91/1783.28	s SATISFIABLE
1782.91/1783.28	v -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -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 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -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 x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -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 -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 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -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 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1447 -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 -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 -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 -x1805 -x1807 -x1809 -x1811 -x1813 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -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 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2044 -x2046 -x2048 -x2050 -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 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -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 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2306 -x2308 -x2310 x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2404 -x2406 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2439 -x2441 -x2443 x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2584 -x2586 -x2588 -x2589 -x2591 -x2593 -x2595 -x2597 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2629 -x2631 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -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 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2911 -x2913 -x2915 -x2917 -x2918 -x2920 -x2922 -x2924 -x2926 -x2927 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -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 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -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 -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 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -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 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3963 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4057 -x4059 -x4061 -x4063 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4190 -x4192 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4224 -x4226 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4250 -x4252 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4344 -x4345 -x4347 -x4349 -x4351 -x4353 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4371 -x4373 -x4375 -x4377 -x4379 -x4380 -x4382 -x4384 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4413 -x4415 -x4417 -x4419 -x4421 -x4422 -x4423 -x4425 -x4427 -x4429 -x4431 -x4432 -x4433 -x4435 -x4436 -x4438 -x4440 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -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 -x4523 -x4525 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4539 -x4541 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4553 -x4555 -x4557 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4571 -x4573 -x4574 -x4576 -x4578 -x4579 -x4581 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4651 -x4653 -x4655 -x4656 -x4658 -x4660 -x4662 -x4664 -x4665 -x4667 -x4669 -x4671 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4743 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4834 -x4836 -x4838 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4890 -x4892 -x4894 -x4896 -x4898 -x4899 -x4901 -x4903 -x4905 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4919 -x4921 x4922 -x4924 -x4926 -x4928 -x4929 -x4931 -x4933 -x4934 -x4936 -x4937 -x4939 -x4940 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4954 -x4956 -x4958 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5000 -x5002 -x5004 -x5006 -x5008 -x5009 -x5011 -x5013 -x5015 -x5017 -x5018 -x5019 -x5021 -x5023 -x5024 -x5025 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5037 -x5039 -x5041 -x5043 -x5044 -x5046 -x5048 -x5050 -x5052 -x5053 -x5055 -x5057 -x5058 -x5060 -x5062 -x5063 -x5065 -x5067 -x5068 -x5070 -x5071 -x5073 -x5075 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5104 -x5106 -x5107 -x5109 -x5111 -x5112 -x5114 -x5116 -x5117 -x5119 -x5121 -x5123 -x5124 -x5125 -x5127 -x5129 -x5131 -x5132 -x5134 -x5135 -x5137 -x5138 -x5140 -x5142 -x5143 -x5145 -x5147 -x5149 -x5150 -x5152 -x5154 -x5156 -x5157 -x5159 -x5160 -x5162 -x5164 -x5166 -x5168 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5182 -x5183 -x5185 -x5187 -x5189 -x5190 -x5192 -x5194 -x5195 -x5197 -x5199 -x5201 -x5202 -x5203 -x5204 -x5206 -x5207 -x5209 -x5211 -x5213 -x5214 x5216 -x5217 -x5219 -x5221 -x5223 -x5224 -x5226 -x5228 -x5230 -x5232 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5248 -x5250 -x5251 -x5253 -x5254 -x5256 -x5258 x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5298 -x5300 -x5302 -x5304 -x5306 -x5307 -x5308 -x5310 -x5311 -x5313 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5331 -x5333 -x5334 -x5336 -x5338 -x5339 -x5341 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5355 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5375 -x5377 -x5379 -x5381 -x5383 -x5384 -x5386 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5398 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 x5411 -x5413 -x5415 -x5417 -x5418 -x5420 -x5422 -x5424 -x5426 -x5427 -x5429 -x5430 -x5432 -x5434 -x5435 -x5437 -x5438 -x5440 -x5442 -x5444 -x5445 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5459 -x5460 -x5462 -x5464 -x5466 x5467 -x5469 -x5471 -x5472 -x5474 -x5476 -x5478 -x5479 -x5480 -x5482 -x5484 -x5485 -x5487 -x5489 -x5491 -x5492 -x5494 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5506 -x5508 -x5510 -x5511 -x5512 -x5514 -x5515 -x5517 -x5519 -x5520 -x5522 -x5524 -x5525 -x5526 -x5528 -x5530 -x5532 -x5533 -x5535 -x5536 -x5538 -x5539 -x5540 -x5541 -x5543 -x5545 -x5546 -x5547 -x5549 -x5551 -x5552 -x5554 -x5555 -x5557 -x5559 -x5561 -x5563 -x5564 -x5566 -x5567 -x5569 -x5571 -x5572 -x5574 -x5575 -x5577 -x5578 -x5579 -x5581 -x5583 -x5584 -x5585 -x5587 -x5588 -x5590 -x5592 -x5593 -x5595 -x5596 -x5598 -x5599 -x5600 -x5602 -x5603 -x5605 -x5607 -x5608 -x5610 -x5612 -x5614 -x5616 -x5617 -x5619 x5620 -x5622 -x5624 -x5625 -x5626 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5657 -x5659 -x5661 -x5662 -x5664 -x5666 -x5668 x5669 -x5670 -x5672 -x5674 -x5676 -x5677 -x5679 -x5681 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5699 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5711 -x5713 -x5714 -x5716 -x5718 -x5719 -x5720 x5722 -x5723 -x5725 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733 -x5735 -x5737 -x5738 -x5740 -x5742 -x5744 -x5745 x5746 -x5748 -x5750 -x5752 -x5753 -x5755 -x5756 -x5758 -x5759 -x5761 -x5762 -x5764 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5773 -x5775 -x5776 -x5777 -x5778 -x5780 -x5782 -x5783 -x5785 -x5786 -x5787 x5788 -x5789 -x5790 -x5792 -x5793 -x5795 -x5797 x5798 -x5800 -x5801 -x5803 -x5805 x5806 -x5807 -x5809 -x5811 -x5812 -x5813 -x5815 -x5817 x5818 -x5820 -x5822 -x5823 -x5824 -x5825 -x5827 -x5829 -x5831 -x5832 -x5833 -x5835 -x5836 -x5837 -x5838 -x5840 -x5841 -x5843 -x5844 x5845 -x5847 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5858 -x5860 -x5862 -x5863 -x5865 -x5866 -x5868 -x5869 -x5870 -x5872 -x5874 -x5876 -x5878 -x5879 -x5880 -x5881 -x5882 -x5884 -x5886 -x5887 -x5888 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5900 -x5901 -x5902 -x5903 x5904 -x5905 -x5907 -x5909 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5918 -x5920 -x5921 -x5922 -x5923 -x5925 -x5926 -x5928 x5929 -x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5943 -x5945 -x5946 -x5947 x5948 -x5949 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 x5965 -x5967 x5968 -x5969 -x5970 -x5971 -x5972 -x5974 -x5975 x5976 -x5978 -x5979 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5989 x5990 -x5991 -x5992 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 x6007 -x6008 -x6009 -x6010 x6011 -x6012 x6013 -x6014 -x6015 x6016 x6017 -x6018 -x6019 -x6020 -x6021 -x6022 x6023 -x6024 -x6025 x6026 -x6027 -x6028 x6029 -x6030 x6031 x6032 x6033 -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 -x1 -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 -x572 -x574 -x2 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x3 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x4 -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 -x5 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 x6 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x7 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x8 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x9 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x10 -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 -x1286 -x1288 -x11 -x1290 -x1292 -x1294 -x1296 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1314 -x1316 -x12 -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 -x1377 -x13 -x1379 -x1381 -x1383 -x1385 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x14 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x15 -x1437 -x1439 -x1441 -x1443 -x1445 -x16 -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 -x17 -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 -x1632 -x1634 -x18 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x19 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x20 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x21 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1806 -x1808 -x1810 -x1812 -x1815 -x22 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x23 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x24 -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 -x25 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x26 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1975 -x1977 -x1979 -x27 -x1981 -x1983 -x1985 -x1987 -x1990 -x1992 -x28 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x29 -x2023 -x2025 -x2028 -x2030 -x2032 -x2034 -x30 -x2036 -x2038 -x2040 -x2042 -x2045 -x2047 -x31 -x2049 -x2052 -x32 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x33 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x34 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2255 -x2257 -x2259 -x2261 -x2263 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2307 -x2309 x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x35 -x2329 -x2331 -x2333 -x2335 -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 -x36 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2405 -x2408 -x2410 -x2412 -x2414 -x2416 -x37 -x2418 -x2420 -x2422 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2440 -x2442 x38 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x39 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x40 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x41 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x42 -x2580 -x2582 -x2585 -x2587 -x2590 -x43 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x44 -x2621 -x2623 -x2625 -x2627 -x2630 -x45 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x46 -x2648 -x2650 -x47 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x48 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x49 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x50 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x51 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x52 -x2817 -x2819 -x2821 -x2823 -x2826 -x2828 -x53 -x2830 -x2832 -x2834 -x2836 -x2839 -x2841 -x54 -x2843 -x2845 -x55 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x56 -x2877 -x2879 -x2881 -x2883 -x2885 -x57 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x58 -x2901 -x2903 -x2905 -x59 -x2907 -x2909 -x2912 -x2914 -x2916 -x60 -x2919 -x2921 -x2923 -x61 -x2925 -x62 -x2929 -x63 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x64 -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 -x65 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x66 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3203 -x3205 -x67 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x68 -x3268 -x3270 -x3272 -x3274 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x69 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3320 -x3322 -x3324 -x70 -x3326 -x3328 -x3330 -x3332 -x3335 -x3337 -x71 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x72 -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 -x3517 -x3519 -x3521 -x3523 -x73 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x74 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x75 -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 -x76 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x77 -x3704 -x3706 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x78 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x79 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3798 -x3800 -x3802 -x3804 -x80 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x81 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x82 -x3898 -x3900 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3920 -x3922 -x3924 -x83 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3949 -x3951 -x3953 -x84 -x3955 -x3957 -x3959 -x3961 -x3965 -x85 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3986 -x3988 -x3990 -x3992 -x3994 -x86 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4019 -x4021 -x4023 -x87 -x4025 -x4027 -x4030 -x4032 -x4034 -x4036 -x88 -x4038 -x4040 -x4042 -x4044 -x4047 -x4049 -x89 -x4051 -x4053 -x4055 -x4058 -x4060 -x4062 -x90 -x4065 -x4067 -x91 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4121 -x4123 -x4125 -x4127 -x92 -x4129 -x4131 -x4133 -x4135 -x4137 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x93 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4176 -x4178 -x4180 -x4182 -x4184 -x94 -x4186 -x4188 -x4191 -x4194 -x4196 -x95 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4225 -x96 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x97 -x4240 -x4242 -x4244 -x4246 -x4248 -x4251 -x98 -x4254 -x4256 -x99 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4306 -x4308 -x4310 -x4312 -x4314 -x100 -x4317 -x4319 -x4321 -x4323 -x4325 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x101 -x4346 -x4348 -x4350 -x4352 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x102 -x4372 -x4374 -x4376 -x4378 -x4381 -x4383 -x103 -x4386 -x4388 -x4390 -x4392 -x4394 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x104 -x4414 -x4416 -x4418 -x4420 -x105 -x4424 -x4426 -x4428 -x4430 -x4434 -x106 -x4437 -x4439 -x107 -x4442 -x4444 -x4446 -x4448 -x4450 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x108 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x109 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x110 -x4513 -x4515 -x4517 -x4519 -x4521 -x4524 -x111 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x112 -x4540 -x113 -x4543 -x4545 -x4547 -x4549 -x4551 -x4554 -x114 -x4556 -x4559 -x4561 -x4563 -x4565 -x4567 -x115 -x4569 -x4572 -x116 -x4575 -x4577 -x117 -x4580 -x118 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4635 -x4637 -x4639 -x4641 -x4643 -x119 -x4645 -x4647 -x4649 -x4652 -x4654 -x4657 -x4659 -x4661 -x4663 -x4666 -x4668 -x4670 -x120 -x4673 -x4675 -x4677 -x4679 -x4681 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x121 -x4700 -x4702 -x4705 -x4707 -x4709 -x4711 -x122 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x123 -x4772 -x4774 -x4776 -x4778 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x124 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x125 -x4830 -x4832 -x4835 -x4837 -x4840 -x126 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x127 -x4871 -x4873 -x4875 -x4878 -x4880 -x4882 -x128 -x4884 -x4886 -x4888 -x4891 -x4893 -x4895 -x129 -x4897 -x4900 -x4902 -x4904 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4920 -x4923 -x4925 -x4927 -x130 -x4930 -x4932 -x4935 -x4938 -x131 -x4942 -x4944 -x4946 -x4948 -x4950 -x132 -x4952 -x4955 -x133 -x4957 -x4960 -x4962 -x4964 -x4966 -x4968 -x4971 -x4973 -x4975 -x4977 -x4979 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5001 -x5003 -x5005 -x5007 -x5010 -x5012 -x134 -x5014 -x5016 -x5020 -x5022 -x5027 -x5029 -x5031 -x5033 -x5035 -x135 -x5038 -x5040 -x5042 -x5045 -x5047 -x5049 -x5051 -x5054 -x5056 -x5059 -x5061 -x136 -x5064 -x5066 -x5069 -x5072 -x5074 -x137 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x138 -x5105 -x5108 -x5110 -x5113 -x139 -x5115 -x5118 -x5120 -x5122 -x140 -x5126 -x5128 -x5130 -x141 -x5133 -x5136 -x5139 -x5141 -x5144 -x5146 -x5148 -x5151 -x5153 -x5155 -x142 -x5158 -x5161 -x5163 -x5165 -x5167 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x143 -x5184 -x5186 -x5188 -x5191 -x5193 -x144 -x5196 -x5198 -x5200 -x145 -x5205 -x5208 -x5210 -x5212 x5215 -x5218 -x146 -x5220 -x5222 -x5225 -x5227 -x5229 -x5231 -x147 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x148 -x5246 -x5249 -x149 -x5252 -x150 -x5255 -x5257 x151 -x5260 -x152 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5299 -x5301 -x5303 -x5305 -x5309 -x5312 -x5315 -x153 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5332 -x5335 -x5337 -x5340 -x154 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x155 -x5371 -x5373 -x5376 -x5378 -x5380 -x5382 -x156 -x5385 -x5388 -x5390 -x5392 -x5394 -x5396 -x5400 -x5402 -x5404 -x5406 -x5408 x5410 -x5412 -x5414 -x5416 -x5419 -x5421 -x157 -x5423 -x5425 -x5428 -x5431 -x5433 -x158 -x5436 -x159 -x5439 -x5441 -x5443 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5461 -x5463 -x5465 -x5468 -x5470 -x5473 -x5475 -x160 -x5477 -x5481 -x5483 -x5486 -x161 -x5488 -x5490 -x5493 -x5496 -x5498 -x5500 -x5502 -x5504 -x5507 -x5509 -x162 -x5513 -x5516 -x5518 -x5521 -x5523 -x163 -x5527 -x5529 -x5531 -x5534 -x164 -x5537 -x165 -x5542 -x5544 -x5548 -x5550 -x5553 -x5556 -x5558 -x5560 -x5562 -x166 -x5565 -x5568 -x5570 -x5573 -x167 -x5576 -x5580 -x5582 -x168 -x5586 -x169 -x5589 -x5591 -x5594 -x5597 -x170 -x5601 -x171 -x5604 -x5606 -x5609 -x5611 -x5613 -x5615 -x172 -x5618 -x5621 -x5623 -x173 -x174 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5647 -x5649 -x5651 -x5653 -x175 -x5655 -x5658 -x5660 -x5663 -x5665 -x5667 -x5671 -x5673 -x5675 -x5678 -x5680 -x5683 -x5685 -x5687 -x5689 -x5691 -x176 -x5693 -x5695 -x5697 -x5701 -x5703 -x177 -x5705 -x5707 -x5709 -x5712 -x5715 -x178 -x5717 x5721 -x5724 -x5726 -x5731 -x5734 -x5736 -x5739 -x5741 -x5743 x179 -x5747 -x5749 -x5751 -x5754 -x180 -x5757 -x5760 -x5763 -x5765 -x181 -x5772 -x5774 -x5779 -x5781 -x5784 -x5791 -x5794 -x5796 -x5799 -x5802 -x5804 -x5808 -x5810 -x182 -x5814 -x5816 -x5819 -x5821 -x183 -x5826 -x5828 -x184 -x5830 -x185 -x5834 -x5839 -x5842 -x5846 -x5848 -x186 -x5857 -x5859 -x5861 -x5864 -x5867 -x5871 -x5873 -x5875 -x5877 -x187 -x5883 -x5885 -x5890 -x5892 -x5894 -x5896 -x5898 -x5906 -x5908 -x188 -x5910 -x5917 -x189 -x5919 -x5924 -x5927 x190 -x5942 -x5944 -x5950 -x191 -x5957 -x5966 -x5973 -x5977 -x5980 -x192 -x5988 -x5993 -x193 -x194 

OK	39

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-3720375-1338511083/watcher-3720375-1338511083 -o /tmp/evaluation-result-3720375-1338511083/solver-3720375-1338511083 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720375-1338511083.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: 1.92 1.98 1.92 3/176 9841
/proc/meminfo: memFree=27811524/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 317234450 3174400 267 33554432000 134512640 134579096 4288465552 4288332900 2331445 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 775 267 215 17 0 81 0

[startup+0.0817221 s]
/proc/loadavg: 1.92 1.98 1.92 3/176 9841
/proc/meminfo: memFree=27811524/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=6264 CPUtime=0.07 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 1077 0 0 0 7 0 0 0 20 0 1 0 317234450 6414336 1014 33554432000 134512640 134579096 4288465552 4288464512 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 1566 1014 227 17 0 872 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6264

[startup+0.100222 s]
/proc/loadavg: 1.92 1.98 1.92 3/176 9841
/proc/meminfo: memFree=27811524/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=6264 CPUtime=0.09 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 1077 0 0 0 9 0 0 0 20 0 1 0 317234450 6414336 1014 33554432000 134512640 134579096 4288465552 4288464512 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 1566 1014 227 17 0 872 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6264

[startup+0.300176 s]
/proc/loadavg: 1.92 1.98 1.92 3/176 9841
/proc/meminfo: memFree=27811524/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=6828 CPUtime=0.29 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 1236 0 0 0 29 0 0 0 20 0 1 0 317234450 6991872 1173 33554432000 134512640 134579096 4288465552 4288464400 134527989 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 1707 1173 229 17 0 1013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6828

[startup+0.700172 s]
/proc/loadavg: 1.92 1.98 1.92 3/176 9841
/proc/meminfo: memFree=27811524/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=6828 CPUtime=0.69 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 1236 0 0 0 67 2 0 0 20 0 1 0 317234450 6991872 1173 33554432000 134512640 134579096 4288465552 4288464372 134556233 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 1707 1173 229 17 0 1013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6828

[startup+1.50017 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 9842
/proc/meminfo: memFree=27807820/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=6828 CPUtime=1.48 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 1236 0 0 0 132 16 0 0 20 0 1 0 317234450 6991872 1173 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 1707 1173 229 17 0 1013 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6828

[startup+3.10017 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 9842
/proc/meminfo: memFree=27806928/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=6952 CPUtime=3.08 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 1264 0 0 0 260 48 0 0 20 0 1 0 317234450 7118848 1201 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 1738 1201 229 17 0 1044 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6952

[startup+6.30018 s]
/proc/loadavg: 1.93 1.98 1.92 3/177 9842
/proc/meminfo: memFree=27805936/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=8224 CPUtime=6.29 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 1589 0 0 0 579 50 0 0 20 0 1 0 317234450 8421376 1526 33554432000 134512640 134579096 4288465552 4288464272 134529182 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 2056 1526 229 17 0 1362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8224

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.92 3/177 9842
/proc/meminfo: memFree=27803868/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=9868 CPUtime=12.69 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 1987 0 0 0 1197 72 0 0 20 0 1 0 317234450 10104832 1924 33554432000 134512640 134579096 4288465552 4288464352 134528560 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9841/statm: 2467 1924 229 17 0 1773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9868

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.92 3/177 9842
/proc/meminfo: memFree=27803124/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=10588 CPUtime=25.47 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 2174 0 0 0 2457 90 0 0 20 0 1 0 317234450 10842112 2111 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 2647 2111 229 17 0 1953 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 10588

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.92 3/177 9842
/proc/meminfo: memFree=27800824/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=12484 CPUtime=51.08 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 2631 0 0 0 4970 138 0 0 20 0 1 0 317234450 12783616 2592 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 3121 2592 229 17 0 2427 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12484

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.92 3/177 9842
/proc/meminfo: memFree=27798900/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=14452 CPUtime=102.28 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 3113 0 0 0 10044 184 0 0 20 0 1 0 317234450 14798848 3076 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 3613 3076 229 17 0 2919 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14452

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/178 9845
/proc/meminfo: memFree=27795788/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=17164 CPUtime=162.26 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 3813 0 0 0 15921 305 0 0 20 0 1 0 317234450 17575936 3781 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 4291 3781 229 17 0 3597 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 17164

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/177 9845
/proc/meminfo: memFree=27793128/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=17840 CPUtime=222.24 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 3939 0 0 0 21874 350 0 0 20 0 1 0 317234450 18268160 3907 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 4460 3907 229 17 0 3766 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 17840

[startup+282.3 s]
/proc/loadavg: 2.07 2.00 1.93 3/177 9846
/proc/meminfo: memFree=27794368/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=19048 CPUtime=282.24 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 4225 0 0 0 27825 399 0 0 20 0 1 0 317234450 19505152 4193 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 4762 4193 229 17 0 4068 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 19048

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 1.93 3/177 9846
/proc/meminfo: memFree=27786368/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26420 CPUtime=342.23 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6068 0 0 0 33783 440 0 0 20 0 1 0 317234450 27054080 6071 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6605 6071 229 17 0 5911 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26420

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 9946
/proc/meminfo: memFree=27833776/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26396 CPUtime=402.22 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6071 0 0 0 39534 688 0 0 20 0 1 0 317234450 27029504 6071 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6599 6071 229 17 0 5905 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 26396

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 9946
/proc/meminfo: memFree=27831044/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26396 CPUtime=462.21 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6071 0 0 0 45341 880 0 0 20 0 1 0 317234450 27029504 6071 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6599 6071 229 17 0 5905 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 26396

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 9946
/proc/meminfo: memFree=27829368/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26396 CPUtime=522.2 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6071 0 0 0 51324 896 0 0 20 0 1 0 317234450 27029504 6071 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6599 6071 229 17 0 5905 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 26396

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 9947
/proc/meminfo: memFree=27828128/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26396 CPUtime=582.19 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6071 0 0 0 57303 916 0 0 20 0 1 0 317234450 27029504 6071 33554432000 134512640 134579096 4288465552 4288464452 134553148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6599 6071 229 17 0 5905 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 26396

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=27822108/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26720 CPUtime=882.14 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6151 0 0 0 87141 1073 0 0 20 0 1 0 317234450 27361280 6151 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6680 6151 229 17 0 5986 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 26720

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9951
/proc/meminfo: memFree=27821736/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26696 CPUtime=942.14 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6197 0 0 0 93120 1094 0 0 20 0 1 0 317234450 27336704 6128 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6674 6128 229 17 0 5980 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 26696

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9951
/proc/meminfo: memFree=27821176/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26696 CPUtime=1002.13 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6199 0 0 0 99104 1109 0 0 20 0 1 0 317234450 27336704 6130 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6674 6130 229 17 0 5980 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 26696

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9951
/proc/meminfo: memFree=27819440/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=26696 CPUtime=1062.11 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 6199 0 0 0 105063 1148 0 0 20 0 1 0 317234450 27336704 6130 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 6674 6130 229 17 0 5980 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 26696

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 9951
/proc/meminfo: memFree=27813668/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=32556 CPUtime=1122.11 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 7621 0 0 0 110942 1269 0 0 20 0 1 0 317234450 33337344 7582 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 8139 7582 229 17 0 7445 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 32556

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 9952
/proc/meminfo: memFree=27813356/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=32556 CPUtime=1182.1 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 7627 0 0 0 116788 1422 0 0 20 0 1 0 317234450 33337344 7591 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 8139 7591 229 17 0 7445 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 32556

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 9952
/proc/meminfo: memFree=27803808/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=41348 CPUtime=1242.09 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 9939 0 0 0 122672 1537 0 0 20 0 1 0 317234450 42340352 9803 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10337 9803 229 17 0 9643 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 41348

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9952
/proc/meminfo: memFree=27800448/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=44360 CPUtime=1302.09 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 128563 1646 0 0 20 0 1 0 317234450 45424640 10580 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 11090 10580 229 17 0 10396 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 44360

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9955
/proc/meminfo: memFree=27802176/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1362.08 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 134427 1781 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 42452

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 9978
/proc/meminfo: memFree=27801424/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1422.07 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 140294 1913 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464352 134528660 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 42452

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9979
/proc/meminfo: memFree=27801556/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1482.05 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 146163 2042 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 42452

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9979
/proc/meminfo: memFree=27801804/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1542.04 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 152081 2123 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 42452

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9979
/proc/meminfo: memFree=27801556/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1602.03 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 158053 2150 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 42452

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9979
/proc/meminfo: memFree=27802184/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1662.02 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 164021 2181 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 42452

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9980
/proc/meminfo: memFree=27802052/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1722.02 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 169995 2207 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 42452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9981
/proc/meminfo: memFree=27801804/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1782.01 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 175964 2237 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 42452

Solver just ended. Dumping a history of the last processes samples

[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9981
/proc/meminfo: memFree=27801804/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1782.41 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 176004 2237 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 42452

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9981
/proc/meminfo: memFree=27801804/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1782.81 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 176044 2237 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 42452

[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9981
/proc/meminfo: memFree=27801804/32873844 swapFree=7372/7372
[pid=9841] ppid=9839 vsize=42452 CPUtime=1782.91 cores=0,2,4,6
/proc/9841/stat : 9841 (Pueblo) R 9839 9841 9379 0 -1 4202496 10849 0 0 0 176054 2237 0 0 20 0 1 0 317234450 43470848 10103 33554432000 134512640 134579096 4288465552 4288464524 2855984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9841/statm: 10613 10103 229 17 0 9919 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 42452

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1760.63
CPU system time (s): 22.3766
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 44952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.63
system time used= 22.3766
maximum resident set size= 42884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10854
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= 28
involuntary context switches= 1947

runsolver used 3.22951 second user time and 7.62284 second system time

The end

Begin job on node118 at 2012-06-01 02:38:03
IDJOB=3720375
IDBENCH=25036
IDSOLVER=2305
FILE ID=node118/3720375-1338511083
RUNJOBID= node118-1338506009-9395
PBS_JOBID= 14635773
Free space on /tmp= 70992 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720375-1338511083/watcher-3720375-1338511083 -o /tmp/evaluation-result-3720375-1338511083/solver-3720375-1338511083 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720375-1338511083.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= fb30dc68ef00299e3d850b79fb8a2728
RANDOM SEED=68313984

node118.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.212
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	: 5332.42
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.212
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	: 5438.55
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.212
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.92
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.212
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.212
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	: 5320.68
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.212
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.212
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.212
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27812168 kB
Buffers:          453884 kB
Cached:          3683364 kB
SwapCached:            0 kB
Active:          1278276 kB
Inactive:        2935140 kB
Active(anon):      66248 kB
Inactive(anon):    11344 kB
Active(file):    1212028 kB
Inactive(file):  2923796 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:         94620 kB
Mapped:            12616 kB
Shmem:               200 kB
Slab:             712736 kB
SReclaimable:     154324 kB
SUnreclaim:       558412 kB
KernelStack:        1472 kB
PageTables:         3836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     190220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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-3720375-1338511083.opb

Free space on /tmp at the end= 70992 MiB
End job on node118 at 2012-06-01 03:07:47