0.00/0.00	c NaPS 1.02b.
1800.05/1800.40	o 12318
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED *** by signal 15
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	c 
1800.05/1800.40	c std/band forms        : 1,0
1800.05/1800.40	c 2cl/3cl ITE-codings   : 0,0
1800.05/1800.40	c BDD/srt/adr Max costs : 0,819708,0
1800.05/1800.40	c BDDraw/bin/mul/srt/adr: 0,0,0,1,0
1800.05/1800.40	c BDD nodes             : 0
1800.05/1800.40	c Es1/CC detections     : 0,0
1800.05/1800.40	c SAT/UNSAT calls       : 1,0
1800.05/1800.40	c restarts              : 1
1800.05/1800.40	c conflicts             : 0              (0 /sec)
1800.05/1800.40	c decisions             : 1937           (1 /sec)
1800.05/1800.40	c propagations          : 3301           (2 /sec)
1800.05/1800.40	c inspects              : 0              (0 /sec)
1800.05/1800.40	c CPU time (solving tm) : 1800 s        (0.012 s)
1800.05/1800.40	c Time for Opt-base     : 0.7049 s
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	v -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 -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 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 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 x986 -x988 -x990 -x992 -x994 -x996 -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 x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -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 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -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 x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -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 -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 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 x3617 x3619 -x3621 -x3623 -x3625 -x3627 -x3629 x3631 -x3633 -x3635 -x3637 x3639 -x3641 x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -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 -x3781 -x3783 -x3784 x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 x3853 -x3855 -x3857 -x3859 -x3861 -x3863 x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 x3905 x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x217 -x1 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x2 -x233 -x235 -x237 -x3 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -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 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x9 -x385 -x387 -x389 -x10 -x391 -x393 -x395 -x11 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421 -x14 -x423 -x425 x427 x15 x429 x16 -x431 -x17 -x433 -x435
1800.05/1800.40	v x437 x18 -x439 -x441 -x443 -x19 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x23 -x499 -x501 -x503 x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 x523 -x525 -x25 -x527 -x529 -x531 -x533 -x536 -x538 x26 x540 -x542 -x544 -x27 -x546 -x548 x550 x28 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x29 -x566 -x568 -x570 -x30 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x31 -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 -x32 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 x33 -x700 x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 x35 -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 -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 -x36 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x37 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 x907 -x909 -x38 -x911 -x913 -x915 -x39 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x40 -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 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063 -x1065 -x1067 -x46 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x48 -x1097 -x1099 -x1101 x49 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126 -x1128 -x51 -x1130 -x1132 -x1134 -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 x1146 x54 -x1148 -x55 -x1150 -x56 -x1152 -x1154 -x1156 -x57 -x1158 -x1160 -x1162 -x58 -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x61 -x1198 -x1200 -x1202 -x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x64 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x66 -x1251 -x1253 -x1255 -x67 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68 -x1279 -x1281 -x1283 -x1285 -x1287 -x69 -x1289 -x1291 -x1293 -x1295 -x1297 -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x71 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x72 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x74 -x1519 -x1521 -x1523 -x75 -x1525 -x1527 -x1529 -x76 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x77 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x78 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639 -x84 -x1641 -x1643 x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671 -x1673 -x86 -x1675 -x1677 -x1679 -x87 -x1681 -x1683 -x1685 -x88 -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697 -x1699 -x1701 -x92 -x1703 -x1705 -x1707 -x93 -x1709 -x1711 -x1713 -x94 -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x98 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100 -x1781 -x1783 -x1785 -x101 -x1787 -x1789 -x1791 -x102 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881 -x1883 -x1885 -x1887 -x1889 -x107 -x1891 -x1893 -x1895 -x1897 -x1899 x108 -x1901 -x1903 -x1905 x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169 -x115 -x2171 -x2173 -x2175 -x116 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 x117 -x2191 -x2193 -x2195 -x2197 x2199 -x2201 -x2203 -x118 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x119 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x121 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373 -x2375 -x123 -x2377 -x2379 -x2381 -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 x2431 -x2433 -x2435 -x2437 -x2439 -x127 -x2441 -x2443 -x128 -x2445 -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x130 -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495 -x2497 -x2499 -x2501 -x133 -x2503 -x134 -x2505 -x135 -x2507 -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 -x137 -x2523 -x2525 -x2527 -x138 -x2529 -x2531 -x2533 -x139 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571 -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x143 -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x147 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -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 -x148 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878 -x2880 -x153 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x155 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x161 -x3175 -x3177 -x3179 -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x164 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166 -x3236 -x3238 -x3240 -x167 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x168 -x3272 -x3274 -x3276 -x169 -x3278 -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294 -x3296 -x3298 -x172 -x3300 -x173 -x3302 -x174 -x3304 -x3306 -x3308 -x175 -x3310 -x3312 -x3314 -x176 -x3316 -x3318 -x3320 -x177 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352 -x3354 -x3356 -x179 -x3358 -x3360 -x3362 -x180 -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 -x181 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 x3434 -x3436 -x3438 -x182 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x183 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x184 -x3522 -x3524 -x3526 -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3559 -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x188 -x3592 -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 -x191 -x3608 -x3610 -x3612 -x3614 x3616 x192 x3618 x193 -x3620 -x194 -x3622 -x3624 -x3626 -x3628 x3630 -x3632 -x3634 -x3636 x3638 -x3640 x3642 -x3644 -x3646 -x3648 -x195 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3677 -x3679 -x3681 -x3683 -x3685 -x196 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3720 -x3723 -x3725 -x197 -x3727 -x3729 -x3731 -x3733 -x3735 -x198 -x3737 -x3739 -x3741 -x3743 -x3745 -x199 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3782 x200 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x201 -x3824 -x3826 x3828 -x3830 -x3832 -x3834 -x202 -x3836 -x3838 -x3840 -x203 -x3842 -x3844 -x3846 -x3848 -x3850 -x204 x3852 x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862 x3864 -x3866 -x3868 -x3870 -x207 -x3872 -x3874 -x3876 -x3878 -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 -x210 -x3896 -x3898 -x3900 -x3902 x3904 x3906 -x3908 -x211 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x212 -x3938 -x213 -x3940 -x214 -x3942 -x215 -x3944 x216

