0.00/0.00	c NaPS 1.02b.
1800.05/1800.40	o 1911
1800.05/1800.40	o 1092
1800.05/1800.40	o 530
1800.05/1800.40	o 320
1800.05/1800.40	o 209
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        : 163,284
1800.05/1800.40	c 2cl/3cl ITE-codings   : 29548,75251
1800.05/1800.40	c BDD/srt/adr Max costs : 2040,278853,0
1800.05/1800.40	c BDDraw/bin/mul/srt/adr: 290,0,152,5,0
1800.05/1800.40	c BDD nodes             : 125657
1800.05/1800.40	c Es1/CC detections     : 0,0
1800.05/1800.40	c SAT/UNSAT calls       : 5,0
1800.05/1800.40	c restarts              : 14297
1800.05/1800.40	c conflicts             : 1475785        (820 /sec)
1800.05/1800.40	c decisions             : 9526397        (5294 /sec)
1800.05/1800.40	c propagations          : 8884617857     (4937066 /sec)
1800.05/1800.40	c inspects              : 0              (0 /sec)
1800.05/1800.40	c CPU time (solving tm) : 1800 s        (1509 s)
1800.05/1800.40	c Time for Opt-base     : 4.777 s
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 x1752 x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 x1147 -x1148 x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 x1837 -x1838 -x1839 x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 x3251 x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232
1800.05/1800.40	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 x3577 -x3578 -x3579 -x3580 x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 x3099 -x3100 x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 x3730 -x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3894 x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 x3969 -x3970 x3971 x3972 -x3973 x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x1 x2 -x3 -x6 -x7 -x8 -x9 -x10 -x11 -x51 -x52 -x53 -x54 -x93 -x94 -x12 x13 -x107 -x108 -x14 -x15 -x16 -x17 -x55 -x56 -x57 -x58 -x95 -x96 -x109 x110 -x111 -x145 -x146 -x18 -x19 -x20 -x21 -x59 -x60 -x61 -x62 -x97 -x98 x112 -x113 -x114 x115 -x147 -x148 -x157 -x158 -x159 -x160 -x23 -x24 -x117 x118 -x162 -x163 -x191 -x192 -x26 -x27 -x28 -x29 -x63 -x64 -x65 -x66 -x99 -x100 x120 -x121 -x122 -x123 -x149 -x150 -x165 -x166 -x167 -x168 -x194 -x195 -x196 -x197 -x222 -x223 -x30 -x31 -x124 -x125 -x169 -x170 -x198 -x199 -x234 -x235 -x32 -x33 -x126 -x127 -x171 -x172 -x200 -x201 -x236 -x237 -x34 -x35 -x36 -x37 -x67 -x68 -x69 -x70 -x101 x102 -x128 -x129 -x130 -x131 -x151 -x152 -x173 -x174 -x175 -x176 -x202 -x203 -x204 -x205 -x224 -x225 x238 x239 x240 -x241 -x255 x256 -x261 -x262 x38 x39 -x40 -x41 -x71 -x72 -x73 -x74 -x103 -x104 -x132 -x133 -x134 -x135 -x153 -x154 -x177 -x178 -x179 -x180 -x206 -x207 -x208 -x209 -x226 -x227 -x242 -x243 -x244 -x245 -x257 -x258 -x263 -x264 -x267 -x268 -x269 -x270 -x42 -x43 -x44 -x136 -x137 -x138 -x181 -x182 -x183 -x246 -x247 -x248 -x271 -x272 -x273 -x280 -x281 -x282 -x45 -x46 -x47 -x48 -x75 -x76 -x77 -x78 -x105 -x106 -x139 -x140 -x141 -x142 -x155 -x156 -x184 -x185 -x186 -x187 -x212 -x213 -x214 -x215 -x228 -x229 -x249 -x250 -x251 -x252 -x259 -x260 -x265 x266 -x274 -x275 -x276 x277 -x283 -x284 -x285 -x286 x289 -x290 x291 -x49 -x50 -x143 x144 -x188 -x189 -x216 -x217 -x253 -x254 -x278 -x279 -x287 -x288 -x292 -x293 x4014 x4015 -x4016 -x4017 -x4018 -x4019 -x4038 -x4039 -x4040 -x4020 -x4021 -x4022 -x4041 -x4042 -x4043 -x4059 x4060 -x4061 -x4023 -x4024
1800.05/1800.40	v -x4025 -x4044 -x4045 -x4046 -x4062 -x4063 -x4064 -x4077 -x4078 -x4079 -x4026 -x4027 -x4028 -x4047 -x4048 -x4049 -x4065 -x4066 -x4067 -x4080 -x4081 -x4082 -x4092 -x4093 -x4094 -x4029 -x4030 -x4031 -x4050 -x4051 -x4052 -x4068 -x4069 -x4070 -x4083 -x4084 -x4085 -x4095 -x4096 -x4097 -x4107 -x4108 -x4109 -x4032 -x4033 x4034 -x4053 -x4054 -x4055 -x4071 -x4072 -x4073 -x4086 -x4087 -x4088 -x4098 -x4099 -x4100 -x4110 -x4111 -x4112 -x4116 -x4117 -x4118 -x4101 -x4102 -x4103 -x4035 -x4036 -x4037 -x4056 -x4057 -x4058 -x4074 x4075 -x4076 -x4089 -x4090 -x4091 -x4104 -x4105 -x4106 -x4113 -x4114 -x4115 -x4119 x4120 -x4121 x4122 x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 -x4189 -x4239 -x4240 -x4241 -x4242 -x4243 x4244 -x4245 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 x4431 -x4432 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 x4488 -x4489 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 -x4746 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4839 -x4840 -x4841 -x4842 -x4843 x4844 -x4845 -x4846 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 x4967 -x5016 x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5124 x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5242 x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x4133 -x4140 -x4147 -x4154 -x4161 -x4168 -x4175 -x4190 -x4197 -x4204 -x4211 x4218 -x4225 -x4232 -x4246 -x4252 -x4258 -x4264 -x4270 x4276 -x4290 -x4298 -x4305 -x4312 -x4319 -x4326 -x4333 x4346 -x4353 -x4359 -x4365 -x4371 -x4377 x4390 -x4396 -x4403 -x4409 -x4415 -x4421 -x4435 -x4442 -x4449 -x4457 -x4464 -x4471 x4478 x4492 -x4499 -x4506 -x4514 -x4521 -x4528 -x4535 -x4548 -x4554 -x4560 x4567 -x4573 -x4579 -x4593 -x4600 -x4607 -x4614 x4622 -x4629 -x4636 -x4650 -x4657 -x4664 -x4671 -x4679 -x4686 x4693 -x4706 -x4712 -x4718 -x4724 -x4731 x4737 -x4752 -x4759 -x4766 -x4773 -x4780 -x4787 x4795 -x4808 -x4814 -x4820 -x4826 -x4832 x4838 x4853 -x4860 -x4867 -x4874 -x4881 -x4888 -x4895 -x4898 -x4913 -x4920 -x4928 -x4935 -x4942 -x4949 -x4954 x4969 -x4977 -x4984 -x4991 -x4998 -x5005 -x5010 -x5024 -x5030 -x5036 -x5042 -x5048 -x5054 x5061 -x5077 -x5084 -x5091 -x5098 -x5105 -x5112 -x5119 -x5134 x5142 -x5149 -x5156 -x5163 -x5170 -x5177 -x5192 -x5199 x5207 -x5214 -x5221 -x5226 -x5232 -x5238 x5252 -x5258 -x5264 -x5272 -x5279 -x5286 -x5301 -x5308 -x5315 x5323 -x5329 -x5336 -x5343 -x5350 -x5365 -x5372 x5380 -x4141 -x4148 -x4155 -x4162 -x4169 -x4176 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4149 -x4156 -x4163 -x4170 -x4177 -x4142 -x4143 -x4144 -x4145 -x4146 -x4157 -x4164 -x4171 -x4178 -x4150 -x4151 -x4152 -x4153 -x4165 -x4172 -x4179 -x4158 -x4159 -x4160 -x4173 -x4180 -x4166 -x4167 -x4181 -x4174 x4198 -x4205 -x4212 -x4219 -x4226 x4233 x4191 -x4192 -x4193 -x4194 -x4195 x4196 -x4206 -x4213 -x4220 -x4227 -x4234 -x4199 -x4200 -x4201 -x4202 -x4203 -x4214 -x4221 -x4228 -x4235 -x4207 -x4208 -x4209 -x4210 -x4222 -x4229 -x4236 -x4215 -x4216 -x4217 -x4230 x4237 -x4223 -x4224 -x4238 x4231 -x4253 -x4259 -x4265 -x4271 -x4277 -x4247 -x4248 -x4249 -x4250 -x4251 -x4260 -x4266 -x4272 -x4278 -x4254 -x4255 -x4256 -x4257 -x4267 -x4273 -x4279 -x4261 -x4262 -x4263 -x4274 -x4280 -x4268 -x4269 -x4281 x4275 -x4297 -x4304 -x4311 -x4318 -x4325 -x4332 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4306 -x4313 -x4320 -x4327 -x4334 -x4299 -x4300 -x4301 -x4302 -x4303 -x4314 -x4321 -x4328 -x4335 -x4307 -x4308 -x4309 -x4310 -x4322 -x4329 -x4336 -x4315 -x4316 -x4317 -x4330 -x4337 -x4323 -x4324 -x4338 -x4331 -x4352 -x4358 -x4364 -x4370 x4376 -x4347 -x4348 -x4349 -x4350 -x4351 -x4360 -x4366 -x4372 -x4378 -x4354 -x4355 -x4356 -x4357 -x4367 -x4373 -x4379 -x4361 -x4362 -x4363 -x4374 -x4380 -x4368 -x4369 -x4381 x4375 x4395 -x4401 -x4407 -x4413 x4419 x4389 -x4391 -x4392 -x4393 -x4394 -x4402 -x4408 -x4414 -x4420 -x4397 -x4398 -x4399 -x4400 -x4410 -x4416 -x4422 -x4404 -x4405 -x4406 -x4417 -x4423 -x4411 -x4412 -x4424 x4418 -x4440 -x4447 -x4454 -x4461 -x4468 -x4475 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4448 -x4455 -x4462 -x4469 -x4476 -x4441 -x4443 -x4444 -x4445 -x4446 -x4456 -x4463 -x4470 -x4477 -x4450 -x4451 -x4452 -x4453 -x4465 -x4472 -x4479 -x4458 -x4459 -x4460 -x4473 -x4480 -x4466 -x4467 -x4481 x4474 -x4497 -x4504 -x4511 -x4518 -x4525 x4532 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496 -x4505 -x4512 -x4519 -x4526 -x4533 -x4498 -x4500 -x4501 -x4502 -x4503 -x4513 -x4520 -x4527 -x4534 -x4507 -x4508 -x4509 -x4510 -x4522 -x4529 -x4536 -x4515 -x4516 -x4517 -x4530 -x4537 -x4523 -x4524 -x4538 x4531 -x4552 -x4558 -x4564 -x4570 -x4576 -x4546 -x4547 -x4549 -x4550 -x4551 -x4559 -x4565 -x4571 -x4577 -x4553 -x4555 -x4556 -x4557 -x4566 -x4572 -x4578 -x4561 -x4562 -x4563 -x4574 x4580 -x4568 -x4569 -x4581 x4575 -x4597 -x4604 -x4611 -x4618 -x4625 x4632 -x4590 -x4591 -x4592 -x4594 -x4595 x4596 -x4605 -x4612 -x4619 -x4626 -x4633 -x4598 -x4599 -x4601 -x4602 -x4603 -x4613 -x4620 -x4627 -x4634 -x4606 -x4608 -x4609 -x4610 -x4621 -x4628 -x4635 -x4615 -x4616 -x4617 -x4630 x4637 -x4623 -x4624 -x4638 x4631 -x4654 -x4661 -x4668 -x4675 -x4682 -x4689 -x4647 -x4648 -x4649 -x4651 -x4652 -x4653 -x4662 -x4669 -x4676 -x4683 -x4690 -x4655 -x4656 -x4658 -x4659 -x4660 -x4670 -x4677 -x4684 -x4691 -x4663 -x4665 -x4666 -x4667 -x4678 -x4685 -x4692 -x4672 -x4673 -x4674 -x4687 -x4694 -x4680 -x4681 -x4695 x4688 -x4709 -x4715 -x4721 -x4727 -x4733 -x4703 -x4704 -x4705 -x4707 -x4708 -x4716 -x4722 -x4728 -x4734 -x4710 -x4711 -x4713 -x4714 -x4723 -x4729 -x4735 -x4717 -x4719 -x4720 -x4730 -x4736 -x4725 -x4726 -x4738 x4732 -x4754 -x4761 -x4768 -x4775 -x4782 -x4789 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4762 -x4769 -x4776 -x4783 -x4790 -x4755 -x4756 -x4757 -x4758 -x4760 -x4770 -x4777 -x4784 -x4791 -x4763 -x4764 -x4765 -x4767 -x4778 -x4785 -x4792 -x4771 -x4772 -x4774 -x4786 -x4793 -x4779 -x4781 -x4794 x4788 -x4809 -x4815 -x4821 -x4827 -x4833 -x4803 -x4804 -x4805 -x4806 -x4807 -x4816 -x4822 -x4828 -x4834 -x4810 -x4811 -x4812 -x4813 -x4823 -x4829 -x4835 -x4817 -x4818 -x4819 -x4830 -x4836 -x4824 -x4825 -x4837 -x4831 -x4854 -x4861 -x4868 -x4875 -x4882 x4889 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4862 -x4869 -x4876 -x4883 -x4890 -x4855 -x4856 -x4857 -x4858 -x4859 -x4870 -x4877 -x4884 -x4891 -x4863 -x4864 -x4865 -x4866 -x4878 -x4885 -x4892 -x4871 -x4872 -x4873 -x4886 -x4893 -x4879 -x4880 -x4894 x4887 -x4911 -x4918 -x4925 -x4932 -x4939 -x4946 -x4896 -x4897 -x4899 -x4900 -x4901 -x4902 -x4919 -x4926 -x4933 -x4940 -x4947 -x4912 -x4914 -x4915 -x4916 -x4917 -x4927 -x4934 -x4941 -x4948 -x4921 -x4922 -x4923 -x4924 -x4936 -x4943 -x4950 -x4929 -x4930 -x4931 -x4944 -x4951 -x4937 -x4938 -x4952 -x4945 -x4968 -x4975 -x4982 -x4989 -x4996 -x5003 -x4953 -x4955 -x4956 -x4957 -x4958 -x4959 -x4976 -x4983 -x4990 -x4997 x5004 -x4970 -x4971 -x4972 -x4973 -x4974 -x4985 -x4992 -x4999 -x5006 -x4978 -x4979 -x4980 -x4981 -x4993 -x5000 -x5007 -x4986 -x4987 -x4988 -x5001 -x5008 -x4994 -x4995 -x5009 -x5002 -x5023 -x5029 -x5035 -x5041 -x5047 -x5011 -x5012 -x5013 -x5014 -x5015 -x5031 -x5037 -x5043 -x5049 -x5025 -x5026 -x5027 -x5028 -x5038 -x5044 -x5050 -x5032 -x5033 -x5034 -x5045 -x5051 -x5039 -x5040 -x5052 -x5046 -x5060 -x5075 -x5082 -x5089 -x5096 -x5103 -x5053 -x5055 -x5056 -x5057 x5058 -x5059 -x5076 -x5083 -x5090 -x5097 x5104 -x5062 -x5063 -x5064 -x5065 -x5066 -x5085 -x5092 -x5099 -x5106 -x5078 -x5079 -x5080 -x5081 -x5093 -x5100 -x5107 -x5086 -x5087 -x5088 -x5101 -x5108 -x5094 -x5095 -x5109 x5102 -x5117 -x5132 -x5139 -x5146 -x5153 -x5160 -x5110 -x5111 -x5113 -x5114 -x5115 -x5116 -x5133 -x5140 -x5147 -x5154 -x5161 -x5118 -x5120 -x5121 -x5122 x5123 -x5141 -x5148 -x5155 -x5162 -x5135 -x5136 -x5137 -x5138 x5150 -x5157 -x5164 -x5143 -x5144 -x5145 -x5158 x5165 -x5151 -x5152 -x5166 -x5159 -x5174 -x5189 -x5196 -x5203 -x5210 -x5217 -x5167 -x5168 -x5169 -x5171 -x5172 -x5173 x5190 -x5197 -x5204 -x5211 -x5218 x5175 -x5176 -x5178 -x5179 x5180 -x5198 -x5205 -x5212 -x5219 -x5191 -x5193 -x5194 -x5195 -x5206 -x5213 -x5220 -x5200 -x5201 -x5202 -x5215 x5222 -x5208 -x5209 -x5223 -x5216 -x5230 -x5236 -x5249 -x5255 -x5261 -x5224 -x5225 -x5227 -x5228 -x5229 x5237 -x5250 -x5256 -x5262 x5231 -x5233 -x5234 x5235 -x5251 -x5257 -x5263 -x5239 -x5240 -x5241 -x5259 x5265 -x5253 -x5254 -x5266 -x5260 -x5274 -x5281 -x5296 -x5303 -x5310 -x5317 -x5267 -x5268 -x5269 -x5270 -x5271 -x5273 -x5282 -x5297 -x5304 -x5311 -x5318 -x5275 -x5276 -x5277 -x5278 x5280 -x5298 -x5305 -x5312 -x5319 -x5283 -x5284 -x5285 -x5287 -x5306 -x5313 -x5320 -x5299 -x5300 -x5302 -x5314 -x5321 -x5307 -x5309 -x5322 -x5316 -x5331 -x5338 -x5345 -x5360 -x5367 -x5374 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5339 -x5346 -x5361 -x5368 -x5375 -x5332 -x5333 -x5334 -x5335 x5337 -x5347 -x5362 -x5369 -x5376 -x5340 -x5341 -x5342 -x5344 -x5363 -x5370 -x5377 -x5348 -x5349 -x5351 -x5371 -x5378 -x5364 -x5366 -x5379 -x5373 -x4 -x5 -x22 -x25 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 -x116 -x119 -x161 -x164 -x190 -x193 -x210 -x211 -x218 -x219 -x220 x221 x230 -x231 -x232 -x233

