0.00/0.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4105958-1466256685.opb
0.00/0.00	c File size is 269106 bytes.
1800.00/1800.30	c Sum of soft weights:       525162
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.00/1800.30	c |  Number of variables:          3945                                                                   |
1800.00/1800.30	c |  Number of hard clauses:       8604                                                                   |
1800.00/1800.30	c |  Number of soft clauses:       1872                                                                   |
1800.00/1800.30	c |  Number of cardinality:           0                                                                   |
1800.00/1800.30	c |  Number of PB :                   0                                                                   |
1800.00/1800.30	c |  Parse time:                   0.03 s                                                                 |
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	o 12697
1800.00/1800.30	o 12025
1800.00/1800.30	o 10763
1800.00/1800.30	o 10635
1800.00/1800.30	o 10275
1800.00/1800.30	o 10068
1800.00/1800.30	o 9783
1800.00/1800.30	o 9474
1800.00/1800.30	o 9278
1800.00/1800.30	o 9206
1800.00/1800.30	o 9197
1800.00/1800.30	o 9176
1800.00/1800.30	o 9089
1800.00/1800.30	o 8967
1800.00/1800.30	o 8965
1800.00/1800.30	o 8963
1800.00/1800.30	o 8962
1800.00/1800.30	o 8951
1800.00/1800.30	o 8925
1800.00/1800.30	o 8907
1800.00/1800.30	o 8857
1800.00/1800.30	o 8835
1800.00/1800.30	o 8820
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	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 -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	8820

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-4105958-1466256685/watcher-4105958-1466256685 -o /tmp/evaluation-result-4105958-1466256685/solver-4105958-1466256685 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466240246-11964 --watchdog 1960 open-wbo HOME/instance-4105958-1466256685.opb 

pid=14575
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: 2.26 2.24 2.19 3/176 14578
/proc/meminfo: memFree=27834388/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=2864 CPUtime=0 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 27716850 2932736 343 33554432000 4194304 6059633 140735361932944 140734241056008 5043379 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 716 343 200 456 0 186 0

[startup+0.100159 s]
/proc/loadavg: 2.26 2.24 2.19 3/176 14578
/proc/meminfo: memFree=27834388/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=10548 CPUtime=0.09 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 1402 0 0 0 9 0 0 0 20 0 1 0 27716850 10801152 1187 33554432000 4194304 6059633 140735361932944 140734241056008 4254423 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 2637 1187 169 456 0 2173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10548

[startup+0.200304 s]
/proc/loadavg: 2.26 2.24 2.19 3/176 14578
/proc/meminfo: memFree=27834388/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=15888 CPUtime=0.19 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 2452 0 0 0 19 0 0 0 20 0 1 0 27716850 16269312 2745 33554432000 4194304 6059633 140735361932944 140735361931704 4278373 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 3972 2745 183 456 0 3508 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15888

[startup+0.300341 s]
/proc/loadavg: 2.26 2.24 2.19 3/176 14578
/proc/meminfo: memFree=27834388/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=16428 CPUtime=0.29 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 2862 0 0 0 29 0 0 0 20 0 1 0 27716850 16822272 3155 33554432000 4194304 6059633 140735361932944 140735361931704 4262800 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 4107 3155 184 456 0 3643 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16428

[startup+0.700288 s]
/proc/loadavg: 2.26 2.24 2.19 3/176 14578
/proc/meminfo: memFree=27834388/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=17372 CPUtime=0.69 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 3835 0 0 0 69 0 0 0 20 0 1 0 27716850 17788928 3462 33554432000 4194304 6059633 140735361932944 140735361931704 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 4343 3462 188 456 0 3879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17372