OK	12318

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4105955-1466277479/watcher-4105955-1466277479 -o /tmp/evaluation-result-4105955-1466277479/solver-4105955-1466277479 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466277479-31939 --watchdog 1960 naps-1.02 HOME/instance-4105955-1466277479.opb 

pid=31960
running on 4 cores: 1,3,5,7

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.46 2.03 2.12 4/172 31964
/proc/meminfo: memFree=30299252/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=7124 CPUtime=0 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 1 0 29796663 7294976 331 33554432000 4194304 5796924 140735069082592 140735932595944 5096706 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 1781 331 128 392 0 1380 0

[startup+0.100155 s]
/proc/loadavg: 1.46 2.03 2.12 4/172 31964
/proc/meminfo: memFree=30299252/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=8196 CPUtime=0.09 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 785 0 0 0 9 0 0 0 20 0 1 0 29796663 8392704 639 33554432000 4194304 5796924 140735069082592 140735069081848 4378918 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 2049 639 129 392 0 1648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8196

[startup+0.20023 s]
/proc/loadavg: 1.46 2.03 2.12 4/172 31964
/proc/meminfo: memFree=30299252/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=5748 CPUtime=0.19 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 1354 0 0 0 19 0 0 0 20 0 1 0 29796663 5885952 1038 33554432000 4194304 5796924 140735069082592 140735069081848 5087771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 1437 1038 151 392 0 1036 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5748

