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

OK	272

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node37/watcher-37768-1149269024 -o ROOT/results/node37/solver-37768-1149269024 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node37/37768-1149269024/instance-37768-1149269024.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.94 3/64 25769
/proc/meminfo: memFree=1673880/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=2324 CPUtime=0
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 69 0 0 0 0 0 0 0 18 0 1 0 192568656 2379776 53 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11518779 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 582 66 53 16 0 11 0

[startup+10.0029 s]
/proc/loadavg: 0.87 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1669472/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=7040 CPUtime=9.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1358 0 0 0 959 40 0 0 25 0 1 0 192568656 7208960 1329 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 1760 1329 205 16 0 1201 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 7040

[startup+20.0088 s]
/proc/loadavg: 0.89 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1669472/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=7168 CPUtime=19.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1393 0 0 0 1904 95 0 0 25 0 1 0 192568656 7340032 1364 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 1792 1364 205 16 0 1233 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7168

[startup+30.0157 s]
/proc/loadavg: 0.91 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1669344/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=7296 CPUtime=29.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1414 0 0 0 2841 158 0 0 25 0 1 0 192568656 7471104 1385 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 1824 1385 205 16 0 1265 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 7296

[startup+40.0216 s]
/proc/loadavg: 0.92 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1669152/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=7428 CPUtime=39.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1457 0 0 0 3692 307 0 0 25 0 1 0 192568656 7606272 1428 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 1857 1428 205 16 0 1298 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 7428

[startup+50.0284 s]
/proc/loadavg: 0.93 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1669152/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=7428 CPUtime=49.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1457 0 0 0 4553 446 0 0 25 0 1 0 192568656 7606272 1428 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 1857 1428 205 16 0 1298 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 7428

[startup+60.0343 s]
/proc/loadavg: 0.94 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1668704/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=7952 CPUtime=59.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1567 0 0 0 5481 518 0 0 25 0 1 0 192568656 8142848 1538 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 1988 1538 205 16 0 1429 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 7952