[startup+1.50027 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 14579
/proc/meminfo: memFree=27820600/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=20244 CPUtime=1.49 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 4182 0 0 0 149 0 0 0 20 0 1 0 27716850 20729856 3805 33554432000 4194304 6059633 140735361932944 140735361931400 4277524 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 5061 3805 188 456 0 4597 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20244

[startup+3.10031 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 14579
/proc/meminfo: memFree=27814276/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=33904 CPUtime=3.09 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 7115 0 0 0 308 1 0 0 20 0 1 0 27716850 34717696 6953 33554432000 4194304 6059633 140735361932944 140735361931704 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 8476 6953 188 456 0 8012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33904

[startup+6.30031 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 14579
/proc/meminfo: memFree=27804640/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=35084 CPUtime=6.29 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 7838 0 0 0 628 1 0 0 20 0 1 0 27716850 35926016 7860 33554432000 4194304 6059633 140735361932944 140735361931704 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 8771 7860 189 456 0 8307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35084

[startup+12.7003 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 14579
/proc/meminfo: memFree=27787364/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=55412 CPUtime=12.69 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 9561 0 0 0 1268 1 0 0 20 0 1 0 27716850 56741888 12590 33554432000 4194304 6059633 140735361932944 140735361931144 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 13853 12590 189 456 0 13389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55412

[startup+25.5004 s]
/proc/loadavg: 2.24 2.24 2.19 4/177 14580
/proc/meminfo: memFree=27781596/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=56296 CPUtime=25.49 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 10569 0 0 0 2547 2 0 0 20 0 1 0 27716850 57647104 13176 33554432000 4194304 6059633 140735361932944 140735361931704 4255735 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 14074 13176 190 456 0 13610 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56296

[startup+51.1004 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 14580
/proc/meminfo: memFree=27770836/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=70188 CPUtime=51.08 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 11815 0 0 0 5106 2 0 0 20 0 1 0 27716850 71872512 15414 33554432000 4194304 6059633 140735361932944 140735361931096 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 17547 15414 190 456 0 17083 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70188

[startup+102.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 14581
/proc/meminfo: memFree=27750984/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=88272 CPUtime=102.28 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 13733 0 0 0 10225 3 0 0 20 0 1 0 27716850 90390528 20374 33554432000 4194304 6059633 140735361932944 140735361931704 4277586 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 22068 20374 190 456 0 21604 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88272

[startup+162.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 14582
/proc/meminfo: memFree=27725896/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=119728 CPUtime=162.27 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 15880 0 0 0 16222 5 0 0 20 0 1 0 27716850 122601472 26086 33554432000 4194304 6059633 140735361932944 140735361931704 4277725 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 29932 26086 191 456 0 29468 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 119728

[startup+222.307 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 14583
/proc/meminfo: memFree=27707932/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=134188 CPUtime=222.26 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 16790 0 0 0 22221 5 0 0 20 0 1 0 27716850 137408512 30573 33554432000 4194304 6059633 140735361932944 140735361931704 4261792 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 33547 30573 191 456 0 33083 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 134188

[startup+282.3 s]
/proc/loadavg: 2.33 2.26 2.19 3/177 14584
/proc/meminfo: memFree=27703584/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=134188 CPUtime=282.25 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 16791 0 0 0 28220 5 0 0 20 0 1 0 27716850 137408512 31085 33554432000 4194304 6059633 140735361932944 140735361931704 4261562 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 33547 31085 191 456 0 33083 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 134188

[startup+342.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 14586
/proc/meminfo: memFree=27695672/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=134728 CPUtime=342.24 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 17166 0 0 0 34219 5 0 0 20 0 1 0 27716850 137961472 31971 33554432000 4194304 6059633 140735361932944 140735361931704 4277697 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 33682 31971 191 456 0 33218 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 134728

[startup+402.3 s]
/proc/loadavg: 2.27 2.24 2.19 4/177 14587
/proc/meminfo: memFree=27692412/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=134728 CPUtime=402.23 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 18049 0 0 0 40217 6 0 0 20 0 1 0 27716850 137961472 32048 33554432000 4194304 6059633 140735361932944 140735361931432 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 33682 32048 191 456 0 33218 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 134728

[startup+462.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 14588
/proc/meminfo: memFree=27690704/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=134728 CPUtime=462.22 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 18747 0 0 0 46215 7 0 0 20 0 1 0 27716850 137961472 32341 33554432000 4194304 6059633 140735361932944 140735361931432 4278352 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 33682 32341 191 456 0 33218 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 134728

[startup+522.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/178 14592
/proc/meminfo: memFree=27654076/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=184048 CPUtime=522.21 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 19582 0 0 0 52213 8 0 0 20 0 1 0 27716850 188465152 41461 33554432000 4194304 6059633 140735361932944 140735361931144 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 46012 41461 191 456 0 45548 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 184048

[startup+582.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/177 14593
/proc/meminfo: memFree=27688552/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=134728 CPUtime=582.2 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 19996 0 0 0 58212 8 0 0 20 0 1 0 27716850 137961472 32380 33554432000 4194304 6059633 140735361932944 140735361931432 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 33682 32380 191 456 0 33218 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 134728


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


[startup+942.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 14739
/proc/meminfo: memFree=29739084/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=202884 CPUtime=942.14 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 22491 0 0 0 94202 12 0 0 20 0 1 0 27716850 207753216 44981 33554432000 4194304 6059633 140735361932944 140735361931144 4278447 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 50721 44981 191 456 0 50257 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 202884

[startup+1002.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/177 14740
/proc/meminfo: memFree=29746556/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=202884 CPUtime=1002.12 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 23687 0 0 0 100198 14 0 0 20 0 1 0 27716850 207753216 43136 33554432000 4194304 6059633 140735361932944 140735361931144 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 50721 43136 191 456 0 50257 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 202884

[startup+1062.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 14741
/proc/meminfo: memFree=29729980/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=221244 CPUtime=1062.11 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 25310 0 0 0 106196 15 0 0 20 0 1 0 27716850 226553856 44350 33554432000 4194304 6059633 140735361932944 140735361931704 4246291 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 55311 44350 191 456 0 54847 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 221244

[startup+1122.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/178 14745
/proc/meminfo: memFree=29735764/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=221244 CPUtime=1122.11 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 26496 0 0 0 112194 17 0 0 20 0 1 0 27716850 226553856 44220 33554432000 4194304 6059633 140735361932944 140735361931144 4246389 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 55311 44220 191 456 0 54847 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 221244

[startup+1182.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 14746
/proc/meminfo: memFree=29770420/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=172732 CPUtime=1182.1 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 27325 0 0 0 118191 19 0 0 20 0 1 0 27716850 176877568 35800 33554432000 4194304 6059633 140735361932944 140735361931432 4277737 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 43183 35800 191 456 0 42719 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 172732

[startup+1242.3 s]
/proc/loadavg: 2.22 2.20 2.18 4/177 14748
/proc/meminfo: memFree=29712712/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=222052 CPUtime=1242.09 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 27861 0 0 0 124189 20 0 0 20 0 1 0 27716850 227381248 47578 33554432000 4194304 6059633 140735361932944 140735361931704 4277874 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 55513 47578 191 456 0 55049 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 222052

[startup+1302.3 s]
/proc/loadavg: 2.31 2.23 2.19 4/177 14749
/proc/meminfo: memFree=29694288/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=234536 CPUtime=1302.08 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 29178 0 0 0 130187 21 0 0 20 0 1 0 27716850 240164864 52925 33554432000 4194304 6059633 140735361932944 140735361931144 4255186 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 58634 52925 191 456 0 58170 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 234536

[startup+1362.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/177 14750
/proc/meminfo: memFree=29705924/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=234536 CPUtime=1362.07 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 29870 0 0 0 136185 22 0 0 20 0 1 0 27716850 240164864 51901 33554432000 4194304 6059633 140735361932944 140735361931144 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 58634 51901 191 456 0 58170 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 234536

[startup+1422.3 s]
/proc/loadavg: 2.17 2.21 2.18 4/177 14751
/proc/meminfo: memFree=29729152/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=185216 CPUtime=1422.07 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 30575 0 0 0 142183 24 0 0 20 0 1 0 27716850 189661184 43364 33554432000 4194304 6059633 140735361932944 140735361931400 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 46304 43364 191 456 0 45840 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 185216

[startup+1482.3 s]
/proc/loadavg: 2.11 2.19 2.18 4/177 14752
/proc/meminfo: memFree=29692308/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=234536 CPUtime=1482.06 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 31044 0 0 0 148181 25 0 0 20 0 1 0 27716850 240164864 54564 33554432000 4194304 6059633 140735361932944 140735361931144 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 58634 54564 191 456 0 58170 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 234536

[startup+1542.31 s]
/proc/loadavg: 2.30 2.23 2.19 3/176 14753
/proc/meminfo: memFree=29699796/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=234536 CPUtime=1542.04 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 32110 0 0 0 154178 26 0 0 20 0 1 0 27716850 240164864 52529 33554432000 4194304 6059633 140735361932944 140735361931704 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 58634 52529 191 456 0 58170 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 234536

[startup+1602.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 14755
/proc/meminfo: memFree=29679576/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=265356 CPUtime=1602.04 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 32935 0 0 0 160176 28 0 0 20 0 1 0 27716850 271724544 57946 33554432000 4194304 6059633 140735361932944 140735361931400 4278447 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 66339 57946 191 456 0 65875 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 265356

[startup+1662.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/177 14756
/proc/meminfo: memFree=29675244/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=234536 CPUtime=1662.03 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 33452 0 0 0 166174 29 0 0 20 0 1 0 27716850 240164864 55366 33554432000 4194304 6059633 140735361932944 140735361931144 4277882 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 58634 55366 191 456 0 58170 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 234536

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/178 14760
/proc/meminfo: memFree=29689164/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=234536 CPUtime=1722.02 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 34508 0 0 0 172171 31 0 0 20 0 1 0 27716850 240164864 52806 33554432000 4194304 6059633 140735361932944 140735361931144 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 58634 52806 191 456 0 58170 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 234536

[startup+1782.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/178 14784
/proc/meminfo: memFree=29668520/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=265356 CPUtime=1782.01 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 34899 0 0 0 178169 32 0 0 20 0 1 0 27716850 271724544 57280 33554432000 4194304 6059633 140735361932944 140735361931400 4277804 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 66339 57280 191 456 0 65875 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 265356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/178 14784
/proc/meminfo: memFree=29717676/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=185216 CPUtime=1800 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 35106 0 0 0 179968 32 0 0 20 0 1 0 27716850 189661184 44678 33554432000 4194304 6059633 140735361932944 140735361931432 4261780 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 46304 44678 191 456 0 45840 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 185216

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 14578 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/178 14784
/proc/meminfo: memFree=29717676/32872528 swapFree=1590032/1720848
[pid=14578] ppid=14575 vsize=185216 CPUtime=1800 cores=1,3,5,7
/proc/14578/stat : 14578 (open-wbo) R 14575 14578 11947 0 -1 4202496 35106 0 0 0 179968 32 0 0 20 0 1 0 27716850 189661184 44678 33554432000 4194304 6059633 140735361932944 140735361931432 4261780 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/14578/statm: 46304 44678 191 456 0 45840 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 185216

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.69
CPU system time (s): 0.330949
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 265356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.330949
maximum resident set size= 236068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35109
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= 19
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48432 second user time and 6.97394 second system time

The end

Begin job on node120 at 2016-06-18 15:31:25
IDJOB=4105958
IDBENCH=24963
IDSOLVER=2547
FILE ID=node120/4105958-1466256685
RUNJOBID= node120-1466240246-11964
PBS_JOBID= 19918172
Free space on /tmp= 71728 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105958-1466256685/watcher-4105958-1466256685 -o /tmp/evaluation-result-4105958-1466256685/solver-4105958-1466256685 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466240246-11964 --watchdog 1960  open-wbo HOME/instance-4105958-1466256685.opb

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

MD5SUM BENCH= 83e4cddd78ca4f87cfb13af1d930e0cc
RANDOM SEED=1970586990

node120.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.935
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.87
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.935
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.935
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.56
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.935
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.56
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.935
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.56
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.935
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.56
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.935
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.935
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:        27835016 kB
Buffers:          120016 kB
Cached:           196312 kB
SwapCached:         1748 kB
Active:          2324648 kB
Inactive:         238868 kB
Active(anon):    2246824 kB
Inactive(anon):     2720 kB
Active(file):      77824 kB
Inactive(file):   236148 kB
Unevictable:     1720848 kB
Mlocked:         1590032 kB
SwapTotal:      67108856 kB
SwapFree:       67099492 kB
Dirty:              5072 kB
Writeback:             0 kB
AnonPages:       4016188 kB
Mapped:             7832 kB
Shmem:                 0 kB
Slab:             614872 kB
SReclaimable:      59036 kB
SUnreclaim:       555836 kB
KernelStack:        1472 kB
PageTables:        11612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4652948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1060864 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= 71720 MiB
End job on node120 at 2016-06-18 16:01:26