[startup+0.300232 s]
/proc/loadavg: 1.46 2.03 2.12 4/172 31964
/proc/meminfo: memFree=30299252/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=5748 CPUtime=0.29 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 1354 0 0 0 29 0 0 0 20 0 1 0 29796663 5885952 1038 33554432000 4194304 5796924 140735069082592 140735069081848 5087743 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 1437 1038 151 392 0 1036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5748

[startup+0.700234 s]
/proc/loadavg: 1.46 2.03 2.12 4/172 31964
/proc/meminfo: memFree=30299252/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=5748 CPUtime=0.69 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 1356 0 0 0 69 0 0 0 20 0 1 0 29796663 5885952 1040 33554432000 4194304 5796924 140735069082592 140735069081848 5093792 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 1437 1040 151 392 0 1036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5748

[startup+1.5003 s]
/proc/loadavg: 1.46 2.03 2.12 3/177 31969
/proc/meminfo: memFree=30142760/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=182828 CPUtime=1.49 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 33889 0 0 0 143 6 0 0 20 0 1 0 29796663 187215872 42760 33554432000 4194304 5796924 140735069082592 140735069076584 4600717 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 45707 42761 159 392 0 45306 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 182828

[startup+3.10031 s]
/proc/loadavg: 1.46 2.03 2.12 3/177 31969
/proc/meminfo: memFree=29826464/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=449496 CPUtime=3.09 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 60841 0 0 0 297 12 0 0 20 0 1 0 29796663 460283904 103309 33554432000 4194304 5796924 140735069082592 140735069079912 4651098 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 112374 103309 159 392 0 111973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 449496

[startup+6.30033 s]
/proc/loadavg: 1.50 2.03 2.12 3/176 31969
/proc/meminfo: memFree=29681056/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=466664 CPUtime=6.29 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 65919 0 0 0 613 16 0 0 20 0 1 0 29796663 477863936 109272 33554432000 4194304 5796924 140735069082592 140735069079640 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 116666 109272 169 392 0 116265 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 466664

[startup+12.7003 s]
/proc/loadavg: 1.62 2.04 2.13 3/177 31970
/proc/meminfo: memFree=29685956/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=467920 CPUtime=12.69 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 66178 0 0 0 1253 16 0 0 20 0 1 0 29796663 479150080 110041 33554432000 4194304 5796924 140735069082592 140735069079640 4591871 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 116980 110041 170 392 0 116579 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 467920

[startup+25.5004 s]
/proc/loadavg: 1.70 2.04 2.12 3/177 31970
/proc/meminfo: memFree=29678860/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=486888 CPUtime=25.49 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 66481 0 0 0 2533 16 0 0 20 0 1 0 29796663 498573312 111361 33554432000 4194304 5796924 140735069082592 140735069080232 4606442 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 121722 111361 170 392 0 121321 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 486888

[startup+51.1004 s]
/proc/loadavg: 1.87 2.05 2.12 3/177 31970
/proc/meminfo: memFree=29681816/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=487868 CPUtime=51.08 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 67567 0 0 0 5090 18 0 0 20 0 1 0 29796663 499576832 110695 33554432000 4194304 5796924 140735069082592 140735069079640 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 121967 110695 170 392 0 121566 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 487868

[startup+102.3 s]
/proc/loadavg: 2.04 2.07 2.12 4/177 31971
/proc/meminfo: memFree=29664092/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=487868 CPUtime=102.28 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 67696 0 0 0 10210 18 0 0 20 0 1 0 29796663 499576832 113890 33554432000 4194304 5796924 140735069082592 140735069079640 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 121967 113890 170 392 0 121566 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 487868

[startup+162.3 s]
/proc/loadavg: 2.12 2.09 2.12 4/178 31975
/proc/meminfo: memFree=29654600/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=490500 CPUtime=162.27 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 69574 0 0 0 16206 21 0 0 20 0 1 0 29796663 502272000 111746 33554432000 4194304 5796924 140735069082592 140735069080232 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 122625 111746 170 392 0 122224 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 490500