[startup+70.0402 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1668576/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=8088 CPUtime=69.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1601 0 0 0 6404 595 0 0 25 0 1 0 192568656 8282112 1572 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2022 1572 205 16 0 1463 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 8088

[startup+80.0461 s]
/proc/loadavg: 0.96 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1668512/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=8088 CPUtime=79.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1615 0 0 0 7338 661 0 0 25 0 1 0 192568656 8282112 1586 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2022 1586 205 16 0 1463 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 8088

[startup+90.052 s]
/proc/loadavg: 0.96 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1668384/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=8232 CPUtime=89.99
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 1643 0 0 0 8294 705 0 0 25 0 1 0 192568656 8429568 1614 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2058 1614 205 16 0 1499 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 8232

[startup+100.058 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665504/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=100
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 9262 738 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 11192

[startup+110.064 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665504/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=110
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 10214 786 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 11192

[startup+120.07 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665504/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=120
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 11156 844 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 11192

[startup+130.075 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665440/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=130
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 12094 906 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 11192

[startup+140.081 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665440/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=140.01
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 13036 965 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 11192

[startup+150.087 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665440/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=150.01
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 13991 1010 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 11192

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665440/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=160.02
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 14961 1041 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 11192

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665440/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=170.02
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 15946 1056 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 11192

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1665440/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=11192 CPUtime=180.02
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2366 0 0 0 16887 1115 0 0 25 0 1 0 192568656 11460608 2337 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 2798 2337 205 16 0 2239 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 11192

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1664224/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=12344 CPUtime=190.02
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2680 0 0 0 17817 1185 0 0 25 0 1 0 192568656 12640256 2651 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 3086 2651 205 16 0 2527 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 12344

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1664224/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=12344 CPUtime=200.02
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 2680 0 0 0 18709 1293 0 0 25 0 1 0 192568656 12640256 2651 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 3086 2651 205 16 0 2527 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 12344

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 25769
/proc/meminfo: memFree=1664224/2055920 swapFree=4181380/4192956

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

/proc/25769/statm: 5222 4760 205 16 0 4663 0
Current children cumulated CPU time (s) 1590.46
Current children cumulated vsize (Kb) 20888

[startup+1601.07 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655328/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1600.46
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4800 0 0 0 156758 3288 0 0 25 0 1 0 192568656 21389312 4760 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4760 205 16 0 4663 0
Current children cumulated CPU time (s) 1600.46
Current children cumulated vsize (Kb) 20888

[startup+1611.07 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655328/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1610.46
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4800 0 0 0 157757 3289 0 0 25 0 1 0 192568656 21389312 4760 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4760 205 16 0 4663 0
Current children cumulated CPU time (s) 1610.46
Current children cumulated vsize (Kb) 20888

[startup+1621.08 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655328/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1620.46
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4800 0 0 0 158756 3290 0 0 25 0 1 0 192568656 21389312 4760 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4760 205 16 0 4663 0
Current children cumulated CPU time (s) 1620.46
Current children cumulated vsize (Kb) 20888

[startup+1631.08 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655328/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1630.47
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4800 0 0 0 159755 3292 0 0 25 0 1 0 192568656 21389312 4760 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4760 205 16 0 4663 0
Current children cumulated CPU time (s) 1630.47
Current children cumulated vsize (Kb) 20888

[startup+1641.09 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655328/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1640.47
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4800 0 0 0 160753 3294 0 0 25 0 1 0 192568656 21389312 4760 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4760 205 16 0 4663 0
Current children cumulated CPU time (s) 1640.47
Current children cumulated vsize (Kb) 20888

[startup+1651.1 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655328/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1650.47
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4800 0 0 0 161752 3295 0 0 25 0 1 0 192568656 21389312 4760 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4760 205 16 0 4663 0
Current children cumulated CPU time (s) 1650.47
Current children cumulated vsize (Kb) 20888

[startup+1661.1 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1660.47
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4801 0 0 0 162751 3296 0 0 25 0 1 0 192568656 21389312 4761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4761 205 16 0 4663 0
Current children cumulated CPU time (s) 1660.47
Current children cumulated vsize (Kb) 20888

[startup+1671.11 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1670.48
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4801 0 0 0 163750 3298 0 0 25 0 1 0 192568656 21389312 4761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4761 205 16 0 4663 0
Current children cumulated CPU time (s) 1670.48
Current children cumulated vsize (Kb) 20888

[startup+1681.11 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1680.48
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4801 0 0 0 164749 3299 0 0 25 0 1 0 192568656 21389312 4761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4761 205 16 0 4663 0
Current children cumulated CPU time (s) 1680.48
Current children cumulated vsize (Kb) 20888

[startup+1691.12 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1690.48
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4801 0 0 0 165748 3300 0 0 25 0 1 0 192568656 21389312 4761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4761 205 16 0 4663 0
Current children cumulated CPU time (s) 1690.48
Current children cumulated vsize (Kb) 20888

[startup+1701.13 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1700.48
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4801 0 0 0 166746 3302 0 0 25 0 1 0 192568656 21389312 4761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4761 205 16 0 4663 0
Current children cumulated CPU time (s) 1700.48
Current children cumulated vsize (Kb) 20888

[startup+1711.13 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655200/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1710.48
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4814 0 0 0 167745 3303 0 0 25 0 1 0 192568656 21389312 4774 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4774 205 16 0 4663 0
Current children cumulated CPU time (s) 1710.48
Current children cumulated vsize (Kb) 20888

[startup+1721.14 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655200/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1720.48
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4814 0 0 0 168744 3304 0 0 25 0 1 0 192568656 21389312 4774 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4774 205 16 0 4663 0
Current children cumulated CPU time (s) 1720.48
Current children cumulated vsize (Kb) 20888

[startup+1731.14 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1730.48
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4815 0 0 0 169743 3305 0 0 25 0 1 0 192568656 21389312 4775 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4775 205 16 0 4663 0
Current children cumulated CPU time (s) 1730.48
Current children cumulated vsize (Kb) 20888

[startup+1741.15 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1740.49
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4815 0 0 0 170741 3308 0 0 25 0 1 0 192568656 21389312 4775 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4775 205 16 0 4663 0
Current children cumulated CPU time (s) 1740.49
Current children cumulated vsize (Kb) 20888

[startup+1751.16 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1750.49
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4815 0 0 0 171740 3309 0 0 25 0 1 0 192568656 21389312 4775 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4775 205 16 0 4663 0
Current children cumulated CPU time (s) 1750.49
Current children cumulated vsize (Kb) 20888

[startup+1761.16 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655264/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=20888 CPUtime=1760.5
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4815 0 0 0 172739 3311 0 0 25 0 1 0 192568656 21389312 4775 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5222 4775 205 16 0 4663 0
Current children cumulated CPU time (s) 1760.5
Current children cumulated vsize (Kb) 20888

[startup+1771.17 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655200/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=21032 CPUtime=1770.5
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4821 0 0 0 173738 3312 0 0 25 0 1 0 192568656 21536768 4781 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5258 4781 205 16 0 4699 0
Current children cumulated CPU time (s) 1770.5
Current children cumulated vsize (Kb) 21032

[startup+1781.17 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655200/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=21032 CPUtime=1780.5
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4821 0 0 0 174736 3314 0 0 25 0 1 0 192568656 21536768 4781 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5258 4781 205 16 0 4699 0
Current children cumulated CPU time (s) 1780.5
Current children cumulated vsize (Kb) 21032

[startup+1782.18 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655200/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=21032 CPUtime=1781.51
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4821 0 0 0 174837 3314 0 0 25 0 1 0 192568656 21536768 4781 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5258 4781 205 16 0 4699 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 21032

[startup+1783.18 s]
/proc/loadavg: 1.00 0.99 0.95 2/64 25771
/proc/meminfo: memFree=1655200/2055920 swapFree=4181380/4192956
[pid=25769] ppid=25767 vsize=21032 CPUtime=1782.51
/proc/25769/stat : 25769 (Pueblo13) R 25767 25769 25723 0 -1 4194304 4821 0 0 0 174937 3314 0 0 25 0 1 0 192568656 21536768 4781 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25769/statm: 5258 4781 205 16 0 4699 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (Kb) 21032

Child status: 10
Real time (s): 1783.4
CPU time (s): 1782.74
CPU user time (s): 1749.59
CPU system time (s): 33.15
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (Kb): 21032

Begin job on node37 on Fri Jun  2 17:23:44 UTC 2006


FILE ID= 37768-1149269024

PBS_JOBID= 301493

BENCH NAME= ROOT/tmp/node37/37768-1149269024/instance-37768-1149269024.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node37/37768-1149269024/instance-37768-1149269024.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-37768-1149269024 -o ROOT/results/node37/solver-37768-1149269024 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node37/37768-1149269024/instance-37768-1149269024.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  8b204aeb505cc1c787aa4db3220d0b5a

RANDOM SEED= 237137905


/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.281
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.281
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:       1674088 kB
Buffers:         14384 kB
Cached:         297964 kB
SwapCached:       3308 kB
Active:          41028 kB
Inactive:       280000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1674088 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             288 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            46796 kB
Committed_AS:   236352 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node37 on Fri Jun  2 17:53:28 UTC 2006