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

OK	319

/tmp/evaluation/351813-1176614452/instance-351813-1176614452.opb is already a linear file

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-351813-1176614452 -o ROOT/results/node18/solver-351813-1176614452 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351813-1176614452/instance-351813-1176614452.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19350
/proc/meminfo: memFree=1479544/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=2552 CPUtime=0
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 109362635 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 638 228 193 16 0 77 0

[startup+0.0629351 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19350
/proc/meminfo: memFree=1479544/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=4432 CPUtime=0.05
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 719 0 0 0 5 0 0 0 18 0 1 0 109362635 4538368 689 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8296059 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1108 689 203 16 0 547 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4432

[startup+0.101938 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19350
/proc/meminfo: memFree=1479544/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=5228 CPUtime=0.09
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 912 0 0 0 9 0 0 0 18 0 1 0 109362635 5353472 882 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519885 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1307 882 205 16 0 746 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5228

[startup+0.301958 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19350
/proc/meminfo: memFree=1479544/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=5488 CPUtime=0.29
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 973 0 0 0 29 0 0 0 19 0 1 0 109362635 5619712 943 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8296059 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1372 943 205 16 0 811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5488

[startup+0.701997 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19350
/proc/meminfo: memFree=1479544/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=5616 CPUtime=0.69
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 1012 0 0 0 69 0 0 0 22 0 1 0 109362635 5750784 982 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517655 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1404 982 205 16 0 843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5616

[startup+1.50207 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1476144/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=5876 CPUtime=1.49
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 1082 0 0 0 146 3 0 0 25 0 1 0 109362635 6017024 1052 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1469 1052 205 16 0 908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5876

[startup+3.10123 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1475632/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=6264 CPUtime=3.09
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 1164 0 0 0 295 14 0 0 25 0 1 0 109362635 6414336 1134 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1566 1134 205 16 0 1005 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6264

[startup+6.30154 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1475248/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=6512 CPUtime=6.28
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 1238 0 0 0 593 35 0 0 25 0 1 0 109362635 6668288 1208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1628 1208 205 16 0 1067 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6512

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1474672/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=7156 CPUtime=12.68
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 1391 0 0 0 1191 77 0 0 25 0 1 0 109362635 7327744 1361 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1789 1361 205 16 0 1228 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7156

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1474032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=7676 CPUtime=25.48
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 1519 0 0 0 2383 165 0 0 25 0 1 0 109362635 7860224 1489 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 1919 1489 205 16 0 1358 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7676

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1467888/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=13844 CPUtime=51.07
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 3049 0 0 0 4914 193 0 0 25 0 1 0 109362635 14176256 3019 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 3461 3019 205 16 0 2900 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13844

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1465008/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=16784 CPUtime=102.26
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 3771 0 0 0 9974 252 0 0 25 0 1 0 109362635 17186816 3741 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 4196 3741 205 16 0 3635 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16784

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1463600/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=18200 CPUtime=162.25
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 4129 0 0 0 15956 269 0 0 25 0 1 0 109362635 18636800 4099 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 4550 4099 205 16 0 3989 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18200

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1463600/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=18200 CPUtime=222.23
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 4129 0 0 0 21850 373 0 0 25 0 1 0 109362635 18636800 4099 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 4550 4099 205 16 0 3989 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18200

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1463664/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=18200 CPUtime=282.21
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 4129 0 0 0 27480 741 0 0 25 0 1 0 109362635 18636800 4099 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 4550 4099 205 16 0 3989 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 18200

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1463600/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=18200 CPUtime=342.2
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 4129 0 0 0 33139 1081 0 0 25 0 1 0 109362635 18636800 4099 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 4550 4099 205 16 0 3989 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 18200

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1462768/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=19060 CPUtime=402.19
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 4348 0 0 0 39055 1164 0 0 25 0 1 0 109362635 19517440 4318 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 4765 4318 205 16 0 4204 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 19060

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1459568/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=22200 CPUtime=462.17
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5153 0 0 0 45010 1207 0 0 25 0 1 0 109362635 22732800 5109 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5550 5109 205 16 0 4989 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 22200

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1458928/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=22832 CPUtime=522.16
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5304 0 0 0 50999 1217 0 0 25 0 1 0 109362635 23379968 5260 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5708 5260 205 16 0 5147 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 22832

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1458800/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23000 CPUtime=582.14
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5356 0 0 0 56986 1228 0 0 25 0 1 0 109362635 23552000 5312 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5750 5312 205 16 0 5189 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 23000

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1458224/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23540 CPUtime=642.13
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5490 0 0 0 62971 1242 0 0 25 0 1 0 109362635 24104960 5446 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5885 5446 205 16 0 5324 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 23540


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

/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=822.08
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 80930 1278 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 23716

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19351
/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=882.07
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 86919 1288 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 23716

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 19351
/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=942.06
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 92907 1299 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 23716

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=1002.04
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 98892 1312 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 23716

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=1062.02
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 104879 1323 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 23716

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=1122.01
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 110867 1334 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 23716

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=1181.99
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 116855 1344 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 23716

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 19353
/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=1241.98
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 122815 1383 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 23716

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1458032/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=23716 CPUtime=1301.97
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5534 0 0 0 128766 1431 0 0 25 0 1 0 109362635 24285184 5490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 5929 5490 205 16 0 5368 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 23716

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1457456/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=24312 CPUtime=1361.95
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5685 0 0 0 134558 1637 0 0 25 0 1 0 109362635 24895488 5637 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 6078 5637 205 16 0 5517 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 24312

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1457456/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=24312 CPUtime=1421.94
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 5685 0 0 0 140223 1971 0 0 25 0 1 0 109362635 24895488 5637 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 6078 5637 205 16 0 5517 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 24312

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1453296/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=28728 CPUtime=1481.92
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 6763 0 0 0 145937 2255 0 0 25 0 1 0 109362635 29417472 6715 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 7182 6715 205 16 0 6621 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 28728

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1452336/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=29524 CPUtime=1541.91
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 6969 0 0 0 151920 2271 0 0 25 0 1 0 109362635 30232576 6921 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 7381 6921 205 16 0 6820 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 29524

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1452144/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=29780 CPUtime=1601.89
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 7009 0 0 0 157905 2284 0 0 25 0 1 0 109362635 30494720 6961 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 7445 6961 205 16 0 6884 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 29780

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1452144/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=29780 CPUtime=1661.88
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 7021 0 0 0 163894 2294 0 0 25 0 1 0 109362635 30494720 6973 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 7445 6973 205 16 0 6884 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 29780

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1452080/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=29780 CPUtime=1721.86
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 7027 0 0 0 169879 2307 0 0 25 0 1 0 109362635 30494720 6979 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517862 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 7445 6979 205 16 0 6884 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 29780

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1452080/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=29780 CPUtime=1781.84
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 7027 0 0 0 175864 2320 0 0 25 0 1 0 109362635 30494720 6979 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 7445 6979 205 16 0 6884 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 29780

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

[startup+1782.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1452080/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=29780 CPUtime=1782.24
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 7027 0 0 0 175904 2320 0 0 25 0 1 0 109362635 30494720 6979 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 7445 6979 205 16 0 6884 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 29780

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19353
/proc/meminfo: memFree=1452080/2055920 swapFree=4168132/4192956
[pid=19350] ppid=19348 vsize=29780 CPUtime=1782.65
/proc/19350/stat : 19350 (Pueblo) R 19348 19350 16028 0 -1 4194304 7027 0 0 0 175944 2321 0 0 25 0 1 0 109362635 30494720 6979 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19350/statm: 7445 6979 205 16 0 6884 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (KiB) 29780

Child status: 10
Real time (s): 1783.19
CPU time (s): 1782.74
CPU user time (s): 1759.52
CPU system time (s): 23.2145
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 29780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.52
system time used= 23.2145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7034
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= 17
involuntary context switches= 1400

runsolver used 2.06669 second user time and 4.04738 second system time

The end

Begin job on node18 on Sun Apr 15 05:20:53 UTC 2007

IDJOB= 351813
IDBENCH= 1820
IDSOLVER= 165
FILE ID= node18/351813-1176614452

PBS_JOBID= 4556819

Free space on /tmp= 66557 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
COMMAND LINE= Pueblo /tmp/evaluation/351813-1176614452/instance-351813-1176614452.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-351813-1176614452 -o ROOT/results/node18/conversion-351813-1176614452 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351813-1176614452/instance-351813-1176614452.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-351813-1176614452 -o ROOT/results/node18/solver-351813-1176614452 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/351813-1176614452/instance-351813-1176614452.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  8b204aeb505cc1c787aa4db3220d0b5a

RANDOM SEED= 611422631

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1479888 kB
Buffers:         86324 kB
Cached:         387004 kB
SwapCached:      11444 kB
Active:         225460 kB
Inactive:       292008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1479888 kB
SwapTotal:     4192956 kB
SwapFree:      4168132 kB
Dirty:            2408 kB
Writeback:           0 kB
Mapped:          40580 kB
Slab:            44036 kB
Committed_AS:  3963244 kB
PageTables:       1780 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node18 on Sun Apr 15 05:50:36 UTC 2007