[startup+222.308 s]
/proc/loadavg: 2.33 2.14 2.14 3/177 31976
/proc/meminfo: memFree=29651784/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=490500 CPUtime=222.26 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 70335 0 0 0 22204 22 0 0 20 0 1 0 29796663 502272000 112281 33554432000 4194304 5796924 140735069082592 140735069080232 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 122625 112281 170 392 0 122224 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 490500

[startup+282.3 s]
/proc/loadavg: 2.35 2.18 2.15 3/177 31977
/proc/meminfo: memFree=29650328/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=490500 CPUtime=282.24 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 70812 0 0 0 28201 23 0 0 20 0 1 0 29796663 502272000 112539 33554432000 4194304 5796924 140735069082592 140735069080056 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 122625 112539 170 392 0 122224 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 490500

[startup+342.3 s]
/proc/loadavg: 2.25 2.19 2.15 3/177 31979
/proc/meminfo: memFree=29649528/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=491192 CPUtime=342.24 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 71234 0 0 0 34200 24 0 0 20 0 1 0 29796663 502980608 112691 33554432000 4194304 5796924 140735069082592 140735069079576 4606579 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 122798 112691 170 392 0 122397 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 491192

[startup+402.3 s]
/proc/loadavg: 2.38 2.23 2.17 3/177 31980
/proc/meminfo: memFree=29651880/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=492208 CPUtime=402.23 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 71728 0 0 0 40198 25 0 0 20 0 1 0 29796663 504020992 111942 33554432000 4194304 5796924 140735069082592 140735069080056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 123052 111942 170 392 0 122651 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 492208

[startup+462.3 s]
/proc/loadavg: 2.26 2.21 2.17 3/177 31981
/proc/meminfo: memFree=29633392/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=492604 CPUtime=462.22 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 71839 0 0 0 46197 25 0 0 20 0 1 0 29796663 504426496 116141 33554432000 4194304 5796924 140735069082592 140735069079704 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 123151 116141 170 392 0 122750 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 492604

[startup+522.3 s]
/proc/loadavg: 2.21 2.22 2.17 3/177 31982
/proc/meminfo: memFree=29626400/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=493292 CPUtime=522.21 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 72835 0 0 0 52194 27 0 0 20 0 1 0 29796663 505131008 115293 33554432000 4194304 5796924 140735069082592 140735069079704 4606847 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 123323 115293 170 392 0 122922 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 493292

[startup+582.3 s]
/proc/loadavg: 2.36 2.26 2.19 3/177 31983
/proc/meminfo: memFree=29565356/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=493928 CPUtime=582.2 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 73890 0 0 0 58191 29 0 0 20 0 1 0 29796663 505782272 113949 33554432000 4194304 5796924 140735069082592 140735069079704 4606392 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 123482 113949 170 392 0 123081 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 493928


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


[startup+882.308 s]
/proc/loadavg: 2.29 2.29 2.21 3/177 31992
/proc/meminfo: memFree=29462400/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=496888 CPUtime=882.17 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 77161 0 0 0 88181 36 0 0 20 0 1 0 29796663 508813312 114093 33554432000 4194304 5796924 140735069082592 140735069080056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 124222 114093 170 392 0 123821 0
Current children cumulated CPU time (s) 882.17
Current children cumulated vsize (KiB) 496888

[startup+942.3 s]
/proc/loadavg: 2.32 2.30 2.21 4/177 31994
/proc/meminfo: memFree=29448712/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=527996 CPUtime=942.14 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 77728 0 0 0 94178 36 0 0 20 0 1 0 29796663 540667904 118123 33554432000 4194304 5796924 140735069082592 140735069079704 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 131999 118123 170 392 0 131598 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 527996