OK	209

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-4101947-1466235140/watcher-4101947-1466235140 -o /tmp/evaluation-result-4101947-1466235140/solver-4101947-1466235140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466229725-20954 --watchdog 1960 naps-1.02 HOME/instance-4101947-1466235140.opb 

pid=21412
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.12 2.07 2.01 3/176 21415
/proc/meminfo: memFree=31191324/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=7756 CPUtime=0 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 580 0 0 0 0 0 0 0 20 0 1 0 25560707 7942144 455 33554432000 4194304 5796924 140733595548000 140737011438152 5092509 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 1939 455 116 392 0 1538 0

[startup+0.100117 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 21415
/proc/meminfo: memFree=31191324/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=10600 CPUtime=0.09 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 1412 0 0 0 9 0 0 0 20 0 1 0 25560707 10854400 1244 33554432000 4194304 5796924 140733595548000 140737011438152 5100989 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 2650 1244 140 392 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10600

[startup+0.200252 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 21415
/proc/meminfo: memFree=31191324/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=11236 CPUtime=0.19 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 1575 0 0 0 19 0 0 0 20 0 1 0 25560707 11505664 1407 33554432000 4194304 5796924 140733595548000 140737011438152 5184407 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 2809 1407 144 392 0 2408 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11236

[startup+0.300218 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 21415
/proc/meminfo: memFree=31191324/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=11944 CPUtime=0.29 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 1755 0 0 0 29 0 0 0 20 0 1 0 25560707 12230656 1587 33554432000 4194304 5796924 140733595548000 140737011438152 4425326 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 2986 1587 144 392 0 2585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11944

[startup+0.700184 s]
/proc/loadavg: 2.12 2.07 2.01 3/176 21415
/proc/meminfo: memFree=31191324/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=14108 CPUtime=0.69 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 2508 0 0 0 69 0 0 0 20 0 1 0 25560707 14446592 2092 33554432000 4194304 5796924 140733595548000 140733595544216 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 3527 2092 144 392 0 3126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14108

[startup+1.50018 s]
/proc/loadavg: 2.12 2.07 2.01 3/177 21416
/proc/meminfo: memFree=31151536/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=14688 CPUtime=1.49 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 2652 0 0 0 149 0 0 0 20 0 1 0 25560707 15040512 2236 33554432000 4194304 5796924 140733595548000 140733595544216 4809151 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 3672 2236 145 392 0 3271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14688

[startup+3.10018 s]
/proc/loadavg: 2.12 2.07 2.01 3/177 21416
/proc/meminfo: memFree=31125472/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=15448 CPUtime=3.09 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 2832 0 0 0 309 0 0 0 20 0 1 0 25560707 15818752 2416 33554432000 4194304 5796924 140733595548000 140733595544216 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 3862 2416 145 392 0 3461 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15448

[startup+6.30026 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 21416
/proc/meminfo: memFree=31047488/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=78172 CPUtime=6.29 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 17624 0 0 0 627 2 0 0 20 0 1 0 25560707 80048128 18186 33554432000 4194304 5796924 140733595548000 140733595544216 4651318 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 19543 18186 153 392 0 19142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78172

[startup+12.7003 s]
/proc/loadavg: 2.18 2.09 2.01 3/177 21416
/proc/meminfo: memFree=30687408/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=236116 CPUtime=12.69 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 48608 0 0 0 1259 10 0 0 20 0 1 0 25560707 241782784 54968 33554432000 4194304 5796924 140733595548000 140733595545048 4583148 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 59029 54968 181 392 0 58628 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 236116

[startup+25.5004 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 21416
/proc/meminfo: memFree=30217452/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=426732 CPUtime=25.48 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 74847 0 0 0 2531 17 0 0 20 0 1 0 25560707 436973568 97066 33554432000 4194304 5796924 140733595548000 140733595545048 4607723 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 106683 97066 184 392 0 106282 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 426732

[startup+51.1004 s]
/proc/loadavg: 2.09 2.08 2.01 3/177 21416
/proc/meminfo: memFree=29744588/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=427980 CPUtime=51.08 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 75257 0 0 0 5090 18 0 0 20 0 1 0 25560707 438251520 98498 33554432000 4194304 5796924 140733595548000 140733595545048 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 106995 98498 184 392 0 106594 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 427980

[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 21417
/proc/meminfo: memFree=29651364/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=510608 CPUtime=102.28 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 84175 0 0 0 10207 21 0 0 20 0 1 0 25560707 522862592 114319 33554432000 4194304 5796924 140733595548000 140733595545048 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 127652 114319 185 392 0 127251 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 510608

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21418
/proc/meminfo: memFree=29618396/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=512428 CPUtime=162.26 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 84945 0 0 0 16205 21 0 0 20 0 1 0 25560707 524726272 113515 33554432000 4194304 5796924 140733595548000 140733595545048 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 128107 113515 185 392 0 127706 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 512428

[startup+222.307 s]
/proc/loadavg: 2.02 2.05 2.00 4/177 21420
/proc/meminfo: memFree=29575308/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=512428 CPUtime=222.27 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 85079 0 0 0 22205 22 0 0 20 0 1 0 25560707 524726272 115693 33554432000 4194304 5796924 140733595548000 140733595545048 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 128107 115693 185 392 0 127706 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 512428

[startup+282.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 21421
/proc/meminfo: memFree=29552600/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=514520 CPUtime=282.24 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 86061 0 0 0 28201 23 0 0 20 0 1 0 25560707 526868480 113472 33554432000 4194304 5796924 140733595548000 140733595545048 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 128630 113472 185 392 0 128229 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 514520

[startup+342.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 21422
/proc/meminfo: memFree=29503752/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=514520 CPUtime=342.24 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 86624 0 0 0 34199 25 0 0 20 0 1 0 25560707 526868480 113082 33554432000 4194304 5796924 140733595548000 140733595545464 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 128630 113082 185 392 0 128229 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 514520

[startup+402.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21423
/proc/meminfo: memFree=29464204/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=516452 CPUtime=402.22 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 87114 0 0 0 40197 25 0 0 20 0 1 0 25560707 528846848 116127 33554432000 4194304 5796924 140733595548000 140733595545048 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 129113 116127 185 392 0 128712 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 516452

[startup+462.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/178 21427
/proc/meminfo: memFree=29437696/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=516452 CPUtime=462.22 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 87820 0 0 0 46195 27 0 0 20 0 1 0 25560707 528846848 114656 33554432000 4194304 5796924 140733595548000 140733595545464 4583042 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 129113 114656 185 392 0 128712 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 516452

[startup+522.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/178 21429
/proc/meminfo: memFree=29399880/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=547272 CPUtime=522.21 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 88160 0 0 0 52193 28 0 0 20 0 1 0 25560707 560406528 117547 33554432000 4194304 5796924 140733595548000 140733595545640 4606712 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 136818 117547 185 392 0 136417 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 547272

[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 21430
/proc/meminfo: memFree=29336844/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=516452 CPUtime=582.2 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 88589 0 0 0 58191 29 0 0 20 0 1 0 25560707 528846848 115287 33554432000 4194304 5796924 140733595548000 140733595545464 4594694 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 129113 115287 185 392 0 128712 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 516452


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


[startup+882.307 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 21436
/proc/meminfo: memFree=29180740/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=549484 CPUtime=882.16 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 90615 0 0 0 88183 33 0 0 20 0 1 0 25560707 562671616 118564 33554432000 4194304 5796924 140733595548000 140733595545640 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 137371 118564 185 392 0 136970 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 549484

[startup+942.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 21437
/proc/meminfo: memFree=29164856/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=518664 CPUtime=942.14 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 91280 0 0 0 94180 34 0 0 20 0 1 0 25560707 531111936 115002 33554432000 4194304 5796924 140733595548000 140733595545464 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 129666 115002 185 392 0 129265 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 518664

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/177 21438
/proc/meminfo: memFree=29143796/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=522436 CPUtime=1002.13 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 91786 0 0 0 100179 34 0 0 20 0 1 0 25560707 534974464 118060 33554432000 4194304 5796924 140733595548000 140733595545048 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 130609 118060 185 392 0 130208 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 522436

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 21439
/proc/meminfo: memFree=29123632/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=553256 CPUtime=1062.13 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 91924 0 0 0 106178 35 0 0 20 0 1 0 25560707 566534144 120750 33554432000 4194304 5796924 140733595548000 140733595545640 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 138314 120750 185 392 0 137913 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 553256

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 21443
/proc/meminfo: memFree=29128800/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=522436 CPUtime=1122.11 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 92616 0 0 0 112175 36 0 0 20 0 1 0 25560707 534974464 116188 33554432000 4194304 5796924 140733595548000 140733595545464 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 130609 116188 185 392 0 130208 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 522436

[startup+1182.3 s]
/proc/loadavg: 2.19 2.07 2.01 3/177 21445
/proc/meminfo: memFree=29019840/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=553256 CPUtime=1182.08 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 92904 0 0 0 118171 37 0 0 20 0 1 0 25560707 566534144 119500 33554432000 4194304 5796924 140733595548000 140733595545640 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 138314 119500 185 392 0 137913 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 553256

[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 21446
/proc/meminfo: memFree=28996664/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=553256 CPUtime=1242.05 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 92945 0 0 0 124168 37 0 0 20 0 1 0 25560707 566534144 123036 33554432000 4194304 5796924 140733595548000 140733595545640 4606420 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 138314 123036 185 392 0 137913 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 553256

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 21447
/proc/meminfo: memFree=29001560/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=524276 CPUtime=1302.04 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 93585 0 0 0 130165 39 0 0 20 0 1 0 25560707 536858624 118864 33554432000 4194304 5796924 140733595548000 140733595545464 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 131069 118864 185 392 0 130668 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 524276

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 21448
/proc/meminfo: memFree=28977920/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=555096 CPUtime=1362.02 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 93813 0 0 0 136162 40 0 0 20 0 1 0 25560707 568418304 122183 33554432000 4194304 5796924 140733595548000 140733595545640 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 138774 122183 185 392 0 138373 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 555096

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 21449
/proc/meminfo: memFree=28956004/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=557084 CPUtime=1422.01 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 93825 0 0 0 142161 40 0 0 20 0 1 0 25560707 570454016 125065 33554432000 4194304 5796924 140733595548000 140733595545048 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 139271 125065 185 392 0 138870 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 557084

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 21451
/proc/meminfo: memFree=28968432/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=526264 CPUtime=1481.99 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 94257 0 0 0 148158 41 0 0 20 0 1 0 25560707 538894336 119733 33554432000 4194304 5796924 140733595548000 140733595545464 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 131566 119733 185 392 0 131165 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 526264

[startup+1542.31 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 21452
/proc/meminfo: memFree=28860608/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=635260 CPUtime=1541.99 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 104372 0 0 0 154155 44 0 0 20 0 1 0 25560707 650506240 144115 33554432000 4194304 5796924 140733595548000 140733595545048 4606469 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 158815 144115 185 392 0 158414 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 635260

[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 21453
/proc/meminfo: memFree=28843176/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=635260 CPUtime=1601.97 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 104687 0 0 0 160153 44 0 0 20 0 1 0 25560707 650506240 146474 33554432000 4194304 5796924 140733595548000 140733595545048 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 158815 146474 185 392 0 158414 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 635260

[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/178 21457
/proc/meminfo: memFree=28863128/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=606696 CPUtime=1661.97 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 105425 0 0 0 166150 47 0 0 20 0 1 0 25560707 621256704 139128 33554432000 4194304 5796924 140733595548000 140733595545464 4594171 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 151674 139128 185 392 0 151273 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 606696

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/178 21480
/proc/meminfo: memFree=28840920/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=637516 CPUtime=1721.96 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 105543 0 0 0 172148 48 0 0 20 0 1 0 25560707 652816384 141800 33554432000 4194304 5796924 140733595548000 140733595545640 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 159379 141800 185 392 0 158978 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 637516

[startup+1782.3 s]
/proc/loadavg: 2.21 2.09 2.01 4/177 21482
/proc/meminfo: memFree=28823368/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=637516 CPUtime=1781.95 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 105624 0 0 0 178147 48 0 0 20 0 1 0 25560707 652816384 143925 33554432000 4194304 5796924 140733595548000 140733595545640 4606744 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 159379 143925 185 392 0 158978 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 637516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.10 2.02 3/177 21758
/proc/meminfo: memFree=30893964/32872528 swapFree=338416/354768
[pid=21415] ppid=21412 vsize=637516 CPUtime=1800.05 cores=1,3,5,7
/proc/21415/stat : 21415 (naps-1.02) R 21412 21415 20937 0 -1 4202496 105625 0 0 0 179957 48 0 0 20 0 1 0 25560707 652816384 144437 33554432000 4194304 5796924 140733595548000 140733595545640 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 159379 144437 185 392 0 158978 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 637516

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.58
CPU system time (s): 0.491925
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 736924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.491925
maximum resident set size= 639896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105637
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= 112
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73528 second user time and 6.72798 second system time

The end

Begin job on node126 at 2016-06-18 09:32:20
IDJOB=4101947
IDBENCH=1820
IDSOLVER=2544
FILE ID=node126/4101947-1466235140
RUNJOBID= node126-1466229725-20954
PBS_JOBID= 19918178
Free space on /tmp= 71660 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101947-1466235140/watcher-4101947-1466235140 -o /tmp/evaluation-result-4101947-1466235140/solver-4101947-1466235140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466229725-20954 --watchdog 1960  naps-1.02 HOME/instance-4101947-1466235140.opb

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

MD5SUM BENCH= 8b204aeb505cc1c787aa4db3220d0b5a
RANDOM SEED=1848186488

node126.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.121
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.24
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.121
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.121
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.121
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.121
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.121
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.55
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.121
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.121
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31192232 kB
Buffers:          113848 kB
Cached:           239328 kB
SwapCached:         1076 kB
Active:           391784 kB
Inactive:         196300 kB
Active(anon):     236352 kB
Inactive(anon):     1004 kB
Active(file):     155432 kB
Inactive(file):   195296 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67100100 kB
Dirty:             86840 kB
Writeback:             0 kB
AnonPages:        589028 kB
Mapped:             7648 kB
Shmem:                 0 kB
Slab:             606076 kB
SReclaimable:      49752 kB
SUnreclaim:       556324 kB
KernelStack:        1440 kB
PageTables:         4944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     757708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71732 MiB
End job on node126 at 2016-06-18 10:02:20