[startup+1002.3 s]
/proc/loadavg: 2.30 2.29 2.21 3/177 31995
/proc/meminfo: memFree=29398984/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=497580 CPUtime=1002.12 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 78264 0 0 0 100174 38 0 0 20 0 1 0 29796663 509521920 114704 33554432000 4194304 5796924 140735069082592 140735069080056 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 124395 114704 170 392 0 123994 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 497580

[startup+1062.3 s]
/proc/loadavg: 2.15 2.25 2.20 3/172 32004
/proc/meminfo: memFree=29821672/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=497716 CPUtime=1062.09 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 78485 0 0 0 106171 38 0 0 20 0 1 0 29796663 509661184 118838 33554432000 4194304 5796924 140735069082592 140735069079704 4606503 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 124429 118838 170 392 0 124028 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 497716

[startup+1122.3 s]
/proc/loadavg: 2.30 2.26 2.20 3/177 32043
/proc/meminfo: memFree=29790408/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=529292 CPUtime=1122.06 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 79126 0 0 0 112167 39 0 0 20 0 1 0 29796663 541995008 122997 33554432000 4194304 5796924 140735069082592 140735069079704 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 132323 122997 170 392 0 131922 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 529292

[startup+1182.3 s]
/proc/loadavg: 2.42 2.30 2.22 3/177 32043
/proc/meminfo: memFree=28744432/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=498608 CPUtime=1182.05 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 79438 0 0 0 118165 40 0 0 20 0 1 0 29796663 510574592 119376 33554432000 4194304 5796924 140735069082592 140735069079704 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 124652 119376 170 392 0 124251 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 498608

[startup+1242.3 s]
/proc/loadavg: 2.20 2.26 2.20 3/177 32045
/proc/meminfo: memFree=25838940/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=529696 CPUtime=1242.03 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 80098 0 0 0 124162 41 0 0 20 0 1 0 29796663 542408704 122477 33554432000 4194304 5796924 140735069082592 140735069079704 4608495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 132424 122477 170 392 0 132023 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 529696

[startup+1302.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/177 32046
/proc/meminfo: memFree=23421988/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=499304 CPUtime=1302.03 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 80480 0 0 0 130161 42 0 0 20 0 1 0 29796663 511287296 117905 33554432000 4194304 5796924 140735069082592 140735069080056 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 124826 117905 170 392 0 124425 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 499304

[startup+1362.3 s]
/proc/loadavg: 2.60 2.33 2.23 4/178 32143
/proc/meminfo: memFree=28309512/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=530260 CPUtime=1362.02 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 81106 0 0 0 136158 44 0 0 20 0 1 0 29796663 542986240 121077 33554432000 4194304 5796924 140735069082592 140735069080232 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 132565 121077 170 392 0 132164 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 530260

[startup+1422.3 s]
/proc/loadavg: 2.32 2.30 2.22 4/177 32144
/proc/meminfo: memFree=23336216/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=530844 CPUtime=1422.02 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 81254 0 0 0 142158 44 0 0 20 0 1 0 29796663 543584256 124291 33554432000 4194304 5796924 140735069082592 140735069079704 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 132711 124291 170 392 0 132310 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 530844

[startup+1482.3 s]
/proc/loadavg: 2.28 2.29 2.22 3/177 32145
/proc/meminfo: memFree=22948772/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=500604 CPUtime=1482 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 81666 0 0 0 148155 45 0 0 20 0 1 0 29796663 512618496 119237 33554432000 4194304 5796924 140735069082592 140735069079704 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 125151 119237 170 392 0 124750 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 500604

[startup+1542.31 s]
/proc/loadavg: 2.29 2.28 2.22 3/177 32147
/proc/meminfo: memFree=21893776/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=531836 CPUtime=1542 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 82344 0 0 0 154154 46 0 0 20 0 1 0 29796663 544600064 122975 33554432000 4194304 5796924 140735069082592 140735069079704 4607607 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 132959 122975 170 392 0 132558 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 531836

[startup+1602.3 s]
/proc/loadavg: 2.15 2.24 2.21 4/177 32148
/proc/meminfo: memFree=20407880/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=533712 CPUtime=1601.98 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 82707 0 0 0 160152 46 0 0 20 0 1 0 29796663 546521088 125382 33554432000 4194304 5796924 140735069082592 140735069079704 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 133428 125382 170 392 0 133027 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 533712

[startup+1662.3 s]
/proc/loadavg: 2.16 2.22 2.20 4/177 32149
/proc/meminfo: memFree=18886932/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=502892 CPUtime=1661.97 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 82992 0 0 0 166150 47 0 0 20 0 1 0 29796663 514961408 120712 33554432000 4194304 5796924 140735069082592 140735069080056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 125723 120712 170 392 0 125322 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 502892

[startup+1722.3 s]
/proc/loadavg: 2.18 2.21 2.19 4/177 32150
/proc/meminfo: memFree=17348944/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=533712 CPUtime=1721.97 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 83586 0 0 0 172149 48 0 0 20 0 1 0 29796663 546521088 123340 33554432000 4194304 5796924 140735069082592 140735069080232 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 133428 123340 170 392 0 133027 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 533712

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.18 4/177 32151
/proc/meminfo: memFree=16549128/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=533712 CPUtime=1781.96 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 83616 0 0 0 178148 48 0 0 20 0 1 0 29796663 546521088 125925 33554432000 4194304 5796924 140735069082592 140735069080232 4583342 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 133428 125925 170 392 0 133027 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 533712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 32151
/proc/meminfo: memFree=16097068/32872528 swapFree=1431120/1543540
[pid=31964] ppid=31960 vsize=503024 CPUtime=1800.05 cores=1,3,5,7
/proc/31964/stat : 31964 (naps-1.02) R 31960 31964 31922 0 -1 4202496 83923 0 0 0 179956 49 0 0 20 0 1 0 29796663 515096576 118721 33554432000 4194304 5796924 140735069082592 140735069080056 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/31964/statm: 125756 118721 170 392 0 125355 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 503024

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31964 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.06
CPU user time (s): 1799.57
CPU system time (s): 0.497924
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 583164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.497924
maximum resident set size= 541584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83935
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= 106
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6243 second user time and 6.97594 second system time

The end

Begin job on node116 at 2016-06-18 21:17:59
IDJOB=4105955
IDBENCH=24963
IDSOLVER=2544
FILE ID=node116/4105955-1466277479
RUNJOBID= node116-1466277479-31939
PBS_JOBID= 19918272
Free space on /tmp= 71692 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105955-1466277479/watcher-4105955-1466277479 -o /tmp/evaluation-result-4105955-1466277479/solver-4105955-1466277479 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466277479-31939 --watchdog 1960  naps-1.02 HOME/instance-4105955-1466277479.opb

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

MD5SUM BENCH= 83e4cddd78ca4f87cfb13af1d930e0cc
RANDOM SEED=1019044225

node116.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.781
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.56
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.781
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	: 5332.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.781
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	: 5332.55
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.781
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	: 5332.55
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.781
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	: 5332.55
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.781
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	: 5332.54
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.781
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	: 5332.55
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.781
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30299144 kB
Buffers:           94420 kB
Cached:           190744 kB
SwapCached:         1936 kB
Active:           118596 kB
Inactive:         169608 kB
Active(anon):       2684 kB
Inactive(anon):     3296 kB
Active(file):     115912 kB
Inactive(file):   166312 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:              8164 kB
Writeback:             0 kB
AnonPages:       1545864 kB
Mapped:             6776 kB
Shmem:                 0 kB
Slab:             608724 kB
SReclaimable:      53340 kB
SUnreclaim:       555384 kB
KernelStack:        1336 kB
PageTables:         6556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1638772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70908 MiB
End job on node116 at 2016-06-18 21:48:00